Trace number 4085189

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 Resolution PB16SAT (TO)26 1800.03 1797.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
MD5SUM931342e76f648ae82c047d164917a326
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.049991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables466
Total number of constraints694
Number of constraints which are clauses694
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 constraint2
Maximum length of a constraint78
Number of terms in the objective function 466
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 466
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 466
Number of bits of the biggest sum of numbers9
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4085189-1465231070.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.54/0.31	c ... done. Wall clock time 0.193s.
0.54/0.31	c declared #vars     466
0.54/0.31	c #constraints  694
0.54/0.31	c constraints type 
0.54/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 663
0.54/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31
0.54/0.31	c 694 constraints processed.
0.54/0.31	c objective function length is 466 literals
0.54/0.32	c SATISFIABLE
0.54/0.32	c OPTIMIZING...
0.54/0.32	c Got one! Elapsed wall clock time (in seconds):0.203
0.54/0.32	o 30
0.54/0.33	c Got one! Elapsed wall clock time (in seconds):0.216
0.54/0.33	o 29
0.83/0.42	c Got one! Elapsed wall clock time (in seconds):0.304
0.83/0.42	o 28
1.35/0.75	c cleaning 2638 clauses out of 5275 with flag 16679/5275
1.81/1.12	c cleaning 4317 clauses out of 8637 with flag 36643/11275
2.21/1.54	c cleaning 5654 clauses out of 11323 with flag 58392/18278
2.72/2.03	c cleaning 6833 clauses out of 13666 with flag 83944/26275
3.26/2.58	c cleaning 7914 clauses out of 15835 with flag 113788/35277
3.96/3.26	c cleaning 8959 clauses out of 17919 with flag 148994/45275
4.66/3.95	c cleaning 9974 clauses out of 19960 with flag 195595/56275
5.46/4.73	c cleaning 10985 clauses out of 21986 with flag 247128/68275
6.26/5.52	c cleaning 11997 clauses out of 24001 with flag 300648/81275
7.25/6.52	c cleaning 13002 clauses out of 26005 with flag 355322/95276
8.16/7.47	c cleaning 13968 clauses out of 28002 with flag 413136/110275
9.35/8.61	c cleaning 14985 clauses out of 30034 with flag 475299/126275
10.45/9.78	c cleaning 15992 clauses out of 32049 with flag 543811/143275
12.05/11.33	c cleaning 17017 clauses out of 34057 with flag 608393/161275
13.65/12.96	c cleaning 18013 clauses out of 36040 with flag 676333/180275
15.56/14.88	c cleaning 19001 clauses out of 38027 with flag 748213/200275
17.76/17.02	c cleaning 20008 clauses out of 40028 with flag 821902/221277
19.76/19.04	c cleaning 21006 clauses out of 42019 with flag 903679/243276
22.06/21.32	c cleaning 22000 clauses out of 44012 with flag 991447/266275
23.66/22.96	c cleaning 22985 clauses out of 46012 with flag 1099183/290275
25.66/24.99	c cleaning 24013 clauses out of 48027 with flag 1210892/315275
27.85/27.13	c cleaning 24998 clauses out of 50014 with flag 1324517/341275
30.05/29.32	c cleaning 25987 clauses out of 52016 with flag 1434848/368275
32.85/32.17	c cleaning 26994 clauses out of 54029 with flag 1543872/396275
36.07/35.33	c cleaning 27995 clauses out of 56035 with flag 1658063/425275
38.86/38.19	c cleaning 29000 clauses out of 58041 with flag 1779834/455276
41.80/41.06	c cleaning 29993 clauses out of 60040 with flag 1910753/486275
44.40/43.63	c cleaning 31017 clauses out of 62047 with flag 2052494/518275
47.90/47.17	c cleaning 31996 clauses out of 64030 with flag 2181038/551275
52.50/51.71	c cleaning 33005 clauses out of 66035 with flag 2295818/585276
56.70/55.98	c cleaning 34003 clauses out of 68034 with flag 2419381/620280
61.79/61.05	c cleaning 34997 clauses out of 70028 with flag 2543034/656277
66.39/65.66	c cleaning 36006 clauses out of 72030 with flag 2678154/693276
70.79/70.01	c cleaning 37001 clauses out of 74023 with flag 2834033/731275
75.49/74.74	c cleaning 37998 clauses out of 76022 with flag 2981131/770275
80.89/80.11	c cleaning 39005 clauses out of 78025 with flag 3114208/810276
86.70/85.93	c cleaning 40002 clauses out of 80019 with flag 3253470/851275
91.80/91.04	c cleaning 41011 clauses out of 82021 with flag 3415020/893279
96.70/95.91	c cleaning 41979 clauses out of 84006 with flag 3595280/936275
101.70/100.93	c cleaning 43014 clauses out of 86028 with flag 3782416/980276
106.85/106.07	c cleaning 43994 clauses out of 88013 with flag 3973672/1025275
113.35/112.54	c cleaning 44998 clauses out of 90019 with flag 4158278/1071275
120.25/119.48	c cleaning 46007 clauses out of 92023 with flag 4338808/1118277
126.15/125.33	c cleaning 46997 clauses out of 94014 with flag 4536208/1166275
131.45/130.60	c cleaning 48008 clauses out of 96017 with flag 4761166/1215275
138.46/137.65	c cleaning 48978 clauses out of 98009 with flag 4953097/1265275
146.55/145.78	c cleaning 49980 clauses out of 100031 with flag 5151016/1316275
154.54/153.80	c cleaning 51017 clauses out of 102051 with flag 5358514/1368275
163.44/162.64	c cleaning 51995 clauses out of 104034 with flag 5558246/1421275
172.44/171.66	c cleaning 53005 clauses out of 106039 with flag 5769039/1475275
180.81/179.98	c cleaning 53996 clauses out of 108034 with flag 5980309/1530275
191.10/190.22	c cleaning 55017 clauses out of 110040 with flag 6195239/1586277
198.30/197.40	c cleaning 56005 clauses out of 112021 with flag 6451001/1643275
205.90/205.07	c cleaning 56998 clauses out of 114018 with flag 6712290/1701277
215.20/214.39	c cleaning 57986 clauses out of 116018 with flag 6954392/1760275
225.80/224.98	c cleaning 58996 clauses out of 118032 with flag 7186896/1820275
238.20/237.39	c cleaning 60018 clauses out of 120036 with flag 7426055/1881275
254.09/253.27	c cleaning 61003 clauses out of 122019 with flag 7618103/1943276
265.01/264.12	c cleaning 61977 clauses out of 124015 with flag 7867193/2006275
280.20/279.27	c cleaning 63009 clauses out of 126038 with flag 8101071/2070275
292.41/291.50	c cleaning 63985 clauses out of 128029 with flag 8353224/2135275
303.01/302.08	c cleaning 65001 clauses out of 130044 with flag 8622252/2201275
313.91/312.97	c cleaning 66015 clauses out of 132046 with flag 8903796/2268278
324.91/323.93	c cleaning 67009 clauses out of 134030 with flag 9186333/2336277
336.31/335.38	c cleaning 67996 clauses out of 136020 with flag 9473001/2405276
347.62/346.62	c cleaning 68993 clauses out of 138023 with flag 9753124/2475275
360.61/359.68	c cleaning 70014 clauses out of 140030 with flag 10016537/2546275
374.72/373.64	c cleaning 70995 clauses out of 142016 with flag 10299107/2618275
384.82/383.78	c cleaning 71975 clauses out of 144021 with flag 10605987/2691275
399.62/398.51	c cleaning 73005 clauses out of 146046 with flag 10880816/2765275
409.52/408.48	c cleaning 73998 clauses out of 148041 with flag 11211458/2840275
423.23/422.18	c cleaning 75017 clauses out of 150043 with flag 11525144/2916275
437.73/436.70	c cleaning 75986 clauses out of 152026 with flag 11827850/2993275
452.43/451.40	c cleaning 77004 clauses out of 154040 with flag 12141146/3071275
466.88/465.63	c cleaning 78012 clauses out of 156038 with flag 12463922/3150277
477.98/476.76	c cleaning 78993 clauses out of 158027 with flag 12803744/3230278
494.69/493.41	c cleaning 79996 clauses out of 160035 with flag 13128252/3311279
516.48/515.25	c cleaning 81015 clauses out of 162035 with flag 13442780/3393275
534.28/533.08	c cleaning 81986 clauses out of 164020 with flag 13754322/3476275
544.88/543.61	c cleaning 82996 clauses out of 166034 with flag 14128260/3560275
554.40/553.01	c cleaning 84014 clauses out of 168038 with flag 14511722/3645275
568.01/566.64	c cleaning 85008 clauses out of 170024 with flag 14869990/3731275
582.60/581.21	c cleaning 85983 clauses out of 172016 with flag 15221269/3818275
600.30/598.90	c cleaning 87003 clauses out of 174033 with flag 15565528/3906275
612.80/611.48	c cleaning 88001 clauses out of 176030 with flag 15923237/3995275
631.50/630.14	c cleaning 88992 clauses out of 178029 with flag 16264007/4085275
647.91/646.45	c cleaning 90002 clauses out of 180037 with flag 16597863/4176275
666.61/665.17	c cleaning 91002 clauses out of 182035 with flag 16929481/4268275
689.11/687.61	c cleaning 91997 clauses out of 184033 with flag 17235348/4361275
705.01/703.56	c cleaning 93011 clauses out of 186036 with flag 17617121/4455275
721.61/720.19	c cleaning 94007 clauses out of 188027 with flag 17991869/4550277
741.73/740.11	c cleaning 94995 clauses out of 190021 with flag 18362338/4646278
761.14/759.55	c cleaning 96004 clauses out of 192023 with flag 18726361/4743275
780.14/778.53	c cleaning 96994 clauses out of 194020 with flag 19120877/4841276
805.54/803.90	c cleaning 98005 clauses out of 196025 with flag 19484732/4940275
824.71/822.95	c cleaning 98999 clauses out of 198022 with flag 19859282/5040277
841.31/839.59	c cleaning 99991 clauses out of 200021 with flag 20305935/5141275
861.90/860.13	c cleaning 101015 clauses out of 202032 with flag 20693853/5243277
883.70/881.97	c cleaning 101971 clauses out of 204015 with flag 21104719/5346275
906.50/904.73	c cleaning 103017 clauses out of 206045 with flag 21530382/5450276
932.77/930.87	c cleaning 104002 clauses out of 208027 with flag 21913209/5555275
952.47/950.53	c cleaning 105002 clauses out of 210026 with flag 22338812/5661276
974.56/972.68	c cleaning 105989 clauses out of 212025 with flag 22780001/5768277
1001.07/999.10	c cleaning 107007 clauses out of 214034 with flag 23202365/5876275
1026.36/1024.34	c cleaning 107984 clauses out of 216027 with flag 23632430/5985275
1053.46/1051.49	c cleaning 109005 clauses out of 218043 with flag 24060919/6095275
1059.16/1057.19	c Got one! Elapsed wall clock time (in seconds):1057.077
1059.16/1057.19	o 27
1059.88/1057.89	c cleaning 74900 clauses out of 149819 with flag 17283/6136056
1060.77/1058.71	c cleaning 40433 clauses out of 80916 with flag 39125/6142053
1061.38/1059.38	c cleaning 23731 clauses out of 47483 with flag 66178/6149053
1062.07/1060.07	c cleaning 15875 clauses out of 31761 with flag 96965/6157062
1062.77/1060.75	c cleaning 12421 clauses out of 24877 with flag 128872/6166053
1063.47/1061.41	c cleaning 11214 clauses out of 22456 with flag 167964/6176053
1064.07/1062.05	c cleaning 11106 clauses out of 22242 with flag 214279/6187053
1064.87/1062.82	c cleaning 11556 clauses out of 23136 with flag 260540/6199053
1065.67/1063.63	c cleaning 12278 clauses out of 24580 with flag 320267/6212053
1066.67/1064.67	c cleaning 13143 clauses out of 26303 with flag 372922/6226054
1067.77/1065.70	c cleaning 14064 clauses out of 28161 with flag 428592/6241055
1068.97/1066.92	c cleaning 15042 clauses out of 30095 with flag 486152/6257053
1070.28/1068.24	c cleaning 16018 clauses out of 32053 with flag 553220/6274053
1071.67/1069.65	c cleaning 16997 clauses out of 34035 with flag 618425/6292053
1073.37/1071.25	c cleaning 18016 clauses out of 36038 with flag 689306/6311053
1075.47/1073.33	c cleaning 18989 clauses out of 38022 with flag 767574/6331053
1077.37/1075.24	c cleaning 19999 clauses out of 40037 with flag 847205/6352057
1079.37/1077.23	c cleaning 20994 clauses out of 42034 with flag 939730/6374053
1081.17/1079.06	c cleaning 21995 clauses out of 44040 with flag 1045052/6397053
1083.27/1081.14	c cleaning 23020 clauses out of 46046 with flag 1151455/6421054
1085.57/1083.42	c cleaning 23996 clauses out of 48025 with flag 1260489/6446053
1088.27/1086.11	c cleaning 25013 clauses out of 50029 with flag 1366803/6472053
1091.57/1089.42	c cleaning 25963 clauses out of 52018 with flag 1467457/6499055
1095.58/1093.44	c cleaning 27026 clauses out of 54054 with flag 1560888/6527054
1099.67/1097.56	c cleaning 28012 clauses out of 56031 with flag 1655897/6556057
1103.77/1101.69	c cleaning 28988 clauses out of 58017 with flag 1763168/6586055
1108.37/1106.29	c cleaning 30003 clauses out of 60027 with flag 1870811/6617053
1112.67/1110.58	c cleaning 31000 clauses out of 62024 with flag 1989320/6649053
1116.47/1114.33	c cleaning 32001 clauses out of 64024 with flag 2114024/6682053
1120.17/1118.08	c cleaning 32997 clauses out of 66025 with flag 2251969/6716055
1124.72/1122.60	c cleaning 34001 clauses out of 68026 with flag 2387649/6751053
1128.42/1126.24	c cleaning 35007 clauses out of 70025 with flag 2527932/6787053
1131.02/1128.89	c cleaning 35994 clauses out of 72018 with flag 2714987/6824053
1134.72/1132.53	c cleaning 37001 clauses out of 74024 with flag 2879381/6862053
1139.32/1137.16	c cleaning 38000 clauses out of 76024 with flag 3030765/6901054
1144.62/1142.41	c cleaning 39002 clauses out of 78023 with flag 3185061/6941053
1149.22/1147.03	c cleaning 39999 clauses out of 80021 with flag 3351409/6982053
1153.22/1151.02	c cleaning 41006 clauses out of 82022 with flag 3542827/7024053
1157.72/1155.59	c cleaning 41992 clauses out of 84016 with flag 3721388/7067053
1161.62/1159.43	c cleaning 43012 clauses out of 86024 with flag 3912622/7111053
1165.86/1163.63	c cleaning 43989 clauses out of 88014 with flag 4105396/7156055
1171.86/1169.67	c cleaning 44998 clauses out of 90023 with flag 4287652/7202053
1178.36/1176.12	c cleaning 45997 clauses out of 92025 with flag 4470374/7249053
1184.46/1182.26	c cleaning 46984 clauses out of 94028 with flag 4657396/7297053
1189.56/1187.35	c cleaning 48009 clauses out of 96046 with flag 4860943/7346055
1195.06/1192.89	c cleaning 48994 clauses out of 98035 with flag 5076793/7396053
1200.75/1198.53	c cleaning 50001 clauses out of 100041 with flag 5267434/7447053
1205.45/1203.26	c cleaning 51020 clauses out of 102041 with flag 5498328/7499054
1211.10/1208.87	c cleaning 52003 clauses out of 104022 with flag 5716904/7552055
1219.50/1217.24	c cleaning 52983 clauses out of 106018 with flag 5919681/7606054
1227.51/1225.21	c cleaning 53988 clauses out of 108035 with flag 6132644/7661054
1233.50/1231.27	c cleaning 55014 clauses out of 110050 with flag 6372445/7717057
1239.61/1237.33	c cleaning 56001 clauses out of 112032 with flag 6621373/7774053
1245.71/1243.43	c cleaning 56996 clauses out of 114031 with flag 6891535/7832053
1253.91/1251.62	c cleaning 58011 clauses out of 116039 with flag 7133392/7891057
1259.06/1256.71	c cleaning 58983 clauses out of 118024 with flag 7417612/7951053
1268.46/1266.11	c cleaning 60005 clauses out of 120041 with flag 7638706/8012053
1277.26/1274.99	c cleaning 61016 clauses out of 122036 with flag 7880157/8074053
1284.96/1282.68	c cleaning 61997 clauses out of 124020 with flag 8154779/8137053
1291.35/1289.02	c cleaning 62999 clauses out of 126026 with flag 8476284/8201056
1298.34/1296.01	c cleaning 63991 clauses out of 128027 with flag 8772318/8266056
1304.99/1302.69	c cleaning 65009 clauses out of 130034 with flag 9052086/8332054
1313.18/1310.89	c cleaning 65996 clauses out of 132024 with flag 9332656/8399053
1322.78/1320.40	c cleaning 66997 clauses out of 134028 with flag 9587835/8467053
1335.28/1332.90	c cleaning 68007 clauses out of 136031 with flag 9861737/8536053
1346.78/1344.47	c cleaning 68994 clauses out of 138024 with flag 10133591/8606053
1358.55/1356.13	c cleaning 69985 clauses out of 140030 with flag 10416331/8677053
1367.56/1365.12	c cleaning 71007 clauses out of 142045 with flag 10735679/8749053
1377.56/1375.12	c cleaning 72020 clauses out of 144040 with flag 11034873/8822055
1393.15/1390.72	c cleaning 72995 clauses out of 146018 with flag 11296692/8896053
1407.35/1404.91	c cleaning 73997 clauses out of 148026 with flag 11577303/8971056
1425.92/1423.43	c cleaning 75002 clauses out of 150028 with flag 11866682/9047055
1439.42/1436.90	c cleaning 76011 clauses out of 152027 with flag 12150734/9124056
1455.32/1452.87	c cleaning 76993 clauses out of 154013 with flag 12422536/9202053
1467.13/1464.67	c cleaning 77985 clauses out of 156020 with flag 12728386/9281053
1480.23/1477.77	c cleaning 78987 clauses out of 158037 with flag 13058174/9361055
1492.60/1490.04	c cleaning 80006 clauses out of 160048 with flag 13405653/9442053
1501.40/1498.87	c Got one! Elapsed wall clock time (in seconds):1498.751
1501.40/1498.87	o 26
1502.11/1499.51	c cleaning 71439 clauses out of 142897 with flag 16247/9504908
1502.51/1499.99	c cleaning 38716 clauses out of 77460 with flag 36626/9510910
1503.02/1500.43	c cleaning 22835 clauses out of 45742 with flag 59667/9517908
1503.51/1500.90	c cleaning 15437 clauses out of 30907 with flag 87358/9525908
1504.01/1501.43	c cleaning 12223 clauses out of 24474 with flag 118308/9534912
1504.61/1502.00	c cleaning 11116 clauses out of 22247 with flag 153224/9544908
1505.22/1502.64	c cleaning 11034 clauses out of 22131 with flag 193527/9555908
1506.01/1503.49	c cleaning 11545 clauses out of 23105 with flag 235449/9567916
1507.01/1504.41	c cleaning 12274 clauses out of 24552 with flag 290595/9580908
1508.01/1505.44	c cleaning 13136 clauses out of 26278 with flag 342279/9594908
1508.91/1506.39	c cleaning 14048 clauses out of 28142 with flag 408694/9609908
1509.91/1507.35	c cleaning 15028 clauses out of 30095 with flag 480800/9625909
1511.11/1508.50	c cleaning 16015 clauses out of 32067 with flag 560884/9642909
1512.31/1509.76	c cleaning 17019 clauses out of 34051 with flag 637942/9660908
1513.71/1511.11	c cleaning 18016 clauses out of 36035 with flag 719239/9679911
1515.51/1512.96	c cleaning 18996 clauses out of 38017 with flag 799823/9699909
1517.42/1514.83	c cleaning 20011 clauses out of 40021 with flag 877629/9720909
1519.01/1516.41	c cleaning 21004 clauses out of 42011 with flag 976268/9742910
1521.05/1518.41	c cleaning 21991 clauses out of 44007 with flag 1080559/9765910
1523.15/1520.50	c cleaning 22991 clauses out of 46014 with flag 1176923/9789908
1525.25/1522.66	c cleaning 23996 clauses out of 48023 with flag 1269025/9814908
1527.36/1524.71	c cleaning 24982 clauses out of 50027 with flag 1385567/9840908
1529.35/1526.79	c cleaning 25994 clauses out of 52049 with flag 1495559/9867912
1531.25/1528.68	c cleaning 27009 clauses out of 54051 with flag 1626995/9895908
1533.15/1530.57	c cleaning 28009 clauses out of 56042 with flag 1776564/9924908
1535.55/1532.98	c cleaning 28987 clauses out of 58033 with flag 1902965/9954908
1537.95/1535.35	c cleaning 30018 clauses out of 60046 with flag 2040043/9985908
1540.46/1537.87	c cleaning 31006 clauses out of 62029 with flag 2172013/10017909
1543.05/1540.47	c cleaning 31999 clauses out of 64022 with flag 2309801/10050908
1545.75/1543.16	c cleaning 32985 clauses out of 66023 with flag 2447952/10084908
1548.99/1546.38	c cleaning 34011 clauses out of 68038 with flag 2600713/10119908
1552.09/1549.41	c cleaning 34991 clauses out of 70029 with flag 2744380/10155910
1556.09/1553.43	c cleaning 36013 clauses out of 72036 with flag 2887668/10192908
1559.89/1557.25	c cleaning 37001 clauses out of 74024 with flag 3040861/10230909
1563.19/1560.54	c cleaning 37991 clauses out of 76022 with flag 3206656/10269908
1567.00/1564.33	c cleaning 39000 clauses out of 78033 with flag 3367813/10309910
1570.30/1567.63	c cleaning 39987 clauses out of 80031 with flag 3543434/10350908
1573.89/1571.25	c cleaning 41003 clauses out of 82047 with flag 3710299/10392911
1577.39/1574.76	c cleaning 42002 clauses out of 84041 with flag 3881784/10435908
1580.82/1578.11	c cleaning 42994 clauses out of 86039 with flag 4096930/10479908
1584.92/1582.26	c cleaning 44006 clauses out of 88045 with flag 4287509/10524908
1590.83/1588.14	c cleaning 45003 clauses out of 90039 with flag 4462294/10570908
1596.33/1593.67	c cleaning 45983 clauses out of 92036 with flag 4655536/10617908
1601.33/1598.68	c cleaning 47009 clauses out of 94054 with flag 4851525/10665909
1606.63/1603.95	c cleaning 48020 clauses out of 96056 with flag 5045774/10714920
1611.13/1608.41	c cleaning 48996 clauses out of 98029 with flag 5262540/10764913
1615.87/1613.16	c cleaning 49998 clauses out of 100029 with flag 5484505/10815909
1620.57/1617.84	c cleaning 51001 clauses out of 102030 with flag 5718635/10867908
1625.87/1623.19	c cleaning 51992 clauses out of 104029 with flag 5950186/10920908
1632.77/1630.07	c cleaning 53008 clauses out of 106040 with flag 6156268/10974911
1640.37/1637.63	c cleaning 54013 clauses out of 108030 with flag 6369618/11029909
1647.07/1644.33	c cleaning 54970 clauses out of 110016 with flag 6582395/11085908
1652.62/1649.81	c cleaning 56008 clauses out of 112046 with flag 6830130/11142908
1658.42/1655.66	c cleaning 57005 clauses out of 114038 with flag 7083665/11200908
1666.41/1663.66	c cleaning 57994 clauses out of 116033 with flag 7318577/11259908
1673.21/1670.41	c cleaning 59000 clauses out of 118039 with flag 7565686/11319908
1682.52/1679.74	c cleaning 60001 clauses out of 120040 with flag 7812008/11380909
1692.11/1689.36	c cleaning 61008 clauses out of 122038 with flag 8071414/11442908
1701.04/1698.21	c cleaning 62015 clauses out of 124030 with flag 8318675/11505908
1707.14/1704.32	c cleaning 63000 clauses out of 126018 with flag 8612958/11569911
1714.45/1711.62	c cleaning 63968 clauses out of 128015 with flag 8904364/11634908
1722.64/1719.81	c cleaning 65017 clauses out of 130053 with flag 9178404/11700914
1728.14/1725.32	c cleaning 66005 clauses out of 132032 with flag 9477819/11767910
1733.98/1731.14	c cleaning 66989 clauses out of 134025 with flag 9789590/11835908
1745.49/1742.64	c cleaning 67994 clauses out of 136037 with flag 10055479/11904909
1753.89/1751.03	c cleaning 69002 clauses out of 138042 with flag 10378409/11974908
1763.59/1760.77	c cleaning 70009 clauses out of 140041 with flag 10675240/12045909
1774.52/1771.64	c cleaning 71000 clauses out of 142031 with flag 10961456/12117908
1784.93/1782.05	c cleaning 72003 clauses out of 144033 with flag 11256728/12190910
1794.62/1791.71	c cleaning 72971 clauses out of 146028 with flag 11578568/12264908
1800.03/1797.10	c starts		: 21277
1800.03/1797.10	c conflicts		: 12312436
1800.03/1797.10	c decisions		: 66614530
1800.03/1797.10	c propagations		: 643914297
1800.03/1797.10	c inspects		: 31346837199
1800.03/1797.10	c shortcuts		: 0
1800.03/1797.10	c learnt literals	: 0
1800.03/1797.10	c learnt binary clauses	: 0
1800.03/1797.10	c learnt ternary clauses	: 0
1800.03/1797.10	c learnt constraints	: 12312436
1800.03/1797.10	c ignored constraints	: 0
1800.03/1797.10	c root simplifications	: 0
1800.03/1797.10	c removed literals (reason simplification)	: 0
1800.03/1797.10	c reason swapping (by a shorter reason)	: 0
1800.03/1797.10	c Calls to reduceDB	: 253
1800.03/1797.10	c Number of update (reduction) of LBD	: 6567160
1800.03/1797.10	c Imported unit clauses	: 0
1800.03/1797.10	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.10	c number of learned constraints concerned by reduction	: 0
1800.03/1797.10	c number of learning phase by resolution	: 0
1800.03/1797.10	c number of learning phase by cutting planes	: 0
1800.03/1797.10	c speed (assignments/second)	: 358369.85519151686
1800.03/1797.10	c non guided choices	0
1800.03/1797.13	c learnt constraints type 
1800.03/1797.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 120585
1800.03/1797.13	s SATISFIABLE
1800.03/1797.13	c Found 5 solution(s)
1800.03/1797.13	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 
1800.03/1797.13	c objective function=26
1800.03/1797.13	c Total wall clock time (in seconds): 1797.013

