Trace number 4101098

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 PB16OPT-66 1609.84 811.829

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-afiro.opb
MD5SUMd412dc68829850bad6555fa34c6ad801
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-66
Best CPU time to get the best result obtained on this benchmark6.93194
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -65
Optimality of the best value was proved NO
Number of variables960
Total number of constraints27
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 constraints27
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 222156
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524394
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524468
Number of bits of the biggest sum of numbers20
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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4101098-1466212546.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
0.24/0.23	c ... done. Wall clock time 0.104s.
0.24/0.23	c declared #vars     960
0.24/0.23	c #constraints  35
0.24/0.23	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 35
0.24/0.23	c 35 constraints processed.
0.24/0.23	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 35
0.24/0.23	c 35 constraints processed.
0.24/0.24	c objective function length is 150 literals
0.60/0.30	c And the winner is solver1
1.10/0.74	c SATISFIABLE
1.10/0.74	c OPTIMIZING...
1.10/0.74	c Got one! Elapsed wall clock time (in seconds):0.609
1.10/0.74	o 0
1.10/0.77	c And the winner is solver1
1.35/1.24	c Got one! Elapsed wall clock time (in seconds):1.111
1.35/1.24	o -25
1.35/1.26	c And the winner is solver1
1.48/1.74	c Got one! Elapsed wall clock time (in seconds):1.613
1.48/1.74	o -28
1.48/1.77	c And the winner is solver1
1.62/2.24	c Got one! Elapsed wall clock time (in seconds):2.115
1.62/2.24	o -29
1.62/2.27	c And the winner is solver1
1.75/2.74	c Got one! Elapsed wall clock time (in seconds):2.617
1.75/2.74	o -36
1.75/2.77	c And the winner is solver1
1.92/3.25	c Got one! Elapsed wall clock time (in seconds):3.119
1.92/3.25	o -37
2.09/3.35	c And the winner is solver0
2.32/3.75	c Got one! Elapsed wall clock time (in seconds):3.621
2.32/3.75	o -38
2.32/3.79	c And the winner is solver1
2.43/4.25	c Got one! Elapsed wall clock time (in seconds):4.122
2.43/4.25	o -39
2.53/4.31	c And the winner is solver1
2.57/4.75	c Got one! Elapsed wall clock time (in seconds):4.624
2.57/4.75	o -40
2.57/4.77	c And the winner is solver1
2.64/5.25	c Got one! Elapsed wall clock time (in seconds):5.126
2.64/5.25	o -41
2.79/5.32	c And the winner is solver1
2.92/5.75	c Got one! Elapsed wall clock time (in seconds):5.627
2.92/5.75	o -42
3.05/5.80	c And the winner is solver1
3.10/6.26	c Got one! Elapsed wall clock time (in seconds):6.128
3.10/6.26	o -43
3.18/6.36	c And the winner is solver1
3.34/6.76	c Got one! Elapsed wall clock time (in seconds):6.629
3.34/6.76	o -44
3.43/6.84	c cleaning 5458 clauses out of 10926 with flag 2318/10926
3.43/6.87	c And the winner is solver1
3.62/7.26	c Got one! Elapsed wall clock time (in seconds):7.13
3.62/7.26	o -45
3.70/7.30	c And the winner is solver1
3.72/7.76	c Got one! Elapsed wall clock time (in seconds):7.631
3.72/7.76	o -46
4.02/7.98	c cleaning 5526 clauses out of 11063 with flag 9280/16521
4.91/8.34	c cleaning 5769 clauses out of 11537 with flag 22870/22521
5.53/8.55	c And the winner is solver1
5.84/8.76	c Got one! Elapsed wall clock time (in seconds):8.632
5.84/8.76	o -47
5.93/8.82	c cleaning 5520 clauses out of 11043 with flag 2349/27796
7.03/9.20	c cleaning 5756 clauses out of 11523 with flag 17092/33796
7.86/9.61	c cleaning 6379 clauses out of 12767 with flag 33889/40796
8.66/10.06	c cleaning 7192 clauses out of 14389 with flag 52348/48797
9.67/10.53	c cleaning 8094 clauses out of 16196 with flag 73265/57796
11.13/11.24	c cleaning 9052 clauses out of 18103 with flag 97803/67797
12.53/11.92	c cleaning 10025 clauses out of 20049 with flag 126300/78795
14.18/12.78	c cleaning 11012 clauses out of 22025 with flag 158163/90796
15.77/13.53	c And the winner is solver1
15.86/13.76	c Got one! Elapsed wall clock time (in seconds):13.634
15.86/13.76	o -48
16.32/14.09	c cleaning 13451 clauses out of 26902 with flag 12488/106685
17.19/14.43	c cleaning 9723 clauses out of 19462 with flag 25985/112696
17.19/14.49	c And the winner is solver0
17.38/14.76	c Got one! Elapsed wall clock time (in seconds):14.635
17.38/14.76	o -49
17.65/14.99	c cleaning 7537 clauses out of 15084 with flag 9640/118041
18.46/15.38	c cleaning 6765 clauses out of 13548 with flag 25464/124042
19.06/15.69	c cleaning 6881 clauses out of 13780 with flag 41618/131039
20.05/16.17	c cleaning 7445 clauses out of 14899 with flag 60341/139039
21.07/16.66	c cleaning 8223 clauses out of 16454 with flag 82554/148039
22.24/17.28	c cleaning 9116 clauses out of 18232 with flag 109145/158040
24.29/18.20	c cleaning 10049 clauses out of 20115 with flag 138120/169039
26.09/19.19	c cleaning 11030 clauses out of 22066 with flag 170755/181039
28.31/20.29	c cleaning 12017 clauses out of 24036 with flag 205805/194039
30.97/21.54	c cleaning 13010 clauses out of 26019 with flag 243506/208039
34.22/23.11	c cleaning 14000 clauses out of 28009 with flag 281359/223039
36.82/24.49	c And the winner is solver1
37.01/24.77	c Got one! Elapsed wall clock time (in seconds):24.638
37.01/24.77	o -51
38.08/25.37	c cleaning 17209 clauses out of 34418 with flag 12800/243448
39.06/25.83	c cleaning 11601 clauses out of 23206 with flag 26623/249445
39.86/26.21	c cleaning 9300 clauses out of 18607 with flag 44334/256447
40.72/26.67	c cleaning 8638 clauses out of 17305 with flag 65710/264445
41.70/27.19	c cleaning 8822 clauses out of 17667 with flag 88900/273445
42.90/27.76	c cleaning 9424 clauses out of 18847 with flag 116010/283447
43.90/28.21	c And the winner is solver1
43.90/28.27	c Got one! Elapsed wall clock time (in seconds):28.14
43.90/28.27	o -52
44.61/28.65	c cleaning 11051 clauses out of 22106 with flag 11900/296130
45.39/29.01	c cleaning 8526 clauses out of 17052 with flag 29373/302127
45.99/29.37	c cleaning 7755 clauses out of 15526 with flag 47175/309127
46.82/29.76	c cleaning 7867 clauses out of 15769 with flag 65622/317125
48.00/30.37	c cleaning 8447 clauses out of 16903 with flag 90552/326126
49.40/31.03	c cleaning 9226 clauses out of 18456 with flag 118888/336126
50.80/31.72	c cleaning 10105 clauses out of 20230 with flag 145371/347126
52.46/32.52	c cleaning 11061 clauses out of 22127 with flag 176410/359128
54.06/33.35	c cleaning 12031 clauses out of 24064 with flag 211339/372126
56.26/34.43	c cleaning 13010 clauses out of 26035 with flag 249087/386128
58.65/35.69	c cleaning 14007 clauses out of 28023 with flag 291137/401126
61.25/36.94	c cleaning 15003 clauses out of 30015 with flag 336414/417125
64.66/38.63	c cleaning 15993 clauses out of 32012 with flag 383638/434125
68.07/40.34	c cleaning 17007 clauses out of 34019 with flag 426402/452125
71.28/41.91	c cleaning 18005 clauses out of 36013 with flag 477621/471126
74.71/43.67	c cleaning 18994 clauses out of 38007 with flag 532094/491125
78.31/45.42	c cleaning 20003 clauses out of 40014 with flag 584412/512126
83.11/47.83	c cleaning 21005 clauses out of 42011 with flag 643660/534126
87.72/50.14	c cleaning 21999 clauses out of 44005 with flag 706129/557125
92.38/52.45	c cleaning 22996 clauses out of 46014 with flag 771716/581133
97.79/55.14	c cleaning 23997 clauses out of 48011 with flag 837969/606126
102.98/57.77	c cleaning 25000 clauses out of 50013 with flag 911255/632125
109.24/60.86	c cleaning 26005 clauses out of 52015 with flag 987090/659127
115.24/63.87	c cleaning 26992 clauses out of 54008 with flag 1058671/687125
122.22/67.30	c And the winner is solver1
122.25/67.77	c Got one! Elapsed wall clock time (in seconds):67.647
122.25/67.77	o -53
123.89/68.67	c cleaning 30341 clauses out of 60689 with flag 12428/720798
125.09/69.21	c And the winner is solver1
125.09/69.28	c Got one! Elapsed wall clock time (in seconds):69.149
125.09/69.28	o -61
126.36/69.91	c cleaning 20462 clauses out of 40930 with flag 12840/731380
127.42/70.42	c cleaning 13224 clauses out of 26468 with flag 27244/737380
128.20/70.83	c cleaning 10114 clauses out of 20244 with flag 49796/744380
129.20/71.37	c cleaning 9061 clauses out of 18130 with flag 76325/752380
130.20/71.89	c cleaning 9026 clauses out of 18069 with flag 100377/761380
131.40/72.47	c cleaning 9504 clauses out of 19043 with flag 126112/771380
133.00/73.28	c cleaning 10272 clauses out of 20544 with flag 156167/782385
135.20/74.33	c cleaning 11125 clauses out of 22266 with flag 190119/794379
137.40/75.40	c cleaning 12059 clauses out of 24141 with flag 224602/807379
139.60/76.54	c cleaning 13042 clauses out of 26087 with flag 263268/821384
142.00/77.71	c cleaning 14011 clauses out of 28040 with flag 320223/836379
143.40/78.44	c And the winner is solver1
143.49/78.78	c Got one! Elapsed wall clock time (in seconds):78.651
143.49/78.78	o -62
144.18/79.20	c cleaning 14271 clauses out of 28546 with flag 13406/850897
145.18/79.64	c cleaning 10132 clauses out of 20274 with flag 29679/856896
146.18/80.10	c cleaning 8565 clauses out of 17141 with flag 49433/863895
146.98/80.59	c cleaning 8285 clauses out of 16576 with flag 72348/871895
148.19/81.17	c cleaning 8631 clauses out of 17291 with flag 96217/880895
149.59/81.81	c cleaning 9326 clauses out of 18661 with flag 128828/890896
150.79/82.48	c cleaning 10164 clauses out of 20336 with flag 169647/901897
152.59/83.37	c cleaning 11085 clauses out of 22170 with flag 206960/913895
154.59/84.35	c cleaning 12039 clauses out of 24088 with flag 245714/926898
156.78/85.45	c cleaning 13019 clauses out of 26046 with flag 283832/940895
159.40/86.77	c cleaning 14001 clauses out of 28027 with flag 326584/955895
162.01/88.05	c cleaning 15006 clauses out of 30029 with flag 374369/971898
164.60/89.36	c cleaning 16003 clauses out of 32020 with flag 417518/988895
167.81/90.97	c cleaning 17008 clauses out of 34017 with flag 466877/1006895
171.40/92.80	c cleaning 17994 clauses out of 36009 with flag 542924/1025895
176.03/95.08	c cleaning 19003 clauses out of 38018 with flag 640708/1045898
180.63/97.34	c cleaning 20004 clauses out of 40014 with flag 748181/1066897
185.63/99.82	c cleaning 21001 clauses out of 42009 with flag 858045/1088896
191.87/102.93	c cleaning 22004 clauses out of 44009 with flag 975989/1111897
198.47/106.27	c cleaning 22999 clauses out of 46003 with flag 1097549/1135895
205.31/109.68	c cleaning 24002 clauses out of 48004 with flag 1221533/1160895
212.51/113.22	c cleaning 24997 clauses out of 50003 with flag 1351179/1186896
221.55/117.77	c cleaning 26002 clauses out of 52005 with flag 1484757/1213895
226.93/120.40	c And the winner is solver1
226.95/120.79	c Got one! Elapsed wall clock time (in seconds):120.66
226.95/120.79	o -63
227.77/121.25	c cleaning 25208 clauses out of 50423 with flag 12629/1238315
228.76/121.71	c cleaning 15602 clauses out of 31216 with flag 27982/1244316
229.58/122.20	c cleaning 11298 clauses out of 22613 with flag 46658/1251315
230.82/122.75	c cleaning 9651 clauses out of 19316 with flag 68231/1259316
232.03/123.34	c cleaning 9325 clauses out of 18668 with flag 93415/1268319
232.82/123.77	c And the winner is solver1
232.82/123.79	c Got one! Elapsed wall clock time (in seconds):123.662
232.82/123.79	o -64
233.80/124.24	c cleaning 10495 clauses out of 20989 with flag 14222/1279965
234.40/124.57	c cleaning 8246 clauses out of 16495 with flag 29875/1285966
235.20/124.93	c cleaning 7622 clauses out of 15249 with flag 48500/1292966
236.21/125.43	c cleaning 7810 clauses out of 15625 with flag 71874/1300964
237.20/125.94	c cleaning 8408 clauses out of 16815 with flag 94503/1309964
238.61/126.61	c cleaning 9199 clauses out of 18407 with flag 120984/1319964
240.19/127.44	c cleaning 10105 clauses out of 20214 with flag 152750/1330970
241.80/128.26	c cleaning 11053 clauses out of 22107 with flag 189005/1342968
244.00/129.33	c cleaning 12022 clauses out of 24050 with flag 246736/1355964
246.00/130.36	c cleaning 13012 clauses out of 26029 with flag 284068/1369965
248.40/131.52	c cleaning 14006 clauses out of 28016 with flag 326642/1384964
251.00/132.85	c cleaning 14999 clauses out of 30010 with flag 386101/1400964
254.22/134.46	c cleaning 16002 clauses out of 32012 with flag 445729/1417965
257.42/136.06	c cleaning 17006 clauses out of 34012 with flag 502035/1435967
259.82/137.28	c And the winner is solver1
259.82/137.29	c Got one! Elapsed wall clock time (in seconds):137.165
259.82/137.29	o -65
260.82/137.77	c cleaning 18025 clauses out of 36059 with flag 20240/1455020
261.83/138.28	c cleaning 12010 clauses out of 24034 with flag 48723/1461020
263.02/138.82	c cleaning 9513 clauses out of 19026 with flag 81714/1468022
264.02/139.39	c cleaning 8743 clauses out of 17512 with flag 122265/1476021
265.22/139.94	c And the winner is solver1
265.31/140.29	c Got one! Elapsed wall clock time (in seconds):140.167
265.31/140.29	o -66
265.91/140.66	c cleaning 10779 clauses out of 21568 with flag 12824/1488820
266.70/141.04	c cleaning 8389 clauses out of 16794 with flag 28306/1494825
267.50/141.41	c cleaning 7695 clauses out of 15400 with flag 45725/1501820
268.51/141.97	c cleaning 7850 clauses out of 15708 with flag 74679/1509823
269.70/142.57	c cleaning 8426 clauses out of 16863 with flag 102092/1518828
271.11/143.27	c cleaning 9211 clauses out of 18431 with flag 133850/1528822
272.71/144.06	c cleaning 10108 clauses out of 20220 with flag 166324/1539822
274.51/144.94	c cleaning 11047 clauses out of 22110 with flag 199356/1551820
276.51/145.95	c cleaning 12028 clauses out of 24063 with flag 237661/1564820
278.51/146.97	c cleaning 13008 clauses out of 26035 with flag 273880/1578820
281.12/148.25	c cleaning 14004 clauses out of 28027 with flag 318768/1593820
283.72/149.55	c cleaning 15012 clauses out of 30028 with flag 363668/1609825
286.52/150.90	c cleaning 15999 clauses out of 32012 with flag 428254/1626821
290.16/152.71	c cleaning 17007 clauses out of 34013 with flag 501967/1644821
293.96/154.68	c cleaning 18000 clauses out of 36006 with flag 581537/1663821
298.19/156.79	c cleaning 19000 clauses out of 38005 with flag 669122/1683820
303.19/159.27	c cleaning 20001 clauses out of 40005 with flag 759583/1704820
308.80/162.05	c cleaning 20998 clauses out of 42004 with flag 854276/1726820
315.20/165.23	c cleaning 21997 clauses out of 44007 with flag 963283/1749821
321.82/168.53	c cleaning 23005 clauses out of 46013 with flag 1065347/1773824
327.22/171.26	c cleaning 24003 clauses out of 48005 with flag 1160197/1798821
333.02/174.18	c cleaning 25000 clauses out of 50002 with flag 1232824/1824821
339.06/177.19	c cleaning 25994 clauses out of 52004 with flag 1320515/1851823
345.25/180.26	c cleaning 27000 clauses out of 54007 with flag 1407931/1879820
353.29/184.27	c cleaning 27995 clauses out of 56008 with flag 1516456/1908821
361.71/188.49	c cleaning 29003 clauses out of 58013 with flag 1639857/1938821
369.93/192.59	c cleaning 30000 clauses out of 60013 with flag 1759135/1969824
379.75/197.41	c cleaning 30999 clauses out of 62011 with flag 1845668/2001822
388.98/202.01	c cleaning 32006 clauses out of 64012 with flag 1944712/2034822
398.67/206.89	c cleaning 32994 clauses out of 66007 with flag 2069831/2068823
410.08/212.51	c cleaning 34007 clauses out of 68013 with flag 2189601/2103823
421.73/218.32	c cleaning 34995 clauses out of 70005 with flag 2289176/2139822
433.18/224.01	c cleaning 36005 clauses out of 72009 with flag 2438943/2176821
444.42/229.68	c cleaning 36994 clauses out of 74004 with flag 2570042/2214821
462.95/238.83	c cleaning 38006 clauses out of 76015 with flag 2737439/2253826
477.00/245.82	c cleaning 38996 clauses out of 78003 with flag 2890049/2293820
496.72/255.64	c cleaning 40005 clauses out of 80009 with flag 3077303/2334822
518.04/266.26	c cleaning 40996 clauses out of 82002 with flag 3254395/2376820
536.72/275.57	c cleaning 42002 clauses out of 84006 with flag 3407643/2419820
550.59/282.47	c cleaning 43000 clauses out of 86005 with flag 3540451/2463821
566.62/290.67	c cleaning 43996 clauses out of 88005 with flag 3700657/2508821
581.70/298.15	c cleaning 44991 clauses out of 90009 with flag 3831525/2554821
599.53/307.05	c cleaning 45996 clauses out of 92017 with flag 4014351/2601820
617.63/316.01	c cleaning 47006 clauses out of 94021 with flag 4198373/2649820
638.30/326.33	c cleaning 48004 clauses out of 96015 with flag 4355055/2698820
658.01/336.17	c cleaning 48996 clauses out of 98011 with flag 4508290/2748820
681.73/347.97	c cleaning 50000 clauses out of 100016 with flag 4691691/2799821
717.28/365.66	c cleaning 51002 clauses out of 102015 with flag 4907407/2851820
756.05/384.93	c cleaning 52004 clauses out of 104015 with flag 5137524/2904822
795.55/404.88	c cleaning 53001 clauses out of 106010 with flag 5381883/2958821
839.36/426.65	c cleaning 53995 clauses out of 108011 with flag 5635939/3013823
882.69/448.24	c cleaning 55000 clauses out of 110013 with flag 5896628/3069820
919.50/466.58	c cleaning 55996 clauses out of 112013 with flag 6164339/3126820
949.22/481.32	c cleaning 57010 clauses out of 114019 with flag 6400820/3184822
974.52/493.94	c cleaning 57993 clauses out of 116009 with flag 6624908/3243822
1000.41/506.81	c cleaning 58999 clauses out of 118014 with flag 6820852/3303820
1025.93/519.50	c cleaning 60004 clauses out of 120016 with flag 7032286/3364821
1050.20/531.62	c cleaning 60997 clauses out of 122011 with flag 7234788/3426820
1085.91/549.69	c cleaning 62008 clauses out of 124021 with flag 7479087/3489827
1117.88/565.58	c cleaning 63003 clauses out of 126006 with flag 7703057/3553820
1148.82/580.91	c cleaning 63995 clauses out of 128003 with flag 7916760/3618820
1184.91/598.91	c cleaning 64993 clauses out of 130008 with flag 8111751/3684820
1219.83/616.36	c cleaning 66005 clauses out of 132017 with flag 8360884/3751822
1251.94/632.36	c cleaning 66993 clauses out of 134010 with flag 8595420/3819820
1300.77/656.67	c cleaning 68000 clauses out of 136018 with flag 8868486/3888821
1337.37/674.88	c cleaning 69003 clauses out of 138018 with flag 9114220/3958821
1389.18/700.69	c cleaning 69993 clauses out of 140014 with flag 9407681/4029820
1419.31/715.69	c cleaning 71004 clauses out of 142021 with flag 9642439/4101820
1456.25/734.01	c cleaning 71996 clauses out of 144018 with flag 9878449/4174821
1503.68/758.04	c cleaning 72995 clauses out of 146021 with flag 10149907/4248820
1542.16/777.27	c cleaning 74011 clauses out of 148027 with flag 10395236/4323821
1578.33/795.20	c cleaning 74999 clauses out of 150016 with flag 10665928/4399821
1607.70/809.80	c And the winner is solver1
1609.45/811.81	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1609.45/811.81	c starts		: 74659
1609.45/811.81	c conflicts		: 4448758
1609.45/811.81	c decisions		: 8660483
1609.45/811.81	c propagations		: 113946409
1609.45/811.81	c inspects		: 12425262464
1609.45/811.81	c shortcuts		: 0
1609.45/811.81	c learnt literals	: 2
1609.45/811.81	c learnt binary clauses	: 16
1609.45/811.81	c learnt ternary clauses	: 35
1609.45/811.81	c learnt constraints	: 4448756
1609.45/811.81	c ignored constraints	: 0
1609.45/811.81	c root simplifications	: 0
1609.45/811.81	c removed literals (reason simplification)	: 17321666
1609.45/811.81	c reason swapping (by a shorter reason)	: 0
1609.45/811.81	c Calls to reduceDB	: 184
1609.45/811.81	c Number of update (reduction) of LBD	: 1034935
1609.45/811.81	c Imported unit clauses	: 0
1609.45/811.81	c number of reductions to clauses (during analyze)	: 0
1609.45/811.81	c number of learned constraints concerned by reduction	: 0
1609.45/811.81	c number of learning phase by resolution	: 0
1609.45/811.81	c number of learning phase by cutting planes	: 0
1609.45/811.81	c speed (assignments/second)	: 169685.322464394
1609.45/811.81	c non guided choices	2974
1609.45/811.81	c learnt constraints type 
1609.45/811.81	c >>>>>>>>>> Solver number 1 (26 answers) <<<<<<<<<<<<<<<<<<
1609.45/811.81	c starts		: 28
1609.45/811.81	c conflicts		: 6333
1609.45/811.81	c decisions		: 109243
1609.45/811.81	c propagations		: 636647
1609.45/811.81	c inspects		: 234647077
1609.45/811.81	c shortcuts		: 0
1609.45/811.81	c learnt literals	: 0
1609.45/811.81	c learnt binary clauses	: 0
1609.45/811.81	c learnt ternary clauses	: 0
1609.45/811.81	c learnt constraints	: 6331
1609.45/811.81	c ignored constraints	: 0
1609.45/811.81	c root simplifications	: 0
1609.45/811.81	c removed literals (reason simplification)	: 0
1609.45/811.81	c reason swapping (by a shorter reason)	: 0
1609.45/811.81	c Calls to reduceDB	: 0
1609.45/811.81	c Number of update (reduction) of LBD	: 0
1609.45/811.81	c Imported unit clauses	: 0
1609.45/811.81	c number of reductions to clauses (during analyze)	: 0
1609.45/811.81	c number of learned constraints concerned by reduction	: 0
1609.45/811.81	c number of learning phase by resolution	: 0
1609.45/811.81	c number of learning phase by cutting planes	: 0
1609.45/811.81	c speed (assignments/second)	: 798.7681861296103
1609.45/811.81	c non guided choices	1790
1609.45/811.81	c learnt constraints type 
1609.45/811.81	s OPTIMUM FOUND
1609.45/811.81	c Found 27 solution(s)
1609.45/811.82	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 x34 x35 x36 -x37 x38 x39 x40 x41 x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 x95 x96 x97 -x98 x99 -x100 -x101 x102 -x103 x104 x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 x426 -x427 -x428 x429 x430 -x431 x432 x433 x434 x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 x575 -x576 x577 -x578 x579 x580 -x581 -x582 x583 x584 -x585 x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 x879 -x880 x881 x882 -x883 -x884 x885 x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 
1609.45/811.82	c objective function=-66
1609.45/811.82	c Total wall clock time (in seconds): 811.689

