Trace number 4105610

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)11 1800.63 917.854

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_4.opb
MD5SUM740b964ee569656e2f29dedde6e3939b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
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 constraint62
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 1486
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4969
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4105610-1466255681.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.10/0.15	c ... done. Wall clock time 0.044s.
0.10/0.15	c declared #vars     146
0.10/0.15	c #constraints  12
0.10/0.16	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.10/0.16	c 12 constraints processed.
0.10/0.16	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12
0.10/0.16	c 12 constraints processed.
0.10/0.16	c objective function length is 96 literals
2.31/0.73	c And the winner is solver1
2.31/0.78	c cleaning 2490 clauses out of 5003 with flag 10216/5003
2.83/1.16	c SATISFIABLE
2.83/1.16	c OPTIMIZING...
2.83/1.16	c Got one! Elapsed wall clock time (in seconds):1.049
2.83/1.16	o 2233
2.83/1.16	c And the winner is solver0
2.83/1.66	c Got one! Elapsed wall clock time (in seconds):1.55
2.83/1.66	o 196
2.83/1.69	c And the winner is solver0
2.92/2.16	c Got one! Elapsed wall clock time (in seconds):2.051
2.92/2.16	o 188
2.92/2.17	c And the winner is solver0
2.92/2.66	c Got one! Elapsed wall clock time (in seconds):2.553
2.92/2.66	o 186
2.92/2.67	c And the winner is solver0
2.93/3.16	c Got one! Elapsed wall clock time (in seconds):3.054
2.93/3.16	o 185
2.93/3.17	c And the winner is solver0
2.93/3.67	c Got one! Elapsed wall clock time (in seconds):3.555
2.93/3.67	o 184
2.93/3.67	c And the winner is solver0
2.93/4.17	c Got one! Elapsed wall clock time (in seconds):4.056
2.93/4.17	o 172
2.93/4.17	c And the winner is solver0
3.00/4.67	c Got one! Elapsed wall clock time (in seconds):4.557
3.00/4.67	o 170
3.00/4.67	c And the winner is solver0
3.00/5.17	c Got one! Elapsed wall clock time (in seconds):5.058
3.00/5.17	o 153
3.00/5.19	c And the winner is solver0
3.06/5.67	c Got one! Elapsed wall clock time (in seconds):5.559
3.06/5.67	o 151
3.06/5.67	c And the winner is solver0
3.06/6.17	c Got one! Elapsed wall clock time (in seconds):6.06
3.06/6.17	o 136
3.06/6.18	c And the winner is solver0
3.07/6.67	c Got one! Elapsed wall clock time (in seconds):6.561
3.07/6.67	o 124
3.07/6.68	c And the winner is solver0
3.08/7.17	c Got one! Elapsed wall clock time (in seconds):7.062
3.08/7.17	o 122
3.13/7.22	c And the winner is solver0
3.21/7.67	c Got one! Elapsed wall clock time (in seconds):7.563
3.21/7.67	o 120
3.26/7.70	c And the winner is solver0
3.29/8.17	c Got one! Elapsed wall clock time (in seconds):8.065
3.29/8.17	o 118
3.29/8.18	c And the winner is solver0
3.29/8.68	c Got one! Elapsed wall clock time (in seconds):8.566
3.29/8.68	o 100
3.33/8.79	c And the winner is solver0
3.56/9.18	c Got one! Elapsed wall clock time (in seconds):9.067
3.56/9.18	o 99
3.56/9.19	c And the winner is solver0
3.59/9.68	c Got one! Elapsed wall clock time (in seconds):9.568
3.59/9.68	o 93
3.62/9.73	c And the winner is solver0
3.72/10.18	c Got one! Elapsed wall clock time (in seconds):10.07
3.72/10.18	o 91
3.75/10.20	c And the winner is solver0
3.77/10.68	c Got one! Elapsed wall clock time (in seconds):10.571
3.77/10.68	o 90
4.32/10.98	c cleaning 6396 clauses out of 12791 with flag 9223/15281
4.54/11.09	c And the winner is solver1
4.73/11.18	c Got one! Elapsed wall clock time (in seconds):11.073
4.73/11.18	o 85
5.44/11.51	c cleaning 5954 clauses out of 11907 with flag 9921/20793
5.44/11.54	c And the winner is solver0
5.63/11.68	c Got one! Elapsed wall clock time (in seconds):11.574
5.63/11.68	o 83
5.65/11.70	c And the winner is solver0
5.67/12.19	c Got one! Elapsed wall clock time (in seconds):12.076
5.67/12.19	o 77
5.67/12.19	c And the winner is solver0
5.67/12.69	c Got one! Elapsed wall clock time (in seconds):12.578
5.67/12.69	o 75
5.67/12.69	c And the winner is solver0
5.68/13.19	c Got one! Elapsed wall clock time (in seconds):13.08
5.68/13.19	o 70
5.68/13.20	c And the winner is solver0
5.69/13.69	c Got one! Elapsed wall clock time (in seconds):13.582
5.69/13.69	o 68
6.00/13.85	c And the winner is solver0
6.14/14.19	c Got one! Elapsed wall clock time (in seconds):14.084
6.14/14.19	o 45
6.57/14.47	c cleaning 6020 clauses out of 12041 with flag 7217/26881
7.63/14.94	c cleaning 6010 clauses out of 12022 with flag 21534/32882
8.45/15.32	c And the winner is solver0
8.51/15.70	c Got one! Elapsed wall clock time (in seconds):15.586
8.51/15.70	o 43
9.52/16.25	c cleaning 8120 clauses out of 16239 with flag 11747/43109
10.16/16.55	c And the winner is solver0
10.29/16.70	c Got one! Elapsed wall clock time (in seconds):16.591
10.29/16.70	o 42
10.47/16.83	c cleaning 6570 clauses out of 13152 with flag 2048/48142
11.27/17.26	c cleaning 6288 clauses out of 12581 with flag 15981/54141
12.49/17.80	c cleaning 6649 clauses out of 13297 with flag 32087/61145
12.89/18.03	c And the winner is solver0
12.99/18.21	c Got one! Elapsed wall clock time (in seconds):18.096
12.99/18.21	o 41
13.38/18.41	c cleaning 6126 clauses out of 12252 with flag 4371/66749
14.20/18.88	c cleaning 6062 clauses out of 12125 with flag 18164/72748
15.38/19.44	c cleaning 6532 clauses out of 13065 with flag 33583/79750
15.58/19.58	c And the winner is solver0
15.77/19.71	c Got one! Elapsed wall clock time (in seconds):19.602
15.77/19.71	o 39
16.35/20.00	c cleaning 5860 clauses out of 11728 with flag 6673/84945
17.15/20.41	c cleaning 5930 clauses out of 11866 with flag 20245/90943
17.15/20.48	c And the winner is solver0
17.34/20.72	c Got one! Elapsed wall clock time (in seconds):20.609
17.34/20.72	o 38
17.70/21.00	c cleaning 5600 clauses out of 11210 with flag 8980/96217
17.91/21.07	c And the winner is solver0
18.07/21.23	c Got one! Elapsed wall clock time (in seconds):21.116
18.07/21.23	o 37
18.60/21.52	c cleaning 5432 clauses out of 10863 with flag 8836/101470
19.42/21.97	c cleaning 5714 clauses out of 11428 with flag 22365/107467
20.62/22.51	c cleaning 6354 clauses out of 12715 with flag 38019/114468
21.22/22.85	c And the winner is solver0
21.34/23.24	c Got one! Elapsed wall clock time (in seconds):23.124
21.34/23.24	o 33
21.46/23.34	c cleaning 6104 clauses out of 12215 with flag 2268/120322
22.46/23.81	c cleaning 6048 clauses out of 12112 with flag 15957/126323
23.48/24.39	c cleaning 6530 clauses out of 13063 with flag 32076/133322
23.87/24.51	c And the winner is solver0
23.97/24.74	c Got one! Elapsed wall clock time (in seconds):24.633
23.97/24.74	o 29
24.68/25.10	c cleaning 6091 clauses out of 12182 with flag 8362/138971
25.29/25.42	c And the winner is solver0
25.38/25.75	c Got one! Elapsed wall clock time (in seconds):25.644
25.38/25.75	o 27
25.45/25.87	c cleaning 5552 clauses out of 11135 with flag 2035/144015
25.85/26.01	c And the winner is solver0
25.95/26.27	c Got one! Elapsed wall clock time (in seconds):26.157
25.95/26.27	o 25
26.60/26.61	c cleaning 5775 clauses out of 11553 with flag 8430/149985
27.40/27.06	c cleaning 5885 clauses out of 11779 with flag 20864/155986
28.61/27.61	c cleaning 6445 clauses out of 12895 with flag 35320/162987
30.02/28.33	c cleaning 7223 clauses out of 14451 with flag 51894/170988
31.62/29.11	c cleaning 8112 clauses out of 16226 with flag 70432/179986
33.22/29.98	c And the winner is solver0
33.44/30.28	c Got one! Elapsed wall clock time (in seconds):30.171
33.44/30.28	o 21
34.85/31.07	c cleaning 11205 clauses out of 22410 with flag 10381/194282
36.05/31.69	c cleaning 8601 clauses out of 17205 with flag 22787/200282
37.45/32.37	c cleaning 7801 clauses out of 15605 with flag 37230/207283
39.10/33.12	c cleaning 7896 clauses out of 15807 with flag 53637/215286
40.89/34.01	c cleaning 8452 clauses out of 16910 with flag 72238/224285
42.88/35.01	c cleaning 9228 clauses out of 18459 with flag 92786/234286
45.09/36.13	c cleaning 10113 clauses out of 20228 with flag 115279/245283
47.95/37.54	c cleaning 11058 clauses out of 22117 with flag 139993/257285
51.14/39.13	c cleaning 12027 clauses out of 24060 with flag 166848/270286
54.77/40.96	c cleaning 13017 clauses out of 26033 with flag 195605/284286
58.56/42.88	c And the winner is solver0
58.79/43.32	c Got one! Elapsed wall clock time (in seconds):43.21
58.79/43.32	o 20
60.74/44.39	c cleaning 15876 clauses out of 31755 with flag 10436/303025
62.35/45.14	c cleaning 10933 clauses out of 21877 with flag 22995/309023
63.94/45.93	c cleaning 8966 clauses out of 17946 with flag 37665/316025
65.54/46.77	c cleaning 8490 clauses out of 16980 with flag 54292/324025
67.34/47.69	c cleaning 8742 clauses out of 17489 with flag 72817/333024
69.56/48.76	c cleaning 9367 clauses out of 18747 with flag 93421/343024
70.96/49.42	c And the winner is solver0
71.08/49.85	c Got one! Elapsed wall clock time (in seconds):49.738
71.08/49.85	o 18
72.54/50.67	c cleaning 10540 clauses out of 21082 with flag 10964/354726
74.13/51.42	c cleaning 8268 clauses out of 16542 with flag 23467/360726
75.55/52.17	c cleaning 7637 clauses out of 15275 with flag 37940/367727
77.35/53.07	c cleaning 7818 clauses out of 15637 with flag 54533/375726
79.56/54.14	c cleaning 8406 clauses out of 16819 with flag 73238/384726
81.96/55.34	c cleaning 9201 clauses out of 18414 with flag 94161/394727
84.77/56.76	c cleaning 10095 clauses out of 20214 with flag 117037/405728
88.18/58.44	c cleaning 11057 clauses out of 22117 with flag 141862/417726
91.99/60.36	c cleaning 12025 clauses out of 24062 with flag 168621/430728
96.19/62.46	c cleaning 13018 clauses out of 26036 with flag 197695/444727
100.99/64.86	c cleaning 14007 clauses out of 28017 with flag 228583/459726
105.81/67.29	c cleaning 15003 clauses out of 30010 with flag 261643/475726
111.61/70.17	c cleaning 15999 clauses out of 32011 with flag 296735/492730
118.64/73.70	c cleaning 17000 clauses out of 34014 with flag 334223/510732
125.85/77.29	c cleaning 18004 clauses out of 36011 with flag 373218/529729
134.07/81.35	c cleaning 19000 clauses out of 38006 with flag 414937/549728
143.89/86.20	c cleaning 20000 clauses out of 40004 with flag 458365/570726
153.90/91.21	c cleaning 20995 clauses out of 42006 with flag 504317/592728
162.11/95.39	c And the winner is solver0
162.41/95.51	c Got one! Elapsed wall clock time (in seconds):95.395
162.41/95.51	o 17
165.56/97.10	c cleaning 22261 clauses out of 44532 with flag 11095/616249
167.37/98.04	c cleaning 14132 clauses out of 28273 with flag 23409/622251
168.97/98.87	c cleaning 10569 clauses out of 21139 with flag 37874/629249
170.57/99.67	c cleaning 9282 clauses out of 18570 with flag 54357/637249
172.56/100.61	c cleaning 9140 clauses out of 18289 with flag 72991/646250
174.56/101.62	c cleaning 9566 clauses out of 19149 with flag 93530/656250
176.98/102.86	c cleaning 10285 clauses out of 20582 with flag 116311/667249
179.98/104.34	c cleaning 11149 clauses out of 22297 with flag 141060/679249
182.98/105.84	c cleaning 12069 clauses out of 24149 with flag 167701/692250
186.38/107.53	c cleaning 13033 clauses out of 26080 with flag 196480/706250
190.18/109.49	c cleaning 14022 clauses out of 28050 with flag 227432/721253
195.38/112.05	c cleaning 15013 clauses out of 30025 with flag 260281/737250
200.59/114.60	c cleaning 16006 clauses out of 32011 with flag 295115/754249
206.38/117.60	c cleaning 17003 clauses out of 34007 with flag 331815/772251
212.98/120.87	c cleaning 18001 clauses out of 36003 with flag 370501/791250
219.80/124.23	c cleaning 18997 clauses out of 38001 with flag 411302/811249
226.40/127.59	c cleaning 20000 clauses out of 40004 with flag 454131/832249
234.40/131.51	c cleaning 21002 clauses out of 42005 with flag 499176/854250
243.00/135.85	c cleaning 22001 clauses out of 44006 with flag 546234/877253
253.43/141.10	c cleaning 22996 clauses out of 46002 with flag 595531/901250
264.63/146.68	c cleaning 23997 clauses out of 48006 with flag 646684/926250
276.85/152.72	c cleaning 25005 clauses out of 50010 with flag 700583/952251
289.67/159.16	c cleaning 25998 clauses out of 52003 with flag 756435/979249
292.47/160.50	c And the winner is solver0
292.98/161.07	c Got one! Elapsed wall clock time (in seconds):160.956
292.98/161.07	o 16
295.89/162.56	c cleaning 19404 clauses out of 38821 with flag 10449/992065
297.88/163.55	c cleaning 12697 clauses out of 25414 with flag 22815/998062
299.88/164.52	c cleaning 9853 clauses out of 19714 with flag 37175/1005059
302.10/165.61	c cleaning 8925 clauses out of 17861 with flag 53628/1013059
304.50/166.82	c cleaning 8966 clauses out of 17938 with flag 71959/1022061
307.33/168.25	c cleaning 9481 clauses out of 18970 with flag 92820/1032059
310.55/169.85	c cleaning 10242 clauses out of 20489 with flag 115649/1043059
314.19/171.62	c cleaning 11123 clauses out of 22247 with flag 140234/1055059
318.18/173.60	c cleaning 12054 clauses out of 24124 with flag 166775/1068059
322.99/176.03	c cleaning 13027 clauses out of 26071 with flag 195864/1082060
328.18/178.64	c cleaning 14020 clauses out of 28043 with flag 226710/1097059
333.98/181.60	c cleaning 15008 clauses out of 30026 with flag 259407/1113062
340.59/184.90	c cleaning 16003 clauses out of 32016 with flag 294034/1130060
348.18/188.60	c cleaning 17005 clauses out of 34012 with flag 331431/1148059
355.99/192.57	c cleaning 18002 clauses out of 36008 with flag 370606/1167060
365.00/197.02	c cleaning 19004 clauses out of 38007 with flag 411620/1187061
374.57/201.81	c cleaning 20002 clauses out of 40006 with flag 454896/1208064
384.41/206.74	c cleaning 20999 clauses out of 41999 with flag 500739/1230059
394.61/211.88	c cleaning 21992 clauses out of 44000 with flag 548276/1253059
405.41/217.27	c cleaning 23005 clauses out of 46009 with flag 597901/1277060
417.21/223.12	c cleaning 23998 clauses out of 48005 with flag 649549/1302061
430.43/229.71	c cleaning 25002 clauses out of 50007 with flag 703209/1328061
443.03/236.02	c cleaning 25998 clauses out of 52003 with flag 758737/1355059
456.05/242.56	c cleaning 27002 clauses out of 54005 with flag 816069/1383059
472.32/250.70	c cleaning 28002 clauses out of 56008 with flag 876718/1412064
489.33/259.10	c cleaning 28999 clauses out of 58001 with flag 939319/1442059
507.37/268.18	c cleaning 29998 clauses out of 60005 with flag 1004125/1473062
526.97/277.91	c cleaning 31001 clauses out of 62009 with flag 1070669/1505064
547.19/288.02	c cleaning 32004 clauses out of 64008 with flag 1138765/1538064
568.21/298.59	c cleaning 32995 clauses out of 65999 with flag 1208479/1572059
571.21/300.03	c And the winner is solver0
577.01/305.70	c Got one! Elapsed wall clock time (in seconds):305.59
577.01/305.70	o 14
580.73/307.67	c cleaning 22636 clauses out of 45296 with flag 10344/1584351
583.35/308.90	c cleaning 14326 clauses out of 28661 with flag 22710/1590352
585.36/309.98	c cleaning 10661 clauses out of 21334 with flag 37073/1597351
587.59/311.02	c cleaning 9323 clauses out of 18674 with flag 53615/1605352
589.81/312.19	c cleaning 9172 clauses out of 18360 with flag 72154/1614361
592.41/313.49	c cleaning 9586 clauses out of 19180 with flag 92589/1624353
595.24/314.88	c cleaning 10297 clauses out of 20595 with flag 115022/1635354
598.65/316.54	c cleaning 11148 clauses out of 22295 with flag 139931/1647351
602.26/318.34	c cleaning 12073 clauses out of 24148 with flag 166892/1660352
606.26/320.33	c cleaning 13027 clauses out of 26074 with flag 195794/1674351
610.28/322.31	c And the winner is solver0
610.47/322.51	c Got one! Elapsed wall clock time (in seconds):322.404
610.47/322.51	o 13
613.15/323.91	c cleaning 16145 clauses out of 32299 with flag 10440/1693603
614.95/324.83	c cleaning 11075 clauses out of 22155 with flag 22664/1699604
616.58/325.65	c cleaning 9032 clauses out of 18079 with flag 36892/1706603
618.38/326.55	c cleaning 8520 clauses out of 17049 with flag 53167/1714605
620.38/327.54	c cleaning 8759 clauses out of 17528 with flag 71431/1723604
622.80/328.73	c cleaning 9377 clauses out of 18768 with flag 91755/1733603
625.66/330.13	c cleaning 10194 clauses out of 20392 with flag 114238/1744604
628.85/331.75	c cleaning 11098 clauses out of 22199 with flag 139150/1756605
632.46/333.58	c cleaning 12049 clauses out of 24099 with flag 166122/1769603
636.26/335.47	c cleaning 13024 clauses out of 26052 with flag 195030/1783605
641.49/338.06	c cleaning 14014 clauses out of 28027 with flag 225941/1798604
646.89/340.72	c cleaning 15004 clauses out of 30012 with flag 258778/1814603
652.94/343.76	c cleaning 16004 clauses out of 32008 with flag 293651/1831603
659.77/347.20	c cleaning 17000 clauses out of 34004 with flag 330662/1849603
667.42/350.92	c cleaning 18001 clauses out of 36007 with flag 369683/1868606
674.83/354.61	c cleaning 19000 clauses out of 38011 with flag 411317/1888611
675.23/354.82	c And the winner is solver0
675.55/355.15	c Got one! Elapsed wall clock time (in seconds):355.044
675.55/355.15	o 12
677.14/356.02	c cleaning 12287 clauses out of 24592 with flag 8457/1894192
678.55/356.78	c cleaning 9148 clauses out of 18303 with flag 20920/1900190
680.36/357.65	c cleaning 8074 clauses out of 16156 with flag 35443/1907191
682.36/358.61	c cleaning 8032 clauses out of 16081 with flag 52028/1915190
684.59/359.75	c cleaning 8521 clauses out of 17049 with flag 70477/1924190
687.19/361.04	c cleaning 9262 clauses out of 18528 with flag 91052/1934190
690.00/362.45	c cleaning 10134 clauses out of 20267 with flag 113804/1945191
693.65/364.21	c cleaning 11066 clauses out of 22131 with flag 138670/1957189
697.80/366.46	c cleaning 12032 clauses out of 24066 with flag 165469/1970190
702.60/368.83	c cleaning 13015 clauses out of 26033 with flag 194253/1984189
707.82/371.42	c cleaning 14002 clauses out of 28019 with flag 224973/1999190
713.63/374.37	c cleaning 15007 clauses out of 30017 with flag 257862/2015190
720.06/377.57	c cleaning 16006 clauses out of 32013 with flag 293228/2032193
726.71/380.89	c cleaning 16999 clauses out of 34003 with flag 330415/2050189
734.71/384.80	c cleaning 18000 clauses out of 36004 with flag 369739/2069189
743.35/389.13	c cleaning 19005 clauses out of 38010 with flag 410880/2089195
753.18/394.05	c cleaning 19992 clauses out of 40000 with flag 454261/2110190
762.98/398.96	c cleaning 21003 clauses out of 42008 with flag 499663/2132190
774.01/404.42	c cleaning 22004 clauses out of 44007 with flag 547123/2155192
786.26/410.59	c cleaning 23001 clauses out of 46001 with flag 597120/2179190
798.92/416.85	c cleaning 24000 clauses out of 47999 with flag 649319/2204189
811.97/423.37	c cleaning 24999 clauses out of 50000 with flag 703355/2230190
825.81/430.27	c cleaning 26000 clauses out of 52001 with flag 759702/2257190
840.83/437.78	c cleaning 26999 clauses out of 54002 with flag 818385/2285191
855.05/444.84	c cleaning 28001 clauses out of 56002 with flag 878788/2314190
870.24/452.41	c cleaning 28999 clauses out of 58004 with flag 940512/2344193
887.49/461.06	c cleaning 29999 clauses out of 60002 with flag 1004824/2375190
910.14/472.37	c cleaning 31002 clauses out of 62004 with flag 1071163/2407191
933.35/483.95	c cleaning 32003 clauses out of 64007 with flag 1139853/2440196
955.57/495.04	c cleaning 32993 clauses out of 65997 with flag 1210836/2474189
979.98/507.26	c cleaning 33998 clauses out of 68006 with flag 1283426/2509191
1001.59/518.05	c cleaning 34999 clauses out of 70006 with flag 1358609/2545189
1025.19/529.85	c cleaning 36005 clauses out of 72012 with flag 1435772/2582194
1050.22/542.40	c cleaning 36999 clauses out of 74004 with flag 1515306/2620191
1078.07/556.28	c cleaning 37997 clauses out of 76004 with flag 1597224/2659190
1106.20/570.43	c cleaning 38998 clauses out of 78007 with flag 1681198/2699190
1130.82/582.72	c And the winner is solver0
1133.36/585.12	c Got one! Elapsed wall clock time (in seconds):585.011
1133.36/585.12	o 11
1140.60/588.81	c cleaning 41551 clauses out of 83103 with flag 10417/2743284
1144.44/590.79	c cleaning 23772 clauses out of 47552 with flag 22754/2749284
1147.03/592.08	c cleaning 15381 clauses out of 30779 with flag 37197/2756283
1149.44/593.27	c cleaning 11692 clauses out of 23404 with flag 53659/2764289
1152.04/594.52	c cleaning 10350 clauses out of 20712 with flag 72292/2773289
1154.45/595.74	c cleaning 10162 clauses out of 20358 with flag 92582/2783285
1157.05/597.10	c cleaning 10597 clauses out of 21198 with flag 115026/2794287
1160.88/598.91	c cleaning 11298 clauses out of 22597 with flag 139773/2806283
1164.93/600.94	c cleaning 12145 clauses out of 24299 with flag 166487/2819283
1169.15/603.07	c cleaning 13074 clauses out of 26155 with flag 195158/2833284
1174.16/605.58	c cleaning 14040 clauses out of 28082 with flag 226085/2848285
1179.17/608.05	c cleaning 15019 clauses out of 30041 with flag 259445/2864284
1184.98/610.97	c cleaning 16008 clauses out of 32021 with flag 294877/2881283
1192.02/614.41	c cleaning 17007 clauses out of 34014 with flag 332165/2899284
1199.47/618.20	c cleaning 18004 clauses out of 36013 with flag 372249/2918290
1207.10/621.97	c cleaning 19000 clauses out of 38002 with flag 414439/2938283
1215.32/626.07	c cleaning 20001 clauses out of 40002 with flag 458940/2959283
1224.31/630.57	c cleaning 21002 clauses out of 42004 with flag 506236/2981286
1234.72/635.70	c cleaning 21999 clauses out of 44000 with flag 554285/3004284
1246.35/641.56	c cleaning 22998 clauses out of 46000 with flag 604219/3028283
1258.18/647.49	c cleaning 24000 clauses out of 48003 with flag 655989/3053284
1271.25/653.92	c cleaning 25001 clauses out of 50002 with flag 710327/3079283
1282.86/659.79	c cleaning 25998 clauses out of 52001 with flag 766016/3106283
1295.67/666.14	c cleaning 26995 clauses out of 54003 with flag 824183/3134283
1310.93/673.78	c cleaning 28003 clauses out of 56008 with flag 884372/3163283
1328.76/682.63	c cleaning 29002 clauses out of 58005 with flag 947011/3193283
1346.78/691.68	c cleaning 29995 clauses out of 60003 with flag 1012223/3224283
1367.00/701.71	c cleaning 31001 clauses out of 62008 with flag 1079506/3256283
1387.23/711.85	c cleaning 32002 clauses out of 64008 with flag 1149862/3289284
1407.22/721.89	c cleaning 33001 clauses out of 66006 with flag 1222090/3323284
1427.87/732.12	c cleaning 33996 clauses out of 68004 with flag 1296208/3358283
1447.26/741.84	c cleaning 34995 clauses out of 70008 with flag 1370692/3394283
1469.49/752.93	c cleaning 36001 clauses out of 72013 with flag 1446695/3431283
1494.55/765.46	c cleaning 37007 clauses out of 74015 with flag 1525694/3469286
1524.94/780.56	c cleaning 38002 clauses out of 76006 with flag 1606246/3508284
1558.74/797.58	c cleaning 39000 clauses out of 78007 with flag 1689853/3548287
1593.44/814.86	c cleaning 40002 clauses out of 80005 with flag 1775715/3589285
1624.91/830.58	c cleaning 41000 clauses out of 82002 with flag 1863150/3631284
1657.50/846.88	c cleaning 41996 clauses out of 84003 with flag 1953146/3674285
1695.27/865.67	c cleaning 43002 clauses out of 86006 with flag 2044484/3718284
1735.05/885.42	c cleaning 43999 clauses out of 88006 with flag 2138497/3763286
1775.55/905.61	c cleaning 44998 clauses out of 90004 with flag 2234298/3809283
1800.04/917.80	c >>>>>>>>>> Solver number 0 (44 answers) <<<<<<<<<<<<<<<<<<
1800.04/917.80	c starts		: 1749
1800.04/917.80	c conflicts		: 3842657
1800.04/917.80	c decisions		: 4017247
1800.04/917.80	c propagations		: 34192848
1800.04/917.80	c inspects		: 17527426350
1800.04/917.80	c shortcuts		: 0
1800.04/917.80	c learnt literals	: 0
1800.04/917.80	c learnt binary clauses	: 0
1800.04/917.80	c learnt ternary clauses	: 0
1800.04/917.80	c learnt constraints	: 3842657
1800.04/917.80	c ignored constraints	: 0
1800.04/917.80	c root simplifications	: 0
1800.04/917.80	c removed literals (reason simplification)	: 35707141
1800.04/917.80	c reason swapping (by a shorter reason)	: 0
1800.04/917.80	c Calls to reduceDB	: 219
1800.04/917.80	c Number of update (reduction) of LBD	: 228851
1800.04/917.80	c Imported unit clauses	: 0
1800.04/917.80	c number of reductions to clauses (during analyze)	: 0
1800.04/917.80	c number of learned constraints concerned by reduction	: 0
1800.04/917.80	c number of learning phase by resolution	: 0
1800.04/917.80	c number of learning phase by cutting planes	: 0
1800.04/917.80	c speed (assignments/second)	: 37714.68279398512
1800.04/917.80	c non guided choices	1097
1800.04/917.83	c learnt constraints type 
1800.04/917.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 78380
1800.04/917.83	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.04/917.83	c starts		: 90
1800.04/917.83	c conflicts		: 7295
1800.04/917.83	c decisions		: 17561
1800.04/917.83	c propagations		: 84201
1800.04/917.83	c inspects		: 121141288
1800.04/917.83	c shortcuts		: 0
1800.04/917.83	c learnt literals	: 0
1800.04/917.83	c learnt binary clauses	: 0
1800.04/917.83	c learnt ternary clauses	: 0
1800.04/917.83	c learnt constraints	: 7270
1800.04/917.83	c ignored constraints	: 0
1800.04/917.83	c root simplifications	: 0
1800.04/917.83	c removed literals (reason simplification)	: 0
1800.04/917.83	c reason swapping (by a shorter reason)	: 0
1800.04/917.83	c Calls to reduceDB	: 0
1800.04/917.83	c Number of update (reduction) of LBD	: 0
1800.04/917.83	c Imported unit clauses	: 0
1800.04/917.83	c number of reductions to clauses (during analyze)	: 0
1800.04/917.83	c number of learned constraints concerned by reduction	: 0
1800.04/917.83	c number of learning phase by resolution	: 0
1800.04/917.83	c number of learning phase by cutting planes	: 0
1800.04/917.83	c speed (assignments/second)	: 253.48156711160883
1800.04/917.83	c non guided choices	797
1800.04/917.83	c learnt constraints type 
1800.04/917.83	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.04/917.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7269
1800.04/917.83	s SATISFIABLE
1800.04/917.83	c Found 46 solution(s)
1800.04/917.83	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.04/917.83	c objective function=11
1800.04/917.83	c Total wall clock time (in seconds): 917.721

