Trace number 4081378

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)10 1800.72 917.659

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1800.72
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4081378-1465232383.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.08/0.16	c ... done. Wall clock time 0.044s.
0.08/0.16	c declared #vars     146
0.08/0.16	c #constraints  12
0.08/0.17	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.17	c constraints type 
0.08/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.08/0.17	c 12 constraints processed.
0.08/0.17	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.17	c constraints type 
0.08/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12
0.08/0.17	c 12 constraints processed.
0.08/0.17	c objective function length is 96 literals
1.89/0.60	c And the winner is solver0
1.89/0.67	c SATISFIABLE
1.89/0.67	c OPTIMIZING...
1.89/0.67	c Got one! Elapsed wall clock time (in seconds):0.55
1.89/0.67	o 153
2.16/0.70	c And the winner is solver0
2.38/1.17	c Got one! Elapsed wall clock time (in seconds):1.051
2.38/1.17	o 152
2.38/1.20	c And the winner is solver0
2.46/1.67	c Got one! Elapsed wall clock time (in seconds):1.552
2.46/1.67	o 87
3.48/2.02	c cleaning 2956 clauses out of 5936 with flag 6234/5936
4.26/2.27	c And the winner is solver1
4.49/2.67	c Got one! Elapsed wall clock time (in seconds):2.554
4.49/2.67	o 85
4.49/2.69	c And the winner is solver0
4.54/3.17	c Got one! Elapsed wall clock time (in seconds):3.055
4.54/3.17	o 84
4.58/3.25	c And the winner is solver0
4.71/3.68	c Got one! Elapsed wall clock time (in seconds):3.557
4.71/3.68	o 82
4.74/3.74	c And the winner is solver0
4.86/4.18	c Got one! Elapsed wall clock time (in seconds):4.059
4.86/4.18	o 81
4.89/4.21	c And the winner is solver0
4.93/4.68	c Got one! Elapsed wall clock time (in seconds):4.561
4.93/4.68	o 80
4.93/4.69	c And the winner is solver0
4.98/5.18	c Got one! Elapsed wall clock time (in seconds):5.063
4.98/5.18	o 77
5.21/5.35	c And the winner is solver0
5.33/5.68	c Got one! Elapsed wall clock time (in seconds):5.565
5.33/5.68	o 76
5.54/5.80	c cleaning 5826 clauses out of 11652 with flag 2439/14608
6.37/6.25	c cleaning 5913 clauses out of 11828 with flag 16992/20610
6.37/6.27	c And the winner is solver1
6.56/6.69	c Got one! Elapsed wall clock time (in seconds):6.567
6.56/6.69	o 73
6.59/6.78	c And the winner is solver0
6.77/7.19	c Got one! Elapsed wall clock time (in seconds):7.07
6.77/7.19	o 71
6.78/7.24	c And the winner is solver0
6.91/7.69	c Got one! Elapsed wall clock time (in seconds):7.574
6.91/7.69	o 70
6.93/7.78	c And the winner is solver0
7.11/8.20	c Got one! Elapsed wall clock time (in seconds):8.08
7.11/8.20	o 69
7.50/8.46	c cleaning 6284 clauses out of 12568 with flag 7176/27263
7.91/8.60	c And the winner is solver0
7.95/8.70	c Got one! Elapsed wall clock time (in seconds):8.582
7.95/8.70	o 68
8.38/8.93	c And the winner is solver0
8.46/9.20	c Got one! Elapsed wall clock time (in seconds):9.085
8.46/9.20	o 67
8.64/9.30	c cleaning 6209 clauses out of 12418 with flag 2402/33397
8.84/9.40	c And the winner is solver0
8.87/9.71	c Got one! Elapsed wall clock time (in seconds):9.587
8.87/9.71	o 65
9.05/9.82	c And the winner is solver0
9.11/10.21	c Got one! Elapsed wall clock time (in seconds):10.09
9.11/10.21	o 63
9.49/10.45	c cleaning 6337 clauses out of 12675 with flag 6734/39863
10.29/10.81	c And the winner is solver0
10.35/11.21	c Got one! Elapsed wall clock time (in seconds):11.093
10.35/11.21	o 62
10.51/11.36	c And the winner is solver0
10.67/11.72	c Got one! Elapsed wall clock time (in seconds):11.598
10.67/11.72	o 60
11.07/11.93	c And the winner is solver0
11.16/12.22	c Got one! Elapsed wall clock time (in seconds):12.105
11.16/12.22	o 59
11.82/12.57	c cleaning 8854 clauses out of 17709 with flag 7128/51234
12.02/12.60	c And the winner is solver0
12.07/12.73	c Got one! Elapsed wall clock time (in seconds):12.61
12.07/12.73	o 58
12.20/12.83	c And the winner is solver0
12.31/13.23	c Got one! Elapsed wall clock time (in seconds):13.115
12.31/13.23	o 56
12.83/13.59	c cleaning 7194 clauses out of 14392 with flag 9180/56771
14.07/14.11	c cleaning 6600 clauses out of 13199 with flag 22883/62772
14.69/14.41	c And the winner is solver0
14.71/14.75	c Got one! Elapsed wall clock time (in seconds):14.621
14.71/14.75	o 55
14.82/14.84	c And the winner is solver0
14.95/15.25	c Got one! Elapsed wall clock time (in seconds):15.128
14.95/15.25	o 51
15.04/15.36	c cleaning 6469 clauses out of 12940 with flag 2266/69113
16.04/15.82	c cleaning 6231 clauses out of 12470 with flag 16009/75112
16.04/15.88	c And the winner is solver0
16.26/16.25	c Got one! Elapsed wall clock time (in seconds):16.134
16.26/16.25	o 49
16.34/16.32	c And the winner is solver0
16.43/16.76	c Got one! Elapsed wall clock time (in seconds):16.642
16.43/16.76	o 47
16.89/17.07	c cleaning 6065 clauses out of 12138 with flag 9120/81011
17.69/17.48	c cleaning 6036 clauses out of 12073 with flag 22831/87011
18.11/17.62	c And the winner is solver0
18.19/17.77	c Got one! Elapsed wall clock time (in seconds):17.649
18.19/17.77	o 45
18.63/18.03	c cleaning 5887 clauses out of 11778 with flag 6663/92752
19.43/18.45	c cleaning 5942 clauses out of 11891 with flag 19444/98752
20.49/18.99	c cleaning 6473 clauses out of 12950 with flag 34900/105753
21.69/19.59	c cleaning 7239 clauses out of 14479 with flag 52597/113755
23.29/20.38	c cleaning 8117 clauses out of 16237 with flag 72462/122752
25.34/21.34	c cleaning 9055 clauses out of 18121 with flag 94403/132753
27.74/22.50	c cleaning 10032 clauses out of 20066 with flag 118363/143753
28.14/22.77	c And the winner is solver0
28.14/22.78	c Got one! Elapsed wall clock time (in seconds):22.658
28.14/22.78	o 44
28.53/22.98	c And the winner is solver0
28.74/23.29	c Got one! Elapsed wall clock time (in seconds):23.167
28.74/23.29	o 32
28.94/23.42	c cleaning 8011 clauses out of 16022 with flag 2127/149741
29.75/23.88	c And the winner is solver0
29.96/24.30	c Got one! Elapsed wall clock time (in seconds):24.178
29.96/24.30	o 31
30.74/24.77	c And the winner is solver0
30.91/24.87	c Got one! Elapsed wall clock time (in seconds):24.751
30.91/24.87	o 30
31.44/25.18	c cleaning 9652 clauses out of 19304 with flag 4211/161034
32.64/25.74	c cleaning 7819 clauses out of 15652 with flag 16726/167034
33.84/26.34	c cleaning 7415 clauses out of 14837 with flag 31157/174038
35.24/27.09	c cleaning 7707 clauses out of 15421 with flag 47618/182037
37.05/27.95	c cleaning 8353 clauses out of 16711 with flag 66156/191034
39.09/28.96	c cleaning 9179 clauses out of 18359 with flag 86650/201035
41.49/30.17	c cleaning 10088 clauses out of 20180 with flag 109190/212035
44.29/31.51	c cleaning 11045 clauses out of 22092 with flag 133797/224035
47.53/33.14	c cleaning 12023 clauses out of 24049 with flag 160865/237037
49.73/34.25	c And the winner is solver0
49.87/34.39	c Got one! Elapsed wall clock time (in seconds):34.266
49.87/34.39	o 28
50.87/34.91	c And the winner is solver0
50.95/35.40	c Got one! Elapsed wall clock time (in seconds):35.285
50.95/35.40	o 26
52.15/36.01	c cleaning 13840 clauses out of 27685 with flag 6699/252696
53.34/36.67	c cleaning 9918 clauses out of 19842 with flag 19262/258693
54.74/37.32	c cleaning 8463 clauses out of 16927 with flag 33881/265696
56.14/38.05	c cleaning 8232 clauses out of 16464 with flag 50447/273696
57.74/38.84	c cleaning 8606 clauses out of 17228 with flag 68968/282692
59.74/39.81	c cleaning 9312 clauses out of 18623 with flag 89710/292693
61.96/40.94	c cleaning 10155 clauses out of 20311 with flag 112578/303693
64.76/42.31	c cleaning 11077 clauses out of 22155 with flag 137471/315692
67.76/43.82	c cleaning 12034 clauses out of 24078 with flag 164194/328692
71.21/45.56	c cleaning 13019 clauses out of 26045 with flag 192934/342693
75.43/47.67	c cleaning 14013 clauses out of 28026 with flag 223981/357693
79.83/49.84	c cleaning 15007 clauses out of 30013 with flag 257035/373693
84.88/52.32	c cleaning 16002 clauses out of 32007 with flag 291927/390694
91.30/55.52	c cleaning 17003 clauses out of 34005 with flag 328841/408694
97.93/58.82	c cleaning 17999 clauses out of 36000 with flag 367863/427692
104.53/62.10	c cleaning 18997 clauses out of 38003 with flag 408895/447694
111.57/65.70	c cleaning 19999 clauses out of 40004 with flag 452020/468692
119.98/69.89	c cleaning 21001 clauses out of 42008 with flag 497675/490695
129.00/74.36	c cleaning 22002 clauses out of 44005 with flag 545191/513693
139.25/79.40	c cleaning 22996 clauses out of 46003 with flag 594669/537693
150.26/84.96	c cleaning 24004 clauses out of 48008 with flag 646452/562694
150.66/85.18	c And the winner is solver0
150.93/85.45	c Got one! Elapsed wall clock time (in seconds):85.33
150.93/85.45	o 25
152.59/86.34	c cleaning 14828 clauses out of 29664 with flag 8511/568354
154.01/87.10	c cleaning 10407 clauses out of 20835 with flag 20907/574353
155.59/87.82	c cleaning 8707 clauses out of 17427 with flag 35378/581352
157.20/88.60	c cleaning 8360 clauses out of 16721 with flag 51983/589353
158.80/89.42	c cleaning 8680 clauses out of 17361 with flag 70478/598353
160.80/90.43	c cleaning 9340 clauses out of 18685 with flag 91337/608357
163.20/91.63	c cleaning 10164 clauses out of 20340 with flag 114453/619352
166.01/93.04	c cleaning 11087 clauses out of 22176 with flag 139815/631352
169.22/94.67	c cleaning 12042 clauses out of 24092 with flag 167109/644355
173.05/96.58	c cleaning 13014 clauses out of 26047 with flag 196000/658352
177.06/98.55	c cleaning 14008 clauses out of 28033 with flag 226823/673352
181.66/100.84	c cleaning 15011 clauses out of 30027 with flag 259538/689354
186.88/103.45	c cleaning 15999 clauses out of 32016 with flag 294508/706354
192.28/106.20	c cleaning 17007 clauses out of 34019 with flag 331935/724356
198.50/109.27	c cleaning 18005 clauses out of 36011 with flag 371031/743355
205.15/112.51	c And the winner is solver0
205.28/112.99	c Got one! Elapsed wall clock time (in seconds):112.873
205.28/112.99	o 24
208.66/114.73	c cleaning 20495 clauses out of 41002 with flag 10707/766351
209.66/115.24	c And the winner is solver0
209.85/115.54	c Got one! Elapsed wall clock time (in seconds):115.42
209.85/115.54	o 22
210.53/115.99	c cleaning 12956 clauses out of 25917 with flag 4229/771761
211.94/116.68	c cleaning 9474 clauses out of 18960 with flag 16819/777760
213.13/117.27	c And the winner is solver0
213.40/117.59	c Got one! Elapsed wall clock time (in seconds):117.468
213.40/117.59	o 21
214.99/118.42	c cleaning 10280 clauses out of 20559 with flag 10573/788833
216.19/119.06	c cleaning 8124 clauses out of 16271 with flag 23151/794825
217.59/119.78	c cleaning 7560 clauses out of 15147 with flag 37695/801825
219.40/120.60	c cleaning 7795 clauses out of 15589 with flag 54306/809827
220.41/121.12	c And the winner is solver0
220.53/121.29	c Got one! Elapsed wall clock time (in seconds):121.167
220.53/121.29	o 19
221.75/121.99	c cleaning 9197 clauses out of 18398 with flag 10453/820431
222.97/122.56	c cleaning 7591 clauses out of 15200 with flag 22888/826430
224.17/123.19	c cleaning 7296 clauses out of 14610 with flag 37571/833431
225.98/124.03	c cleaning 7657 clauses out of 15313 with flag 54181/841430
228.00/125.02	c cleaning 8322 clauses out of 16655 with flag 72846/850429
230.00/126.09	c cleaning 9167 clauses out of 18333 with flag 93708/860429
232.62/127.38	c cleaning 10080 clauses out of 20169 with flag 116844/871432
235.64/128.85	c cleaning 11037 clauses out of 22086 with flag 141737/883429
239.03/130.59	c cleaning 12017 clauses out of 24050 with flag 168736/896430
243.24/132.69	c cleaning 13015 clauses out of 26032 with flag 198002/910429
247.67/134.88	c cleaning 14005 clauses out of 28017 with flag 229767/925429
252.88/137.48	c cleaning 15004 clauses out of 30013 with flag 263408/941430
258.89/140.49	c cleaning 16000 clauses out of 32009 with flag 299651/958430
265.32/143.65	c cleaning 16997 clauses out of 34009 with flag 337802/976430
272.37/147.14	c cleaning 18007 clauses out of 36013 with flag 378257/995431
279.61/150.77	c cleaning 18999 clauses out of 38004 with flag 420136/1015429
288.25/155.00	c cleaning 20001 clauses out of 40008 with flag 464586/1036432
297.31/159.54	c cleaning 21001 clauses out of 42007 with flag 511086/1058432
307.98/164.85	c cleaning 22001 clauses out of 44003 with flag 559099/1081429
318.40/170.08	c cleaning 22994 clauses out of 46003 with flag 608652/1105430
331.43/176.57	c cleaning 23998 clauses out of 48008 with flag 660805/1130429
346.11/183.88	c cleaning 25001 clauses out of 50012 with flag 715459/1156431
361.75/191.60	c cleaning 26003 clauses out of 52010 with flag 771920/1183430
376.42/198.94	c cleaning 27002 clauses out of 54006 with flag 830461/1211429
391.27/206.37	c cleaning 28002 clauses out of 56004 with flag 890724/1240429
406.54/213.98	c cleaning 29001 clauses out of 58003 with flag 952867/1270430
423.83/222.56	c cleaning 30000 clauses out of 60002 with flag 1018004/1301430
439.73/230.60	c And the winner is solver0
440.48/231.39	c Got one! Elapsed wall clock time (in seconds):231.267
440.48/231.39	o 17
446.95/234.62	c cleaning 32635 clauses out of 65289 with flag 10692/1336717
450.16/236.25	c cleaning 19325 clauses out of 38650 with flag 23125/1342713
452.77/237.51	c cleaning 13163 clauses out of 26327 with flag 37701/1349715
454.77/238.59	c cleaning 10574 clauses out of 21166 with flag 54266/1357717
457.41/239.83	c cleaning 9788 clauses out of 19594 with flag 72815/1366719
460.00/241.17	c cleaning 9898 clauses out of 19802 with flag 93470/1376715
463.02/242.65	c cleaning 10450 clauses out of 20905 with flag 116262/1387716
466.66/244.42	c cleaning 11228 clauses out of 22456 with flag 140984/1399717
470.48/246.35	c cleaning 12111 clauses out of 24224 with flag 167645/1412713
474.69/248.47	c cleaning 13056 clauses out of 26113 with flag 196373/1426713
479.31/250.77	c cleaning 14030 clauses out of 28059 with flag 227116/1441715
484.73/253.42	c cleaning 15013 clauses out of 30028 with flag 260051/1457714
490.12/256.14	c cleaning 16004 clauses out of 32014 with flag 295165/1474713
495.92/259.08	c cleaning 17004 clauses out of 34011 with flag 332314/1492714
502.92/262.59	c cleaning 18003 clauses out of 36006 with flag 371556/1511713
510.97/266.58	c cleaning 19002 clauses out of 38003 with flag 412712/1531713
519.99/271.01	c cleaning 19997 clauses out of 40002 with flag 455786/1552714
521.19/271.66	c And the winner is solver0
521.96/272.38	c Got one! Elapsed wall clock time (in seconds):272.257
521.96/272.38	o 15
522.61/272.76	c cleaning 12846 clauses out of 25702 with flag 2208/1558411
524.23/273.56	c cleaning 9412 clauses out of 18850 with flag 14666/1564405
526.03/274.43	c cleaning 8212 clauses out of 16439 with flag 29425/1571406
527.84/275.37	c cleaning 8110 clauses out of 16228 with flag 45928/1579407
529.84/276.34	c cleaning 8551 clauses out of 17116 with flag 64647/1588405
530.24/276.54	c And the winner is solver0
530.62/276.98	c Got one! Elapsed wall clock time (in seconds):276.866
530.62/276.98	o 13
531.31/277.49	c cleaning 6802 clauses out of 13609 with flag 6296/1593449
532.52/278.09	c cleaning 6391 clauses out of 12807 with flag 18561/1599449
534.11/278.80	c cleaning 6707 clauses out of 13415 with flag 32929/1606448
535.52/279.59	c cleaning 7350 clauses out of 14710 with flag 49285/1614450
537.75/280.61	c cleaning 8172 clauses out of 16359 with flag 67663/1623449
539.95/281.74	c cleaning 9093 clauses out of 18186 with flag 88189/1633448
542.55/283.06	c cleaning 10045 clauses out of 20092 with flag 110615/1644447
545.55/284.56	c cleaning 11021 clauses out of 22050 with flag 135291/1656450
548.96/286.21	c cleaning 12013 clauses out of 24026 with flag 161984/1669447
552.77/288.18	c cleaning 13005 clauses out of 26013 with flag 190497/1683447
557.20/290.36	c cleaning 14002 clauses out of 28008 with flag 221098/1698447
561.81/292.65	c cleaning 15001 clauses out of 30008 with flag 253845/1714449
567.40/295.41	c cleaning 16004 clauses out of 32007 with flag 288946/1731449
573.82/298.61	c cleaning 16997 clauses out of 34001 with flag 325959/1749447
580.22/301.87	c cleaning 17999 clauses out of 36007 with flag 364858/1768450
587.02/305.26	c cleaning 19002 clauses out of 38007 with flag 405577/1788449
594.62/309.09	c cleaning 19999 clauses out of 40004 with flag 448341/1809448
603.02/313.27	c cleaning 21003 clauses out of 42005 with flag 493111/1831448
612.22/317.87	c cleaning 21999 clauses out of 44001 with flag 540350/1854447
621.82/322.68	c cleaning 22997 clauses out of 46004 with flag 589518/1878449
632.43/327.97	c cleaning 23993 clauses out of 48006 with flag 640561/1903448
643.43/333.50	c cleaning 25005 clauses out of 50012 with flag 693400/1929447
655.01/339.26	c cleaning 25994 clauses out of 52010 with flag 748187/1956450
668.21/345.82	c cleaning 27008 clauses out of 54015 with flag 805069/1984449
682.40/352.95	c cleaning 28001 clauses out of 56008 with flag 864425/2013450
697.67/360.57	c cleaning 29001 clauses out of 58004 with flag 926454/2043447
713.68/368.54	c cleaning 30000 clauses out of 60006 with flag 989993/2074450
728.86/376.16	c cleaning 31001 clauses out of 62003 with flag 1054920/2106447
746.87/385.13	c cleaning 32003 clauses out of 64005 with flag 1121642/2139450
764.85/394.14	c cleaning 32998 clauses out of 65999 with flag 1190768/2173447
783.52/403.42	c cleaning 34001 clauses out of 68004 with flag 1261536/2208450
801.11/412.26	c And the winner is solver0
813.60/424.64	c Got one! Elapsed wall clock time (in seconds):424.52
813.60/424.64	o 10
820.31/428.07	c cleaning 37051 clauses out of 74120 with flag 10399/2248567
823.73/429.78	c cleaning 21531 clauses out of 43067 with flag 22727/2254565
826.35/431.03	c cleaning 14261 clauses out of 28536 with flag 37273/2261565
828.55/432.15	c cleaning 11133 clauses out of 22275 with flag 53953/2269565
830.76/433.26	c cleaning 10063 clauses out of 20142 with flag 72487/2278565
833.15/434.46	c cleaning 10031 clauses out of 20082 with flag 93306/2288568
836.17/435.99	c cleaning 10521 clauses out of 21052 with flag 116332/2299569
839.58/437.67	c cleaning 11257 clauses out of 22528 with flag 141074/2311566
843.38/439.56	c cleaning 12134 clauses out of 24270 with flag 167916/2324565
847.58/441.65	c cleaning 13067 clauses out of 26138 with flag 196802/2338567
851.78/443.79	c cleaning 14036 clauses out of 28071 with flag 227870/2353567
856.79/446.20	c cleaning 15016 clauses out of 30034 with flag 261160/2369566
862.61/449.13	c cleaning 16010 clauses out of 32019 with flag 296237/2386567
869.45/452.54	c cleaning 16999 clauses out of 34007 with flag 333773/2404565
876.49/456.01	c cleaning 18005 clauses out of 36012 with flag 373433/2423569
883.90/459.75	c cleaning 18995 clauses out of 38003 with flag 415474/2443565
892.15/463.87	c cleaning 20004 clauses out of 40009 with flag 460049/2464566
901.07/468.46	c cleaning 21004 clauses out of 42009 with flag 506641/2486570
911.31/473.58	c cleaning 21995 clauses out of 44001 with flag 554808/2509566
922.74/479.20	c cleaning 23001 clauses out of 46005 with flag 604318/2533565
934.80/485.26	c cleaning 24000 clauses out of 48006 with flag 657026/2558567
947.60/491.62	c cleaning 24998 clauses out of 50004 with flag 711361/2584565
960.02/497.88	c cleaning 26002 clauses out of 52010 with flag 766268/2611569
974.15/504.83	c cleaning 27002 clauses out of 54004 with flag 824020/2639565
987.56/511.59	c cleaning 27998 clauses out of 56004 with flag 883575/2668567
1002.74/519.13	c cleaning 28999 clauses out of 58008 with flag 946284/2698569
1017.16/526.38	c cleaning 29999 clauses out of 60006 with flag 1011151/2729566
1034.36/534.92	c cleaning 30997 clauses out of 62006 with flag 1079041/2761565
1052.19/543.81	c cleaning 32005 clauses out of 64009 with flag 1148072/2794565
1071.19/553.33	c cleaning 32999 clauses out of 66005 with flag 1218926/2828566
1091.98/563.72	c cleaning 33995 clauses out of 68007 with flag 1291529/2863567
1114.20/574.84	c cleaning 35001 clauses out of 70010 with flag 1366402/2899565
1137.41/586.46	c cleaning 36004 clauses out of 72011 with flag 1442824/2936567
1160.79/598.15	c cleaning 37003 clauses out of 74006 with flag 1521217/2974566
1182.79/609.15	c cleaning 38000 clauses out of 76003 with flag 1602149/3013566
1208.25/621.81	c cleaning 38997 clauses out of 78002 with flag 1684520/3053565
1234.45/634.96	c cleaning 40003 clauses out of 80005 with flag 1768878/3094565
1261.64/648.53	c cleaning 41000 clauses out of 82004 with flag 1855523/3136567
1290.64/663.02	c cleaning 42000 clauses out of 84004 with flag 1944103/3179567
1321.24/678.30	c cleaning 42993 clauses out of 86003 with flag 2035005/3223566
1352.43/693.92	c cleaning 44005 clauses out of 88011 with flag 2127681/3268567
1384.08/709.75	c cleaning 45002 clauses out of 90008 with flag 2222507/3314569
1420.49/727.96	c cleaning 46001 clauses out of 92002 with flag 2319523/3361565
1456.08/745.76	c cleaning 46997 clauses out of 94002 with flag 2418953/3409566
1492.15/763.78	c cleaning 48005 clauses out of 96010 with flag 2520517/3458571
1529.17/782.27	c cleaning 48995 clauses out of 97999 with flag 2623979/3508565
1568.15/801.75	c cleaning 50000 clauses out of 100008 with flag 2730078/3559569
1610.76/823.05	c cleaning 51000 clauses out of 102005 with flag 2839134/3611566
1652.18/843.79	c cleaning 52004 clauses out of 104008 with flag 2947517/3664569
1697.76/866.57	c cleaning 52995 clauses out of 106003 with flag 3058258/3718568
1745.28/890.22	c cleaning 54001 clauses out of 108006 with flag 3170777/3773566
1792.14/913.62	c cleaning 55002 clauses out of 110006 with flag 3288393/3829567
1800.14/917.60	c >>>>>>>>>> Solver number 0 (41 answers) <<<<<<<<<<<<<<<<<<
1800.14/917.60	c starts		: 1856
1800.14/917.60	c conflicts		: 3843881
1800.14/917.60	c decisions		: 3996968
1800.14/917.60	c propagations		: 33585136
1800.14/917.60	c inspects		: 18625743242
1800.14/917.60	c shortcuts		: 0
1800.14/917.60	c learnt literals	: 0
1800.14/917.60	c learnt binary clauses	: 0
1800.14/917.60	c learnt ternary clauses	: 0
1800.14/917.60	c learnt constraints	: 3843881
1800.14/917.60	c ignored constraints	: 0
1800.14/917.60	c root simplifications	: 0
1800.14/917.60	c removed literals (reason simplification)	: 35380363
1800.14/917.60	c reason swapping (by a shorter reason)	: 0
1800.14/917.60	c Calls to reduceDB	: 205
1800.14/917.60	c Number of update (reduction) of LBD	: 205893
1800.14/917.60	c Imported unit clauses	: 0
1800.14/917.60	c number of reductions to clauses (during analyze)	: 0
1800.14/917.60	c number of learned constraints concerned by reduction	: 0
1800.14/917.60	c number of learning phase by resolution	: 0
1800.14/917.60	c number of learning phase by cutting planes	: 0
1800.14/917.60	c speed (assignments/second)	: 36869.71108139736
1800.14/917.60	c non guided choices	1001
1800.14/917.62	c learnt constraints type 
1800.14/917.62	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 69318
1800.14/917.62	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.14/917.62	c starts		: 86
1800.14/917.62	c conflicts		: 7678
1800.14/917.62	c decisions		: 17181
1800.14/917.62	c propagations		: 89572
1800.14/917.62	c inspects		: 127036707
1800.14/917.62	c shortcuts		: 0
1800.14/917.62	c learnt literals	: 0
1800.14/917.62	c learnt binary clauses	: 0
1800.14/917.62	c learnt ternary clauses	: 0
1800.14/917.62	c learnt constraints	: 7649
1800.14/917.62	c ignored constraints	: 0
1800.14/917.62	c root simplifications	: 0
1800.14/917.62	c removed literals (reason simplification)	: 0
1800.14/917.62	c reason swapping (by a shorter reason)	: 0
1800.14/917.62	c Calls to reduceDB	: 0
1800.14/917.62	c Number of update (reduction) of LBD	: 0
1800.14/917.62	c Imported unit clauses	: 0
1800.14/917.62	c number of reductions to clauses (during analyze)	: 0
1800.14/917.62	c number of learned constraints concerned by reduction	: 0
1800.14/917.62	c number of learning phase by resolution	: 0
1800.14/917.62	c number of learning phase by cutting planes	: 0
1800.14/917.62	c speed (assignments/second)	: 181.831099995737
1800.14/917.62	c non guided choices	913
1800.14/917.63	c learnt constraints type 
1800.14/917.63	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.14/917.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7647
1800.14/917.63	s SATISFIABLE
1800.14/917.63	c Found 43 solution(s)
1800.14/917.63	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 
1800.14/917.63	c objective function=10
1800.14/917.63	c Total wall clock time (in seconds): 917.51