Verifier Data 

OK	-66

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-4101098-1466212546/watcher-4101098-1466212546 -o /tmp/evaluation-result-4101098-1466212546/solver-4101098-1466212546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101098-1466212546.opb 

pid=13341
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.18 4.24 4.26 5/198 13344
/proc/meminfo: memFree=29322052/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13344/stat : 13344 (java) D 13341 13344 8337 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 23300368 9515008 176 33554432000 1073741824 1073778376 140735193195168 140735193177896 225444709264 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/13344/statm: 2323 176 133 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.18 4.24 4.26 5/198 13344
/proc/meminfo: memFree=29322052/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 4315 0 1 0 6 2 0 0 20 0 18 0 23300368 9787879424 5431 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2389619 5431 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 4.18 4.24 4.26 5/198 13344
/proc/meminfo: memFree=29322052/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 4933 0 1 0 22 2 0 0 20 0 18 0 23300368 9787879424 7012 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2389619 7012 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300243 s]
/proc/loadavg: 4.18 4.24 4.26 5/198 13344
/proc/meminfo: memFree=29322052/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 12690 0 1 0 56 4 0 0 20 0 22 0 23300368 10060525568 14155 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2456183 14155 2238 9 0 2446860 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9824732

[startup+0.700258 s]
/proc/loadavg: 4.18 4.24 4.26 5/198 13344
/proc/meminfo: memFree=29322052/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 16318 0 1 0 104 6 0 0 20 0 19 0 23300368 10060525568 14565 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2456183 14565 2249 9 0 2446860 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.18 4.24 4.26 4/217 13369
/proc/meminfo: memFree=29265300/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 16612 0 1 0 137 11 0 0 20 0 19 0 23300368 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2456183 17648 2255 9 0 2446860 0
[pid=13344/tid=13346] ppid=13341 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13344/task/13346/stat : 13346 (java) S 13341 13344 8337 0 -1 4202560 2454 0 1 0 18 2 0 0 20 0 19 0 23300369 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425849844600 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13347] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13347/stat : 13347 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425838906408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13348] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13348/stat : 13348 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425837853608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13349] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13349/stat : 13349 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425836800808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13350] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13350/stat : 13350 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425689774760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13351] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13351/stat : 13351 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425688721960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13352] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13352/stat : 13352 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425687669160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13353] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13353/stat : 13353 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425686616360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13354] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) S 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425685563560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13355] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13341 13344 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425673366504 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13356] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13341 13344 8337 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425672312568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13357] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13341 13344 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425671259656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13358] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425670208144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13359] ppid=13341 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13341 13344 8337 0 -1 4202560 5495 0 0 0 47 0 0 0 20 0 19 0 23300375 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425669155256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13360] ppid=13341 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/13344/task/13360/stat : 13360 (java) S 13341 13344 8337 0 -1 4202560 7253 0 0 0 46 2 0 0 20 0 19 0 23300375 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425668102456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13361] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425667049848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13362] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425665997256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13366] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13341 13344 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23300393 10060525568 17648 33554432000 1073741824 1073778376 140735393947088 140425661785384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 4.18 4.24 4.26 4/217 13375
/proc/meminfo: memFree=29252764/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 16648 0 1 0 175 17 0 0 20 0 19 0 23300368 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2456183 23285 2259 9 0 2446860 0
[pid=13344/tid=13346] ppid=13341 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13344/task/13346/stat : 13346 (java) S 13341 13344 8337 0 -1 4202560 2455 0 1 0 18 2 0 0 20 0 19 0 23300369 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425849844600 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13347] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13347/stat : 13347 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425838906408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13348] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13348/stat : 13348 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425837853608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13349] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13349/stat : 13349 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425836800808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13350] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13350/stat : 13350 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425689774760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13351] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13351/stat : 13351 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425688721960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13352] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13352/stat : 13352 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425687669160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13353] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13353/stat : 13353 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425686616360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13354] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) S 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23300371 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425685563560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13355] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13341 13344 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425673366504 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13356] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13341 13344 8337 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425672312568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13357] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13341 13344 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425671259656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13358] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425670208144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13359] ppid=13341 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13341 13344 8337 0 -1 4202560 5496 0 0 0 59 0 0 0 20 0 19 0 23300375 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425669155256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13360] ppid=13341 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/13344/task/13360/stat : 13360 (java) S 13341 13344 8337 0 -1 4202560 7256 0 0 0 59 2 0 0 20 0 19 0 23300375 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425668102456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13361] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425667049848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13362] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425665997256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13366] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13341 13344 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23300393 10060525568 23285 33554432000 1073741824 1073778376 140735393947088 140425661785384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=33 pid=1814 uid=0 cmd=