Verifier Data 

OK	11

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-4105610-1466255681/watcher-4105610-1466255681 -o /tmp/evaluation-result-4105610-1466255681/solver-4105610-1466255681 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105610-1466255681.opb 

pid=1601
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.09 4.23 4.19 4/197 1604
/proc/meminfo: memFree=30330640/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/1604/stat : 1604 (java) R 1601 1604 18358 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 27614867 23793664 465 33554432000 1073741824 1073778376 140733310533616 140733310522680 214360439361 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 5809 477 361 9 0 128 0

[startup+0.10006 s]
/proc/loadavg: 4.09 4.23 4.19 4/197 1604
/proc/meminfo: memFree=30330640/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 4435 0 1 0 9 1 0 0 20 0 18 0 27614867 9787879424 6070 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2389619 6071 2141 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200217 s]
/proc/loadavg: 4.09 4.23 4.19 4/197 1604
/proc/meminfo: memFree=30330640/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 5805 0 1 0 31 2 0 0 20 0 22 0 27614867 10060525568 8481 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2456183 8481 2225 9 0 2446860 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 9824732

[startup+0.300229 s]
/proc/loadavg: 4.09 4.23 4.19 4/197 1604
/proc/meminfo: memFree=30330640/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 7687 0 1 0 71 2 0 0 20 0 22 0 27614867 10060525568 9757 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2456183 9757 2236 9 0 2446860 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 9824732

