Trace number 4118215

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)-94 1800.37 900.047

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.lin.opb
MD5SUMabd801c118da4548a3b6b8867150aecd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-96
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables263
Total number of constraints456
Number of constraints which are clauses228
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints228
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 263
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2816
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2816
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB16.v20160501
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		501472288
0.00/0.10	c Max memory 		7480803328
0.00/0.10	c Total memory 		504102912
0.00/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4118215-1467223902.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  objective function found
0.21/0.22	c ... done. Wall clock time 0.09s.
0.21/0.22	c declared #vars     263
0.21/0.22	c #constraints  456
0.21/0.22	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.21/0.22	c constraints type 
0.21/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 228
0.21/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 228
0.21/0.22	c 456 constraints processed.
0.21/0.22	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.21/0.22	c constraints type 
0.21/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 228
0.21/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 228
0.21/0.22	c 456 constraints processed.
0.21/0.22	c objective function length is 263 literals
0.21/0.23	c And the winner is solver0
0.26/0.73	c SATISFIABLE
0.26/0.73	c OPTIMIZING...
0.26/0.73	c Got one! Elapsed wall clock time (in seconds):0.596
0.26/0.73	o -69
0.26/0.74	c And the winner is solver0
0.28/1.23	c Got one! Elapsed wall clock time (in seconds):1.1
0.28/1.23	o -70
0.28/1.24	c And the winner is solver0
0.37/1.73	c Got one! Elapsed wall clock time (in seconds):1.604
0.37/1.73	o -71
2.87/2.45	c cleaning 2502 clauses out of 5007 with flag 10663/5007
2.87/2.48	c And the winner is solver0
3.39/2.74	c Got one! Elapsed wall clock time (in seconds):2.61
3.39/2.74	o -73
4.05/3.06	c And the winner is solver1
4.25/3.24	c Got one! Elapsed wall clock time (in seconds):3.112
4.25/3.24	o -75
4.78/3.42	c cleaning 4159 clauses out of 8327 with flag 2146/10829
5.40/3.66	c And the winner is solver1
5.66/3.74	c Got one! Elapsed wall clock time (in seconds):3.614
5.66/3.74	o -85
6.18/3.91	c cleaning 4755 clauses out of 9519 with flag 4466/16180
7.42/4.36	c cleaning 5382 clauses out of 10763 with flag 17959/22179
8.47/4.84	c cleaning 6191 clauses out of 12382 with flag 33904/29180
9.73/5.45	c cleaning 7096 clauses out of 14191 with flag 53521/37180
10.97/6.05	c cleaning 8048 clauses out of 16095 with flag 72698/46180
12.74/6.82	c cleaning 9022 clauses out of 18047 with flag 93506/56180
14.91/7.81	c cleaning 10012 clauses out of 20025 with flag 117164/67180
17.17/8.92	c cleaning 11005 clauses out of 22012 with flag 143312/79179
18.75/9.76	c And the winner is solver0
18.93/10.25	c Got one! Elapsed wall clock time (in seconds):10.117
18.93/10.25	o -86
20.21/10.93	c cleaning 13020 clauses out of 26040 with flag 10943/94212
21.88/11.72	c cleaning 9510 clauses out of 19020 with flag 24081/100212
23.28/12.48	c cleaning 8254 clauses out of 16510 with flag 39466/107212
25.09/13.33	c cleaning 8128 clauses out of 16256 with flag 56528/115212
26.68/14.16	c cleaning 8564 clauses out of 17129 with flag 74864/124213
28.78/15.18	c cleaning 9282 clauses out of 18564 with flag 95666/134212
30.98/16.24	c cleaning 10137 clauses out of 20281 with flag 118379/145211
33.38/17.44	c cleaning 11072 clauses out of 22146 with flag 142832/157213
36.46/18.97	c cleaning 12032 clauses out of 24072 with flag 170206/170211
40.06/20.70	c cleaning 13020 clauses out of 26040 with flag 201279/184211
43.66/22.56	c cleaning 14005 clauses out of 28020 with flag 232058/199211
48.13/24.73	c cleaning 15008 clauses out of 30015 with flag 264604/215211
52.33/26.87	c cleaning 16005 clauses out of 32009 with flag 299715/232213
57.13/29.29	c cleaning 16998 clauses out of 34002 with flag 337089/250211
63.00/32.14	c cleaning 17998 clauses out of 36004 with flag 377727/269211
68.80/35.08	c cleaning 19002 clauses out of 38006 with flag 418925/289211
75.40/38.35	c cleaning 19993 clauses out of 40005 with flag 462376/310212
82.88/42.03	c cleaning 21003 clauses out of 42012 with flag 506680/332212
88.48/44.89	c cleaning 21999 clauses out of 44008 with flag 558122/355211
93.97/47.50	c cleaning 23001 clauses out of 46012 with flag 612977/379214
99.57/50.33	c cleaning 23995 clauses out of 48008 with flag 671873/404211
105.77/53.42	c cleaning 25002 clauses out of 50013 with flag 734547/430211
112.86/56.94	c cleaning 26004 clauses out of 52011 with flag 794848/457211
115.26/58.12	c And the winner is solver0
115.39/58.28	c Got one! Elapsed wall clock time (in seconds):58.152
115.39/58.28	o -88
117.27/59.23	c cleaning 21502 clauses out of 43011 with flag 10816/474215
118.89/60.03	c cleaning 13749 clauses out of 27509 with flag 23812/480215
120.29/60.75	c cleaning 10375 clauses out of 20761 with flag 38881/487216
121.69/61.49	c cleaning 9188 clauses out of 18385 with flag 56737/495215
123.49/62.37	c cleaning 9099 clauses out of 18198 with flag 76820/504216
125.49/63.31	c cleaning 9542 clauses out of 19098 with flag 99113/514215
127.77/64.40	c cleaning 10274 clauses out of 20556 with flag 121872/525215
129.97/65.55	c cleaning 11135 clauses out of 22282 with flag 146340/537215
132.77/66.90	c cleaning 12071 clauses out of 24147 with flag 172955/550215
135.58/68.34	c cleaning 13038 clauses out of 26076 with flag 201935/564215
139.36/70.20	c cleaning 14016 clauses out of 28038 with flag 234980/579215
143.16/72.12	c cleaning 15009 clauses out of 30022 with flag 267797/595215
147.62/74.40	c cleaning 16006 clauses out of 32014 with flag 304174/612216
152.83/76.96	c cleaning 17004 clauses out of 34007 with flag 343527/630215
158.43/79.73	c cleaning 17999 clauses out of 36003 with flag 384432/649215
164.47/82.79	c cleaning 18997 clauses out of 38006 with flag 429042/669217
170.47/85.79	c cleaning 19997 clauses out of 40007 with flag 474205/690215
177.36/89.16	c cleaning 21005 clauses out of 42010 with flag 524779/712215
185.34/93.10	c cleaning 22002 clauses out of 44006 with flag 582755/735216
193.60/97.27	c cleaning 22999 clauses out of 46004 with flag 641363/759216
202.20/101.52	c cleaning 23993 clauses out of 48005 with flag 700734/784216
211.67/106.28	c cleaning 25000 clauses out of 50011 with flag 768273/810215
222.48/111.65	c cleaning 26002 clauses out of 52011 with flag 843330/837215
233.51/117.11	c cleaning 27005 clauses out of 54009 with flag 916651/865215
244.86/123.09	c cleaning 27999 clauses out of 56005 with flag 980090/894216
257.29/129.21	c cleaning 28999 clauses out of 58005 with flag 1045350/924215
272.34/136.78	c cleaning 30000 clauses out of 60006 with flag 1114246/955215
283.16/142.11	c cleaning 0 clauses out of 5976 with flag 0/5977
289.18/144.99	c cleaning 30999 clauses out of 62006 with flag 1185732/987215
308.07/154.33	c cleaning 31998 clauses out of 64007 with flag 1259192/1020215
319.50/160.02	c And the winner is solver0
319.75/160.23	c Got one! Elapsed wall clock time (in seconds):160.097
319.75/160.23	o -89
322.11/161.40	c cleaning 31596 clauses out of 63191 with flag 10140/1051397
323.75/162.24	c cleaning 18797 clauses out of 37593 with flag 22177/1057395
325.14/162.99	c cleaning 12893 clauses out of 25797 with flag 36476/1064396
326.73/163.73	c cleaning 10449 clauses out of 20903 with flag 52898/1072395
328.33/164.59	c cleaning 9724 clauses out of 19454 with flag 71374/1081395
330.33/165.53	c cleaning 9860 clauses out of 19731 with flag 91667/1091396
332.33/166.54	c cleaning 10433 clauses out of 20871 with flag 114287/1102396
334.75/167.76	c cleaning 11218 clauses out of 22439 with flag 139298/1114397
337.55/169.18	c cleaning 12104 clauses out of 24220 with flag 166499/1127396
340.75/170.74	c cleaning 13055 clauses out of 26116 with flag 196750/1141396
344.15/172.44	c cleaning 14023 clauses out of 28060 with flag 230956/1156395
347.79/174.23	c cleaning 15016 clauses out of 30038 with flag 265871/1172396
351.99/176.36	c cleaning 16004 clauses out of 32021 with flag 303396/1189395
357.03/178.84	c cleaning 17009 clauses out of 34018 with flag 345606/1207396
362.23/181.49	c cleaning 17999 clauses out of 36008 with flag 388991/1226395
368.68/184.61	c cleaning 19005 clauses out of 38009 with flag 438091/1246395
374.95/187.75	c cleaning 19995 clauses out of 40006 with flag 489581/1267397
381.54/191.00	c cleaning 21005 clauses out of 42009 with flag 541121/1289395
387.98/194.25	c cleaning 22000 clauses out of 44005 with flag 590902/1312396
395.83/198.12	c cleaning 23001 clauses out of 46005 with flag 645510/1336396
403.85/202.19	c cleaning 23999 clauses out of 48004 with flag 697963/1361396
411.48/205.96	c cleaning 24999 clauses out of 50004 with flag 751693/1387395
419.31/209.88	c cleaning 25997 clauses out of 52006 with flag 808484/1414396
429.54/214.91	c cleaning 27000 clauses out of 54008 with flag 870528/1442395
438.23/219.20	c cleaning 27997 clauses out of 56008 with flag 936747/1471395
446.64/223.49	c cleaning 29001 clauses out of 58011 with flag 1004799/1501395
455.85/228.07	c cleaning 30002 clauses out of 60012 with flag 1076580/1532397
466.10/233.41	c cleaning 30999 clauses out of 62008 with flag 1151334/1564395
475.54/238.12	c cleaning 32005 clauses out of 64010 with flag 1224053/1597396
481.54/241.14	c And the winner is solver0
481.98/241.45	c Got one! Elapsed wall clock time (in seconds):241.324
481.98/241.45	o -91
484.08/242.51	c cleaning 31827 clauses out of 63654 with flag 10484/1629045
485.68/243.33	c cleaning 18909 clauses out of 37827 with flag 23045/1635045
487.08/244.07	c cleaning 12953 clauses out of 25916 with flag 37659/1642043
488.48/244.77	c cleaning 10473 clauses out of 20964 with flag 54535/1650044
490.08/245.57	c cleaning 9738 clauses out of 19490 with flag 73285/1659043
491.68/246.39	c cleaning 9866 clauses out of 19753 with flag 93960/1669044
493.68/247.36	c cleaning 10438 clauses out of 20886 with flag 117419/1680043
496.13/248.53	c cleaning 11218 clauses out of 22448 with flag 142989/1692043
498.74/249.89	c cleaning 12112 clauses out of 24230 with flag 170802/1705043
501.73/251.35	c cleaning 13051 clauses out of 26118 with flag 199899/1719043
505.14/253.01	c cleaning 14030 clauses out of 28068 with flag 230513/1734044
508.98/254.98	c cleaning 15013 clauses out of 30038 with flag 264016/1750044
513.38/257.14	c cleaning 16012 clauses out of 32024 with flag 300924/1767043
518.17/259.59	c cleaning 17006 clauses out of 34012 with flag 338732/1785043
523.80/262.32	c cleaning 17999 clauses out of 36006 with flag 379412/1804043
529.80/265.33	c cleaning 19000 clauses out of 38007 with flag 422100/1824043
535.39/268.18	c cleaning 19999 clauses out of 40008 with flag 465337/1845044
541.43/271.13	c cleaning 20997 clauses out of 42009 with flag 510472/1867044
548.23/274.59	c cleaning 22004 clauses out of 44012 with flag 557613/1890044
555.67/278.29	c cleaning 23004 clauses out of 46007 with flag 606931/1914043
563.74/282.24	c cleaning 23996 clauses out of 48004 with flag 661219/1939044
572.14/286.48	c cleaning 25000 clauses out of 50008 with flag 717638/1965044
579.38/290.09	c cleaning 26004 clauses out of 52007 with flag 779364/1992043
587.17/293.99	c cleaning 26997 clauses out of 54004 with flag 842831/2020044
595.21/297.90	c cleaning 27996 clauses out of 56006 with flag 910966/2049043
603.81/302.21	c cleaning 29003 clauses out of 58010 with flag 980033/2079043
613.23/306.98	c cleaning 30004 clauses out of 60008 with flag 1049577/2110044
623.85/312.26	c cleaning 30998 clauses out of 62005 with flag 1123055/2142045
635.29/317.92	c cleaning 32004 clauses out of 64007 with flag 1199018/2175045
646.73/323.65	c cleaning 32997 clauses out of 66002 with flag 1269909/2209044
659.99/330.23	c cleaning 34001 clauses out of 68004 with flag 1341797/2244043
674.08/337.29	c cleaning 35002 clauses out of 70004 with flag 1417537/2280044
689.73/345.05	c cleaning 35998 clauses out of 72001 with flag 1494061/2317043
706.27/353.29	c cleaning 37002 clauses out of 74004 with flag 1572052/2355044
725.71/362.93	c cleaning 37998 clauses out of 76002 with flag 1652792/2394044
745.98/373.07	c cleaning 39000 clauses out of 78003 with flag 1735781/2434043
762.61/381.32	c cleaning 39998 clauses out of 80003 with flag 1819468/2475043
781.27/390.67	c cleaning 41000 clauses out of 82007 with flag 1905960/2517045
801.10/400.84	c cleaning 41998 clauses out of 84005 with flag 1995473/2560043
819.55/410.06	c cleaning 42996 clauses out of 86007 with flag 2087726/2604043
840.46/420.47	c cleaning 44000 clauses out of 88012 with flag 2181143/2649044
864.48/432.49	c cleaning 45002 clauses out of 90012 with flag 2278076/2695044
891.20/445.72	c cleaning 46004 clauses out of 92010 with flag 2376540/2742044
914.87/457.56	c cleaning 46999 clauses out of 94006 with flag 2473471/2790044
938.80/469.48	c cleaning 47996 clauses out of 96006 with flag 2572765/2839043
960.29/480.10	c And the winner is solver0
960.63/480.48	c Got one! Elapsed wall clock time (in seconds):480.35
960.63/480.48	o -92
965.44/482.82	c cleaning 51225 clauses out of 102453 with flag 10349/2893486
967.30/483.78	c cleaning 28610 clauses out of 57229 with flag 22366/2899487
968.90/484.58	c cleaning 17802 clauses out of 35619 with flag 36488/2906487
970.70/485.42	c cleaning 12902 clauses out of 25816 with flag 52688/2914486
972.31/486.27	c cleaning 10948 clauses out of 21914 with flag 70857/2923486
974.30/487.23	c cleaning 10472 clauses out of 20966 with flag 90908/2933486
976.50/488.32	c cleaning 10743 clauses out of 21494 with flag 113186/2944486
978.96/489.54	c cleaning 11371 clauses out of 22752 with flag 138308/2956487
981.55/490.86	c cleaning 12187 clauses out of 24380 with flag 165930/2969486
984.55/492.35	c cleaning 13093 clauses out of 26193 with flag 195493/2983486
988.15/494.10	c cleaning 14048 clauses out of 28100 with flag 227440/2998486
991.99/496.07	c cleaning 15025 clauses out of 30052 with flag 260376/3014486
996.60/498.33	c cleaning 16009 clauses out of 32027 with flag 295561/3031486
1001.84/500.91	c cleaning 17010 clauses out of 34019 with flag 332595/3049487
1006.65/503.39	c cleaning 17998 clauses out of 36008 with flag 370938/3068486
1012.06/506.05	c cleaning 19003 clauses out of 38012 with flag 413239/3088488
1018.71/509.33	c cleaning 20003 clauses out of 40008 with flag 459744/3109487
1025.09/512.58	c cleaning 21002 clauses out of 42004 with flag 504886/3131486
1032.54/516.24	c cleaning 21997 clauses out of 44002 with flag 552680/3154486
1040.40/520.13	c cleaning 23002 clauses out of 46005 with flag 602796/3178486
1047.79/523.83	c cleaning 23999 clauses out of 48003 with flag 654295/3203486
1056.05/527.92	c cleaning 25003 clauses out of 50006 with flag 709697/3229488
1065.69/532.70	c cleaning 25994 clauses out of 52001 with flag 768700/3256486
1075.92/537.81	c cleaning 27002 clauses out of 54007 with flag 830130/3284486
1087.77/543.72	c cleaning 28000 clauses out of 56005 with flag 891672/3313486
1100.00/549.83	c cleaning 28995 clauses out of 58005 with flag 954981/3343486
1114.09/556.85	c cleaning 30003 clauses out of 60011 with flag 1017421/3374487
1128.11/563.89	c cleaning 30999 clauses out of 62008 with flag 1082890/3406487
1142.92/571.71	c cleaning 32002 clauses out of 64009 with flag 1152075/3439487
1156.97/578.79	c cleaning 33001 clauses out of 66007 with flag 1223943/3473487
1172.21/586.38	c cleaning 33995 clauses out of 68005 with flag 1297507/3508486
1188.05/594.20	c cleaning 34999 clauses out of 70012 with flag 1371131/3544488
1205.76/603.07	c cleaning 36000 clauses out of 72011 with flag 1445753/3581486
1218.23/609.26	c cleaning 37001 clauses out of 74012 with flag 1525598/3619487
1230.02/615.13	c cleaning 38005 clauses out of 76010 with flag 1607077/3658486
1244.07/622.16	c cleaning 39000 clauses out of 78006 with flag 1688155/3698487
1245.08/622.65	c And the winner is solver0
1245.67/623.13	c Got one! Elapsed wall clock time (in seconds):623.003
1245.67/623.13	o -93
1247.28/623.96	c cleaning 24610 clauses out of 49219 with flag 10040/3708700
1248.69/624.65	c cleaning 15305 clauses out of 30609 with flag 22074/3714700
1250.09/625.36	c cleaning 11150 clauses out of 22304 with flag 36107/3721700
1251.50/626.06	c cleaning 9570 clauses out of 19154 with flag 52152/3729700
1253.29/626.95	c cleaning 9289 clauses out of 18583 with flag 70380/3738699
1255.09/627.87	c cleaning 9642 clauses out of 19295 with flag 90722/3748700
1257.09/628.86	c cleaning 10327 clauses out of 20656 with flag 112783/3759703
1259.55/630.03	c cleaning 11158 clauses out of 22326 with flag 136919/3771700
1262.15/631.33	c cleaning 12083 clauses out of 24169 with flag 163342/3784701
1264.95/632.75	c cleaning 13040 clauses out of 26085 with flag 191529/3798700
1268.35/634.42	c cleaning 14018 clauses out of 28044 with flag 221771/3813699
1272.15/636.39	c cleaning 15011 clauses out of 30028 with flag 253962/3829701
1276.01/638.29	c cleaning 16001 clauses out of 32015 with flag 288389/3846699
1280.41/640.47	c cleaning 17002 clauses out of 34015 with flag 324773/3864700
1285.21/642.82	c cleaning 18003 clauses out of 36012 with flag 363139/3883699
1289.85/645.16	c cleaning 19003 clauses out of 38011 with flag 403560/3903701
1295.84/648.19	c cleaning 20002 clauses out of 40009 with flag 446086/3924702
1302.26/651.34	c cleaning 20999 clauses out of 42004 with flag 490190/3946699
1308.71/654.60	c cleaning 21999 clauses out of 44006 with flag 536358/3969700
1316.10/658.27	c cleaning 22998 clauses out of 46007 with flag 584490/3993700
1323.36/661.88	c cleaning 24002 clauses out of 48009 with flag 634865/4018700
1331.76/666.08	c cleaning 25001 clauses out of 50007 with flag 687372/4044700
1340.80/670.51	c cleaning 25998 clauses out of 52005 with flag 742005/4071699
1351.27/675.72	c cleaning 26999 clauses out of 54007 with flag 799511/4099699
1362.87/681.50	c cleaning 28004 clauses out of 56008 with flag 858021/4128699
1373.71/686.94	c cleaning 28999 clauses out of 58006 with flag 918571/4158701
1386.18/693.18	c cleaning 30001 clauses out of 60005 with flag 982207/4189699
1399.63/699.83	c cleaning 30999 clauses out of 62004 with flag 1047665/4221699
1414.07/707.00	c cleaning 32001 clauses out of 64005 with flag 1115899/4254699
1428.91/714.47	c cleaning 32997 clauses out of 66006 with flag 1186565/4288701
1442.21/721.04	c cleaning 33998 clauses out of 68008 with flag 1262236/4323700
1445.22/722.55	c cleaning 0 clauses out of 12704 with flag 0/12708
1457.87/728.84	c cleaning 35001 clauses out of 70010 with flag 1336189/4359700
1472.34/736.05	c cleaning 36002 clauses out of 72009 with flag 1412369/4396700
1483.98/741.84	c cleaning 36998 clauses out of 74006 with flag 1494685/4434699
1495.37/747.57	c cleaning 38001 clauses out of 76010 with flag 1579716/4473701
1507.67/753.65	c cleaning 38999 clauses out of 78008 with flag 1665931/4513700
1517.32/758.45	c And the winner is solver0
1518.01/759.09	c Got one! Elapsed wall clock time (in seconds):758.959
1518.01/759.09	o -94
1520.92/760.53	c cleaning 40029 clauses out of 80058 with flag 10144/4554749
1522.92/761.52	c cleaning 23016 clauses out of 46031 with flag 22259/4560751
1524.54/762.38	c cleaning 15007 clauses out of 30014 with flag 36420/4567750
1526.12/763.19	c cleaning 11493 clauses out of 23006 with flag 52673/4575749
1527.92/764.03	c cleaning 10246 clauses out of 20513 with flag 70871/4584749
1529.78/764.94	c cleaning 10130 clauses out of 20269 with flag 91096/4594751
1531.78/765.92	c cleaning 10565 clauses out of 21138 with flag 113266/4605750
1533.98/767.03	c cleaning 11282 clauses out of 22574 with flag 137418/4617751
1536.38/768.25	c cleaning 12143 clauses out of 24290 with flag 163487/4630749
1539.18/769.65	c cleaning 13073 clauses out of 26148 with flag 191560/4644750
1542.58/771.35	c cleaning 14037 clauses out of 28075 with flag 221984/4659750
1546.38/773.27	c cleaning 15010 clauses out of 30038 with flag 254270/4675750
1550.44/775.25	c cleaning 16008 clauses out of 32028 with flag 288456/4692750
1554.84/777.46	c cleaning 17005 clauses out of 34021 with flag 324666/4710751
1559.85/780.00	c cleaning 18008 clauses out of 36016 with flag 363467/4729751
1565.89/782.92	c cleaning 18996 clauses out of 38006 with flag 403732/4749749
1572.49/786.22	c cleaning 20006 clauses out of 40011 with flag 446259/4770750
1579.28/789.64	c cleaning 21003 clauses out of 42006 with flag 491439/4792751
1586.13/793.07	c cleaning 21996 clauses out of 44001 with flag 538032/4815749
1593.94/796.94	c cleaning 23000 clauses out of 46007 with flag 587822/4839751
1602.79/801.36	c cleaning 23997 clauses out of 48006 with flag 639346/4864750
1612.44/806.14	c cleaning 25000 clauses out of 50008 with flag 693504/4890749
1623.03/811.43	c cleaning 26003 clauses out of 52008 with flag 749688/4917749
1634.50/817.18	c cleaning 27003 clauses out of 54006 with flag 808266/4945750
1646.56/823.20	c cleaning 27998 clauses out of 56002 with flag 869262/4974749
1659.03/829.30	c cleaning 29000 clauses out of 58004 with flag 930851/5004749
1671.67/835.62	c cleaning 29998 clauses out of 60005 with flag 993986/5035750
1686.73/843.16	c cleaning 31004 clauses out of 62008 with flag 1059877/5067751
1702.02/850.73	c cleaning 31993 clauses out of 64003 with flag 1126418/5100750
1717.41/858.49	c cleaning 32999 clauses out of 66009 with flag 1195388/5134749
1732.22/866.23	c cleaning 34000 clauses out of 68012 with flag 1266829/5169751
1748.07/874.16	c cleaning 35001 clauses out of 70010 with flag 1339748/5205749
1764.94/882.59	c cleaning 35998 clauses out of 72010 with flag 1414289/5242750
1782.38/891.27	c cleaning 37002 clauses out of 74011 with flag 1492844/5280749
1799.45/899.79	c cleaning 37998 clauses out of 76009 with flag 1573406/5319749
1800.05/900.00	c >>>>>>>>>> Solver number 0 (11 answers) <<<<<<<<<<<<<<<<<<
1800.05/900.00	c starts		: 15960
1800.05/900.00	c conflicts		: 5321745
1800.05/900.00	c decisions		: 6340923
1800.05/900.00	c propagations		: 68863918
1800.05/900.00	c inspects		: 12147666573
1800.05/900.00	c shortcuts		: 0
1800.05/900.00	c learnt literals	: 0
1800.05/900.00	c learnt binary clauses	: 273
1800.05/900.00	c learnt ternary clauses	: 626
1800.05/900.00	c learnt constraints	: 5321745
1800.05/900.00	c ignored constraints	: 0
1800.05/900.00	c root simplifications	: 0
1800.05/900.00	c removed literals (reason simplification)	: 22350043
1800.05/900.00	c reason swapping (by a shorter reason)	: 0
1800.05/900.00	c Calls to reduceDB	: 243
1800.05/900.00	c Number of update (reduction) of LBD	: 58404
1800.05/900.00	c Imported unit clauses	: 0
1800.05/900.00	c number of reductions to clauses (during analyze)	: 0
1800.05/900.00	c number of learned constraints concerned by reduction	: 0
1800.05/900.00	c number of learning phase by resolution	: 0
1800.05/900.00	c number of learning phase by cutting planes	: 0
1800.05/900.00	c speed (assignments/second)	: 76835.01272514468
1800.05/900.00	c non guided choices	0
1800.05/900.02	c learnt constraints type 
1800.05/900.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 273
1800.05/900.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39734
1800.05/900.02	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.05/900.02	c starts		: 97
1800.05/900.02	c conflicts		: 14126
1800.05/900.02	c decisions		: 17418
1800.05/900.02	c propagations		: 305184
1800.05/900.02	c inspects		: 914380058
1800.05/900.02	c shortcuts		: 0
1800.05/900.02	c learnt literals	: 0
1800.05/900.02	c learnt binary clauses	: 0
1800.05/900.02	c learnt ternary clauses	: 23
1800.05/900.02	c learnt constraints	: 14121
1800.05/900.02	c ignored constraints	: 0
1800.05/900.02	c root simplifications	: 0
1800.05/900.02	c removed literals (reason simplification)	: 0
1800.05/900.02	c reason swapping (by a shorter reason)	: 0
1800.05/900.02	c Calls to reduceDB	: 2
1800.05/900.02	c Number of update (reduction) of LBD	: 0
1800.05/900.02	c Imported unit clauses	: 0
1800.05/900.02	c number of reductions to clauses (during analyze)	: 0
1800.05/900.02	c number of learned constraints concerned by reduction	: 0
1800.05/900.02	c number of learning phase by resolution	: 0
1800.05/900.02	c number of learning phase by cutting planes	: 0
1800.05/900.02	c speed (assignments/second)	: 2165.5006031363087
1800.05/900.02	c non guided choices	0
1800.05/900.03	c learnt constraints type 
1800.05/900.03	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 14
1800.05/900.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14107
1800.05/900.03	s SATISFIABLE
1800.05/900.03	c Found 13 solution(s)
1800.05/900.03	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 
1800.05/900.03	c objective function=-94
1800.05/900.03	c Total wall clock time (in seconds): 899.901