Verifier Data 

OK	26

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-4085189-1465231070/watcher-4085189-1465231070 -o /tmp/evaluation-result-4085189-1465231070/solver-4085189-1465231070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085189-1465231070.opb 

pid=3442
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: 2.27 2.18 2.19 3/194 3445
/proc/meminfo: memFree=29936428/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/3445/stat : 3445 (java) R 3442 3445 32365 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 105039371 9379840 85 33554432000 1073741824 1073778376 140735201788640 140735201785768 240568522734 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2290 101 75 9 0 38 0

[startup+0.100057 s]
/proc/loadavg: 2.27 2.18 2.19 3/194 3445
/proc/meminfo: memFree=29936428/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 4410 0 1 0 8 2 0 0 20 0 18 0 105039371 9787879424 6036 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200269 s]
/proc/loadavg: 2.27 2.18 2.19 3/194 3445
/proc/meminfo: memFree=29936428/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 4943 0 1 0 25 2 0 0 20 0 18 0 105039371 9787879424 6983 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2389619 6983 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300278 s]
/proc/loadavg: 2.27 2.18 2.19 3/194 3445
/proc/meminfo: memFree=29936428/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 7713 0 1 0 51 3 0 0 20 0 18 0 105039371 9787879424 9682 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2389619 9682 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700228 s]
/proc/loadavg: 2.27 2.18 2.19 3/194 3445
/proc/meminfo: memFree=29936428/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 10451 0 1 0 132 3 0 0 20 0 19 0 105039371 9856040960 11247 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2406260 11247 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.27 2.18 2.19 3/213 3464
/proc/meminfo: memFree=29897472/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 10463 0 1 0 217 4 0 0 20 0 19 0 105039371 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2406260 12278 2267 9 0 2396937 0
[pid=3445/tid=3447] ppid=3442 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (java) R 3442 3445 32365 0 -1 4202560 2421 0 1 0 144 2 0 0 20 0 19 0 105039371 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976732635688 139976558325388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976694127016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3449] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3449/stat : 3449 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976693074472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3450] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3450/stat : 3450 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976692021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3451] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3451/stat : 3451 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976690968872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3452] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3452/stat : 3452 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976689916840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3453] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3453/stat : 3453 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976688864296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3454] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3454/stat : 3454 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976687811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3455] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3455/stat : 3455 (java) S 3442 3445 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976686758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3456] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3456/stat : 3456 (java) S 3442 3445 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976556665192 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3457] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3457/stat : 3457 (java) S 3442 3445 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976555611512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3458] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3458/stat : 3458 (java) S 3442 3445 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976554558344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3459] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3459/stat : 3459 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976553507088 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3460] ppid=3442 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/3445/task/3460/stat : 3460 (java) S 3442 3445 32365 0 -1 4202560 2201 0 0 0 32 0 0 0 20 0 19 0 105039377 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976552454968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3461] ppid=3442 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/3445/task/3461/stat : 3461 (java) S 3442 3445 32365 0 -1 4202560 4563 0 0 0 38 2 0 0 20 0 19 0 105039377 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976551402424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3462] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3462/stat : 3462 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976550349560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3463] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3463/stat : 3463 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976549297224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3464] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3464/stat : 3464 (java) S 3442 3445 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105039403 9856040960 12278 33554432000 1073741824 1073778376 140735201788640 139976548242472 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.25 2.18 2.18 3/213 3464
/proc/meminfo: memFree=29893004/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 10467 0 1 0 382 4 0 0 20 0 19 0 105039371 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2406260 13814 2267 9 0 2396937 0
[pid=3445/tid=3447] ppid=3442 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (java) R 3442 3445 32365 0 -1 4202560 2424 0 1 0 303 2 0 0 20 0 19 0 105039371 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976732626624 139976558353250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976694127016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3449] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3449/stat : 3449 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976693074472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3450] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3450/stat : 3450 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976692021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3451] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3451/stat : 3451 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976690968872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3452] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3452/stat : 3452 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976689916840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3453] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3453/stat : 3453 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976688864296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3454] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3454/stat : 3454 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976687811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3455] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3455/stat : 3455 (java) S 3442 3445 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976686758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3456] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3456/stat : 3456 (java) S 3442 3445 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976556665192 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3457] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3457/stat : 3457 (java) S 3442 3445 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976555611512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3458] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3458/stat : 3458 (java) S 3442 3445 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976554558344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3459] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3459/stat : 3459 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976553507088 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3460] ppid=3442 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/3445/task/3460/stat : 3460 (java) S 3442 3445 32365 0 -1 4202560 2202 0 0 0 36 0 0 0 20 0 19 0 105039377 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976552454968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3461] ppid=3442 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/3445/task/3461/stat : 3461 (java) S 3442 3445 32365 0 -1 4202560 4563 0 0 0 38 2 0 0 20 0 19 0 105039377 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976551402424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3462] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3462/stat : 3462 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976550349560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3463] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3463/stat : 3463 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976549297224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3464] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3464/stat : 3464 (java) S 3442 3445 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105039403 9856040960 13814 33554432000 1073741824 1073778376 140735201788640 139976548242472 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.25 2.18 2.18 3/213 3464
/proc/meminfo: memFree=29881132/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9625040 CPUtime=7.05 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 10475 0 1 0 701 4 0 0 20 0 19 0 105039371 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2406260 16669 2268 9 0 2396937 0
[pid=3445/tid=3447] ppid=3442 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (java) R 3442 3445 32365 0 -1 4202560 2431 0 1 0 622 2 0 0 20 0 19 0 105039371 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976732626624 139976558351700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976694127016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3449] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3449/stat : 3449 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976693074472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3450] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3450/stat : 3450 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976692021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3451] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3451/stat : 3451 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976690968872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3452] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3452/stat : 3452 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976689916840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3453] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3453/stat : 3453 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976688864296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3454] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3454/stat : 3454 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976687811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3455] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3455/stat : 3455 (java) S 3442 3445 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105039373 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976686758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3456] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3456/stat : 3456 (java) S 3442 3445 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976556665192 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3457] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3457/stat : 3457 (java) S 3442 3445 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976555611512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3458] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3458/stat : 3458 (java) S 3442 3445 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976554558344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3459] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3459/stat : 3459 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976553507088 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3460] ppid=3442 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/3445/task/3460/stat : 3460 (java) S 3442 3445 32365 0 -1 4202560 2202 0 0 0 36 0 0 0 20 0 19 0 105039377 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976552454968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3461] ppid=3442 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/3445/task/3461/stat : 3461 (java) S 3442 3445 32365 0 -1 4202560 4563 0 0 0 38 2 0 0 20 0 19 0 105039377 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976551402424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3462] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3462/stat : 3462 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976550349560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3463] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3463/stat : 3463 (java) S 3442 3445 32365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976549297224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3464] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3464/stat : 3464 (java) S 3442 3445 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105039403 9856040960 16669 33554432000 1073741824 1073778376 140735201788640 139976548242472 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9625040


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