[startup+6.30079 s]
/proc/loadavg: 4.08 4.22 4.26 3/217 13396
/proc/meminfo: memFree=29174988/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 16792 0 1 0 288 30 0 0 20 0 22 0 23300368 10060525568 44146 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2456183 44146 2272 9 0 2446860 0
[pid=13344/tid=13346] ppid=13341 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13346/stat : 13346 (java) S 13341 13344 8337 0 -1 4202560 2457 0 1 0 19 2 0 0 20 0 22 0 23300369 10060525568 44146 33554432000 1073741824 1073778376 140735393947088 140425849844600 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13347] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13347/stat : 13347 (java) R 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23300371 10060525568 44147 33554432000 1073741824 1073778376 140735393947088 140425838906408 140425853118000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13348] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13348/stat : 13348 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300371 10060525568 44148 33554432000 1073741824 1073778376 140735393947088 140425837853608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13349] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13349/stat : 13349 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300371 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425836800808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13350] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13350/stat : 13350 (java) R 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23300371 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425689774760 140425853750519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13351] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13351/stat : 13351 (java) R 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300371 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425688721960 225448080444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13352] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13352/stat : 13352 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300371 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425687669160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13353] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13353/stat : 13353 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300371 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425686616360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13354] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) S 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23300371 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425685563560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13355] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13341 13344 8337 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23300372 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425673365384 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13356] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13341 13344 8337 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 23300372 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425672312568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13357] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13341 13344 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23300372 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425671259656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13358] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300375 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425670208144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13359] ppid=13341 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13341 13344 8337 0 -1 4202560 5516 0 0 0 82 0 0 0 20 0 22 0 23300375 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425669155256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13360] ppid=13341 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/13344/task/13360/stat : 13360 (java) S 13341 13344 8337 0 -1 4202560 7263 0 0 0 83 2 0 0 20 0 22 0 23300375 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425668102456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13361] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300375 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425667049848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13362] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13341 13344 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23300375 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425665997256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13387] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13387/stat : 13387 (java) S 13341 13344 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23300743 10060525568 44149 33554432000 1073741824 1073778376 140735393947088 140425661785768 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.18

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

