Trace number 4105930

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)24702 1800.78 902.334

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb
MD5SUMda210e6015c5a34ffbeabe5ecb901720
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23670
Best CPU time to get the best result obtained on this benchmark0.12198
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23670
Optimality of the best value was proved YES
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 1066
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 524592
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1066
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 524592
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4105930-1466266732.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.23/0.29	c ... done. Wall clock time 0.157s.
0.23/0.29	c declared #vars     1152
0.23/0.29	c #constraints  1774
0.23/0.29	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.29	c constraints type 
0.23/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 506
0.23/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.23/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1263
0.23/0.29	c 1774 constraints processed.
0.23/0.29	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.29	c constraints type 
0.23/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1263
0.23/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 506
0.23/0.29	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.23/0.29	c 1774 constraints processed.
0.23/0.29	c objective function length is 661 literals
0.46/0.31	c And the winner is solver1
0.52/0.79	c SATISFIABLE
0.52/0.79	c OPTIMIZING...
0.52/0.79	c Got one! Elapsed wall clock time (in seconds):0.663
0.52/0.79	o 27347
1.13/1.08	c And the winner is solver1
1.59/1.31	c Got one! Elapsed wall clock time (in seconds):1.177
1.59/1.31	o 26770
1.59/1.32	c And the winner is solver1
1.67/1.81	c Got one! Elapsed wall clock time (in seconds):1.681
1.67/1.81	o 26725
2.40/2.01	c And the winner is solver1
2.48/2.32	c Got one! Elapsed wall clock time (in seconds):2.186
2.48/2.32	o 26709
2.48/2.34	c And the winner is solver1
2.57/2.82	c Got one! Elapsed wall clock time (in seconds):2.689
2.57/2.82	o 26087
3.89/3.42	c cleaning 3121 clauses out of 6242 with flag 11936/6242
6.01/4.32	c cleaning 4557 clauses out of 9121 with flag 29078/12242
7.38/4.98	c And the winner is solver1
7.57/5.32	c Got one! Elapsed wall clock time (in seconds):5.193
7.57/5.32	o 25487
7.71/5.48	c cleaning 5072 clauses out of 10146 with flag 2728/17824
9.52/6.32	c cleaning 5535 clauses out of 11074 with flag 20435/23824
11.60/7.39	c cleaning 6270 clauses out of 12539 with flag 43563/30824
14.08/8.56	c cleaning 7135 clauses out of 14269 with flag 70920/38824
16.71/9.87	c cleaning 8068 clauses out of 16135 with flag 99882/47825
19.51/11.25	c cleaning 9028 clauses out of 18066 with flag 133634/57824
22.59/12.75	c cleaning 10020 clauses out of 20039 with flag 172581/68825
25.88/14.34	c cleaning 11010 clauses out of 22019 with flag 214632/80825
29.46/16.13	c cleaning 12000 clauses out of 24008 with flag 259926/93824
33.73/18.28	c cleaning 12980 clauses out of 26008 with flag 307363/107824
38.67/20.64	c cleaning 14008 clauses out of 28028 with flag 358690/122824
41.67/22.18	c And the winner is solver1
41.83/22.33	c Got one! Elapsed wall clock time (in seconds):22.198
41.83/22.33	o 25266
43.38/23.17	c cleaning 15080 clauses out of 30160 with flag 15276/138964
45.35/24.12	c cleaning 10540 clauses out of 21080 with flag 33879/144964
47.35/25.12	c cleaning 8770 clauses out of 17540 with flag 56531/151964
49.55/26.29	c cleaning 8379 clauses out of 16770 with flag 81598/159964
52.52/27.69	c cleaning 8692 clauses out of 17393 with flag 109286/168966
55.31/29.07	c cleaning 9332 clauses out of 18699 with flag 142523/178964
58.50/30.66	c cleaning 10183 clauses out of 20367 with flag 177824/189964
62.24/32.49	c cleaning 11086 clauses out of 22184 with flag 219040/201964
65.85/34.24	c And the winner is solver1
65.94/34.33	c Got one! Elapsed wall clock time (in seconds):34.202
65.94/34.33	o 24942
67.48/35.14	c cleaning 14270 clauses out of 28577 with flag 16660/219443
68.68/35.74	c And the winner is solver1
68.78/35.84	c Got one! Elapsed wall clock time (in seconds):35.705
68.78/35.84	o 24908
68.92/35.98	c cleaning 9674 clauses out of 19357 with flag 2931/224493
70.52/36.75	c cleaning 7841 clauses out of 15683 with flag 21292/230493
72.32/37.69	c cleaning 7415 clauses out of 14842 with flag 47011/237493
74.52/38.74	c cleaning 7714 clauses out of 15428 with flag 76737/245494
76.92/39.93	c cleaning 8354 clauses out of 16713 with flag 114567/254493
78.92/40.96	c And the winner is solver1
79.08/41.34	c Got one! Elapsed wall clock time (in seconds):41.209
79.08/41.34	o 24808
80.95/42.25	c cleaning 10614 clauses out of 21251 with flag 15877/267385
82.56/43.06	c cleaning 8311 clauses out of 16637 with flag 36778/273385
84.58/44.04	c cleaning 7656 clauses out of 15327 with flag 60082/280386
86.78/45.11	c And the winner is solver1
86.79/45.34	c Got one! Elapsed wall clock time (in seconds):45.212
86.79/45.34	o 24727
88.09/46.09	c cleaning 10099 clauses out of 20197 with flag 15904/292912
89.89/46.96	c cleaning 8032 clauses out of 16098 with flag 34742/298912
91.89/47.96	c cleaning 7530 clauses out of 15067 with flag 60508/305913
93.89/48.98	c cleaning 7757 clauses out of 15536 with flag 91261/313912
96.49/50.24	c cleaning 8364 clauses out of 16779 with flag 124700/322912
99.43/51.70	c cleaning 9200 clauses out of 18415 with flag 164937/332912
102.62/53.29	c cleaning 10100 clauses out of 20219 with flag 206876/343916
106.24/55.04	c cleaning 11055 clauses out of 22115 with flag 251285/355912
110.02/56.99	c cleaning 12031 clauses out of 24061 with flag 298319/368913
114.23/59.06	c cleaning 13005 clauses out of 26029 with flag 346018/382912
118.63/61.29	c cleaning 14012 clauses out of 28024 with flag 398445/397912
123.57/63.62	c cleaning 15002 clauses out of 30012 with flag 449367/413912
128.17/65.95	c cleaning 15998 clauses out of 32010 with flag 508879/430912
133.17/68.49	c cleaning 17006 clauses out of 34012 with flag 571981/448912
138.57/71.18	c cleaning 18003 clauses out of 36006 with flag 641280/467912
144.37/74.05	c cleaning 18988 clauses out of 38003 with flag 718524/487912
150.38/77.08	c cleaning 20009 clauses out of 40017 with flag 809786/508914
157.36/80.46	c cleaning 21001 clauses out of 42006 with flag 894847/530912
164.35/83.97	c cleaning 21997 clauses out of 44005 with flag 980064/553912
171.75/87.65	c cleaning 22990 clauses out of 46009 with flag 1067739/577913
179.36/91.45	c cleaning 24007 clauses out of 48018 with flag 1161233/602912
188.28/96.20	c cleaning 25003 clauses out of 50011 with flag 1261044/628912
196.29/100.22	c cleaning 25993 clauses out of 52012 with flag 1366304/655916
205.10/104.62	c cleaning 27007 clauses out of 54016 with flag 1472681/683913
213.90/109.08	c cleaning 27980 clauses out of 56008 with flag 1580544/712912
223.68/113.94	c cleaning 29006 clauses out of 58028 with flag 1693186/742912
233.96/119.10	c cleaning 29988 clauses out of 60023 with flag 1811139/773913
244.16/124.19	c cleaning 31017 clauses out of 62034 with flag 1933003/805912
254.87/129.46	c cleaning 32009 clauses out of 64018 with flag 2048355/838913
266.44/135.11	c cleaning 33004 clauses out of 66008 with flag 2167725/872912
277.64/140.74	c cleaning 33984 clauses out of 68004 with flag 2290497/907912
281.44/142.62	c And the winner is solver1
281.53/142.93	c Got one! Elapsed wall clock time (in seconds):142.804
281.53/142.93	o 24702
283.69/143.94	c cleaning 26075 clauses out of 52179 with flag 14155/926071
285.29/144.78	c cleaning 16047 clauses out of 32104 with flag 31866/932071
287.29/145.72	c cleaning 11515 clauses out of 23057 with flag 51840/939071
289.49/146.88	c cleaning 9759 clauses out of 19542 with flag 77708/947071
292.09/148.16	c cleaning 9376 clauses out of 18783 with flag 112192/956071
294.89/149.53	c cleaning 9694 clauses out of 19407 with flag 150385/966071
298.08/151.19	c cleaning 10344 clauses out of 20713 with flag 189928/977071
301.68/152.93	c cleaning 11173 clauses out of 22369 with flag 234783/989071
305.77/154.91	c cleaning 12085 clauses out of 24196 with flag 287892/1002071
309.97/157.03	c cleaning 13035 clauses out of 26111 with flag 347172/1016071
314.57/159.32	c cleaning 14036 clauses out of 28077 with flag 404366/1031072
319.57/161.87	c cleaning 15005 clauses out of 30040 with flag 468244/1047071
324.62/164.39	c cleaning 16019 clauses out of 32037 with flag 533670/1064073
330.22/167.17	c cleaning 16987 clauses out of 34017 with flag 603851/1082072
336.02/170.05	c cleaning 18002 clauses out of 36029 with flag 677013/1101071
342.71/173.32	c cleaning 19006 clauses out of 38029 with flag 750416/1121073
348.90/176.41	c cleaning 19999 clauses out of 40022 with flag 829460/1142072
355.30/179.64	c cleaning 21000 clauses out of 42022 with flag 910699/1164071
362.61/183.28	c cleaning 22003 clauses out of 44022 with flag 1001841/1187071
370.22/187.09	c cleaning 23003 clauses out of 46019 with flag 1091639/1211071
379.43/192.20	c cleaning 24008 clauses out of 48016 with flag 1186873/1236071
387.83/196.35	c cleaning 25003 clauses out of 50008 with flag 1283832/1262071
396.03/200.48	c cleaning 26002 clauses out of 52006 with flag 1386513/1289072
404.83/204.80	c cleaning 27000 clauses out of 54003 with flag 1492370/1317071
413.88/209.38	c cleaning 27997 clauses out of 56003 with flag 1600364/1346071
423.27/214.07	c cleaning 28991 clauses out of 58007 with flag 1714347/1376072
433.08/218.96	c cleaning 30008 clauses out of 60015 with flag 1831341/1407071
442.67/223.78	c cleaning 31005 clauses out of 62010 with flag 1955084/1439074
453.26/229.04	c cleaning 31984 clauses out of 64002 with flag 2072470/1472071
465.05/234.95	c cleaning 33008 clauses out of 66018 with flag 2178797/1506071
476.53/240.63	c cleaning 34003 clauses out of 68010 with flag 2310937/1541071
487.31/246.01	c cleaning 35005 clauses out of 70009 with flag 2441145/1577073
498.50/251.62	c cleaning 36001 clauses out of 72002 with flag 2579761/1614071
510.90/257.86	c cleaning 36997 clauses out of 74002 with flag 2724093/1652072
523.51/264.13	c cleaning 37999 clauses out of 76008 with flag 2873730/1691075
536.51/270.61	c cleaning 38996 clauses out of 78005 with flag 3028474/1731071
549.71/277.26	c cleaning 40003 clauses out of 80010 with flag 3183556/1772072
563.30/284.03	c cleaning 40987 clauses out of 82006 with flag 3342578/1814071
577.70/291.20	c cleaning 41987 clauses out of 84019 with flag 3507934/1857071
591.10/297.94	c cleaning 43007 clauses out of 86032 with flag 3671424/1901071
604.91/304.88	c cleaning 43982 clauses out of 88025 with flag 3837235/1946071
620.28/312.48	c cleaning 45005 clauses out of 90043 with flag 4015595/1992071
635.27/319.92	c cleaning 46002 clauses out of 92038 with flag 4188610/2039071
650.27/327.43	c cleaning 46991 clauses out of 94036 with flag 4369494/2087071
666.68/335.64	c cleaning 48019 clauses out of 96045 with flag 4550971/2136071
683.32/344.00	c cleaning 49001 clauses out of 98026 with flag 4744111/2186071
701.51/353.01	c cleaning 50001 clauses out of 100025 with flag 4930054/2237071
718.91/361.75	c cleaning 51001 clauses out of 102024 with flag 5119921/2289071
736.51/370.59	c cleaning 52012 clauses out of 104024 with flag 5312742/2342072
753.51/379.03	c cleaning 52993 clauses out of 106013 with flag 5510741/2396073
770.90/387.78	c cleaning 53992 clauses out of 108019 with flag 5714571/2451072
789.31/396.94	c cleaning 55010 clauses out of 110031 with flag 5919525/2507076
807.71/406.13	c cleaning 56008 clauses out of 112016 with flag 6129265/2564071
826.43/415.49	c cleaning 56998 clauses out of 114008 with flag 6343954/2622071
845.82/425.16	c cleaning 57994 clauses out of 116010 with flag 6565290/2681071
866.62/435.57	c cleaning 58988 clauses out of 118017 with flag 6786399/2741072
887.21/445.84	c cleaning 59988 clauses out of 120028 with flag 7001997/2802071
908.81/456.66	c cleaning 61006 clauses out of 122040 with flag 7230346/2864071
929.59/467.07	c cleaning 62012 clauses out of 124034 with flag 7457632/2927071
951.97/478.26	c cleaning 63001 clauses out of 126022 with flag 7695940/2991071
973.97/489.27	c cleaning 64000 clauses out of 128022 with flag 7945062/3056072
998.27/501.36	c cleaning 65005 clauses out of 130021 with flag 8196006/3122071
1024.85/514.68	c cleaning 65997 clauses out of 132016 with flag 8447922/3189071
1049.66/527.09	c cleaning 67010 clauses out of 134019 with flag 8698764/3257071
1075.44/539.92	c cleaning 67989 clauses out of 136010 with flag 8952774/3326072
1101.00/552.64	c cleaning 69009 clauses out of 138020 with flag 9219169/3396071
1125.60/564.98	c cleaning 70000 clauses out of 140011 with flag 9478212/3467071
1152.40/578.32	c cleaning 71002 clauses out of 142011 with flag 9735132/3539071
1177.60/590.99	c cleaning 72002 clauses out of 144009 with flag 10010770/3612071
1206.60/605.82	c cleaning 72994 clauses out of 146007 with flag 10285523/3686071
1233.20/619.15	c cleaning 74001 clauses out of 148013 with flag 10551487/3761071
1262.01/633.51	c cleaning 74999 clauses out of 150012 with flag 10818938/3837071
1289.41/647.27	c cleaning 75993 clauses out of 152014 with flag 11095480/3914072
1316.80/660.90	c cleaning 76986 clauses out of 154020 with flag 11386051/3992071
1346.21/675.64	c cleaning 78016 clauses out of 156035 with flag 11656193/4071072
1375.61/690.33	c cleaning 78992 clauses out of 158018 with flag 11938010/4151071
1405.22/705.12	c cleaning 80010 clauses out of 160027 with flag 12216798/4232072
1437.67/721.27	c cleaning 81006 clauses out of 162017 with flag 12499263/4314072
1471.87/738.35	c cleaning 82003 clauses out of 164012 with flag 12779557/4397073
1505.07/754.98	c cleaning 83001 clauses out of 166008 with flag 13047790/4481072
1539.62/772.17	c cleaning 83995 clauses out of 168006 with flag 13345719/4566071
1573.21/788.96	c cleaning 84982 clauses out of 170012 with flag 13645535/4652072
1607.61/806.17	c cleaning 85995 clauses out of 172029 with flag 13952378/4739071
1643.75/824.10	c cleaning 87008 clauses out of 174036 with flag 14267097/4827073
1679.75/842.14	c cleaning 88001 clauses out of 176026 with flag 14595919/4916071
1715.34/859.94	c cleaning 89013 clauses out of 178029 with flag 14917682/5006075
1751.15/877.87	c cleaning 89985 clauses out of 180012 with flag 15251903/5097071
1788.46/896.45	c cleaning 91003 clauses out of 182027 with flag 15576020/5189071
1800.05/902.20	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/902.20	c starts		: 85544
1800.05/902.20	c conflicts		: 5223300
1800.05/902.20	c decisions		: 37032252
1800.05/902.20	c propagations		: 1946816640
1800.05/902.20	c inspects		: 6466540163
1800.05/902.20	c shortcuts		: 0
1800.05/902.20	c learnt literals	: 0
1800.05/902.20	c learnt binary clauses	: 0
1800.05/902.20	c learnt ternary clauses	: 0
1800.05/902.20	c learnt constraints	: 5223300
1800.05/902.20	c ignored constraints	: 0
1800.05/902.20	c root simplifications	: 0
1800.05/902.20	c removed literals (reason simplification)	: 18171713
1800.05/902.20	c reason swapping (by a shorter reason)	: 0
1800.05/902.20	c Calls to reduceDB	: 149
1800.05/902.20	c Number of update (reduction) of LBD	: 2593947
1800.05/902.20	c Imported unit clauses	: 0
1800.05/902.20	c number of reductions to clauses (during analyze)	: 0
1800.05/902.20	c number of learned constraints concerned by reduction	: 0
1800.05/902.20	c number of learning phase by resolution	: 0
1800.05/902.20	c number of learning phase by cutting planes	: 0
1800.05/902.20	c speed (assignments/second)	: 2564077.2008755826
1800.05/902.20	c non guided choices	0
1800.05/902.23	c learnt constraints type 
1800.05/902.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 125253
1800.05/902.23	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
1800.05/902.23	c starts		: 32
1800.05/902.23	c conflicts		: 4126
1800.05/902.23	c decisions		: 84635
1800.05/902.23	c propagations		: 487294
1800.05/902.23	c inspects		: 80231180
1800.05/902.23	c shortcuts		: 0
1800.05/902.23	c learnt literals	: 0
1800.05/902.23	c learnt binary clauses	: 0
1800.05/902.23	c learnt ternary clauses	: 0
1800.05/902.23	c learnt constraints	: 4125
1800.05/902.23	c ignored constraints	: 0
1800.05/902.23	c root simplifications	: 0
1800.05/902.23	c removed literals (reason simplification)	: 0
1800.05/902.23	c reason swapping (by a shorter reason)	: 0
1800.05/902.23	c Calls to reduceDB	: 0
1800.05/902.23	c Number of update (reduction) of LBD	: 0
1800.05/902.23	c Imported unit clauses	: 0
1800.05/902.23	c number of reductions to clauses (during analyze)	: 0
1800.05/902.23	c number of learned constraints concerned by reduction	: 0
1800.05/902.23	c number of learning phase by resolution	: 0
1800.05/902.23	c number of learning phase by cutting planes	: 0
1800.05/902.23	c speed (assignments/second)	: 540.2791790937213
1800.05/902.23	c non guided choices	0
1800.05/902.23	c learnt constraints type 
1800.05/902.23	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.05/902.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4124
1800.05/902.23	s SATISFIABLE
1800.05/902.23	c Found 12 solution(s)
1800.05/902.23	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 
1800.05/902.27	c objective function=24702
1800.05/902.27	c Total wall clock time (in seconds): 902.14