[startup+0.700194 s]
/proc/loadavg: 4.09 4.23 4.19 4/197 1604
/proc/meminfo: memFree=30330640/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 15135 0 1 0 227 4 0 0 20 0 22 0 27614867 10060525568 22857 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2456183 22857 2256 9 0 2446860 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.09 4.23 4.19 3/216 1627
/proc/meminfo: memFree=30237768/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 19826 0 1 0 277 6 0 0 20 0 19 0 27614867 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2456183 26482 2268 9 0 2446860 0
[pid=1604/tid=1606] ppid=1601 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/1604/task/1606/stat : 1606 (java) S 1601 1604 18358 0 -1 4202560 2434 0 1 0 12 2 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344273777528 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1607] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1607/stat : 1607 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344235268648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1608] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1608/stat : 1608 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344234215848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1609] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1609/stat : 1609 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344233163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1610] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1610/stat : 1610 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344232110248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1611] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1611/stat : 1611 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344112966696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1612] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1612/stat : 1612 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344111913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1613] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1613/stat : 1613 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344110861096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1615] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1615/stat : 1615 (java) S 1601 1604 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344109808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1616] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1616/stat : 1616 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140344097610216 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1617] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1617/stat : 1617 (java) S 1601 1604 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140343492207864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1618] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1618/stat : 1618 (java) S 1601 1604 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140343491154952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1619] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1619/stat : 1619 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140343490103440 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1620] ppid=1601 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/1604/task/1620/stat : 1620 (java) S 1601 1604 18358 0 -1 4202560 6131 0 0 0 68 2 0 0 20 0 19 0 27614872 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140343489051576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1621] ppid=1601 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/1604/task/1621/stat : 1621 (java) S 1601 1604 18358 0 -1 4202560 9888 0 0 0 75 1 0 0 20 0 19 0 27614872 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140343487998776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1622] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1622/stat : 1622 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140343486946168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1623] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1623/stat : 1623 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 26482 33554432000 1073741824 1073778376 140733310533616 140343485893576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 4.01 4.21 4.18 3/216 1637
/proc/meminfo: memFree=30210888/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 19863 0 1 0 285 8 0 0 20 0 19 0 27614867 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2456183 33653 2270 9 0 2446860 0
[pid=1604/tid=1606] ppid=1601 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/1604/task/1606/stat : 1606 (java) S 1601 1604 18358 0 -1 4202560 2435 0 1 0 12 2 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344273777528 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1607] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1607/stat : 1607 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344235268648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1608] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1608/stat : 1608 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344234215848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1609] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1609/stat : 1609 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344233163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1610] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1610/stat : 1610 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344232110248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1611] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1611/stat : 1611 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344112966696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1612] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1612/stat : 1612 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344111913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1613] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1613/stat : 1613 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344110861096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1615] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1615/stat : 1615 (java) S 1601 1604 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344109808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1616] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1616/stat : 1616 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140344097610216 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1617] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1617/stat : 1617 (java) S 1601 1604 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140343492207864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1618] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1618/stat : 1618 (java) S 1601 1604 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140343491154952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1619] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1619/stat : 1619 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140343490103440 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1620] ppid=1601 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/1604/task/1620/stat : 1620 (java) S 1601 1604 18358 0 -1 4202560 6131 0 0 0 68 2 0 0 20 0 19 0 27614872 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140343489051576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1621] ppid=1601 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/1604/task/1621/stat : 1621 (java) S 1601 1604 18358 0 -1 4202560 9890 0 0 0 76 1 0 0 20 0 19 0 27614872 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140343487998776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1622] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1622/stat : 1622 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140343486946168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1623] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1623/stat : 1623 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140343485893576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1630] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1630/stat : 1630 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27614984 10060525568 33653 33554432000 1073741824 1073778376 140733310533616 140343481681320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 9824732

