Trace number 4110597

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.36 899.143

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap93_wcsp.wbo
MD5SUM731e2b3d085e2d31d63a0bd0dc294faf
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13818626
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 61786724
Min constraint cost 1
Max constraint cost 61786724
Sum of constraints costs 77838680126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
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.04/0.24	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.04/0.24	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.24	c See www.sat4j.org for details.
0.04/0.25	c version PB16.v20160501
0.04/0.25	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.25	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.25	c java.vm.version	19.1-b02
0.04/0.25	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.25	c sun.arch.data.model	64
0.04/0.25	c java.version		1.6.0_24
0.04/0.25	c os.name		Linux
0.04/0.25	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.25	c os.arch		amd64
0.04/0.25	c Free memory 		501472288
0.04/0.25	c Max memory 		7480803328
0.04/0.25	c Total memory 		504102912
0.04/0.25	c Number of processors 	8
0.04/0.28	c Pseudo Boolean Optimization by upper bound
0.04/0.28	c ManyCore solver with 2 solvers running in parallel
0.04/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.04/0.28	c --- Begin Solver configuration ---
0.04/0.28	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.04/0.28	c Learn all clauses as in MiniSAT
0.04/0.28	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.04/0.28	c Expensive reason simplification
0.04/0.28	c Glucose 2.1 dynamic restart strategy
0.04/0.28	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.04/0.28	c timeout=2147483s
0.04/0.28	c DB Simplification allowed=false
0.04/0.28	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.04/0.28	c --- End Solver configuration ---
0.04/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.04/0.28	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.04/0.28	c --- Begin Solver configuration ---
0.04/0.28	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.04/0.28	c Learn all clauses as in MiniSAT
0.04/0.28	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.28	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.04/0.28	c No reason simplification
0.04/0.28	c Armin Biere (Picosat) restarts strategy
0.04/0.28	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.04/0.28	c timeout=2147483s
0.04/0.28	c DB Simplification allowed=false
0.04/0.28	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.04/0.28	c --- End Solver configuration ---
0.04/0.28	c solving HOME/instance-4110597-1466347835.wbo
0.04/0.28	c reading problem ... 
0.33/0.48	c ... done. Wall clock time 0.198s.
0.33/0.48	c declared #vars     1300
0.33/0.48	c internal #vars     3823
0.33/0.48	c #constraints  2673
0.33/0.49	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.33/0.49	c constraints type 
0.33/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1300
0.33/0.49	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.33/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1323
0.33/0.49	c 2673 constraints processed.
0.33/0.49	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.33/0.49	c constraints type 
0.33/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1323
0.33/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1300
0.33/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.33/0.49	c 2673 constraints processed.
0.33/0.49	c objective function length is 2523 literals
0.57/0.55	c And the winner is solver0
0.78/0.99	c SATISFIABLE
0.78/0.99	c OPTIMIZING...
0.78/0.99	c Got one! Elapsed wall clock time (in seconds):0.706
0.78/0.99	o 8943592
4.15/2.23	c cleaning 2495 clauses out of 5000 with flag 12012/5000
6.66/3.37	c cleaning 4248 clauses out of 8505 with flag 26612/11000
9.68/4.75	c cleaning 5620 clauses out of 11260 with flag 42735/18003
12.58/6.18	c cleaning 6818 clauses out of 13638 with flag 63088/26001
15.80/7.71	c cleaning 7907 clauses out of 15819 with flag 95351/35000
19.39/9.53	c cleaning 8952 clauses out of 17912 with flag 129910/45000
23.24/11.50	c cleaning 9980 clauses out of 19960 with flag 164615/56000
27.84/13.73	c cleaning 10982 clauses out of 21980 with flag 206232/68000
33.30/16.40	c cleaning 11968 clauses out of 23999 with flag 255525/81001
38.30/18.91	c cleaning 13000 clauses out of 26030 with flag 293285/95000
44.30/21.96	c cleaning 14003 clauses out of 28030 with flag 338858/110000
50.58/25.09	c cleaning 15010 clauses out of 30027 with flag 390486/126000
57.58/28.51	c cleaning 16003 clauses out of 32017 with flag 450635/143000
64.83/32.12	c cleaning 17008 clauses out of 34015 with flag 514038/161001
72.43/35.96	c cleaning 18004 clauses out of 36008 with flag 579673/180002
80.50/39.96	c cleaning 18999 clauses out of 38002 with flag 657320/200000
89.00/44.13	c cleaning 19998 clauses out of 40003 with flag 730257/221000
97.18/48.24	c cleaning 20996 clauses out of 42006 with flag 813965/243001
105.64/52.50	c cleaning 22001 clauses out of 44009 with flag 896956/266000
115.53/57.39	c cleaning 23004 clauses out of 46009 with flag 985330/290001
126.11/62.61	c cleaning 23997 clauses out of 48006 with flag 1085045/315002
136.95/68.05	c cleaning 24996 clauses out of 50009 with flag 1196852/341002
148.41/73.73	c cleaning 25985 clauses out of 52011 with flag 1333705/368000
160.63/79.82	c cleaning 27011 clauses out of 54027 with flag 1450501/396001
173.27/86.10	c cleaning 27994 clauses out of 56015 with flag 1570043/425000
185.91/92.46	c cleaning 28999 clauses out of 58021 with flag 1693201/455000
199.72/99.37	c cleaning 30008 clauses out of 60022 with flag 1819030/486000
202.12/100.53	c And the winner is solver1
202.12/100.58	c Got one! Elapsed wall clock time (in seconds):100.294
202.12/100.58	o 8913785
204.29/101.69	c cleaning 20372 clauses out of 40793 with flag 15720/496779
206.69/102.83	c cleaning 13204 clauses out of 26422 with flag 36481/502780
209.29/104.16	c cleaning 10103 clauses out of 20218 with flag 61079/509780
212.32/105.66	c cleaning 9050 clauses out of 18115 with flag 90491/517780
215.91/107.43	c cleaning 9011 clauses out of 18064 with flag 125800/526779
219.71/109.39	c cleaning 9524 clauses out of 19053 with flag 169246/536779
224.12/111.50	c cleaning 10239 clauses out of 20532 with flag 213847/547782
228.72/113.81	c cleaning 11141 clauses out of 22293 with flag 261023/559782
233.72/116.37	c cleaning 12055 clauses out of 24149 with flag 311172/572779
239.34/119.16	c cleaning 13031 clauses out of 26096 with flag 370676/586781
245.56/122.21	c cleaning 14021 clauses out of 28063 with flag 433356/601779
252.36/125.60	c cleaning 15023 clauses out of 30045 with flag 501380/617782
259.17/129.05	c cleaning 16010 clauses out of 32019 with flag 574152/634779
266.98/132.94	c cleaning 17001 clauses out of 34009 with flag 646542/652779
275.39/137.16	c cleaning 17998 clauses out of 36008 with flag 726469/671779
284.00/141.44	c cleaning 18997 clauses out of 38010 with flag 814187/691779
293.41/146.15	c cleaning 20005 clauses out of 40014 with flag 900760/712780
295.81/147.33	c And the winner is solver1
295.95/147.59	c Got one! Elapsed wall clock time (in seconds):147.311
295.95/147.59	o 8909206
297.98/148.61	c cleaning 15124 clauses out of 30325 with flag 16942/723096
300.37/149.81	c cleaning 10587 clauses out of 21202 with flag 36123/729097
303.17/151.27	c cleaning 8783 clauses out of 17614 with flag 60357/736096
306.59/152.93	c cleaning 8406 clauses out of 16831 with flag 88918/744096
310.17/154.78	c cleaning 8706 clauses out of 17425 with flag 120662/753096
314.18/156.75	c cleaning 9360 clauses out of 18719 with flag 157049/763096
318.78/159.07	c cleaning 10170 clauses out of 20359 with flag 204702/774096
323.98/161.60	c cleaning 11084 clauses out of 22189 with flag 254578/786096
329.38/164.36	c cleaning 12050 clauses out of 24107 with flag 309581/799098
335.20/167.25	c cleaning 13017 clauses out of 26055 with flag 365956/813096
341.38/170.32	c cleaning 14020 clauses out of 28040 with flag 425580/828098
348.24/173.72	c cleaning 14996 clauses out of 30019 with flag 493228/844097
355.65/177.42	c cleaning 16011 clauses out of 32022 with flag 562905/861096
363.66/181.47	c cleaning 16999 clauses out of 34012 with flag 634557/879097
367.86/183.58	c And the winner is solver1
368.04/183.61	c Got one! Elapsed wall clock time (in seconds):183.328
368.04/183.61	o 8906701
370.08/184.67	c cleaning 15799 clauses out of 31631 with flag 16161/893715
372.48/185.87	c cleaning 10897 clauses out of 21830 with flag 35837/899713
375.09/187.17	c cleaning 8946 clauses out of 17932 with flag 59067/906712
378.07/188.65	c cleaning 8468 clauses out of 16989 with flag 87540/914715
381.70/190.41	c cleaning 8753 clauses out of 17518 with flag 119454/923712
385.69/192.45	c cleaning 9383 clauses out of 18765 with flag 156661/933712
390.31/194.75	c cleaning 10184 clauses out of 20385 with flag 198992/944715
395.09/197.19	c cleaning 11099 clauses out of 22198 with flag 244253/956712
400.50/199.85	c cleaning 12048 clauses out of 24099 with flag 296540/969712
406.50/202.87	c cleaning 13021 clauses out of 26051 with flag 356840/983712
412.90/206.03	c cleaning 14014 clauses out of 28032 with flag 423704/998714
419.71/209.42	c cleaning 15007 clauses out of 30016 with flag 489640/1014712
426.92/213.06	c cleaning 16003 clauses out of 32009 with flag 562805/1031712
434.71/216.96	c cleaning 17002 clauses out of 34007 with flag 637770/1049713
443.16/221.15	c cleaning 17989 clauses out of 36004 with flag 718008/1068712
451.76/225.41	c cleaning 18998 clauses out of 38015 with flag 805334/1088712
460.55/229.88	c cleaning 20006 clauses out of 40017 with flag 898173/1109712
469.98/234.52	c cleaning 21001 clauses out of 42011 with flag 988645/1131712
479.80/239.40	c cleaning 22006 clauses out of 44012 with flag 1081927/1154714
490.01/244.57	c cleaning 22996 clauses out of 46004 with flag 1181330/1178712
500.43/249.78	c cleaning 23989 clauses out of 48009 with flag 1289454/1203713
512.44/255.78	c cleaning 25009 clauses out of 50022 with flag 1394835/1229715
525.67/262.36	c cleaning 26000 clauses out of 52011 with flag 1502272/1256713
538.31/268.63	c cleaning 27006 clauses out of 54011 with flag 1616448/1284713
551.71/275.31	c cleaning 28004 clauses out of 56008 with flag 1730703/1313716
567.15/283.04	c cleaning 29000 clauses out of 58001 with flag 1853822/1343713
582.98/290.91	c cleaning 29990 clauses out of 60000 with flag 1977308/1374712
601.02/299.93	c cleaning 30999 clauses out of 62010 with flag 2103759/1406712
619.65/309.24	c cleaning 32003 clauses out of 64012 with flag 2237317/1439713
637.67/318.25	c cleaning 33005 clauses out of 66009 with flag 2374983/1473713
657.52/328.17	c cleaning 34004 clauses out of 68008 with flag 2511701/1508717
661.33/330.06	c And the winner is solver1
661.55/330.16	c Got one! Elapsed wall clock time (in seconds):329.866
661.55/330.16	o 8905335
663.71/331.21	c cleaning 23623 clauses out of 47298 with flag 16634/1522011
665.91/332.38	c cleaning 14811 clauses out of 29675 with flag 38954/1528011
668.70/333.78	c cleaning 10933 clauses out of 21865 with flag 65733/1535012
671.90/335.34	c cleaning 9441 clauses out of 18932 with flag 92177/1543012
675.72/337.23	c cleaning 9209 clauses out of 18490 with flag 125452/1552011
679.71/339.24	c cleaning 9641 clauses out of 19281 with flag 165245/1562011
684.12/341.49	c cleaning 10319 clauses out of 20641 with flag 211279/1573012
689.13/343.97	c cleaning 11144 clauses out of 22322 with flag 260015/1585012
694.73/346.71	c cleaning 12082 clauses out of 24178 with flag 317110/1598012
700.15/349.49	c cleaning 13027 clauses out of 26095 with flag 378086/1612011
706.36/352.58	c cleaning 14024 clauses out of 28070 with flag 446884/1627013
712.99/355.80	c cleaning 15003 clauses out of 30044 with flag 517082/1643011
719.80/359.21	c cleaning 16006 clauses out of 32041 with flag 588519/1660011
727.01/362.86	c cleaning 17016 clauses out of 34035 with flag 665008/1678011
734.64/366.70	c cleaning 18000 clauses out of 36019 with flag 742903/1697011
743.45/371.10	c cleaning 19010 clauses out of 38019 with flag 830743/1717011
752.86/375.74	c cleaning 20005 clauses out of 40009 with flag 923694/1738011
762.47/380.53	c cleaning 21001 clauses out of 42005 with flag 1014571/1760012
772.30/385.43	c cleaning 22002 clauses out of 44004 with flag 1109445/1783012
782.78/390.68	c cleaning 23000 clauses out of 46001 with flag 1210130/1807011
793.99/396.25	c cleaning 24001 clauses out of 48001 with flag 1318589/1832011
806.20/402.59	c cleaning 24990 clauses out of 50000 with flag 1425063/1858011
818.83/408.85	c cleaning 26005 clauses out of 52010 with flag 1533937/1885011
831.86/415.30	c cleaning 27003 clauses out of 54005 with flag 1647370/1913011
845.69/422.24	c cleaning 28002 clauses out of 56003 with flag 1764715/1942012
860.91/429.81	c cleaning 28994 clauses out of 58000 with flag 1881494/1972011
876.34/437.58	c cleaning 30000 clauses out of 60007 with flag 2007132/2003012
893.19/445.95	c cleaning 31002 clauses out of 62006 with flag 2141524/2035011
909.04/453.80	c cleaning 32002 clauses out of 64005 with flag 2273504/2068012
925.48/462.10	c cleaning 33001 clauses out of 66002 with flag 2405321/2102011
937.08/467.89	c And the winner is solver1
937.36/468.03	c Got one! Elapsed wall clock time (in seconds):467.75
937.36/468.03	o 8902830
939.49/469.12	c cleaning 31264 clauses out of 62567 with flag 15893/2131577
941.70/470.27	c cleaning 18628 clauses out of 37304 with flag 36139/2137578
944.52/471.68	c cleaning 12820 clauses out of 25674 with flag 59719/2144576
947.72/473.24	c cleaning 10419 clauses out of 20857 with flag 88954/2152579
951.13/474.99	c cleaning 9706 clauses out of 19436 with flag 118927/2161577
954.95/476.87	c cleaning 9844 clauses out of 19729 with flag 155736/2171576
959.36/479.01	c cleaning 10436 clauses out of 20885 with flag 196723/2182576
964.17/481.40	c cleaning 11220 clauses out of 22449 with flag 241301/2194576
969.40/484.00	c cleaning 12098 clauses out of 24229 with flag 291177/2207576
975.21/486.94	c cleaning 13058 clauses out of 26135 with flag 353189/2221580
981.86/490.27	c cleaning 14035 clauses out of 28073 with flag 414250/2236576
989.10/493.83	c cleaning 15018 clauses out of 30038 with flag 484713/2252576
996.50/497.52	c cleaning 16009 clauses out of 32022 with flag 553794/2269578
1004.53/501.60	c cleaning 17005 clauses out of 34011 with flag 626983/2287576
1013.14/505.84	c cleaning 17983 clauses out of 36006 with flag 706815/2306576
1022.15/510.36	c cleaning 19013 clauses out of 38025 with flag 791767/2326578
1031.62/515.02	c cleaning 20004 clauses out of 40012 with flag 872651/2347578
1042.26/520.37	c cleaning 21003 clauses out of 42007 with flag 959023/2369577
1053.67/526.02	c cleaning 21998 clauses out of 44003 with flag 1052984/2392576
1065.49/531.92	c cleaning 22999 clauses out of 46005 with flag 1150268/2416576
1077.71/538.04	c cleaning 23986 clauses out of 48006 with flag 1251333/2441576
1090.63/544.75	c cleaning 24993 clauses out of 50020 with flag 1358693/2467576
1104.32/551.59	c cleaning 26010 clauses out of 52027 with flag 1466978/2494576
1118.33/558.54	c cleaning 27009 clauses out of 54018 with flag 1572408/2522577
1132.37/565.56	c cleaning 28001 clauses out of 56008 with flag 1685279/2551576
1147.36/573.07	c cleaning 28999 clauses out of 58007 with flag 1799633/2581576
1163.59/581.11	c cleaning 29996 clauses out of 60008 with flag 1923441/2612576
1179.82/589.24	c cleaning 30998 clauses out of 62012 with flag 2050418/2644576
1196.67/597.68	c cleaning 32004 clauses out of 64015 with flag 2185345/2677577
1214.70/606.69	c cleaning 32999 clauses out of 66010 with flag 2326275/2711576
1233.78/616.17	c cleaning 34006 clauses out of 68013 with flag 2474716/2746578
1252.82/625.68	c cleaning 34999 clauses out of 70005 with flag 2611885/2782576
1273.30/635.87	c cleaning 35990 clauses out of 72006 with flag 2759196/2819576
1294.54/646.47	c cleaning 37008 clauses out of 74016 with flag 2930572/2857576
1317.21/657.74	c cleaning 38002 clauses out of 76009 with flag 3088646/2896577
1338.49/668.32	c cleaning 38996 clauses out of 78006 with flag 3241759/2936576
1361.45/679.97	c cleaning 40004 clauses out of 80011 with flag 3417438/2977577
1386.93/692.65	c cleaning 41000 clauses out of 82008 with flag 3587114/3019578
1409.19/703.74	c And the winner is solver1
1409.38/704.01	c Got one! Elapsed wall clock time (in seconds):703.724
1409.38/704.01	o 8900756
1411.57/705.19	c cleaning 41022 clauses out of 82070 with flag 15411/3060640
1414.16/706.43	c cleaning 23510 clauses out of 47049 with flag 35556/3066641
1416.76/707.77	c cleaning 15233 clauses out of 30539 with flag 61428/3073641
1419.77/709.29	c cleaning 11653 clauses out of 23306 with flag 90854/3081641
1423.36/711.02	c cleaning 10317 clauses out of 20652 with flag 121001/3090640
1427.17/712.97	c cleaning 10123 clauses out of 20335 with flag 159097/3100640
1431.77/715.26	c cleaning 10605 clauses out of 21213 with flag 203224/3111641
1436.76/717.75	c cleaning 11301 clauses out of 22607 with flag 252064/3123640
1442.17/720.42	c cleaning 12153 clauses out of 24306 with flag 307093/3136640
1447.77/723.27	c cleaning 13078 clauses out of 26156 with flag 366698/3150643
1454.19/726.41	c cleaning 14038 clauses out of 28075 with flag 428682/3165640
1461.19/729.92	c cleaning 15011 clauses out of 30038 with flag 494069/3181641
1468.84/733.78	c cleaning 15997 clauses out of 32026 with flag 568676/3198640
1477.24/737.97	c cleaning 17005 clauses out of 34031 with flag 640702/3216642
1485.83/742.26	c cleaning 18013 clauses out of 36026 with flag 718146/3235642
1494.87/746.76	c cleaning 19005 clauses out of 38012 with flag 799907/3255641
1504.11/751.32	c cleaning 20002 clauses out of 40006 with flag 887754/3276640
1513.72/756.15	c cleaning 20996 clauses out of 42004 with flag 981689/3298640
1524.76/761.67	c cleaning 21990 clauses out of 44008 with flag 1081454/3321640
1536.18/767.34	c cleaning 23007 clauses out of 46019 with flag 1188128/3345641
1547.84/773.17	c cleaning 24000 clauses out of 48011 with flag 1296764/3370640
1560.30/779.39	c cleaning 25004 clauses out of 50013 with flag 1406061/3396642
1573.94/786.17	c cleaning 26003 clauses out of 52008 with flag 1520868/3423641
1589.00/793.62	c cleaning 26974 clauses out of 54004 with flag 1642478/3451640
1604.44/801.30	c cleaning 28011 clauses out of 56030 with flag 1775194/3480640
1620.67/809.44	c cleaning 29012 clauses out of 58024 with flag 1915538/3510645
1635.53/816.90	c cleaning 30003 clauses out of 60007 with flag 2040958/3541640
1651.37/824.74	c cleaning 31002 clauses out of 62004 with flag 2171021/3573640
1668.05/833.33	c cleaning 31998 clauses out of 64002 with flag 2298586/3606640
1685.49/842.04	c cleaning 32997 clauses out of 66007 with flag 2436243/3640643
1704.75/851.61	c cleaning 34000 clauses out of 68008 with flag 2573205/3675641
1723.60/861.04	c cleaning 35004 clauses out of 70008 with flag 2712092/3711641
1737.27/867.81	c And the winner is solver1
1737.27/867.83	c Got one! Elapsed wall clock time (in seconds):867.552
1737.27/867.83	o 8898251
1739.69/869.01	c cleaning 33074 clauses out of 66161 with flag 16218/3742798
1741.91/870.20	c cleaning 19521 clauses out of 39086 with flag 36576/3748797
1744.89/871.63	c cleaning 13278 clauses out of 26565 with flag 62548/3755797
1747.90/873.16	c cleaning 10626 clauses out of 21287 with flag 90009/3763797
1751.50/874.94	c cleaning 9801 clauses out of 19661 with flag 121413/3772797
1755.50/876.93	c cleaning 9920 clauses out of 19863 with flag 156125/3782800
1759.90/879.13	c cleaning 10458 clauses out of 20941 with flag 196469/3793798
1764.72/881.54	c cleaning 11204 clauses out of 22482 with flag 245680/3805797
1769.93/884.12	c cleaning 12119 clauses out of 24278 with flag 301030/3818797
1775.54/886.96	c cleaning 13080 clauses out of 26160 with flag 359502/3832798
1781.94/890.17	c cleaning 14035 clauses out of 28079 with flag 424233/3847797
1788.76/893.59	c cleaning 15008 clauses out of 30044 with flag 498002/3863797
1795.58/896.99	c cleaning 16004 clauses out of 32036 with flag 571653/3880797
1800.00/899.10	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.00/899.10	c starts		: 67635
1800.00/899.10	c conflicts		: 3890769
1800.00/899.10	c decisions		: 25850775
1800.00/899.10	c propagations		: 1675028961
1800.00/899.10	c inspects		: 4026536748
1800.00/899.10	c shortcuts		: 0
1800.00/899.10	c learnt literals	: 0
1800.00/899.10	c learnt binary clauses	: 0
1800.00/899.10	c learnt ternary clauses	: 0
1800.00/899.10	c learnt constraints	: 3890768
1800.00/899.10	c ignored constraints	: 0
1800.00/899.10	c root simplifications	: 0
1800.00/899.10	c removed literals (reason simplification)	: 6180873
1800.00/899.10	c reason swapping (by a shorter reason)	: 0
1800.00/899.10	c Calls to reduceDB	: 202
1800.00/899.10	c Number of update (reduction) of LBD	: 1799507
1800.00/899.10	c Imported unit clauses	: 0
1800.00/899.10	c number of reductions to clauses (during analyze)	: 0
1800.00/899.10	c number of learned constraints concerned by reduction	: 0
1800.00/899.10	c number of learning phase by resolution	: 0
1800.00/899.10	c number of learning phase by cutting planes	: 0
1800.00/899.10	c speed (assignments/second)	: 5.357863803857595E7
1800.00/899.10	c non guided choices	104
1800.00/899.12	c learnt constraints type 
1800.00/899.12	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26004
1800.00/899.12	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.00/899.12	c starts		: 9
1800.00/899.12	c conflicts		: 618
1800.00/899.12	c decisions		: 630590
1800.00/899.12	c propagations		: 1452668
1800.00/899.12	c inspects		: 48140233
1800.00/899.12	c shortcuts		: 0
1800.00/899.12	c learnt literals	: 0
1800.00/899.12	c learnt binary clauses	: 0
1800.00/899.12	c learnt ternary clauses	: 0
1800.00/899.12	c learnt constraints	: 618
1800.00/899.12	c ignored constraints	: 0
1800.00/899.12	c root simplifications	: 0
1800.00/899.12	c removed literals (reason simplification)	: 0
1800.00/899.12	c reason swapping (by a shorter reason)	: 0
1800.00/899.12	c Calls to reduceDB	: 0
1800.00/899.12	c Number of update (reduction) of LBD	: 0
1800.00/899.12	c Imported unit clauses	: 0
1800.00/899.12	c number of reductions to clauses (during analyze)	: 0
1800.00/899.12	c number of learned constraints concerned by reduction	: 0
1800.00/899.12	c number of learning phase by resolution	: 0
1800.00/899.12	c number of learning phase by cutting planes	: 0
1800.00/899.12	c speed (assignments/second)	: 1617.5695056878412
1800.00/899.12	c non guided choices	0
1800.00/899.12	c learnt constraints type 
1800.00/899.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 618
1800.00/899.12	s SATISFIABLE
1800.00/899.12	c Found 8 solution(s)
1800.00/899.12	v x1 -x2 -x3 x4 x5 -x6 -x7 x8 x9 -x10 -x11 x12 -x13 x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 -x35 x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
1800.00/899.12	c objective function=8898251
1800.00/899.12	c Total wall clock time (in seconds): 898.84