[pid=13344/tid=13352] ppid=13341 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/13344/task/13352/stat : 13352 (java) S 13341 13344 8337 0 -1 4202560 369 0 0 0 210 9 0 0 20 0 22 0 23300371 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425687669160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13353] ppid=13341 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/13344/task/13353/stat : 13353 (java) S 13341 13344 8337 0 -1 4202560 391 0 0 0 200 9 0 0 20 0 22 0 23300371 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425686616360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13354] ppid=13341 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) S 13341 13344 8337 0 -1 4202560 335 0 0 0 205 9 0 0 20 0 22 0 23300371 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425685563560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13355] ppid=13341 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13341 13344 8337 0 -1 4202560 1219 0 0 0 226 28 0 0 20 0 22 0 23300372 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425673366504 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13356] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13341 13344 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23300372 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425672312568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13357] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13341 13344 8337 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 23300372 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425671259656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13358] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300375 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425670208144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13359] ppid=13341 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13341 13344 8337 0 -1 4202560 11358 0 0 0 147 3 0 0 20 0 22 0 23300375 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425669155256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13360] ppid=13341 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/13344/task/13360/stat : 13360 (java) S 13341 13344 8337 0 -1 4202560 7275 0 0 0 132 2 0 0 20 0 22 0 23300375 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425668102456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13361] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23300375 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425667049848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13362] ppid=13341 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13341 13344 8337 0 -1 4202560 48 0 0 0 12 20 0 0 20 0 22 0 23300375 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425665997256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13420] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13420/stat : 13420 (java) S 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23301846 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425663890984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13448] ppid=13341 vsize=9824732 CPUtime=662.28 cores=1,3,5,7
/proc/13344/task/13448/stat : 13448 (java) R 13341 13344 8337 0 -1 4202560 282 0 0 0 66215 13 0 0 20 0 22 0 23314398 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425664943208 140425717884935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13449] ppid=13341 vsize=9824732 CPUtime=662.29 cores=1,3,5,7
/proc/13344/task/13449/stat : 13449 (java) R 13341 13344 8337 0 -1 4202560 2352 0 0 0 66213 16 0 0 20 0 22 0 23314398 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425662836368 140425717982627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13450] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13450/stat : 13450 (java) S 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23314398 10060525568 340714 33554432000 1073741824 1073778376 140735393947088 140425661785256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1607.31
Current children cumulated vsize (KiB) 9824732