Verifier Data 

OK	-94

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

pid=11243
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.35 4.33 4.05 4/197 11246
/proc/meminfo: memFree=25281984/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11246/stat : 11246 (java) D 11243 11246 5962 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 3341413 9515008 182 33554432000 1073741824 1073778376 140733550979104 140733550970136 225444708021 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2323 182 140 9 0 71 0

[startup+0.106307 s]
/proc/loadavg: 4.35 4.33 4.05 4/197 11246
/proc/meminfo: memFree=25281984/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 4431 0 1 0 8 1 0 0 20 0 18 0 3341413 9787879424 6059 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2389619 6059 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200236 s]
/proc/loadavg: 4.35 4.33 4.05 4/197 11246
/proc/meminfo: memFree=25281984/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 4660 0 1 0 20 1 0 0 20 0 18 0 3341413 9787879424 7262 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2389619 7262 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300336 s]
/proc/loadavg: 4.35 4.33 4.05 4/197 11246
/proc/meminfo: memFree=25281984/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 4769 0 1 0 25 1 0 0 20 0 19 0 3341413 10060525568 7858 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2456183 7858 2225 9 0 2446860 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+0.700276 s]
/proc/loadavg: 4.35 4.33 4.05 4/197 11246
/proc/meminfo: memFree=25281984/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 4769 0 1 0 25 1 0 0 20 0 19 0 3341413 10060525568 7858 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2456183 7858 2225 9 0 2446860 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 4.35 4.33 4.05 3/216 11271
/proc/meminfo: memFree=25255044/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 6814 0 1 0 34 3 0 0 20 0 19 0 3341413 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2456183 10969 2244 9 0 2446860 0
[pid=11246/tid=11248] ppid=11243 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/11246/task/11248/stat : 11248 (java) S 11243 11246 5962 0 -1 4202560 2402 0 1 0 18 2 0 0 20 0 19 0 3341414 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885853868920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11249] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11249/stat : 11249 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885815359784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11250] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11250/stat : 11250 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885814306984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11251] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11251/stat : 11251 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885813254696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11252] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11252/stat : 11252 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885812201896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11253] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11253/stat : 11253 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885811149608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11254] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11254/stat : 11254 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885692316328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11255] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11255/stat : 11255 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885691264040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11256] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11256/stat : 11256 (java) S 11243 11246 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885690211240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11257] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11257/stat : 11257 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3341416 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885678012648 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11258] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11258/stat : 11258 (java) S 11243 11246 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3341416 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885676958712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11259] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11259/stat : 11259 (java) S 11243 11246 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3341416 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885071557896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11260] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11260/stat : 11260 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341419 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885070506384 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11261] ppid=11243 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/11246/task/11261/stat : 11261 (java) S 11243 11246 5962 0 -1 4202560 459 0 0 0 3 0 0 0 20 0 19 0 3341419 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885069454008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11262] ppid=11243 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/11246/task/11262/stat : 11262 (java) S 11243 11246 5962 0 -1 4202560 2608 0 0 0 8 0 0 0 20 0 19 0 3341419 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885068401208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11263] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11263/stat : 11263 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341419 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885067349112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11264] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11264/stat : 11264 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341419 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885066296520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11267] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11267/stat : 11267 (java) S 11243 11246 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3341436 10060525568 10969 33554432000 1073741824 1073778376 140736610526224 139885063136424 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 9824732