Verifier Data 

OK	24702

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

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

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


[startup+0 s]
/proc/loadavg: 4.38 4.29 3.93 5/197 4175
/proc/meminfo: memFree=28910316/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/4175/stat : 4175 (java) R 4172 4175 3621 0 -1 4202496 214 0 0 0 0 0 0 0 20 0 1 0 28720005 9445376 88 33554432000 1073741824 1073778376 140736862303488 140736862300616 214360438199 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4175/statm: 2306 93 75 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 4.38 4.29 3.93 5/197 4175
/proc/meminfo: memFree=28910316/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 4137 0 1 0 6 1 0 0 20 0 18 0 28720005 9787879424 5267 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2389619 5267 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200257 s]
/proc/loadavg: 4.38 4.29 3.93 5/197 4175
/proc/meminfo: memFree=28910316/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 4679 0 1 0 22 1 0 0 20 0 18 0 28720005 9787879424 6779 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2389619 6779 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300228 s]
/proc/loadavg: 4.38 4.29 3.93 5/197 4175
/proc/meminfo: memFree=28910316/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9691604 CPUtime=0.46 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 5699 0 1 0 45 1 0 0 20 0 20 0 28720005 9924202496 9565 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2422901 9565 2239 9 0 2413578 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9691604

[startup+0.700191 s]
/proc/loadavg: 4.38 4.29 3.93 5/197 4175
/proc/meminfo: memFree=28910316/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 5729 0 1 0 49 3 0 0 20 0 19 0 28720005 10060525568 9552 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2456183 9552 2245 9 0 2446860 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824732