[startup+811.201 s]
/proc/loadavg: 4.48 4.50 4.35 5/216 13747
/proc/meminfo: memFree=25295036/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9824732 CPUtime=1608.83 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 30446 0 1 0 160658 225 0 0 20 0 19 0 23300368 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2456183 340706 2294 9 0 2446860 0
[pid=13344/tid=13346] ppid=13341 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/13344/task/13346/stat : 13346 (java) R 13341 13344 8337 0 -1 4202560 2465 0 1 0 116 4 0 0 20 0 19 0 23300369 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425849844264 140425717618614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13347] ppid=13341 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/13344/task/13347/stat : 13347 (java) S 13341 13344 8337 0 -1 4202560 456 0 0 0 194 8 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425838906408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13348] ppid=13341 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/13344/task/13348/stat : 13348 (java) S 13341 13344 8337 0 -1 4202560 473 0 0 0 205 11 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425837853608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13349] ppid=13341 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/13344/task/13349/stat : 13349 (java) S 13341 13344 8337 0 -1 4202560 391 0 0 0 198 10 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425836800808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13350] ppid=13341 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/13344/task/13350/stat : 13350 (java) S 13341 13344 8337 0 -1 4202560 520 0 0 0 219 10 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425689774760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13351] ppid=13341 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/13344/task/13351/stat : 13351 (java) S 13341 13344 8337 0 -1 4202560 259 0 0 0 189 8 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425688721960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13352] ppid=13341 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/13344/task/13352/stat : 13352 (java) S 13341 13344 8337 0 -1 4202560 369 0 0 0 210 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425687669160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13353] ppid=13341 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/13344/task/13353/stat : 13353 (java) S 13341 13344 8337 0 -1 4202560 391 0 0 0 200 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425686616360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13354] ppid=13341 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) S 13341 13344 8337 0 -1 4202560 335 0 0 0 205 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425685563560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13355] ppid=13341 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13341 13344 8337 0 -1 4202560 1219 0 0 0 226 28 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425673366504 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13356] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13341 13344 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425672312568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13357] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13341 13344 8337 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425671259656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13358] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425670208144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13359] ppid=13341 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13341 13344 8337 0 -1 4202560 11358 0 0 0 148 3 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425669155256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13360] ppid=13341 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/13344/task/13360/stat : 13360 (java) S 13341 13344 8337 0 -1 4202560 7275 0 0 0 134 2 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425668102456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13361] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425667049848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13362] ppid=13341 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13341 13344 8337 0 -1 4202560 48 0 0 0 12 20 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425665997256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13420] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13420/stat : 13420 (java) S 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23301846 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425663890984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1608.83
Current children cumulated vsize (KiB) 9824732