Verifier Data 

OK	8898251

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

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

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


[startup+0 s]
/proc/loadavg: 1.11 1.29 1.67 4/173 5281
/proc/meminfo: memFree=30191612/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/5281/stat : 5281 (java) R 5278 5281 2004 0 -1 4202496 157 0 1 0 0 0 0 0 20 0 1 0 36829207 278528 34 33554432000 1073741824 1073778376 140735139090560 140735139087736 225435544871 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5281/statm: 68 34 25 9 0 25 0

[startup+0.100157 s]
/proc/loadavg: 1.11 1.29 1.67 4/173 5281
/proc/meminfo: memFree=30191612/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=101560 CPUtime=0 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 1480 0 18 0 0 0 0 0 20 0 2 0 36829207 103997440 1101 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 25390 1101 852 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101560

[startup+0.200322 s]
/proc/loadavg: 1.11 1.29 1.67 4/173 5281
/proc/meminfo: memFree=30191612/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 3118 0 22 0 3 1 0 0 20 0 13 0 36829207 9446973440 3759 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2306390 3759 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.300243 s]
/proc/loadavg: 1.11 1.29 1.67 4/173 5281
/proc/meminfo: memFree=30191612/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 4493 0 22 0 14 2 0 0 20 0 18 0 36829207 9787879424 6122 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2389619 6122 2169 9 0 2380296 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 9558476