[startup+1.50094 s]
/proc/loadavg: 4.38 4.29 3.93 6/216 4200
/proc/meminfo: memFree=28853364/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 14070 0 1 0 160 7 0 0 20 0 19 0 28720005 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2456183 16797 2259 9 0 2446860 0
[pid=4175/tid=4177] ppid=4172 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/4175/task/4177/stat : 4177 (java) S 4172 4175 3621 0 -1 4202560 2434 0 1 0 25 2 0 0 20 0 19 0 28720006 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387727172472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4178] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4178/stat : 4178 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720008 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387571153064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4179] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4179/stat : 4179 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720008 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387570100520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4180] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4180/stat : 4180 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720008 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387569047976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4181] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4181/stat : 4181 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720008 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387567995432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4182] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4182/stat : 4182 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720008 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387566942888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4183] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4183/stat : 4183 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720008 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387565890344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4184] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4184/stat : 4184 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720008 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387564837800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4185] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4185/stat : 4185 (java) S 4172 4175 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28720008 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387563785256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4186] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4186/stat : 4186 (java) S 4172 4175 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28720009 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387551373416 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4187] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4187/stat : 4187 (java) S 4172 4175 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28720009 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387550319736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4188] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4188/stat : 4188 (java) S 4172 4175 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28720009 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387549267080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4189] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4189/stat : 4189 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720012 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387548215824 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4190] ppid=4172 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/4175/task/4190/stat : 4190 (java) S 4172 4175 3621 0 -1 4202560 6130 0 0 0 35 1 0 0 20 0 19 0 28720012 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387547163192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4191] ppid=4172 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/4175/task/4191/stat : 4191 (java) S 4172 4175 3621 0 -1 4202560 4154 0 0 0 41 0 0 0 20 0 19 0 28720012 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387546110648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4192] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4192/stat : 4192 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720012 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387545058296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4193] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4193/stat : 4193 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720012 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387544005960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4196] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4196/stat : 4196 (java) S 4172 4175 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28720035 10060525568 16797 33554432000 1073741824 1073778376 140736501760176 140387540845608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 4.38 4.29 3.93 4/216 4206
/proc/meminfo: memFree=28835560/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9824732 CPUtime=3.26 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 17175 0 1 0 314 12 0 0 20 0 22 0 28720005 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2456183 26572 2266 9 0 2446860 0
[pid=4175/tid=4177] ppid=4172 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/4175/task/4177/stat : 4177 (java) S 4172 4175 3621 0 -1 4202560 2435 0 1 0 26 2 0 0 20 0 22 0 28720006 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387727172472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4178] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4178/stat : 4178 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387571153064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4179] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4179/stat : 4179 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387570100520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4180] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4180/stat : 4180 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387569047976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4181] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4181/stat : 4181 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387567995432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4182] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4182/stat : 4182 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387566942888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4183] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4183/stat : 4183 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387565890344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4184] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4184/stat : 4184 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387564837800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4185] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4185/stat : 4185 (java) S 4172 4175 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387563785256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4186] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4186/stat : 4186 (java) S 4172 4175 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387551373416 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4187] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4187/stat : 4187 (java) S 4172 4175 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387550319736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4188] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4188/stat : 4188 (java) S 4172 4175 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387549267080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4189] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4189/stat : 4189 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387548215824 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4190] ppid=4172 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/4175/task/4190/stat : 4190 (java) S 4172 4175 3621 0 -1 4202560 6145 0 0 0 60 1 0 0 20 0 22 0 28720012 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387547163192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4191] ppid=4172 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/4175/task/4191/stat : 4191 (java) S 4172 4175 3621 0 -1 4202560 7202 0 0 0 75 0 0 0 20 0 22 0 28720012 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387546110648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4192] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4192/stat : 4192 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387545058296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4193] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4193/stat : 4193 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387544005960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4196] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4196/stat : 4196 (java) S 4172 4175 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28720035 10060525568 26572 33554432000 1073741824 1073778376 140736501760176 140387540845608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 9824732