[startup+811.601 s]
/proc/loadavg: 4.48 4.50 4.35 5/216 13747
/proc/meminfo: memFree=25295036/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9824732 CPUtime=1609.23 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 30447 0 1 0 160698 225 0 0 20 0 19 0 23300368 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2456183 340706 2294 9 0 2446860 0
[pid=13344/tid=13346] ppid=13341 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/13344/task/13346/stat : 13346 (java) R 13341 13344 8337 0 -1 4202560 2466 0 1 0 156 4 0 0 20 0 19 0 23300369 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425849842296 140425717618614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13347] ppid=13341 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/13344/task/13347/stat : 13347 (java) S 13341 13344 8337 0 -1 4202560 456 0 0 0 194 8 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425838906408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13348] ppid=13341 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/13344/task/13348/stat : 13348 (java) S 13341 13344 8337 0 -1 4202560 473 0 0 0 205 11 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425837853608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13349] ppid=13341 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/13344/task/13349/stat : 13349 (java) S 13341 13344 8337 0 -1 4202560 391 0 0 0 198 10 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425836800808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13350] ppid=13341 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/13344/task/13350/stat : 13350 (java) S 13341 13344 8337 0 -1 4202560 520 0 0 0 219 10 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425689774760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13351] ppid=13341 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/13344/task/13351/stat : 13351 (java) S 13341 13344 8337 0 -1 4202560 259 0 0 0 189 8 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425688721960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13352] ppid=13341 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/13344/task/13352/stat : 13352 (java) S 13341 13344 8337 0 -1 4202560 369 0 0 0 210 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425687669160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13353] ppid=13341 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/13344/task/13353/stat : 13353 (java) S 13341 13344 8337 0 -1 4202560 391 0 0 0 200 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425686616360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13354] ppid=13341 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) S 13341 13344 8337 0 -1 4202560 335 0 0 0 205 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425685563560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13355] ppid=13341 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13341 13344 8337 0 -1 4202560 1219 0 0 0 226 28 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425673366504 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13356] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13341 13344 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425672312568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13357] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13341 13344 8337 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425671259656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13358] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425670208144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13359] ppid=13341 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13341 13344 8337 0 -1 4202560 11358 0 0 0 148 3 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425669155256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13360] ppid=13341 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/13344/task/13360/stat : 13360 (java) S 13341 13344 8337 0 -1 4202560 7275 0 0 0 134 2 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425668102456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13361] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425667049848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13362] ppid=13341 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13341 13344 8337 0 -1 4202560 48 0 0 0 12 20 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425665997256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13420] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13420/stat : 13420 (java) S 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23301846 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425663890984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1609.23
Current children cumulated vsize (KiB) 9824732