Verifier Data 

OK	10

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

pid=13493
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.47 4.36 4.27 4/199 13496
/proc/meminfo: memFree=28855432/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/13496/stat : 13496 (java) R 13493 13496 8273 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 105171096 5767168 55 33554432000 1073741824 1073778376 140736623553056 140736623550184 273896533287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2303 59 47 9 0 30 0

[startup+0.100061 s]
/proc/loadavg: 4.47 4.36 4.27 4/199 13496
/proc/meminfo: memFree=28855432/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 4469 0 1 0 7 1 0 0 20 0 18 0 105171096 9787879424 5583 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2389619 5583 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20024 s]
/proc/loadavg: 4.47 4.36 4.27 4/199 13496
/proc/meminfo: memFree=28855432/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 5957 0 1 0 27 2 0 0 20 0 22 0 105171096 10060525568 8147 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 8154 2213 9 0 2446860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9824732

[startup+0.300253 s]
/proc/loadavg: 4.47 4.36 4.27 4/199 13496
/proc/meminfo: memFree=28855432/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 12164 0 1 0 66 3 0 0 20 0 22 0 105171096 10060525568 12653 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 12653 2234 9 0 2446860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9824732

[startup+0.700214 s]
/proc/loadavg: 4.47 4.36 4.27 4/199 13496
/proc/meminfo: memFree=28855432/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 16904 0 1 0 210 6 0 0 20 0 22 0 105171096 10060525568 20993 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 20993 2259 9 0 2446860 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 4.47 4.36 4.27 3/218 13521
/proc/meminfo: memFree=28778872/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 16975 0 1 0 236 10 0 0 20 0 19 0 105171096 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 24627 2262 9 0 2446860 0
[pid=13496/tid=13498] ppid=13493 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/13496/task/13498/stat : 13498 (java) S 13493 13496 8273 0 -1 4202560 2475 0 1 0 12 2 0 0 20 0 19 0 105171097 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140508045484920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13499] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13499/stat : 13499 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507889589288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13500] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13500/stat : 13500 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507888536488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13501] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13501/stat : 13501 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507887483688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13502] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13502/stat : 13502 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507886430888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13503] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13503/stat : 13503 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507885378088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13504] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13504/stat : 13504 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507884325288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13505] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13505/stat : 13505 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507883272488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13506] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13506/stat : 13506 (java) S 13493 13496 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507882219688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13507] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13507/stat : 13507 (java) S 13493 13496 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507869809640 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13508] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13508/stat : 13508 (java) S 13493 13496 8273 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507868755704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13509] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13509/stat : 13509 (java) S 13493 13496 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507867702792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13510] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13510/stat : 13510 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507866651280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13511] ppid=13493 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/13496/task/13511/stat : 13511 (java) S 13493 13496 8273 0 -1 4202560 6995 0 0 0 62 0 0 0 20 0 19 0 105171102 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507865598392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13512] ppid=13493 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/13496/task/13512/stat : 13512 (java) S 13493 13496 8273 0 -1 4202560 6124 0 0 0 64 1 0 0 20 0 19 0 105171102 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507864545592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13513] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13513/stat : 13513 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507863492984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13514] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13514/stat : 13514 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507862440392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13517] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13517/stat : 13517 (java) S 13493 13496 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105171114 10060525568 24627 33554432000 1073741824 1073778376 140736623553056 140507859183016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 4.47 4.36 4.27 6/221 13527
/proc/meminfo: memFree=28674976/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=4.54 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 20485 0 1 0 438 16 0 0 20 0 19 0 105171096 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 48925 2284 9 0 2446860 0
[pid=13496/tid=13498] ppid=13493 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/13496/task/13498/stat : 13498 (java) S 13493 13496 8273 0 -1 4202560 2475 0 1 0 12 2 0 0 20 0 19 0 105171097 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140508045484920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13499] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13499/stat : 13499 (java) S 13493 13496 8273 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507889589288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13500] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13500/stat : 13500 (java) S 13493 13496 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507888536488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13501] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13501/stat : 13501 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507887483688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13502] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13502/stat : 13502 (java) S 13493 13496 8273 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507886430888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13503] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13503/stat : 13503 (java) S 13493 13496 8273 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507885378088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13504] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13504/stat : 13504 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507884325288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13505] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13505/stat : 13505 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507883272488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13506] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13506/stat : 13506 (java) S 13493 13496 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507882219688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13507] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13507/stat : 13507 (java) S 13493 13496 8273 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507869809640 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13508] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13508/stat : 13508 (java) S 13493 13496 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507868755704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13509] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13509/stat : 13509 (java) S 13493 13496 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507867702792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13510] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13510/stat : 13510 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507866651280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13511] ppid=13493 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/13496/task/13511/stat : 13511 (java) S 13493 13496 8273 0 -1 4202560 7049 0 0 0 110 0 0 0 20 0 19 0 105171102 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507865598392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13512] ppid=13493 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/13496/task/13512/stat : 13512 (java) S 13493 13496 8273 0 -1 4202560 9409 0 0 0 98 2 0 0 20 0 19 0 105171102 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507864545592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13513] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13513/stat : 13513 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507863492984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13514] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13514/stat : 13514 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 48925 33554432000 1073741824 1073778376 140736623553056 140507862440392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9824732