[startup+6.30099 s]
/proc/loadavg: 4.18 4.25 3.92 6/219 4215
/proc/meminfo: memFree=28707012/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9824732 CPUtime=9.52 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 21778 0 1 0 933 19 0 0 20 0 22 0 28720005 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2456183 50651 2286 9 0 2446860 0
[pid=4175/tid=4177] ppid=4172 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/4175/task/4177/stat : 4177 (java) S 4172 4175 3621 0 -1 4202560 2435 0 1 0 26 2 0 0 20 0 22 0 28720006 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387727172472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4178] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4178/stat : 4178 (java) S 4172 4175 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387571153064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4179] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4179/stat : 4179 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387570100520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4180] ppid=4172 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/4175/task/4180/stat : 4180 (java) S 4172 4175 3621 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 28720008 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387569047976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4181] ppid=4172 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/4175/task/4181/stat : 4181 (java) S 4172 4175 3621 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 28720008 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387567995432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4182] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4182/stat : 4182 (java) S 4172 4175 3621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387566942888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4183] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4183/stat : 4183 (java) S 4172 4175 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387565890344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4184] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4184/stat : 4184 (java) S 4172 4175 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387564837800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4185] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4185/stat : 4185 (java) S 4172 4175 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28720008 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387563785256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4186] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4186/stat : 4186 (java) S 4172 4175 3621 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387551373416 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4187] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4187/stat : 4187 (java) S 4172 4175 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387550319736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4188] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4188/stat : 4188 (java) S 4172 4175 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387549267080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4189] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4189/stat : 4189 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387548215824 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4190] ppid=4172 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/4175/task/4190/stat : 4190 (java) S 4172 4175 3621 0 -1 4202560 6149 0 0 0 72 2 0 0 20 0 22 0 28720012 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387547163192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4191] ppid=4172 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/4175/task/4191/stat : 4191 (java) S 4172 4175 3621 0 -1 4202560 11624 0 0 0 110 2 0 0 20 0 22 0 28720012 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387546110648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4192] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4192/stat : 4192 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387545058296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4193] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4193/stat : 4193 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387544005960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4196] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4196/stat : 4196 (java) S 4172 4175 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28720035 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387540845608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4213] ppid=4172 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/4175/task/4213/stat : 4213 (java) R 4172 4175 3621 0 -1 4202560 3 0 0 0 95 0 0 0 20 0 22 0 28720538 10060525568 50651 33554432000 1073741824 1073778376 140736501760176 140387539783712 140387600061871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4214] ppid=4172 vsize=9824732 CPUtime=0.95 cores=0,2,4,6

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