[startup+811.801 s]
/proc/loadavg: 4.48 4.50 4.35 5/216 13747
/proc/meminfo: memFree=25295036/32872528 swapFree=1499884/1696108
[pid=13344] ppid=13341 vsize=9824732 CPUtime=1609.45 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 8337 0 -1 4202496 30447 0 1 0 160720 225 0 0 20 0 19 0 23300368 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140735393938224 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 2456183 340706 2294 9 0 2446860 0
[pid=13344/tid=13346] ppid=13341 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/13344/task/13346/stat : 13346 (java) R 13341 13344 8337 0 -1 4202560 2466 0 1 0 176 4 0 0 20 0 19 0 23300369 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425849842296 140425718191891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13347] ppid=13341 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/13344/task/13347/stat : 13347 (java) S 13341 13344 8337 0 -1 4202560 456 0 0 0 194 8 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425838906408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13348] ppid=13341 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/13344/task/13348/stat : 13348 (java) S 13341 13344 8337 0 -1 4202560 473 0 0 0 205 11 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425837853608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13349] ppid=13341 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/13344/task/13349/stat : 13349 (java) S 13341 13344 8337 0 -1 4202560 391 0 0 0 198 10 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425836800808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13350] ppid=13341 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/13344/task/13350/stat : 13350 (java) S 13341 13344 8337 0 -1 4202560 520 0 0 0 219 10 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425689774760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13351] ppid=13341 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/13344/task/13351/stat : 13351 (java) S 13341 13344 8337 0 -1 4202560 259 0 0 0 189 8 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425688721960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13352] ppid=13341 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/13344/task/13352/stat : 13352 (java) S 13341 13344 8337 0 -1 4202560 369 0 0 0 210 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425687669160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13353] ppid=13341 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/13344/task/13353/stat : 13353 (java) S 13341 13344 8337 0 -1 4202560 391 0 0 0 200 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425686616360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13354] ppid=13341 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) S 13341 13344 8337 0 -1 4202560 335 0 0 0 205 9 0 0 20 0 19 0 23300371 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425685563560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13355] ppid=13341 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13341 13344 8337 0 -1 4202560 1219 0 0 0 226 28 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425673366504 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13356] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13341 13344 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425672312568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13357] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13341 13344 8337 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 23300372 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425671259656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13358] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425670208144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13359] ppid=13341 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13341 13344 8337 0 -1 4202560 11358 0 0 0 149 3 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425669155256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13360] ppid=13341 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/13344/task/13360/stat : 13360 (java) S 13341 13344 8337 0 -1 4202560 7275 0 0 0 134 2 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425668102456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13361] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13341 13344 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425667049848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13362] ppid=13341 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13341 13344 8337 0 -1 4202560 48 0 0 0 12 20 0 0 20 0 19 0 23300375 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425665997256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13420] ppid=13341 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13420/stat : 13420 (java) S 13341 13344 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23301846 10060525568 340706 33554432000 1073741824 1073778376 140735393947088 140425663890984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1609.45
Current children cumulated vsize (KiB) 9824732