[pid=3445/tid=3464] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3464/stat : 3464 (java) S 3442 3445 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105039403 9856040960 130152 33554432000 1073741824 1073778376 140735201788640 139976548242472 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.14
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.35 2.25 2.19 3/213 3597
/proc/meminfo: memFree=29144100/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9625040 CPUtime=1785.22 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 13167 0 1 0 178453 69 0 0 20 0 19 0 105039371 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2406260 128167 2282 9 0 2396937 0
[pid=3445/tid=3447] ppid=3442 vsize=9625040 CPUtime=1776.75 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (java) R 3442 3445 32365 0 -1 4202560 2511 0 1 0 177641 34 0 0 20 0 19 0 105039371 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976732626688 139976558352270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (java) S 3442 3445 32365 0 -1 4202560 151 0 0 0 29 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976694127016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3449] ppid=3442 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/3445/task/3449/stat : 3449 (java) S 3442 3445 32365 0 -1 4202560 162 0 0 0 29 4 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976693074472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3450] ppid=3442 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/3445/task/3450/stat : 3450 (java) S 3442 3445 32365 0 -1 4202560 174 0 0 0 26 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976692021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3451] ppid=3442 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/3445/task/3451/stat : 3451 (java) S 3442 3445 32365 0 -1 4202560 327 0 0 0 35 8 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976690968872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3452] ppid=3442 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/3445/task/3452/stat : 3452 (java) S 3442 3445 32365 0 -1 4202560 382 0 0 0 25 6 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976689916840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3453] ppid=3442 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/3445/task/3453/stat : 3453 (java) S 3442 3445 32365 0 -1 4202560 285 0 0 0 31 6 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976688864296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3454] ppid=3442 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/3445/task/3454/stat : 3454 (java) S 3442 3445 32365 0 -1 4202560 222 0 0 0 28 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976687811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3455] ppid=3442 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/3445/task/3455/stat : 3455 (java) S 3442 3445 32365 0 -1 4202560 486 0 0 0 39 7 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976686758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3456] ppid=3442 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/3445/task/3456/stat : 3456 (java) S 3442 3445 32365 0 -1 4202560 121 0 0 0 0 2 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976556665192 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3457] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3457/stat : 3457 (java) S 3442 3445 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976555611512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3458] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3458/stat : 3458 (java) S 3442 3445 32365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976554558344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3459] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3459/stat : 3459 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976553507088 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3460] ppid=3442 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/3445/task/3460/stat : 3460 (java) S 3442 3445 32365 0 -1 4202560 2248 0 0 0 39 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976552454968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3461] ppid=3442 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/3445/task/3461/stat : 3461 (java) S 3442 3445 32365 0 -1 4202560 4729 0 0 0 42 2 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976551402424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3462] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3462/stat : 3462 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976550349560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3463] ppid=3442 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/3445/task/3463/stat : 3463 (java) S 3442 3445 32365 0 -1 4202560 104 0 0 0 20 19 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976549297224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3464] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3464/stat : 3464 (java) S 3442 3445 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105039403 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976548242472 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.22
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.30 2.24 2.19 3/213 3597
/proc/meminfo: memFree=29144276/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 13167 0 1 0 179934 69 0 0 20 0 19 0 105039371 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2406260 128167 2282 9 0 2396937 0
[pid=3445/tid=3447] ppid=3442 vsize=9625040 CPUtime=1791.51 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (java) R 3442 3445 32365 0 -1 4202560 2511 0 1 0 179117 34 0 0 20 0 19 0 105039371 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976732626688 139976558332405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (java) S 3442 3445 32365 0 -1 4202560 151 0 0 0 29 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976694127016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3449] ppid=3442 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/3445/task/3449/stat : 3449 (java) S 3442 3445 32365 0 -1 4202560 162 0 0 0 29 4 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976693074472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3450] ppid=3442 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/3445/task/3450/stat : 3450 (java) S 3442 3445 32365 0 -1 4202560 174 0 0 0 26 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976692021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3451] ppid=3442 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/3445/task/3451/stat : 3451 (java) S 3442 3445 32365 0 -1 4202560 327 0 0 0 35 8 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976690968872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3452] ppid=3442 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/3445/task/3452/stat : 3452 (java) S 3442 3445 32365 0 -1 4202560 382 0 0 0 25 6 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976689916840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3453] ppid=3442 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/3445/task/3453/stat : 3453 (java) S 3442 3445 32365 0 -1 4202560 285 0 0 0 31 6 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976688864296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3454] ppid=3442 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/3445/task/3454/stat : 3454 (java) S 3442 3445 32365 0 -1 4202560 222 0 0 0 28 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976687811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3455] ppid=3442 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/3445/task/3455/stat : 3455 (java) S 3442 3445 32365 0 -1 4202560 486 0 0 0 39 7 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976686758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3456] ppid=3442 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/3445/task/3456/stat : 3456 (java) S 3442 3445 32365 0 -1 4202560 121 0 0 0 0 2 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976556665192 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3457] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3457/stat : 3457 (java) S 3442 3445 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976555611512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3458] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3458/stat : 3458 (java) S 3442 3445 32365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976554558344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3459] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3459/stat : 3459 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976553507088 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3460] ppid=3442 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/3445/task/3460/stat : 3460 (java) S 3442 3445 32365 0 -1 4202560 2248 0 0 0 39 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976552454968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3461] ppid=3442 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/3445/task/3461/stat : 3461 (java) S 3442 3445 32365 0 -1 4202560 4729 0 0 0 42 2 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976551402424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3462] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3462/stat : 3462 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976550349560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3463] ppid=3442 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/3445/task/3463/stat : 3463 (java) S 3442 3445 32365 0 -1 4202560 104 0 0 0 20 20 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976549297224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3464] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3464/stat : 3464 (java) S 3442 3445 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105039403 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976548242472 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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 3445 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.1 s]
/proc/loadavg: 2.30 2.24 2.19 3/213 3597
/proc/meminfo: memFree=29144276/32872528 swapFree=15844/1710320
[pid=3445] ppid=3442 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/3445/stat : 3445 (java) S 3442 3445 32365 0 -1 4202496 13167 0 1 0 179934 69 0 0 20 0 19 0 105039371 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 140735201779776 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 2406260 128167 2282 9 0 2396937 0
[pid=3445/tid=3447] ppid=3442 vsize=9625040 CPUtime=1791.51 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (java) R 3442 3445 32365 0 -1 4202560 2511 0 1 0 179117 34 0 0 20 0 19 0 105039371 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976732626688 139976558332405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (java) S 3442 3445 32365 0 -1 4202560 151 0 0 0 29 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976694127016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3449] ppid=3442 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/3445/task/3449/stat : 3449 (java) S 3442 3445 32365 0 -1 4202560 162 0 0 0 29 4 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976693074472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3450] ppid=3442 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/3445/task/3450/stat : 3450 (java) S 3442 3445 32365 0 -1 4202560 174 0 0 0 26 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976692021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3451] ppid=3442 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/3445/task/3451/stat : 3451 (java) S 3442 3445 32365 0 -1 4202560 327 0 0 0 35 8 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976690968872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3452] ppid=3442 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/3445/task/3452/stat : 3452 (java) S 3442 3445 32365 0 -1 4202560 382 0 0 0 25 6 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976689916840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3453] ppid=3442 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/3445/task/3453/stat : 3453 (java) S 3442 3445 32365 0 -1 4202560 285 0 0 0 31 6 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976688864296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3454] ppid=3442 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/3445/task/3454/stat : 3454 (java) S 3442 3445 32365 0 -1 4202560 222 0 0 0 28 5 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976687811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3455] ppid=3442 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/3445/task/3455/stat : 3455 (java) S 3442 3445 32365 0 -1 4202560 486 0 0 0 39 7 0 0 20 0 19 0 105039373 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976686758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3456] ppid=3442 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/3445/task/3456/stat : 3456 (java) S 3442 3445 32365 0 -1 4202560 121 0 0 0 0 2 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976556665192 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3457] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3457/stat : 3457 (java) S 3442 3445 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976555611512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3458] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3458/stat : 3458 (java) S 3442 3445 32365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105039374 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976554558344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3459] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3459/stat : 3459 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976553507088 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3460] ppid=3442 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/3445/task/3460/stat : 3460 (java) S 3442 3445 32365 0 -1 4202560 2248 0 0 0 39 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976552454968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3461] ppid=3442 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/3445/task/3461/stat : 3461 (java) S 3442 3445 32365 0 -1 4202560 4729 0 0 0 42 2 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976551402424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3462] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3462/stat : 3462 (java) S 3442 3445 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976550349560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3463] ppid=3442 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/3445/task/3463/stat : 3463 (java) S 3442 3445 32365 0 -1 4202560 104 0 0 0 20 20 0 0 20 0 19 0 105039377 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976549297224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3445/tid=3464] ppid=3442 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3464/stat : 3464 (java) S 3442 3445 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105039403 9856040960 128167 33554432000 1073741824 1073778376 140735201788640 139976548242472 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3445 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=799149
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=191818
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.14
CPU time (s): 1800.03
CPU user time (s): 1799.34
CPU system time (s): 0.69
CPU usage (%): 100.161
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.8
system time used= 1.19182
maximum resident set size= 548496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13208
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38909
involuntary context switches= 17245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.75852 second user time and 13.467 second system time