[pid=4175/tid=4329] ppid=4172 vsize=9824732 CPUtime=675.91 cores=0,2,4,6
/proc/4175/task/4329/stat : 4329 (java) R 4172 4175 3621 0 -1 4202560 13 0 0 0 67581 10 0 0 20 0 22 0 28734299 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387539791760 140387600115920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4330] ppid=4172 vsize=9824732 CPUtime=675.87 cores=0,2,4,6
/proc/4175/task/4330/stat : 4330 (java) R 4172 4175 3621 0 -1 4202560 8 0 0 0 67577 10 0 0 20 0 22 0 28734299 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387542948592 140387600256797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4331] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4331/stat : 4331 (java) S 4172 4175 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28734299 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387541898920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1640.15
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.12 4.18 4.07 5/219 4355
/proc/meminfo: memFree=26293996/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9824732 CPUtime=1760.15 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 29957 0 1 0 175804 211 0 0 20 0 22 0 28720005 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2456183 848890 2295 9 0 2446860 0
[pid=4175/tid=4177] ppid=4172 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/4175/task/4177/stat : 4177 (java) S 4172 4175 3621 0 -1 4202560 2439 0 1 0 30 3 0 0 20 0 22 0 28720006 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387727172472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4178] ppid=4172 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/4175/task/4178/stat : 4178 (java) S 4172 4175 3621 0 -1 4202560 497 0 0 0 84 15 0 0 20 0 22 0 28720008 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387571153064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4179] ppid=4172 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/4175/task/4179/stat : 4179 (java) S 4172 4175 3621 0 -1 4202560 385 0 0 0 86 14 0 0 20 0 22 0 28720008 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387570100520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4180] ppid=4172 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/4175/task/4180/stat : 4180 (java) S 4172 4175 3621 0 -1 4202560 659 0 0 0 116 21 0 0 20 0 22 0 28720008 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387569047976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4181] ppid=4172 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/4175/task/4181/stat : 4181 (java) S 4172 4175 3621 0 -1 4202560 467 0 0 0 102 20 0 0 20 0 22 0 28720008 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387567995432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4182] ppid=4172 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/4175/task/4182/stat : 4182 (java) S 4172 4175 3621 0 -1 4202560 673 0 0 0 98 17 0 0 20 0 22 0 28720008 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387566942888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4183] ppid=4172 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/4175/task/4183/stat : 4183 (java) S 4172 4175 3621 0 -1 4202560 483 0 0 0 81 15 0 0 20 0 22 0 28720008 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387565890344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4184] ppid=4172 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/4175/task/4184/stat : 4184 (java) S 4172 4175 3621 0 -1 4202560 557 0 0 0 91 16 0 0 20 0 22 0 28720008 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387564837800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4185] ppid=4172 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/4175/task/4185/stat : 4185 (java) S 4172 4175 3621 0 -1 4202560 569 0 0 0 86 15 0 0 20 0 22 0 28720008 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387563785256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4186] ppid=4172 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/4175/task/4186/stat : 4186 (java) S 4172 4175 3621 0 -1 4202560 2656 0 0 0 293 6 0 0 20 0 22 0 28720009 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387551373416 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4187] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4187/stat : 4187 (java) S 4172 4175 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387550319736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4188] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4188/stat : 4188 (java) S 4172 4175 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387549267080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4189] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4189/stat : 4189 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387548215824 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4190] ppid=4172 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/4175/task/4190/stat : 4190 (java) S 4172 4175 3621 0 -1 4202560 6158 0 0 0 82 2 0 0 20 0 22 0 28720012 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387547163192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4191] ppid=4172 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/4175/task/4191/stat : 4191 (java) S 4172 4175 3621 0 -1 4202560 11632 0 0 0 132 2 0 0 20 0 22 0 28720012 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387546110648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4192] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4192/stat : 4192 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387545058296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4193] ppid=4172 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/4175/task/4193/stat : 4193 (java) S 4172 4175 3621 0 -1 4202560 51 0 0 0 12 11 0 0 20 0 22 0 28720012 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387544005960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4196] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4196/stat : 4196 (java) S 4172 4175 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28720035 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387540845608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4329] ppid=4172 vsize=9824732 CPUtime=735.91 cores=0,2,4,6
/proc/4175/task/4329/stat : 4329 (java) R 4172 4175 3621 0 -1 4202560 13 0 0 0 73580 11 0 0 20 0 22 0 28734299 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387539784048 140387600144331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4330] ppid=4172 vsize=9824732 CPUtime=735.87 cores=0,2,4,6
/proc/4175/task/4330/stat : 4330 (java) R 4172 4175 3621 0 -1 4202560 8 0 0 0 73576 11 0 0 20 0 22 0 28734299 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387542948592 140387600256753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4331] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4331/stat : 4331 (java) S 4172 4175 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28734299 10060525568 848890 33554432000 1073741824 1073778376 140736501760176 140387541898920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1760.15
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.201 s]
/proc/loadavg: 4.09 4.17 4.06 6/219 4356
/proc/meminfo: memFree=26364316/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 30043 0 1 0 179793 212 0 0 20 0 22 0 28720005 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2456183 832282 2295 9 0 2446860 0
[pid=4175/tid=4177] ppid=4172 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/4175/task/4177/stat : 4177 (java) S 4172 4175 3621 0 -1 4202560 2440 0 1 0 30 3 0 0 20 0 22 0 28720006 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387727172472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4178] ppid=4172 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/4175/task/4178/stat : 4178 (java) S 4172 4175 3621 0 -1 4202560 497 0 0 0 92 15 0 0 20 0 22 0 28720008 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387571153064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4179] ppid=4172 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/4175/task/4179/stat : 4179 (java) S 4172 4175 3621 0 -1 4202560 405 0 0 0 90 14 0 0 20 0 22 0 28720008 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387570100520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4180] ppid=4172 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/4175/task/4180/stat : 4180 (java) S 4172 4175 3621 0 -1 4202560 677 0 0 0 120 21 0 0 20 0 22 0 28720008 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387569047976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4181] ppid=4172 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/4175/task/4181/stat : 4181 (java) S 4172 4175 3621 0 -1 4202560 477 0 0 0 104 20 0 0 20 0 22 0 28720008 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387567995432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4182] ppid=4172 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/4175/task/4182/stat : 4182 (java) S 4172 4175 3621 0 -1 4202560 674 0 0 0 104 17 0 0 20 0 22 0 28720008 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387566942888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4183] ppid=4172 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/4175/task/4183/stat : 4183 (java) S 4172 4175 3621 0 -1 4202560 515 0 0 0 83 15 0 0 20 0 22 0 28720008 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387565890344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4184] ppid=4172 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/4175/task/4184/stat : 4184 (java) S 4172 4175 3621 0 -1 4202560 557 0 0 0 92 16 0 0 20 0 22 0 28720008 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387564837800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4185] ppid=4172 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/4175/task/4185/stat : 4185 (java) S 4172 4175 3621 0 -1 4202560 569 0 0 0 89 15 0 0 20 0 22 0 28720008 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387563785256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4186] ppid=4172 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/4175/task/4186/stat : 4186 (java) S 4172 4175 3621 0 -1 4202560 2658 0 0 0 293 6 0 0 20 0 22 0 28720009 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387551373416 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4187] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4187/stat : 4187 (java) S 4172 4175 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387550319736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4188] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4188/stat : 4188 (java) S 4172 4175 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28720009 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387549267080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4189] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4189/stat : 4189 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387548215824 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4190] ppid=4172 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/4175/task/4190/stat : 4190 (java) S 4172 4175 3621 0 -1 4202560 6158 0 0 0 82 2 0 0 20 0 22 0 28720012 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387547163192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4191] ppid=4172 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/4175/task/4191/stat : 4191 (java) S 4172 4175 3621 0 -1 4202560 11632 0 0 0 132 2 0 0 20 0 22 0 28720012 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387546110648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4192] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4192/stat : 4192 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28720012 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387545058296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4193] ppid=4172 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/4175/task/4193/stat : 4193 (java) S 4172 4175 3621 0 -1 4202560 53 0 0 0 12 11 0 0 20 0 22 0 28720012 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387544005960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4196] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4196/stat : 4196 (java) S 4172 4175 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28720035 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387540845608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4329] ppid=4172 vsize=9824732 CPUtime=755.72 cores=0,2,4,6
/proc/4175/task/4329/stat : 4329 (java) R 4172 4175 3621 0 -1 4202560 13 0 0 0 75561 11 0 0 20 0 22 0 28734299 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387539784048 140387600273592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4330] ppid=4172 vsize=9824732 CPUtime=755.67 cores=0,2,4,6
/proc/4175/task/4330/stat : 4330 (java) R 4172 4175 3621 0 -1 4202560 8 0 0 0 75556 11 0 0 20 0 22 0 28734299 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387542949440 140387600256720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4331] ppid=4172 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4331/stat : 4331 (java) S 4172 4175 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28734299 10060525568 832282 33554432000 1073741824 1073778376 140736501760176 140387541898920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 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 4175 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+902.306 s]
/proc/loadavg: 4.09 4.17 4.06 6/219 4356
/proc/meminfo: memFree=26364316/32872528 swapFree=1286400/1433568
[pid=4175] ppid=4172 vsize=9957860 CPUtime=1800.42 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 3621 0 -1 4202496 30088 0 1 0 179813 229 0 0 20 0 19 0 28720005 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140736501751312 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4175/statm: 2489465 832312 2302 9 0 2480142 0
[pid=4175/tid=4177] ppid=4172 vsize=9957860 CPUtime=0.33 cores=0,2,4,6
/proc/4175/task/4177/stat : 4177 (java) S 4172 4175 3621 0 -1 4202560 2440 0 1 0 30 3 0 0 20 0 19 0 28720006 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387727172472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4178] ppid=4172 vsize=9957860 CPUtime=1.07 cores=0,2,4,6
/proc/4175/task/4178/stat : 4178 (java) S 4172 4175 3621 0 -1 4202560 497 0 0 0 92 15 0 0 20 0 19 0 28720008 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387571153064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4179] ppid=4172 vsize=9957860 CPUtime=1.04 cores=0,2,4,6
/proc/4175/task/4179/stat : 4179 (java) S 4172 4175 3621 0 -1 4202560 405 0 0 0 90 14 0 0 20 0 19 0 28720008 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387570100520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4180] ppid=4172 vsize=9957860 CPUtime=1.41 cores=0,2,4,6
/proc/4175/task/4180/stat : 4180 (java) S 4172 4175 3621 0 -1 4202560 677 0 0 0 120 21 0 0 20 0 19 0 28720008 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387569047976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4181] ppid=4172 vsize=9957860 CPUtime=1.24 cores=0,2,4,6
/proc/4175/task/4181/stat : 4181 (java) S 4172 4175 3621 0 -1 4202560 477 0 0 0 104 20 0 0 20 0 19 0 28720008 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387567995432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4182] ppid=4172 vsize=9957860 CPUtime=1.21 cores=0,2,4,6
/proc/4175/task/4182/stat : 4182 (java) S 4172 4175 3621 0 -1 4202560 674 0 0 0 104 17 0 0 20 0 19 0 28720008 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387566942888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4183] ppid=4172 vsize=9957860 CPUtime=0.98 cores=0,2,4,6
/proc/4175/task/4183/stat : 4183 (java) S 4172 4175 3621 0 -1 4202560 515 0 0 0 83 15 0 0 20 0 19 0 28720008 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387565890344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4184] ppid=4172 vsize=9957860 CPUtime=1.08 cores=0,2,4,6
/proc/4175/task/4184/stat : 4184 (java) S 4172 4175 3621 0 -1 4202560 557 0 0 0 92 16 0 0 20 0 19 0 28720008 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387564837800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4185] ppid=4172 vsize=9957860 CPUtime=1.04 cores=0,2,4,6
/proc/4175/task/4185/stat : 4185 (java) S 4172 4175 3621 0 -1 4202560 569 0 0 0 89 15 0 0 20 0 19 0 28720008 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387563785256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4186] ppid=4172 vsize=9957860 CPUtime=3.05 cores=0,2,4,6
/proc/4175/task/4186/stat : 4186 (java) R 4172 4175 3621 0 -1 4202560 2658 0 0 0 294 11 0 0 20 0 19 0 28720009 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387551373416 214369602695 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4175/tid=4187] ppid=4172 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4187/stat : 4187 (java) S 4172 4175 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28720009 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387550319736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4188] ppid=4172 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4188/stat : 4188 (java) S 4172 4175 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28720009 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387549267080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4189] ppid=4172 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4189/stat : 4189 (java) S 4172 4175 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28720012 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387548214344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4175/tid=4190] ppid=4172 vsize=9957860 CPUtime=0.84 cores=0,2,4,6
/proc/4175/task/4190/stat : 4190 (java) S 4172 4175 3621 0 -1 4202560 6159 0 0 0 82 2 0 0 20 0 19 0 28720012 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387547163192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4175/tid=4191] ppid=4172 vsize=9957860 CPUtime=1.37 cores=0,2,4,6
/proc/4175/task/4191/stat : 4191 (java) S 4172 4175 3621 0 -1 4202560 11642 0 0 0 135 2 0 0 20 0 19 0 28720012 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387546096744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4192] ppid=4172 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/4175/task/4192/stat : 4192 (java) S 4172 4175 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28720012 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387545058296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4175/tid=4330] ppid=4172 vsize=9957860 CPUtime=755.77 cores=0,2,4,6
/proc/4175/task/4330/stat : 4330 (java) R 4172 4175 3621 0 -1 4202560 8 0 0 0 75566 11 0 0 20 0 19 0 28734299 10196848640 832312 33554432000 1073741824 1073778376 140736501760176 140387542948712 140387600256765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 9957860