[startup+3.1009 s]
/proc/loadavg: 4.35 4.33 4.05 6/219 11277
/proc/meminfo: memFree=25022180/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 25035 0 1 0 415 10 0 0 20 0 19 0 3341413 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2456183 46619 2287 9 0 2446860 0
[pid=11246/tid=11248] ppid=11243 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/11246/task/11248/stat : 11248 (java) S 11243 11246 5962 0 -1 4202560 2403 0 1 0 18 2 0 0 20 0 19 0 3341414 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885853868920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11249] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11249/stat : 11249 (java) S 11243 11246 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885815359784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11250] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11250/stat : 11250 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885814306984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11251] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11251/stat : 11251 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885813254696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11252] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11252/stat : 11252 (java) S 11243 11246 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885812201896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11253] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11253/stat : 11253 (java) S 11243 11246 5962 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885811149608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11254] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11254/stat : 11254 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885692316328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11255] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11255/stat : 11255 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885691264040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11256] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11256/stat : 11256 (java) S 11243 11246 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3341415 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885690211240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11257] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11257/stat : 11257 (java) S 11243 11246 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3341416 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885678012648 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11258] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11258/stat : 11258 (java) S 11243 11246 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3341416 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885676958712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11259] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11259/stat : 11259 (java) S 11243 11246 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3341416 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885071557896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11260] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11260/stat : 11260 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341419 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885070506384 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11261] ppid=11243 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/11246/task/11261/stat : 11261 (java) S 11243 11246 5962 0 -1 4202560 9993 0 0 0 97 2 0 0 20 0 19 0 3341419 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885069454008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11262] ppid=11243 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/11246/task/11262/stat : 11262 (java) S 11243 11246 5962 0 -1 4202560 11172 0 0 0 90 2 0 0 20 0 19 0 3341419 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885068401208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11263] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11263/stat : 11263 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341419 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885067349112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11264] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11264/stat : 11264 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341419 10060525568 46619 33554432000 1073741824 1073778376 140736610526224 139885066296520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9824732