[startup+6.3009 s]
/proc/loadavg: 4.01 4.21 4.18 4/216 1659
/proc/meminfo: memFree=30168168/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 19983 0 1 0 297 10 0 0 20 0 19 0 27614867 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2456183 44287 2284 9 0 2446860 0
[pid=1604/tid=1606] ppid=1601 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/1604/task/1606/stat : 1606 (java) S 1601 1604 18358 0 -1 4202560 2436 0 1 0 13 2 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344273777528 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1607] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1607/stat : 1607 (java) S 1601 1604 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344235268648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1608] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1608/stat : 1608 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344234215848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1609] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1609/stat : 1609 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344233163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1610] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1610/stat : 1610 (java) S 1601 1604 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344232110248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1611] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1611/stat : 1611 (java) S 1601 1604 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344112966696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1612] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1612/stat : 1612 (java) S 1601 1604 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344111913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1613] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1613/stat : 1613 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344110861096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1615] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1615/stat : 1615 (java) S 1601 1604 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27614868 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344109808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1616] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1616/stat : 1616 (java) S 1601 1604 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140344097610216 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1617] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1617/stat : 1617 (java) S 1601 1604 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140343492207864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1618] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1618/stat : 1618 (java) S 1601 1604 18358 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 27614870 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140343491154952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1619] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1619/stat : 1619 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140343490103440 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1620] ppid=1601 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/1604/task/1620/stat : 1620 (java) S 1601 1604 18358 0 -1 4202560 6133 0 0 0 70 2 0 0 20 0 19 0 27614872 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140343489051576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1621] ppid=1601 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/1604/task/1621/stat : 1621 (java) S 1601 1604 18358 0 -1 4202560 9890 0 0 0 81 2 0 0 20 0 19 0 27614872 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140343487998776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1622] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1622/stat : 1622 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140343486946168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1623] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1623/stat : 1623 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27614872 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140343485893576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1630] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1630/stat : 1630 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27614984 10060525568 44287 33554432000 1073741824 1073778376 140733310533616 140343481681320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=27 pid=1809 uid=0 cmd=


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