Child status: 143
Real time (s): 902.334
CPU time (s): 1800.78
CPU user time (s): 1798.18
CPU system time (s): 2.6016
CPU usage (%): 199.569
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 2.6016
maximum resident set size= 3718076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30088
page faults= 1
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22555
involuntary context switches= 12147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88295 second user time and 6.01509 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 18:18:52
IDJOB=4105930
IDBENCH=24960
IDSOLVER=2543
FILE ID=node130/4105930-1466266732
RUNJOBID= node130-1466264922-3637
PBS_JOBID= 19918227
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105930-1466266732/watcher-4105930-1466266732 -o /tmp/evaluation-result-4105930-1466266732/solver-4105930-1466266732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3637 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105930-1466266732.opb

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

MD5SUM BENCH= da210e6015c5a34ffbeabe5ecb901720
RANDOM SEED=1070238738

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28910240 kB
Buffers:           39696 kB
Cached:           164708 kB
SwapCached:         1876 kB
Active:          1636428 kB
Inactive:         153936 kB
Active(anon):    1586296 kB
Inactive(anon):     2272 kB
Active(file):      50132 kB
Inactive(file):   151664 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:       3018540 kB
Mapped:            15332 kB
Shmem:                 0 kB
Slab:             600980 kB
SReclaimable:      44300 kB
SUnreclaim:       556680 kB
KernelStack:        1592 kB
PageTables:        10296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3194464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1650688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node130 at 2016-06-18 18:33:55