[startup+0.700262 s]
/proc/loadavg: 1.11 1.29 1.67 4/173 5281
/proc/meminfo: memFree=30191612/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 6611 0 22 0 74 4 0 0 20 0 19 0 36829207 10060525568 11157 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2456183 11157 2251 9 0 2446860 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 1.11 1.29 1.67 7/216 5334
/proc/meminfo: memFree=29911316/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 12261 0 22 0 254 6 0 0 20 0 22 0 36829207 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2456183 21149 2263 9 0 2446860 0
[pid=5281/tid=5293] ppid=5278 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5278 5281 2004 0 -1 4202560 2417 0 9 0 33 2 0 0 20 0 22 0 36829213 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283824415608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 10 0 0
[pid=5281/tid=5297] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5297/stat : 5297 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283785907112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5299] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5299/stat : 5299 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283784854568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5301] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5301/stat : 5301 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283783801512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5303] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5303/stat : 5303 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283782748968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5304] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5304/stat : 5304 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283781695912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5306] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5306/stat : 5306 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283780643368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5308] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5308/stat : 5308 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283779590312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5311] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5311/stat : 5311 (java) S 5278 5281 2004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283778537768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5313] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5313/stat : 5313 (java) S 5278 5281 2004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36829221 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283647880040 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5315] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) S 5278 5281 2004 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283646826360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5317] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) S 5278 5281 2004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283645773192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5318] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5318/stat : 5318 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283644721936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5320] ppid=5278 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/5281/task/5320/stat : 5320 (java) S 5278 5281 2004 0 -1 4202560 3746 0 0 0 55 0 0 0 20 0 22 0 36829228 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283643668792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5322] ppid=5278 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/5281/task/5322/stat : 5322 (java) S 5278 5281 2004 0 -1 4202560 4759 0 0 0 62 2 0 0 20 0 22 0 36829228 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283642616248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5324] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5324/stat : 5324 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283641563384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5326] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5326/stat : 5326 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283640511048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5331] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5331/stat : 5331 (java) S 5278 5281 2004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36829258 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283636299176 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5332] ppid=5278 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/5281/task/5332/stat : 5332 (java) R 5278 5281 2004 0 -1 4202560 8 0 0 0 43 0 0 0 20 0 22 0 36829312 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283638402312 140283648606340 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5333] ppid=5278 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/5281/task/5333/stat : 5333 (java) R 5278 5281 2004 0 -1 4202560 28 0 0 0 43 0 0 0 20 0 22 0 36829312 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283639455192 140283648648541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5334] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5334/stat : 5334 (java) S 5278 5281 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36829314 10060525568 21149 33554432000 1073741824 1073778376 140733868519328 140283637351208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 1.18 1.30 1.67 7/220 5341
/proc/meminfo: memFree=29778600/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9824732 CPUtime=6.21 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 16412 0 22 0 614 7 0 0 20 0 22 0 36829207 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2456183 33445 2271 9 0 2446860 0
[pid=5281/tid=5293] ppid=5278 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5278 5281 2004 0 -1 4202560 2417 0 9 0 33 2 0 0 20 0 22 0 36829213 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283824415608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 10 0 0
[pid=5281/tid=5297] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5297/stat : 5297 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283785907112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5299] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5299/stat : 5299 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283784854568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5301] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5301/stat : 5301 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283783801512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5303] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5303/stat : 5303 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283782748968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5304] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5304/stat : 5304 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283781695912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5306] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5306/stat : 5306 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283780643368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5308] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5308/stat : 5308 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283779590312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5311] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5311/stat : 5311 (java) S 5278 5281 2004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283778537768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5313] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5313/stat : 5313 (java) S 5278 5281 2004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36829221 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283647880040 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5315] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) S 5278 5281 2004 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283646826360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5317] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) S 5278 5281 2004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283645773192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5318] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5318/stat : 5318 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283644721936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5320] ppid=5278 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/5281/task/5320/stat : 5320 (java) S 5278 5281 2004 0 -1 4202560 3748 0 0 0 70 0 0 0 20 0 22 0 36829228 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283643668792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5322] ppid=5278 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/5281/task/5322/stat : 5322 (java) S 5278 5281 2004 0 -1 4202560 8883 0 0 0 90 2 0 0 20 0 22 0 36829228 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283642616248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5324] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5324/stat : 5324 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283641563384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5326] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5326/stat : 5326 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283640511048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5331] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5331/stat : 5331 (java) S 5278 5281 2004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36829258 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283636299176 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5332] ppid=5278 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/5281/task/5332/stat : 5332 (java) R 5278 5281 2004 0 -1 4202560 9 0 0 0 201 0 0 0 20 0 22 0 36829312 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283638403368 140283648878927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5333] ppid=5278 vsize=9824732 CPUtime=2.02 cores=0,2,4,6
/proc/5281/task/5333/stat : 5333 (java) R 5278 5281 2004 0 -1 4202560 52 0 0 0 202 0 0 0 20 0 22 0 36829312 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283639456088 140283648648445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5334] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5334/stat : 5334 (java) S 5278 5281 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36829314 10060525568 33445 33554432000 1073741824 1073778376 140733868519328 140283637351208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 1.18 1.30 1.67 6/220 5341
/proc/meminfo: memFree=29576288/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9824732 CPUtime=12.99 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 17641 0 22 0 1289 10 0 0 20 0 22 0 36829207 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2456183 46904 2284 9 0 2446860 0
[pid=5281/tid=5293] ppid=5278 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5278 5281 2004 0 -1 4202560 2417 0 9 0 33 2 0 0 20 0 22 0 36829213 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283824415608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 10 0 0
[pid=5281/tid=5297] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5297/stat : 5297 (java) S 5278 5281 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283785907112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5299] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5299/stat : 5299 (java) S 5278 5281 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283784854568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5301] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5301/stat : 5301 (java) S 5278 5281 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283783801512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5303] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5303/stat : 5303 (java) S 5278 5281 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283782748968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5304] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5304/stat : 5304 (java) S 5278 5281 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283781695912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5306] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5306/stat : 5306 (java) S 5278 5281 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283780643368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5308] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5308/stat : 5308 (java) S 5278 5281 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283779590312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5311] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5311/stat : 5311 (java) S 5278 5281 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 36829218 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283778537768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5313] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5313/stat : 5313 (java) S 5278 5281 2004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36829221 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283647880040 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5315] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) S 5278 5281 2004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283646826360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5317] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) S 5278 5281 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283645773192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5318] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5318/stat : 5318 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 46904 33554432000 1073741824 1073778376 140733868519328 140283644721936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5320] ppid=5278 vsize=9824732 CPUtime=0.95 cores=0,2,4,6

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