[startup+6.30103 s]
/proc/loadavg: 4.25 4.31 4.04 6/219 11286
/proc/meminfo: memFree=24758308/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9824732 CPUtime=11.57 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 37132 0 1 0 1127 30 0 0 20 0 22 0 3341413 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2456183 97887 2287 9 0 2446860 0
[pid=11246/tid=11248] ppid=11243 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/11246/task/11248/stat : 11248 (java) S 11243 11246 5962 0 -1 4202560 2403 0 1 0 19 2 0 0 20 0 22 0 3341414 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885853868920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11249] ppid=11243 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11246/task/11249/stat : 11249 (java) S 11243 11246 5962 0 -1 4202560 39 0 0 0 3 3 0 0 20 0 22 0 3341415 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885815359784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11250] ppid=11243 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/11246/task/11250/stat : 11250 (java) S 11243 11246 5962 0 -1 4202560 40 0 0 0 5 3 0 0 20 0 22 0 3341415 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885814306984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11251] ppid=11243 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11246/task/11251/stat : 11251 (java) S 11243 11246 5962 0 -1 4202560 116 0 0 0 5 1 0 0 20 0 22 0 3341415 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885813254696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11252] ppid=11243 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11246/task/11252/stat : 11252 (java) S 11243 11246 5962 0 -1 4202560 111 0 0 0 4 2 0 0 20 0 22 0 3341415 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885812201896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11253] ppid=11243 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11246/task/11253/stat : 11253 (java) S 11243 11246 5962 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 3341415 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885811149608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11254] ppid=11243 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11246/task/11254/stat : 11254 (java) S 11243 11246 5962 0 -1 4202560 125 0 0 0 4 2 0 0 20 0 22 0 3341415 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885692316328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11255] ppid=11243 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11246/task/11255/stat : 11255 (java) S 11243 11246 5962 0 -1 4202560 34 0 0 0 2 2 0 0 20 0 22 0 3341415 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885691264040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11256] ppid=11243 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11246/task/11256/stat : 11256 (java) S 11243 11246 5962 0 -1 4202560 97 0 0 0 2 0 0 0 20 0 22 0 3341415 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885690211240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11257] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11257/stat : 11257 (java) S 11243 11246 5962 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885678012648 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11258] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11258/stat : 11258 (java) S 11243 11246 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885676958712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11259] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11259/stat : 11259 (java) S 11243 11246 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885071557896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11260] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11260/stat : 11260 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885070506384 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11261] ppid=11243 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/11246/task/11261/stat : 11261 (java) S 11243 11246 5962 0 -1 4202560 16235 0 0 0 148 3 0 0 20 0 22 0 3341419 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885069454008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11262] ppid=11243 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/11246/task/11262/stat : 11262 (java) S 11243 11246 5962 0 -1 4202560 16204 0 0 0 162 3 0 0 20 0 22 0 3341419 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885068401208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11263] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11263/stat : 11263 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885067349112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11264] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11264/stat : 11264 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885066296520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11280] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11280/stat : 11280 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341687 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885062084136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11284] ppid=11243 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/11246/task/11284/stat : 11284 (java) R 11243 11246 5962 0 -1 4202560 10 0 0 0 242 0 0 0 20 0 22 0 3341788 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885064179600 139885692808607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11285] ppid=11243 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/11246/task/11285/stat : 11285 (java) R 11243 11246 5962 0 -1 4202560 48 0 0 0 239 2 0 0 20 0 22 0 3341788 10060525568 97887 33554432000 1073741824 1073778376 140736610526224 139885065240240 139885692917613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11286] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.11 4.34 4.23 5/219 11547
/proc/meminfo: memFree=24409188/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9824732 CPUtime=1644.96 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 48622 0 1 0 164268 228 0 0 20 0 22 0 3341413 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2456183 620120 2296 9 0 2446860 0
[pid=11246/tid=11248] ppid=11243 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/11246/task/11248/stat : 11248 (java) S 11243 11246 5962 0 -1 4202560 2416 0 1 0 23 4 0 0 20 0 22 0 3341414 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885853868920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11249] ppid=11243 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/11246/task/11249/stat : 11249 (java) S 11243 11246 5962 0 -1 4202560 530 0 0 0 188 14 0 0 20 0 22 0 3341415 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885815359784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11250] ppid=11243 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/11246/task/11250/stat : 11250 (java) S 11243 11246 5962 0 -1 4202560 527 0 0 0 182 14 0 0 20 0 22 0 3341415 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885814306984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11251] ppid=11243 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/11246/task/11251/stat : 11251 (java) S 11243 11246 5962 0 -1 4202560 544 0 0 0 185 11 0 0 20 0 22 0 3341415 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885813254696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11252] ppid=11243 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/11246/task/11252/stat : 11252 (java) S 11243 11246 5962 0 -1 4202560 487 0 0 0 185 13 0 0 20 0 22 0 3341415 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885812201896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11253] ppid=11243 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/11246/task/11253/stat : 11253 (java) S 11243 11246 5962 0 -1 4202560 433 0 0 0 183 14 0 0 20 0 22 0 3341415 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885811149608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11254] ppid=11243 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/11246/task/11254/stat : 11254 (java) S 11243 11246 5962 0 -1 4202560 519 0 0 0 180 14 0 0 20 0 22 0 3341415 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885692316328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11255] ppid=11243 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/11246/task/11255/stat : 11255 (java) S 11243 11246 5962 0 -1 4202560 539 0 0 0 174 14 0 0 20 0 22 0 3341415 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885691264040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11256] ppid=11243 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/11246/task/11256/stat : 11256 (java) S 11243 11246 5962 0 -1 4202560 511 0 0 0 174 13 0 0 20 0 22 0 3341415 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885690211240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11257] ppid=11243 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/11246/task/11257/stat : 11257 (java) S 11243 11246 5962 0 -1 4202560 1917 0 0 0 294 10 0 0 20 0 22 0 3341416 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885678012648 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11258] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11258/stat : 11258 (java) S 11243 11246 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885676958712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11259] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11259/stat : 11259 (java) S 11243 11246 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885071557896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11260] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11260/stat : 11260 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885070506384 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11261] ppid=11243 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/11246/task/11261/stat : 11261 (java) S 11243 11246 5962 0 -1 4202560 19368 0 0 0 213 4 0 0 20 0 22 0 3341419 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885069454008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11262] ppid=11243 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/11246/task/11262/stat : 11262 (java) S 11243 11246 5962 0 -1 4202560 17068 0 0 0 179 3 0 0 20 0 22 0 3341419 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885068401208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11263] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11263/stat : 11263 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885067349112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11264] ppid=11243 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/11246/task/11264/stat : 11264 (java) S 11243 11246 5962 0 -1 4202560 47 0 0 0 12 21 0 0 20 0 22 0 3341419 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885066296520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11286] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11286/stat : 11286 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341788 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885063136552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11502] ppid=11243 vsize=9824732 CPUtime=62.9 cores=1,3,5,7
/proc/11246/task/11502/stat : 11502 (java) R 11243 11246 5962 0 -1 4202560 7 0 0 0 6290 0 0 0 20 0 22 0 3417322 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885065238768 139885692883311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11503] ppid=11243 vsize=9824732 CPUtime=62.87 cores=1,3,5,7
/proc/11246/task/11503/stat : 11503 (java) R 11243 11246 5962 0 -1 4202560 75 0 0 0 6285 2 0 0 20 0 22 0 3417322 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885064186944 139885693144977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11504] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11504/stat : 11504 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3417322 10060525568 620120 33554432000 1073741824 1073778376 140736610526224 139885062083752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.96
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.15 4.31 4.22 4/217 11548
/proc/meminfo: memFree=24125792/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9824732 CPUtime=1764.55 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 49314 0 1 0 176217 238 0 0 20 0 22 0 3341413 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2456183 655822 2296 9 0 2446860 0
[pid=11246/tid=11248] ppid=11243 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/11246/task/11248/stat : 11248 (java) S 11243 11246 5962 0 -1 4202560 2417 0 1 0 23 4 0 0 20 0 22 0 3341414 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885853868920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11249] ppid=11243 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/11246/task/11249/stat : 11249 (java) S 11243 11246 5962 0 -1 4202560 552 0 0 0 199 15 0 0 20 0 22 0 3341415 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885815359784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11250] ppid=11243 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/11246/task/11250/stat : 11250 (java) S 11243 11246 5962 0 -1 4202560 544 0 0 0 198 15 0 0 20 0 22 0 3341415 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885814306984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11251] ppid=11243 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/11246/task/11251/stat : 11251 (java) S 11243 11246 5962 0 -1 4202560 565 0 0 0 197 13 0 0 20 0 22 0 3341415 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885813254696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11252] ppid=11243 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/11246/task/11252/stat : 11252 (java) S 11243 11246 5962 0 -1 4202560 520 0 0 0 197 15 0 0 20 0 22 0 3341415 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885812201896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11253] ppid=11243 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/11246/task/11253/stat : 11253 (java) S 11243 11246 5962 0 -1 4202560 463 0 0 0 195 15 0 0 20 0 22 0 3341415 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885811149608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11254] ppid=11243 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/11246/task/11254/stat : 11254 (java) S 11243 11246 5962 0 -1 4202560 540 0 0 0 188 15 0 0 20 0 22 0 3341415 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885692316328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11255] ppid=11243 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/11246/task/11255/stat : 11255 (java) S 11243 11246 5962 0 -1 4202560 569 0 0 0 191 15 0 0 20 0 22 0 3341415 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885691264040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11256] ppid=11243 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/11246/task/11256/stat : 11256 (java) S 11243 11246 5962 0 -1 4202560 553 0 0 0 191 14 0 0 20 0 22 0 3341415 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885690211240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11257] ppid=11243 vsize=9824732 CPUtime=3.95 cores=1,3,5,7
/proc/11246/task/11257/stat : 11257 (java) S 11243 11246 5962 0 -1 4202560 2162 0 0 0 384 11 0 0 20 0 22 0 3341416 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885678012648 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11258] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11258/stat : 11258 (java) S 11243 11246 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885676958712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11259] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11259/stat : 11259 (java) S 11243 11246 5962 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885071557896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11260] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11260/stat : 11260 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885070506384 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11261] ppid=11243 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/11246/task/11261/stat : 11261 (java) S 11243 11246 5962 0 -1 4202560 19368 0 0 0 213 4 0 0 20 0 22 0 3341419 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885069454008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11262] ppid=11243 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/11246/task/11262/stat : 11262 (java) S 11243 11246 5962 0 -1 4202560 17068 0 0 0 179 3 0 0 20 0 22 0 3341419 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885068401208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11263] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11263/stat : 11263 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885067349112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11264] ppid=11243 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/11246/task/11264/stat : 11264 (java) S 11243 11246 5962 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 3341419 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885066296520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11286] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11286/stat : 11286 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341788 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885063136552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11502] ppid=11243 vsize=9824732 CPUtime=121.67 cores=1,3,5,7
/proc/11246/task/11502/stat : 11502 (java) R 11243 11246 5962 0 -1 4202560 13 0 0 0 12166 1 0 0 20 0 22 0 3417322 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885065239856 139885692387366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11503] ppid=11243 vsize=9824732 CPUtime=121.65 cores=1,3,5,7
/proc/11246/task/11503/stat : 11503 (java) R 11243 11246 5962 0 -1 4202560 293 0 0 0 12161 4 0 0 20 0 22 0 3417322 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885064185968 139885693144977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11504] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11504/stat : 11504 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3417322 10060525568 655822 33554432000 1073741824 1073778376 140736610526224 139885062083752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.55
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.001 s]
/proc/loadavg: 3.90 4.24 4.20 4/217 11551
/proc/meminfo: memFree=24161724/32872528 swapFree=1499084/1695308
[pid=11246] ppid=11243 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/11246/stat : 11246 (java) S 11243 11246 5962 0 -1 4202496 49351 0 1 0 179765 240 0 0 20 0 22 0 3341413 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 140736610517360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11246/statm: 2456183 646766 2296 9 0 2446860 0
[pid=11246/tid=11248] ppid=11243 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/11246/task/11248/stat : 11248 (java) S 11243 11246 5962 0 -1 4202560 2417 0 1 0 23 4 0 0 20 0 22 0 3341414 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885853868920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11249] ppid=11243 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/11246/task/11249/stat : 11249 (java) S 11243 11246 5962 0 -1 4202560 552 0 0 0 202 15 0 0 20 0 22 0 3341415 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885815359784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11250] ppid=11243 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/11246/task/11250/stat : 11250 (java) S 11243 11246 5962 0 -1 4202560 544 0 0 0 200 15 0 0 20 0 22 0 3341415 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885814306984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11251] ppid=11243 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/11246/task/11251/stat : 11251 (java) S 11243 11246 5962 0 -1 4202560 565 0 0 0 199 13 0 0 20 0 22 0 3341415 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885813254696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11252] ppid=11243 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/11246/task/11252/stat : 11252 (java) S 11243 11246 5962 0 -1 4202560 520 0 0 0 199 15 0 0 20 0 22 0 3341415 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885812201896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11253] ppid=11243 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/11246/task/11253/stat : 11253 (java) S 11243 11246 5962 0 -1 4202560 475 0 0 0 198 15 0 0 20 0 22 0 3341415 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885811149608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11254] ppid=11243 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/11246/task/11254/stat : 11254 (java) S 11243 11246 5962 0 -1 4202560 561 0 0 0 190 15 0 0 20 0 22 0 3341415 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885692316328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11255] ppid=11243 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/11246/task/11255/stat : 11255 (java) S 11243 11246 5962 0 -1 4202560 569 0 0 0 193 15 0 0 20 0 22 0 3341415 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885691264040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11256] ppid=11243 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/11246/task/11256/stat : 11256 (java) S 11243 11246 5962 0 -1 4202560 553 0 0 0 194 14 0 0 20 0 22 0 3341415 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885690211240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11257] ppid=11243 vsize=9824732 CPUtime=3.95 cores=1,3,5,7
/proc/11246/task/11257/stat : 11257 (java) S 11243 11246 5962 0 -1 4202560 2162 0 0 0 384 11 0 0 20 0 22 0 3341416 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885678012648 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11258] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11258/stat : 11258 (java) S 11243 11246 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885676958712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11259] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11259/stat : 11259 (java) S 11243 11246 5962 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 3341416 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885071557896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11260] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11260/stat : 11260 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885070506384 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11261] ppid=11243 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/11246/task/11261/stat : 11261 (java) S 11243 11246 5962 0 -1 4202560 19368 0 0 0 213 4 0 0 20 0 22 0 3341419 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885069454008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11262] ppid=11243 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/11246/task/11262/stat : 11262 (java) S 11243 11246 5962 0 -1 4202560 17068 0 0 0 179 3 0 0 20 0 22 0 3341419 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885068401208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11263] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11263/stat : 11263 (java) S 11243 11246 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341419 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885067349112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11246/tid=11264] ppid=11243 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/11246/task/11264/stat : 11264 (java) S 11243 11246 5962 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 22 0 3341419 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885066296520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11286] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11286/stat : 11286 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341788 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885063136552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11246/tid=11502] ppid=11243 vsize=9824732 CPUtime=139.3 cores=1,3,5,7
/proc/11246/task/11502/stat : 11502 (java) R 11243 11246 5962 0 -1 4202560 14 0 0 0 13928 2 0 0 20 0 22 0 3417322 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885065232160 139885692827350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11246/tid=11503] ppid=11243 vsize=9824732 CPUtime=139.29 cores=1,3,5,7
/proc/11246/task/11503/stat : 11503 (java) R 11243 11246 5962 0 -1 4202560 294 0 0 0 13924 5 0 0 20 0 22 0 3417322 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885064185968 139885693013171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11246/tid=11504] ppid=11243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11246/task/11504/stat : 11504 (java) S 11243 11246 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3417322 10060525568 646766 33554432000 1073741824 1073778376 140736610526224 139885062083752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 11246 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 900.047
CPU time (s): 1800.37
CPU user time (s): 1797.71
CPU system time (s): 2.66259
CPU usage (%): 200.031
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.71
system time used= 2.6626
maximum resident set size= 2991972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49395
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25786
involuntary context switches= 39379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19106 second user time and 7.42587 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-29 20:11:42
IDJOB=4118215
IDBENCH=111469
IDSOLVER=2543
FILE ID=node137/4118215-1467223902
RUNJOBID= node137-1467212962-6647
PBS_JOBID= 19997573
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118215-1467223902/watcher-4118215-1467223902 -o /tmp/evaluation-result-4118215-1467223902/solver-4118215-1467223902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118215-1467223902.opb

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

MD5SUM BENCH= abd801c118da4548a3b6b8867150aecd
RANDOM SEED=2044256704

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.265
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.54
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.265
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:        25282636 kB
Buffers:          100424 kB
Cached:          1788616 kB
SwapCached:            0 kB
Active:          3453444 kB
Inactive:        1683548 kB
Active(anon):    3250660 kB
Inactive(anon):        4 kB
Active(file):     202784 kB
Inactive(file):  1683544 kB
Unevictable:     1695308 kB
Mlocked:         1499084 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:       4953816 kB
Mapped:            22160 kB
Shmem:               204 kB
Slab:             608412 kB
SReclaimable:      52668 kB
SUnreclaim:       555744 kB
KernelStack:        1648 kB
PageTables:        13736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5404484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3399680 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= 71692 MiB
End job on node137 at 2016-06-29 20:26:42