[startup+6.30081 s]
/proc/loadavg: 4.27 4.32 4.26 3/218 13613
/proc/meminfo: memFree=30023016/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=6.56 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 20604 0 1 0 627 29 0 0 20 0 19 0 105171096 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 65207 2285 9 0 2446860 0
[pid=13496/tid=13498] ppid=13493 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/13496/task/13498/stat : 13498 (java) S 13493 13496 8273 0 -1 4202560 2476 0 1 0 13 2 0 0 20 0 19 0 105171097 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140508045484920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13499] ppid=13493 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13496/task/13499/stat : 13499 (java) S 13493 13496 8273 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 105171098 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507889589288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13500] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13500/stat : 13500 (java) S 13493 13496 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507888536488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13501] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13501/stat : 13501 (java) S 13493 13496 8273 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507887483688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13502] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13502/stat : 13502 (java) S 13493 13496 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507886430888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13503] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13503/stat : 13503 (java) S 13493 13496 8273 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507885378088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13504] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13504/stat : 13504 (java) S 13493 13496 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507884325288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13505] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13505/stat : 13505 (java) S 13493 13496 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507883272488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13506] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13506/stat : 13506 (java) S 13493 13496 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105171098 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507882219688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13507] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13507/stat : 13507 (java) S 13493 13496 8273 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507869809640 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13508] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13508/stat : 13508 (java) S 13493 13496 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507868755704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13509] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13509/stat : 13509 (java) S 13493 13496 8273 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105171100 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507867702792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13510] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13510/stat : 13510 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507866651280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13511] ppid=13493 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/13496/task/13511/stat : 13511 (java) S 13493 13496 8273 0 -1 4202560 7050 0 0 0 113 0 0 0 20 0 19 0 105171102 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507865598392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13512] ppid=13493 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/13496/task/13512/stat : 13512 (java) S 13493 13496 8273 0 -1 4202560 9409 0 0 0 101 2 0 0 20 0 19 0 105171102 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507864545592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13513] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13513/stat : 13513 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507863492984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13514] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13514/stat : 13514 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105171102 10060525568 65207 33554432000 1073741824 1073778376 140736623553056 140507862440392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 9824732