[startup+882.308 s]
/proc/loadavg: 4.50 4.19 3.29 5/219 5407
/proc/meminfo: memFree=28169240/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9824732 CPUtime=1766.34 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 30460 0 22 0 176496 138 0 0 20 0 22 0 36829207 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2456183 99004 2293 9 0 2446860 0
[pid=5281/tid=5293] ppid=5278 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5278 5281 2004 0 -1 4202560 2423 0 9 0 41 4 0 0 20 0 22 0 36829213 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283824415608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 10 0 0
[pid=5281/tid=5297] ppid=5278 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/5281/task/5297/stat : 5297 (java) S 5278 5281 2004 0 -1 4202560 983 0 0 0 157 6 0 0 20 0 22 0 36829218 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283785907112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5299] ppid=5278 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/5281/task/5299/stat : 5299 (java) S 5278 5281 2004 0 -1 4202560 1245 0 0 0 149 5 0 0 20 0 22 0 36829218 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283784854568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5301] ppid=5278 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/5281/task/5301/stat : 5301 (java) S 5278 5281 2004 0 -1 4202560 1296 0 0 0 158 7 0 0 20 0 22 0 36829218 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283783801512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5303] ppid=5278 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/5281/task/5303/stat : 5303 (java) S 5278 5281 2004 0 -1 4202560 725 0 0 0 164 7 0 0 20 0 22 0 36829218 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283782748968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5304] ppid=5278 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/5281/task/5304/stat : 5304 (java) S 5278 5281 2004 0 -1 4202560 676 0 0 0 162 7 0 0 20 0 22 0 36829218 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283781695912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5306] ppid=5278 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/5281/task/5306/stat : 5306 (java) S 5278 5281 2004 0 -1 4202560 1122 0 0 0 161 6 0 0 20 0 22 0 36829218 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283780643368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5308] ppid=5278 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/5281/task/5308/stat : 5308 (java) S 5278 5281 2004 0 -1 4202560 1441 0 0 0 162 7 0 0 20 0 22 0 36829218 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283779590312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5311] ppid=5278 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/5281/task/5311/stat : 5311 (java) S 5278 5281 2004 0 -1 4202560 1309 0 0 0 167 6 0 0 20 0 22 0 36829218 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283778537768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5313] ppid=5278 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/5281/task/5313/stat : 5313 (java) S 5278 5281 2004 0 -1 4202560 2869 0 0 0 192 28 0 0 20 0 22 0 36829221 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283647880040 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5315] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) S 5278 5281 2004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283646826360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5317] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) S 5278 5281 2004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283645773192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5318] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5318/stat : 5318 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283644721936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5320] ppid=5278 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/5281/task/5320/stat : 5320 (java) S 5278 5281 2004 0 -1 4202560 4187 0 0 0 113 0 0 0 20 0 22 0 36829228 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283643668792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5322] ppid=5278 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/5281/task/5322/stat : 5322 (java) S 5278 5281 2004 0 -1 4202560 9598 0 0 0 128 2 0 0 20 0 22 0 36829228 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283642616248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5324] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5324/stat : 5324 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283641563384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5326] ppid=5278 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/5281/task/5326/stat : 5326 (java) S 5278 5281 2004 0 -1 4202560 52 0 0 0 15 14 0 0 20 0 22 0 36829228 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283640511048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5334] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5334/stat : 5334 (java) S 5278 5281 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36829314 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283637351208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5405] ppid=5278 vsize=9824732 CPUtime=14.35 cores=0,2,4,6
/proc/5281/task/5405/stat : 5405 (java) R 5278 5281 2004 0 -1 4202560 8 0 0 0 1435 0 0 0 20 0 22 0 36915992 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283638395424 140283648502702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5406] ppid=5278 vsize=9824732 CPUtime=14.36 cores=0,2,4,6
/proc/5281/task/5406/stat : 5406 (java) R 5278 5281 2004 0 -1 4202560 135 0 0 0 1436 0 0 0 20 0 22 0 36915992 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283639454512 140283648648571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5407] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5407/stat : 5407 (java) S 5278 5281 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36915992 10060525568 99004 33554432000 1073741824 1073778376 140733868519328 140283636299176 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1766.34
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.101 s]
/proc/loadavg: 4.47 4.19 3.31 5/218 5407
/proc/meminfo: memFree=28169872/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 30470 0 22 0 179861 139 0 0 20 0 22 0 36829207 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2456183 98692 2293 9 0 2446860 0
[pid=5281/tid=5293] ppid=5278 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5278 5281 2004 0 -1 4202560 2423 0 9 0 41 4 0 0 20 0 22 0 36829213 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283824415608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 10 0 0
[pid=5281/tid=5297] ppid=5278 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/5281/task/5297/stat : 5297 (java) S 5278 5281 2004 0 -1 4202560 983 0 0 0 161 6 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283785907112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5299] ppid=5278 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/5281/task/5299/stat : 5299 (java) S 5278 5281 2004 0 -1 4202560 1245 0 0 0 152 6 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283784854568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5301] ppid=5278 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/5281/task/5301/stat : 5301 (java) S 5278 5281 2004 0 -1 4202560 1296 0 0 0 161 7 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283783801512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5303] ppid=5278 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/5281/task/5303/stat : 5303 (java) S 5278 5281 2004 0 -1 4202560 725 0 0 0 168 7 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283782748968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5304] ppid=5278 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/5281/task/5304/stat : 5304 (java) S 5278 5281 2004 0 -1 4202560 676 0 0 0 166 7 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283781695912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5306] ppid=5278 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/5281/task/5306/stat : 5306 (java) S 5278 5281 2004 0 -1 4202560 1122 0 0 0 163 6 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283780643368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5308] ppid=5278 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/5281/task/5308/stat : 5308 (java) S 5278 5281 2004 0 -1 4202560 1441 0 0 0 166 7 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283779590312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5311] ppid=5278 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/5281/task/5311/stat : 5311 (java) S 5278 5281 2004 0 -1 4202560 1309 0 0 0 170 6 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283778537768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5313] ppid=5278 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/5281/task/5313/stat : 5313 (java) S 5278 5281 2004 0 -1 4202560 2869 0 0 0 192 29 0 0 20 0 22 0 36829221 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283647880040 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5315] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) S 5278 5281 2004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283646826360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5317] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) S 5278 5281 2004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283645773192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5318] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5318/stat : 5318 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283644721936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5320] ppid=5278 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/5281/task/5320/stat : 5320 (java) S 5278 5281 2004 0 -1 4202560 4187 0 0 0 113 0 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283643668792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5322] ppid=5278 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/5281/task/5322/stat : 5322 (java) S 5278 5281 2004 0 -1 4202560 9598 0 0 0 128 2 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283642616248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5324] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5324/stat : 5324 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283641563384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5326] ppid=5278 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/5281/task/5326/stat : 5326 (java) S 5278 5281 2004 0 -1 4202560 52 0 0 0 15 14 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283640511048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5334] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5334/stat : 5334 (java) S 5278 5281 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36829314 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283637351208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5405] ppid=5278 vsize=9824732 CPUtime=31.05 cores=0,2,4,6
/proc/5281/task/5405/stat : 5405 (java) R 5278 5281 2004 0 -1 4202560 12 0 0 0 3105 0 0 0 20 0 22 0 36915992 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283638403088 140283648467298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5406] ppid=5278 vsize=9824732 CPUtime=31.05 cores=0,2,4,6
/proc/5281/task/5406/stat : 5406 (java) R 5278 5281 2004 0 -1 4202560 141 0 0 0 3105 0 0 0 20 0 22 0 36915992 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283639454512 140283648648916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5407] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5407/stat : 5407 (java) S 5278 5281 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36915992 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283636299176 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5281 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.101 s]
/proc/loadavg: 4.47 4.19 3.31 5/218 5407
/proc/meminfo: memFree=28169872/32872528 swapFree=1499884/1696108
[pid=5281] ppid=5278 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5278 5281 2004 0 -1 4202496 30470 0 22 0 179861 139 0 0 20 0 22 0 36829207 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140733868510464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 4 0 0
/proc/5281/statm: 2456183 98692 2293 9 0 2446860 0
[pid=5281/tid=5293] ppid=5278 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5278 5281 2004 0 -1 4202560 2423 0 9 0 41 4 0 0 20 0 22 0 36829213 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283824415608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 10 0 0
[pid=5281/tid=5297] ppid=5278 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/5281/task/5297/stat : 5297 (java) S 5278 5281 2004 0 -1 4202560 983 0 0 0 161 6 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283785907112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5299] ppid=5278 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/5281/task/5299/stat : 5299 (java) S 5278 5281 2004 0 -1 4202560 1245 0 0 0 152 6 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283784854568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5301] ppid=5278 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/5281/task/5301/stat : 5301 (java) S 5278 5281 2004 0 -1 4202560 1296 0 0 0 161 7 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283783801512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5303] ppid=5278 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/5281/task/5303/stat : 5303 (java) S 5278 5281 2004 0 -1 4202560 725 0 0 0 168 7 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283782748968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5304] ppid=5278 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/5281/task/5304/stat : 5304 (java) S 5278 5281 2004 0 -1 4202560 676 0 0 0 166 7 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283781695912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5306] ppid=5278 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/5281/task/5306/stat : 5306 (java) S 5278 5281 2004 0 -1 4202560 1122 0 0 0 163 6 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283780643368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5308] ppid=5278 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/5281/task/5308/stat : 5308 (java) S 5278 5281 2004 0 -1 4202560 1441 0 0 0 166 7 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283779590312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5311] ppid=5278 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/5281/task/5311/stat : 5311 (java) S 5278 5281 2004 0 -1 4202560 1309 0 0 0 170 6 0 0 20 0 22 0 36829218 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283778537768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5313] ppid=5278 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/5281/task/5313/stat : 5313 (java) S 5278 5281 2004 0 -1 4202560 2869 0 0 0 192 29 0 0 20 0 22 0 36829221 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283647880040 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5315] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) S 5278 5281 2004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283646826360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5317] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) S 5278 5281 2004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 36829225 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283645773192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5318] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5318/stat : 5318 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283644721936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5281/tid=5320] ppid=5278 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/5281/task/5320/stat : 5320 (java) S 5278 5281 2004 0 -1 4202560 4187 0 0 0 113 0 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283643668792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5322] ppid=5278 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/5281/task/5322/stat : 5322 (java) S 5278 5281 2004 0 -1 4202560 9598 0 0 0 128 2 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283642616248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5324] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5324/stat : 5324 (java) S 5278 5281 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283641563384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5326] ppid=5278 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/5281/task/5326/stat : 5326 (java) S 5278 5281 2004 0 -1 4202560 52 0 0 0 15 14 0 0 20 0 22 0 36829228 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283640511048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5334] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5334/stat : 5334 (java) S 5278 5281 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36829314 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283637351208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5281/tid=5405] ppid=5278 vsize=9824732 CPUtime=31.05 cores=0,2,4,6
/proc/5281/task/5405/stat : 5405 (java) R 5278 5281 2004 0 -1 4202560 12 0 0 0 3105 0 0 0 20 0 22 0 36915992 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283638403088 140283648467298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5281/tid=5406] ppid=5278 vsize=9824732 CPUtime=31.05 cores=0,2,4,6
/proc/5281/task/5406/stat : 5406 (java) R 5278 5281 2004 0 -1 4202560 141 0 0 0 3105 0 0 0 20 0 22 0 36915992 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283639454512 140283648648916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5281/tid=5407] ppid=5278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5407/stat : 5407 (java) S 5278 5281 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36915992 10060525568 98692 33554432000 1073741824 1073778376 140733868519328 140283636299176 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 899.143
CPU time (s): 1800.36
CPU user time (s): 1798.79
CPU system time (s): 1.57376
CPU usage (%): 200.231
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.57376
maximum resident set size= 417360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30513
page faults= 22
swaps= 0
block input operations= 11800
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33963
involuntary context switches= 44587

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9441 second user time and 7.2339 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 16:50:35
IDJOB=4110597
IDBENCH=79545
IDSOLVER=2552
FILE ID=node137/4110597-1466347835
RUNJOBID= node137-1466347835-5262
PBS_JOBID= 19922016
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap93_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110597-1466347835/watcher-4110597-1466347835 -o /tmp/evaluation-result-4110597-1466347835/solver-4110597-1466347835 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466347835-5262 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110597-1466347835.wbo

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

MD5SUM BENCH= 731e2b3d085e2d31d63a0bd0dc294faf
RANDOM SEED=294530118

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:        30191776 kB
Buffers:           75192 kB
Cached:           163792 kB
SwapCached:         1260 kB
Active:            98532 kB
Inactive:         146020 kB
Active(anon):       6424 kB
Inactive(anon):     2080 kB
Active(file):      92108 kB
Inactive(file):   143940 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100128 kB
Dirty:              2388 kB
Writeback:            24 kB
AnonPages:       1700196 kB
Mapped:             7072 kB
Shmem:                 0 kB
Slab:             606168 kB
SReclaimable:      50296 kB
SUnreclaim:       555872 kB
KernelStack:        1424 kB
PageTables:         7096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1795520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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-19 17:05:34