Child status: 30
Real time (s): 811.829
CPU time (s): 1609.84
CPU user time (s): 1607.36
CPU system time (s): 2.48662
CPU usage (%): 198.298
Max. virtual memory (cumulated for all children) (KiB): 9826624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1607.36
system time used= 2.48662
maximum resident set size= 1464292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30460
page faults= 1
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30289
involuntary context switches= 41174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72713 second user time and 7.37988 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 03:15:46
IDJOB=4101098
IDBENCH=1700
IDSOLVER=2543
FILE ID=node137/4101098-1466212546
RUNJOBID= node137-1466206054-8354
PBS_JOBID= 19918140
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101098-1466212546/watcher-4101098-1466212546 -o /tmp/evaluation-result-4101098-1466212546/solver-4101098-1466212546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101098-1466212546.opb

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

MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801
RANDOM SEED=2097826573

node137.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.486
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.97
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.486
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.486
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.486
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.486
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.486
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.38
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.486
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.486
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:        29322324 kB
Buffers:           44420 kB
Cached:            86720 kB
SwapCached:         1252 kB
Active:          1055212 kB
Inactive:          86180 kB
Active(anon):    1011760 kB
Inactive(anon):      972 kB
Active(file):      43452 kB
Inactive(file):    85208 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67099968 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:       2773160 kB
Mapped:            15468 kB
Shmem:                 0 kB
Slab:             571072 kB
SReclaimable:      15260 kB
SUnreclaim:       555812 kB
KernelStack:        1816 kB
PageTables:         9992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2924788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1218560 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= 71700 MiB
End job on node137 at 2016-06-18 03:29:18