[startup+12.7008 s]
/proc/loadavg: 4.17 4.30 4.25 3/218 13646
/proc/meminfo: memFree=29495852/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=12.07 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.51 4.24 4.20 6/221 13760
/proc/meminfo: memFree=27534372/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=1609.36 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 28456 0 1 0 160690 246 0 0 20 0 22 0 105171096 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 546824 2293 9 0 2446860 0
[pid=13496/tid=13498] ppid=13493 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/13496/task/13498/stat : 13498 (java) S 13493 13496 8273 0 -1 4202560 2495 0 1 0 98 4 0 0 20 0 22 0 105171097 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140508045484920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13499] ppid=13493 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/13496/task/13499/stat : 13499 (java) S 13493 13496 8273 0 -1 4202560 398 0 0 0 107 14 0 0 20 0 22 0 105171098 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507889589288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13500] ppid=13493 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/13496/task/13500/stat : 13500 (java) S 13493 13496 8273 0 -1 4202560 346 0 0 0 104 12 0 0 20 0 22 0 105171098 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507888536488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13501] ppid=13493 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/13496/task/13501/stat : 13501 (java) S 13493 13496 8273 0 -1 4202560 553 0 0 0 107 13 0 0 20 0 22 0 105171098 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507887483688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13502] ppid=13493 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/13496/task/13502/stat : 13502 (java) S 13493 13496 8273 0 -1 4202560 346 0 0 0 94 13 0 0 20 0 22 0 105171098 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507886430888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13503] ppid=13493 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/13496/task/13503/stat : 13503 (java) S 13493 13496 8273 0 -1 4202560 478 0 0 0 101 12 0 0 20 0 22 0 105171098 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507885378088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13504] ppid=13493 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/13496/task/13504/stat : 13504 (java) S 13493 13496 8273 0 -1 4202560 477 0 0 0 102 12 0 0 20 0 22 0 105171098 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507884325288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13505] ppid=13493 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/13496/task/13505/stat : 13505 (java) S 13493 13496 8273 0 -1 4202560 336 0 0 0 103 12 0 0 20 0 22 0 105171098 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507883272488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13506] ppid=13493 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/13496/task/13506/stat : 13506 (java) S 13493 13496 8273 0 -1 4202560 333 0 0 0 106 12 0 0 20 0 22 0 105171098 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507882219688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13507] ppid=13493 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/13496/task/13507/stat : 13507 (java) S 13493 13496 8273 0 -1 4202560 1429 0 0 0 74 18 0 0 20 0 22 0 105171100 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507869809640 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13508] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13508/stat : 13508 (java) S 13493 13496 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105171100 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507868755704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13509] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13509/stat : 13509 (java) S 13493 13496 8273 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 105171100 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507867702792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13510] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13510/stat : 13510 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105171102 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507866651280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13511] ppid=13493 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/13496/task/13511/stat : 13511 (java) S 13493 13496 8273 0 -1 4202560 8160 0 0 0 133 0 0 0 20 0 22 0 105171102 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507865598392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13512] ppid=13493 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13496/task/13512/stat : 13512 (java) S 13493 13496 8273 0 -1 4202560 10305 0 0 0 115 2 0 0 20 0 22 0 105171102 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507864545592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13513] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13513/stat : 13513 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105171102 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507863492984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13514] ppid=13493 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/13496/task/13514/stat : 13514 (java) S 13493 13496 8273 0 -1 4202560 47 0 0 0 10 16 0 0 20 0 22 0 105171102 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507862440392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13619] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13619/stat : 13619 (java) S 13493 13496 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105171766 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507859182760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13747] ppid=13493 vsize=9824732 CPUtime=396.31 cores=1,3,5,7
/proc/13496/task/13747/stat : 13747 (java) R 13493 13496 8273 0 -1 4202560 7 0 0 0 39623 8 0 0 20 0 22 0 105213574 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507861278992 140507918678151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13748] ppid=13493 vsize=9824732 CPUtime=396.41 cores=1,3,5,7
/proc/13496/task/13748/stat : 13748 (java) R 13493 13496 8273 0 -1 4202560 43 0 0 0 39635 6 0 0 20 0 22 0 105213574 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507858128080 140507918857312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13749] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13749/stat : 13749 (java) S 13493 13496 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105213598 10060525568 546824 33554432000 1073741824 1073778376 140736623553056 140507860235432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1609.36
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.32 4.23 4.19 5/221 13761
/proc/meminfo: memFree=27521904/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=1729.5 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 28703 0 1 0 172698 252 0 0 20 0 22 0 105171096 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 549711 2293 9 0 2446860 0
[pid=13496/tid=13498] ppid=13493 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/13496/task/13498/stat : 13498 (java) S 13493 13496 8273 0 -1 4202560 2495 0 1 0 98 4 0 0 20 0 22 0 105171097 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140508045484920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13499] ppid=13493 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/13496/task/13499/stat : 13499 (java) S 13493 13496 8273 0 -1 4202560 401 0 0 0 109 14 0 0 20 0 22 0 105171098 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507889589288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13500] ppid=13493 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/13496/task/13500/stat : 13500 (java) S 13493 13496 8273 0 -1 4202560 396 0 0 0 107 13 0 0 20 0 22 0 105171098 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507888536488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13501] ppid=13493 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/13496/task/13501/stat : 13501 (java) S 13493 13496 8273 0 -1 4202560 652 0 0 0 110 13 0 0 20 0 22 0 105171098 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507887483688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13502] ppid=13493 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/13496/task/13502/stat : 13502 (java) S 13493 13496 8273 0 -1 4202560 354 0 0 0 95 13 0 0 20 0 22 0 105171098 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507886430888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13503] ppid=13493 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/13496/task/13503/stat : 13503 (java) S 13493 13496 8273 0 -1 4202560 490 0 0 0 105 13 0 0 20 0 22 0 105171098 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507885378088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13504] ppid=13493 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13496/task/13504/stat : 13504 (java) S 13493 13496 8273 0 -1 4202560 493 0 0 0 105 12 0 0 20 0 22 0 105171098 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507884325288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13505] ppid=13493 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/13496/task/13505/stat : 13505 (java) S 13493 13496 8273 0 -1 4202560 344 0 0 0 106 13 0 0 20 0 22 0 105171098 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507883272488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13506] ppid=13493 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/13496/task/13506/stat : 13506 (java) S 13493 13496 8273 0 -1 4202560 376 0 0 0 110 13 0 0 20 0 22 0 105171098 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507882219688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13507] ppid=13493 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/13496/task/13507/stat : 13507 (java) S 13493 13496 8273 0 -1 4202560 1431 0 0 0 74 18 0 0 20 0 22 0 105171100 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507869809640 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13508] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13508/stat : 13508 (java) S 13493 13496 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105171100 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507868755704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13509] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13509/stat : 13509 (java) S 13493 13496 8273 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 105171100 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507867702792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13510] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13510/stat : 13510 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105171102 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507866651280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13511] ppid=13493 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/13496/task/13511/stat : 13511 (java) S 13493 13496 8273 0 -1 4202560 8160 0 0 0 133 0 0 0 20 0 22 0 105171102 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507865598392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13512] ppid=13493 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13496/task/13512/stat : 13512 (java) S 13493 13496 8273 0 -1 4202560 10305 0 0 0 115 2 0 0 20 0 22 0 105171102 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507864545592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13513] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13513/stat : 13513 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105171102 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507863492984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13514] ppid=13493 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/13496/task/13514/stat : 13514 (java) S 13493 13496 8273 0 -1 4202560 51 0 0 0 11 17 0 0 20 0 22 0 105171102 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507862440392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13619] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13619/stat : 13619 (java) S 13493 13496 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105171766 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507859182760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13747] ppid=13493 vsize=9824732 CPUtime=456.25 cores=1,3,5,7
/proc/13496/task/13747/stat : 13747 (java) R 13493 13496 8273 0 -1 4202560 7 0 0 0 45617 8 0 0 20 0 22 0 105213574 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507861285776 140507918678156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13748] ppid=13493 vsize=9824732 CPUtime=456.35 cores=1,3,5,7
/proc/13496/task/13748/stat : 13748 (java) R 13493 13496 8273 0 -1 4202560 45 0 0 0 45629 6 0 0 20 0 22 0 105213574 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507858128464 140507918513058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13749] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13749/stat : 13749 (java) S 13493 13496 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105213598 10060525568 549711 33554432000 1073741824 1073778376 140736623553056 140507860235432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1729.5
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+917.601 s]
/proc/loadavg: 4.11 4.19 4.18 5/221 13925
/proc/meminfo: memFree=27016428/32872528 swapFree=15540/1663004
[pid=13496] ppid=13493 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/13496/stat : 13496 (java) S 13493 13496 8273 0 -1 4202496 28817 0 1 0 179759 255 0 0 20 0 22 0 105171096 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140736623544192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13496/statm: 2456183 557435 2293 9 0 2446860 0
[pid=13496/tid=13498] ppid=13493 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/13496/task/13498/stat : 13498 (java) S 13493 13496 8273 0 -1 4202560 2495 0 1 0 98 4 0 0 20 0 22 0 105171097 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140508045484920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13499] ppid=13493 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/13496/task/13499/stat : 13499 (java) S 13493 13496 8273 0 -1 4202560 406 0 0 0 110 14 0 0 20 0 22 0 105171098 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507889589288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13500] ppid=13493 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/13496/task/13500/stat : 13500 (java) S 13493 13496 8273 0 -1 4202560 401 0 0 0 108 13 0 0 20 0 22 0 105171098 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507888536488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13501] ppid=13493 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/13496/task/13501/stat : 13501 (java) S 13493 13496 8273 0 -1 4202560 689 0 0 0 110 14 0 0 20 0 22 0 105171098 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507887483688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13496/tid=13502] ppid=13493 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/13496/task/13502/stat : 13502 (java) S 13493 13496 8273 0 -1 4202560 389 0 0 0 97 13 0 0 20 0 22 0 105171098 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507886430888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13503] ppid=13493 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/13496/task/13503/stat : 13503 (java) S 13493 13496 8273 0 -1 4202560 504 0 0 0 108 13 0 0 20 0 22 0 105171098 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507885378088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13504] ppid=13493 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/13496/task/13504/stat : 13504 (java) S 13493 13496 8273 0 -1 4202560 497 0 0 0 105 13 0 0 20 0 22 0 105171098 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507884325288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13505] ppid=13493 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/13496/task/13505/stat : 13505 (java) S 13493 13496 8273 0 -1 4202560 349 0 0 0 108 13 0 0 20 0 22 0 105171098 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507883272488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13506] ppid=13493 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/13496/task/13506/stat : 13506 (java) S 13493 13496 8273 0 -1 4202560 382 0 0 0 111 13 0 0 20 0 22 0 105171098 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507882219688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13507] ppid=13493 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/13496/task/13507/stat : 13507 (java) S 13493 13496 8273 0 -1 4202560 1431 0 0 0 74 19 0 0 20 0 22 0 105171100 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507869809640 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13508] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13508/stat : 13508 (java) S 13493 13496 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105171100 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507868755704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13509] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13509/stat : 13509 (java) S 13493 13496 8273 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 105171100 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507867702792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13510] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13510/stat : 13510 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105171102 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507866651280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13511] ppid=13493 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/13496/task/13511/stat : 13511 (java) S 13493 13496 8273 0 -1 4202560 8160 0 0 0 133 0 0 0 20 0 22 0 105171102 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507865598392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13512] ppid=13493 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13496/task/13512/stat : 13512 (java) S 13493 13496 8273 0 -1 4202560 10305 0 0 0 115 2 0 0 20 0 22 0 105171102 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507864545592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13513] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13513/stat : 13513 (java) S 13493 13496 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105171102 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507863492984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13514] ppid=13493 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/13496/task/13514/stat : 13514 (java) S 13493 13496 8273 0 -1 4202560 53 0 0 0 12 18 0 0 20 0 22 0 105171102 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507862440392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13496/tid=13619] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13619/stat : 13619 (java) S 13493 13496 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105171766 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507859182760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13747] ppid=13493 vsize=9824732 CPUtime=491.5 cores=1,3,5,7
/proc/13496/task/13747/stat : 13747 (java) R 13493 13496 8273 0 -1 4202560 8 0 0 0 49141 9 0 0 20 0 22 0 105213574 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507861278992 140507918458863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13496/tid=13748] ppid=13493 vsize=9824732 CPUtime=491.61 cores=1,3,5,7
/proc/13496/task/13748/stat : 13748 (java) R 13493 13496 8273 0 -1 4202560 45 0 0 0 49154 7 0 0 20 0 22 0 105213574 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507858127264 140507918513067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13496/tid=13749] ppid=13493 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13496/task/13749/stat : 13749 (java) S 13493 13496 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105213598 10060525568 557435 33554432000 1073741824 1073778376 140736623553056 140507860235432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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 13496 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 917.659
CPU time (s): 1800.72
CPU user time (s): 1797.82
CPU system time (s): 2.90256
CPU usage (%): 196.23
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.82
system time used= 2.90256
maximum resident set size= 2231856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28861
page faults= 1
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29049
involuntary context switches= 27884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69213 second user time and 7.77382 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-06 18:59:43
IDJOB=4081378
IDBENCH=2910
IDSOLVER=2543
FILE ID=node134/4081378-1465232383
RUNJOBID= node134-1465220363-8290
PBS_JOBID= 19843220
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081378-1465232383/watcher-4081378-1465232383 -o /tmp/evaluation-result-4081378-1465232383/solver-4081378-1465232383 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8290 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081378-1465232383.opb

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=1182068312

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:        28856720 kB
Buffers:           26936 kB
Cached:            86632 kB
SwapCached:         1804 kB
Active:          1592780 kB
Inactive:          53428 kB
Active(anon):    1534092 kB
Inactive(anon):     1036 kB
Active(file):      58688 kB
Inactive(file):    52392 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098292 kB
Dirty:               884 kB
Writeback:             0 kB
AnonPages:       3199464 kB
Mapped:            15260 kB
Shmem:                 0 kB
Slab:             566896 kB
SReclaimable:      10696 kB
SUnreclaim:       556200 kB
KernelStack:        1624 kB
PageTables:        10972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3328872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3123200 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-06 19:15:01