The end

Launcher Data 

Begin job on node146 at 2016-06-06 18:37:50
IDJOB=4085189
IDBENCH=2049
IDSOLVER=2546
FILE ID=node146/4085189-1465231070
RUNJOBID= node146-1465217554-32381
PBS_JOBID= 19843206
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085189-1465231070/watcher-4085189-1465231070 -o /tmp/evaluation-result-4085189-1465231070/solver-4085189-1465231070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085189-1465231070.opb

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

MD5SUM BENCH= 931342e76f648ae82c047d164917a326
RANDOM SEED=278220378

node146.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.799
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	: 5333.59
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.799
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.799
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.799
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.56
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.799
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.799
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.56
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.799
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.55
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.799
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:        29936824 kB
Buffers:           23484 kB
Cached:           248332 kB
SwapCached:         1468 kB
Active:           303156 kB
Inactive:         211212 kB
Active(anon):     243424 kB
Inactive(anon):     1608 kB
Active(file):      59732 kB
Inactive(file):   209604 kB
Unevictable:     1710320 kB
Mlocked:           15844 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:               868 kB
Writeback:             4 kB
AnonPages:       1990972 kB
Mapped:            15368 kB
Shmem:                 0 kB
Slab:             568740 kB
SReclaimable:      12276 kB
SUnreclaim:       556464 kB
KernelStack:        1728 kB
PageTables:         8104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2398716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1955840 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= 71732 MiB
End job on node146 at 2016-06-06 19:07:47