[pid=1604/tid=1607] ppid=1601 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/1604/task/1607/stat : 1607 (java) S 1601 1604 18358 0 -1 4202560 195 0 0 0 123 7 0 0 20 0 22 0 27614868 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344235268648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1608] ppid=1601 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/1604/task/1608/stat : 1608 (java) S 1601 1604 18358 0 -1 4202560 264 0 0 0 121 8 0 0 20 0 22 0 27614868 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344234215848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1609] ppid=1601 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/1604/task/1609/stat : 1609 (java) S 1601 1604 18358 0 -1 4202560 234 0 0 0 125 8 0 0 20 0 22 0 27614868 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344233163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1610] ppid=1601 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/1604/task/1610/stat : 1610 (java) S 1601 1604 18358 0 -1 4202560 223 0 0 0 126 7 0 0 20 0 22 0 27614868 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344232110248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1611] ppid=1601 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/1604/task/1611/stat : 1611 (java) S 1601 1604 18358 0 -1 4202560 238 0 0 0 133 8 0 0 20 0 22 0 27614868 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344112966696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1612] ppid=1601 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/1604/task/1612/stat : 1612 (java) S 1601 1604 18358 0 -1 4202560 230 0 0 0 128 7 0 0 20 0 22 0 27614868 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344111913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1613] ppid=1601 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/1604/task/1613/stat : 1613 (java) S 1601 1604 18358 0 -1 4202560 245 0 0 0 130 6 0 0 20 0 22 0 27614868 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344110861096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1615] ppid=1601 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/1604/task/1615/stat : 1615 (java) S 1601 1604 18358 0 -1 4202560 242 0 0 0 124 7 0 0 20 0 22 0 27614868 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344109808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1616] ppid=1601 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/1604/task/1616/stat : 1616 (java) S 1601 1604 18358 0 -1 4202560 1200 0 0 0 94 26 0 0 20 0 22 0 27614870 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140344097610216 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1617] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1617/stat : 1617 (java) S 1601 1604 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27614870 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343492207864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1618] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1618/stat : 1618 (java) S 1601 1604 18358 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 27614870 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343491154952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1619] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1619/stat : 1619 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27614872 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343490103440 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1620] ppid=1601 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/1604/task/1620/stat : 1620 (java) S 1601 1604 18358 0 -1 4202560 6144 0 0 0 96 2 0 0 20 0 22 0 27614872 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343489051576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1621] ppid=1601 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/1604/task/1621/stat : 1621 (java) S 1601 1604 18358 0 -1 4202560 9899 0 0 0 116 2 0 0 20 0 22 0 27614872 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343487998776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1622] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1622/stat : 1622 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27614872 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343486946168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1623] ppid=1601 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/1604/task/1623/stat : 1623 (java) S 1601 1604 18358 0 -1 4202560 47 0 0 0 9 13 0 0 20 0 22 0 27614872 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343485893576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1698] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1698/stat : 1698 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27615986 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343481680808 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1789] ppid=1601 vsize=9824732 CPUtime=235.47 cores=0,2,4,6
/proc/1604/task/1789/stat : 1789 (java) R 1601 1604 18358 0 -1 4202560 41 0 0 0 23542 5 0 0 20 0 22 0 27673400 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343483784352 140344113493603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1790] ppid=1601 vsize=9824732 CPUtime=235.48 cores=0,2,4,6
/proc/1604/task/1790/stat : 1790 (java) R 1601 1604 18358 0 -1 4202560 1186 0 0 0 23540 8 0 0 20 0 22 0 27673400 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343484836672 140344113522864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1791] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1791/stat : 1791 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27673432 10060525568 364178 33554432000 1073741824 1073778376 140733310533616 140343482734120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1608.46
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.15 4.16 4.15 5/219 1798
/proc/meminfo: memFree=28672584/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9824732 CPUtime=1728.81 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 26003 0 1 0 172677 204 0 0 20 0 22 0 27614867 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2456183 340865 2293 9 0 2446860 0
[pid=1604/tid=1606] ppid=1601 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/1604/task/1606/stat : 1606 (java) S 1601 1604 18358 0 -1 4202560 2448 0 1 0 101 3 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344273777528 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1607] ppid=1601 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/1604/task/1607/stat : 1607 (java) S 1601 1604 18358 0 -1 4202560 232 0 0 0 133 7 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344235268648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1608] ppid=1601 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/1604/task/1608/stat : 1608 (java) S 1601 1604 18358 0 -1 4202560 265 0 0 0 133 8 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344234215848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1609] ppid=1601 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/1604/task/1609/stat : 1609 (java) S 1601 1604 18358 0 -1 4202560 237 0 0 0 140 8 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344233163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1610] ppid=1601 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/1604/task/1610/stat : 1610 (java) S 1601 1604 18358 0 -1 4202560 231 0 0 0 141 7 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344232110248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1611] ppid=1601 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/1604/task/1611/stat : 1611 (java) S 1601 1604 18358 0 -1 4202560 241 0 0 0 144 8 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344112966696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1612] ppid=1601 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/1604/task/1612/stat : 1612 (java) S 1601 1604 18358 0 -1 4202560 245 0 0 0 140 7 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344111913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1613] ppid=1601 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/1604/task/1613/stat : 1613 (java) S 1601 1604 18358 0 -1 4202560 245 0 0 0 142 6 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344110861096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1615] ppid=1601 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/1604/task/1615/stat : 1615 (java) S 1601 1604 18358 0 -1 4202560 243 0 0 0 135 8 0 0 20 0 22 0 27614868 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344109808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1616] ppid=1601 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/1604/task/1616/stat : 1616 (java) S 1601 1604 18358 0 -1 4202560 1204 0 0 0 94 28 0 0 20 0 22 0 27614870 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140344097610216 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1617] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1617/stat : 1617 (java) S 1601 1604 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27614870 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343492207864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1618] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1618/stat : 1618 (java) S 1601 1604 18358 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 27614870 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343491154952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1619] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1619/stat : 1619 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27614872 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343490103440 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1620] ppid=1601 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/1604/task/1620/stat : 1620 (java) S 1601 1604 18358 0 -1 4202560 6144 0 0 0 96 2 0 0 20 0 22 0 27614872 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343489051576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1621] ppid=1601 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/1604/task/1621/stat : 1621 (java) S 1601 1604 18358 0 -1 4202560 9899 0 0 0 116 2 0 0 20 0 22 0 27614872 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343487998776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1622] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1622/stat : 1622 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27614872 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343486946168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1623] ppid=1601 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/1604/task/1623/stat : 1623 (java) S 1601 1604 18358 0 -1 4202560 51 0 0 0 9 14 0 0 20 0 22 0 27614872 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343485893576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1698] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1698/stat : 1698 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27615986 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343481680808 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1789] ppid=1601 vsize=9824732 CPUtime=295.16 cores=0,2,4,6
/proc/1604/task/1789/stat : 1789 (java) R 1601 1604 18358 0 -1 4202560 43 0 0 0 29510 6 0 0 20 0 22 0 27673400 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343483783568 140344113493603 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1790] ppid=1601 vsize=9824732 CPUtime=295.14 cores=0,2,4,6
/proc/1604/task/1790/stat : 1790 (java) R 1601 1604 18358 0 -1 4202560 1207 0 0 0 29504 10 0 0 20 0 22 0 27673400 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343484837888 140344113573574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1791] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1791/stat : 1791 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27673432 10060525568 340865 33554432000 1073741824 1073778376 140733310533616 140343482734120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.81
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+917.801 s]
/proc/loadavg: 4.32 4.20 4.17 5/219 1877
/proc/meminfo: memFree=28591716/32872528 swapFree=1286400/1433568
[pid=1604] ppid=1601 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/1604/stat : 1604 (java) S 1601 1604 18358 0 -1 4202496 26110 0 1 0 179795 208 0 0 20 0 22 0 27614867 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140733310524752 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1604/statm: 2456183 331039 2293 9 0 2446860 0
[pid=1604/tid=1606] ppid=1601 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/1604/task/1606/stat : 1606 (java) S 1601 1604 18358 0 -1 4202560 2449 0 1 0 101 3 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344273777528 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1607] ppid=1601 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/1604/task/1607/stat : 1607 (java) S 1601 1604 18358 0 -1 4202560 250 0 0 0 142 7 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344235268648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1608] ppid=1601 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/1604/task/1608/stat : 1608 (java) S 1601 1604 18358 0 -1 4202560 268 0 0 0 144 8 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344234215848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1609] ppid=1601 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/1604/task/1609/stat : 1609 (java) S 1601 1604 18358 0 -1 4202560 241 0 0 0 148 8 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344233163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1610] ppid=1601 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/1604/task/1610/stat : 1610 (java) S 1601 1604 18358 0 -1 4202560 235 0 0 0 151 7 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344232110248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1611] ppid=1601 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/1604/task/1611/stat : 1611 (java) S 1601 1604 18358 0 -1 4202560 256 0 0 0 154 9 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344112966696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1612] ppid=1601 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/1604/task/1612/stat : 1612 (java) S 1601 1604 18358 0 -1 4202560 278 0 0 0 149 8 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344111913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1613] ppid=1601 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/1604/task/1613/stat : 1613 (java) S 1601 1604 18358 0 -1 4202560 247 0 0 0 151 6 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344110861096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1615] ppid=1601 vsize=9824732 CPUtime=1.51 cores=0,2,4,6
/proc/1604/task/1615/stat : 1615 (java) S 1601 1604 18358 0 -1 4202560 250 0 0 0 143 8 0 0 20 0 22 0 27614868 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344109808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1616] ppid=1601 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/1604/task/1616/stat : 1616 (java) S 1601 1604 18358 0 -1 4202560 1206 0 0 0 94 30 0 0 20 0 22 0 27614870 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140344097610216 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1617] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1617/stat : 1617 (java) S 1601 1604 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27614870 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343492207864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1618] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1618/stat : 1618 (java) S 1601 1604 18358 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 27614870 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343491154952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1619] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1619/stat : 1619 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27614872 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343490103440 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1620] ppid=1601 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/1604/task/1620/stat : 1620 (java) S 1601 1604 18358 0 -1 4202560 6144 0 0 0 96 2 0 0 20 0 22 0 27614872 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343489051576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1621] ppid=1601 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/1604/task/1621/stat : 1621 (java) S 1601 1604 18358 0 -1 4202560 9899 0 0 0 116 2 0 0 20 0 22 0 27614872 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343487998776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1622] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1622/stat : 1622 (java) S 1601 1604 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27614872 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343486946168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1623] ppid=1601 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/1604/task/1623/stat : 1623 (java) S 1601 1604 18358 0 -1 4202560 53 0 0 0 10 15 0 0 20 0 22 0 27614872 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343485893576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1604/tid=1698] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1698/stat : 1698 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27615986 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343481680808 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1604/tid=1789] ppid=1601 vsize=9824732 CPUtime=330.42 cores=0,2,4,6
/proc/1604/task/1789/stat : 1789 (java) R 1601 1604 18358 0 -1 4202560 47 0 0 0 33035 7 0 0 20 0 22 0 27673400 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343483784368 140344113493603 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1604/tid=1790] ppid=1601 vsize=9824732 CPUtime=330.39 cores=0,2,4,6
/proc/1604/task/1790/stat : 1790 (java) R 1601 1604 18358 0 -1 4202560 1219 0 0 0 33028 11 0 0 20 0 22 0 27673400 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343484837056 140344113522922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1604/tid=1791] ppid=1601 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1604/task/1791/stat : 1791 (java) S 1601 1604 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27673432 10060525568 331039 33554432000 1073741824 1073778376 140733310533616 140343482734120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 1604 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 917.854
CPU time (s): 1800.63
CPU user time (s): 1798.23
CPU system time (s): 2.40163
CPU usage (%): 196.178
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 2.41163
maximum resident set size= 1747276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26152
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31798
involuntary context switches= 35295

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43117 second user time and 7.71483 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 15:14:41
IDJOB=4105610
IDBENCH=2925
IDSOLVER=2543
FILE ID=node130/4105610-1466255681
RUNJOBID= node130-1466240252-18374
PBS_JOBID= 19918180
Free space on /tmp= 71748 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_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105610-1466255681/watcher-4105610-1466255681 -o /tmp/evaluation-result-4105610-1466255681/solver-4105610-1466255681 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18374 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105610-1466255681.opb

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

MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b
RANDOM SEED=951281251

node130.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.365
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.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
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.365
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:        30331540 kB
Buffers:           27572 kB
Cached:           144692 kB
SwapCached:         1896 kB
Active:           236320 kB
Inactive:         124908 kB
Active(anon):     188856 kB
Inactive(anon):     2208 kB
Active(file):      47464 kB
Inactive(file):   122700 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098716 kB
Dirty:              1268 kB
Writeback:             0 kB
AnonPages:       1599432 kB
Mapped:            15412 kB
Shmem:                 0 kB
Slab:             600404 kB
SReclaimable:      43652 kB
SUnreclaim:       556752 kB
KernelStack:        1808 kB
PageTables:         7132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2131328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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= 71744 MiB
End job on node130 at 2016-06-18 15:29:59