Trace number 4103252

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)89417487 1800.02 1771.85

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
MD5SUMa6e8ee977a9ad5045237a2abc87084b8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark89417487
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 72779466
Optimality of the best value was proved NO
Number of variables2976
Total number of constraints116
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 2976
Biggest coefficient in the objective function 412316860416
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 35253236940736
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 412316860416
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 35253236940736
Number of bits of the biggest sum of numbers46
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4103252-1466234967.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.30/0.28	c ... done. Wall clock time 0.166s.
0.30/0.28	c declared #vars     2976
0.30/0.28	c #constraints  136
0.30/0.28	c constraints type 
0.30/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 136
0.30/0.28	c 136 constraints processed.
0.30/0.28	c objective function length is 2976 literals
1.02/0.50	c SATISFIABLE
1.02/0.50	c OPTIMIZING...
1.02/0.50	c Got one! Elapsed wall clock time (in seconds):0.389
1.02/0.50	o 134439220
1.26/0.71	c Got one! Elapsed wall clock time (in seconds):0.596
1.26/0.71	o 128490925
1.26/0.78	c Got one! Elapsed wall clock time (in seconds):0.669
1.26/0.78	o 121982290
1.43/0.82	c Got one! Elapsed wall clock time (in seconds):0.707
1.43/0.82	o 113623974
1.43/0.85	c Got one! Elapsed wall clock time (in seconds):0.733
1.43/0.85	o 102838971
1.43/0.89	c Got one! Elapsed wall clock time (in seconds):0.781
1.43/0.89	o 98986022
2.17/1.34	c cleaning 3599 clauses out of 7212 with flag 9548/7212
3.03/2.10	c cleaning 4799 clauses out of 9612 with flag 24450/13211
3.83/2.99	c cleaning 5894 clauses out of 11814 with flag 42021/20212
5.04/4.15	c cleaning 6946 clauses out of 13919 with flag 61842/28211
6.25/5.39	c cleaning 7972 clauses out of 15973 with flag 83852/37211
7.96/7.03	c cleaning 8982 clauses out of 18001 with flag 108499/47211
9.09/8.12	c Got one! Elapsed wall clock time (in seconds):8.011
9.09/8.12	o 91709132
10.02/9.08	c cleaning 10976 clauses out of 21966 with flag 16481/60158
11.12/10.15	c cleaning 8487 clauses out of 16991 with flag 37494/66159
12.37/11.34	c cleaning 7743 clauses out of 15501 with flag 61230/73156
13.56/12.53	c cleaning 7864 clauses out of 15758 with flag 91927/81156
14.76/13.79	c cleaning 8429 clauses out of 16894 with flag 122916/90156
16.39/15.35	c cleaning 9230 clauses out of 18466 with flag 159437/100157
18.09/17.08	c cleaning 10116 clauses out of 20237 with flag 199235/111158
20.02/18.95	c cleaning 11056 clauses out of 22120 with flag 242733/123157
22.24/21.12	c cleaning 12027 clauses out of 24066 with flag 289975/136159
24.69/23.57	c cleaning 13013 clauses out of 26036 with flag 342302/150156
27.21/26.06	c cleaning 14005 clauses out of 28023 with flag 402857/165156
29.97/28.71	c cleaning 15008 clauses out of 30019 with flag 458683/181157
32.82/31.56	c cleaning 15996 clauses out of 32010 with flag 522321/198156
35.88/34.54	c cleaning 16999 clauses out of 34014 with flag 595747/216156
39.22/37.87	c cleaning 18003 clauses out of 36015 with flag 673011/235156
42.75/41.39	c cleaning 19000 clauses out of 38014 with flag 737476/255158
46.50/45.10	c cleaning 19997 clauses out of 40012 with flag 803922/276156
50.53/49.02	c cleaning 21004 clauses out of 42015 with flag 875540/298156
54.88/53.34	c cleaning 21997 clauses out of 44011 with flag 948934/321156
59.35/57.76	c cleaning 23000 clauses out of 46014 with flag 1027524/345156
64.30/62.67	c cleaning 24004 clauses out of 48014 with flag 1111892/370156
69.58/67.81	c cleaning 24989 clauses out of 50012 with flag 1195707/396158
74.58/72.74	c cleaning 26002 clauses out of 52021 with flag 1280006/423156
80.18/78.23	c cleaning 27010 clauses out of 54022 with flag 1375242/451159
85.37/83.36	c cleaning 28005 clauses out of 56011 with flag 1473333/480158
91.16/89.06	c cleaning 28997 clauses out of 58004 with flag 1568318/510156
97.55/95.32	c cleaning 29999 clauses out of 60008 with flag 1666589/541157
104.01/101.72	c cleaning 31001 clauses out of 62011 with flag 1775409/573159
110.70/108.32	c cleaning 31998 clauses out of 64007 with flag 1880907/606156
117.05/114.53	c cleaning 32997 clauses out of 66009 with flag 1984830/640156
123.90/121.28	c cleaning 34000 clauses out of 68015 with flag 2094665/675159
130.47/127.69	c cleaning 34989 clauses out of 70014 with flag 2216095/711158
137.26/134.31	c cleaning 36005 clauses out of 72024 with flag 2329635/748157
144.46/141.42	c cleaning 37001 clauses out of 74018 with flag 2451510/786156
151.75/148.67	c cleaning 38006 clauses out of 76017 with flag 2571882/825156
160.07/156.83	c cleaning 38996 clauses out of 78011 with flag 2695938/865156
168.01/164.65	c cleaning 40006 clauses out of 80016 with flag 2822246/906157
176.22/172.70	c cleaning 40997 clauses out of 82009 with flag 2953225/948156
184.27/180.67	c cleaning 41987 clauses out of 84012 with flag 3085626/991156
192.79/189.03	c cleaning 43005 clauses out of 86026 with flag 3226888/1035157
201.13/197.22	c cleaning 43991 clauses out of 88020 with flag 3385291/1080156
209.97/205.96	c cleaning 45012 clauses out of 90030 with flag 3543216/1126157
219.76/215.60	c cleaning 46000 clauses out of 92017 with flag 3724996/1173156
229.48/225.19	c cleaning 46997 clauses out of 94017 with flag 3894569/1221156
239.91/235.42	c cleaning 47993 clauses out of 96020 with flag 4057523/1270156
240.62/236.16	c Got one! Elapsed wall clock time (in seconds):236.051
240.62/236.16	o 90061252
240.82/236.34	c cleaning 26630 clauses out of 53263 with flag 3454/1275392
241.72/237.24	c cleaning 16308 clauses out of 32633 with flag 21811/1281392
242.74/238.21	c cleaning 11649 clauses out of 23325 with flag 44667/1288392
243.87/239.33	c cleaning 9837 clauses out of 19681 with flag 71592/1296397
245.08/240.50	c cleaning 9413 clauses out of 18839 with flag 99327/1305392
246.40/241.83	c cleaning 9697 clauses out of 19425 with flag 129791/1315391
247.91/243.37	c cleaning 10359 clauses out of 20729 with flag 163006/1326392
249.57/244.93	c cleaning 11185 clauses out of 22371 with flag 198152/1338393
251.29/246.69	c cleaning 12090 clauses out of 24186 with flag 237458/1351393
253.23/248.58	c cleaning 13048 clauses out of 26095 with flag 281270/1365392
255.45/250.75	c cleaning 14021 clauses out of 28049 with flag 327389/1380394
257.68/252.96	c cleaning 15005 clauses out of 30025 with flag 377102/1396391
260.14/255.38	c cleaning 16006 clauses out of 32021 with flag 430061/1413392
262.89/258.01	c cleaning 16997 clauses out of 34014 with flag 485306/1431391
266.06/261.15	c cleaning 18008 clauses out of 36024 with flag 541310/1450398
269.30/264.37	c cleaning 19001 clauses out of 38009 with flag 603163/1470391
272.76/267.74	c cleaning 20000 clauses out of 40009 with flag 667841/1491392
276.71/271.63	c cleaning 20997 clauses out of 42010 with flag 736828/1513393
280.75/275.63	c cleaning 21999 clauses out of 44013 with flag 807761/1536393
284.61/279.42	c cleaning 22992 clauses out of 46015 with flag 884436/1560394
288.76/283.59	c cleaning 24008 clauses out of 48022 with flag 968140/1585393
293.15/287.87	c cleaning 24999 clauses out of 50013 with flag 1053555/1611392
297.93/292.56	c cleaning 26000 clauses out of 52014 with flag 1141193/1638392
303.12/297.62	c cleaning 27003 clauses out of 54014 with flag 1227498/1666392
308.91/303.33	c cleaning 27996 clauses out of 56010 with flag 1329338/1695391
314.35/308.70	c cleaning 28998 clauses out of 58015 with flag 1426944/1725392
320.52/314.84	c cleaning 30002 clauses out of 60026 with flag 1536986/1756401
325.28/319.55	c cleaning 30992 clauses out of 62014 with flag 1650655/1788391
331.17/325.32	c cleaning 32011 clauses out of 64022 with flag 1764224/1821391
336.86/330.92	c cleaning 32995 clauses out of 66011 with flag 1879271/1855391
343.57/337.53	c cleaning 34000 clauses out of 68016 with flag 1995980/1890391
350.96/344.87	c cleaning 35007 clauses out of 70020 with flag 2113944/1926395
359.17/352.96	c cleaning 36003 clauses out of 72010 with flag 2235725/1963392
367.41/361.08	c cleaning 36994 clauses out of 74008 with flag 2355969/2001393
376.11/369.68	c cleaning 37996 clauses out of 76012 with flag 2479208/2040391
384.68/378.03	c cleaning 38994 clauses out of 78016 with flag 2612050/2080391
393.12/386.39	c cleaning 40010 clauses out of 80023 with flag 2746019/2121392
402.05/395.15	c cleaning 40997 clauses out of 82012 with flag 2889890/2163391
411.45/404.40	c cleaning 41999 clauses out of 84017 with flag 3038443/2206393
421.51/414.34	c cleaning 43001 clauses out of 86019 with flag 3189071/2250394
432.39/425.09	c cleaning 44009 clauses out of 88020 with flag 3343640/2295396
442.19/434.65	c cleaning 45002 clauses out of 90008 with flag 3498890/2341393
452.28/444.56	c cleaning 46003 clauses out of 92005 with flag 3668541/2388392
462.84/454.93	c cleaning 46999 clauses out of 94005 with flag 3815881/2436395
473.98/465.93	c cleaning 48002 clauses out of 96005 with flag 3973828/2485394
485.82/477.68	c cleaning 48989 clauses out of 98001 with flag 4139393/2535392
497.43/489.15	c cleaning 49992 clauses out of 100011 with flag 4295344/2586391
510.54/502.00	c cleaning 51001 clauses out of 102020 with flag 4483778/2638392
523.44/514.77	c cleaning 51996 clauses out of 104018 with flag 4670026/2691391
536.64/527.71	c cleaning 53004 clauses out of 106022 with flag 4864875/2745391
550.28/541.20	c cleaning 53997 clauses out of 108018 with flag 5067665/2800391
562.94/553.59	c cleaning 55004 clauses out of 110023 with flag 5257596/2856393
575.78/566.21	c cleaning 55999 clauses out of 112018 with flag 5453006/2913392
587.41/577.80	c cleaning 56991 clauses out of 114018 with flag 5649627/2971391
600.37/590.55	c cleaning 58007 clauses out of 116027 with flag 5855642/3030391
614.47/604.49	c cleaning 59002 clauses out of 118020 with flag 6072841/3090391
630.88/620.64	c cleaning 60009 clauses out of 120020 with flag 6287417/3151393
646.86/636.34	c cleaning 60996 clauses out of 122009 with flag 6499880/3213391
662.09/651.36	c cleaning 61996 clauses out of 124013 with flag 6715847/3276391
677.42/666.48	c cleaning 62995 clauses out of 126018 with flag 6936060/3340392
693.12/681.81	c cleaning 64007 clauses out of 128023 with flag 7150568/3405392
709.87/698.30	c cleaning 65005 clauses out of 130017 with flag 7359776/3471393
726.78/714.99	c cleaning 65994 clauses out of 132018 with flag 7579147/3538399
743.88/731.74	c cleaning 67006 clauses out of 134018 with flag 7805811/3606393
763.01/750.52	c cleaning 67997 clauses out of 136012 with flag 8052038/3675393
782.38/769.64	c cleaning 69001 clauses out of 138015 with flag 8307449/3745393
801.20/788.12	c cleaning 69997 clauses out of 140012 with flag 8558735/3816391
819.86/806.59	c cleaning 71001 clauses out of 142015 with flag 8809520/3888391
838.55/824.99	c cleaning 71996 clauses out of 144014 with flag 9039617/3961391
857.88/843.90	c cleaning 73001 clauses out of 146018 with flag 9283502/4035391
877.15/862.94	c cleaning 74001 clauses out of 148018 with flag 9530839/4110392
898.73/884.14	c cleaning 75003 clauses out of 150017 with flag 9773963/4186392
920.92/906.00	c cleaning 75996 clauses out of 152016 with flag 10018965/4263394
941.31/926.13	c cleaning 76983 clauses out of 154017 with flag 10269523/4341391
961.94/946.40	c cleaning 78016 clauses out of 156037 with flag 10532368/4420394
983.51/967.76	c cleaning 78996 clauses out of 158018 with flag 10808490/4500391
1006.06/989.97	c cleaning 79986 clauses out of 160022 with flag 11079921/4581391
1028.82/1012.36	c cleaning 81008 clauses out of 162037 with flag 11383033/4663392
1050.80/1034.04	c cleaning 82001 clauses out of 164028 with flag 11667131/4746391
1074.72/1057.66	c cleaning 82994 clauses out of 166027 with flag 11974531/4830391
1099.29/1081.81	c cleaning 83990 clauses out of 168033 with flag 12288179/4915391
1125.26/1107.48	c cleaning 85014 clauses out of 170044 with flag 12685296/5001392
1151.30/1133.01	c cleaning 86010 clauses out of 172031 with flag 13077253/5088393
1178.23/1159.64	c cleaning 86999 clauses out of 174021 with flag 13453111/5176393
1203.87/1184.90	c cleaning 88002 clauses out of 176021 with flag 13752131/5265392
1223.46/1204.21	c Got one! Elapsed wall clock time (in seconds):1204.101
1223.46/1204.21	o 89996481
1225.62/1206.36	c cleaning 80963 clauses out of 161940 with flag 19123/5339313
1227.53/1208.21	c cleaning 43487 clauses out of 86975 with flag 39745/5345311
1229.16/1209.81	c cleaning 25233 clauses out of 50486 with flag 65600/5352309
1230.93/1211.56	c cleaning 16620 clauses out of 33253 with flag 96915/5360309
1233.07/1213.63	c cleaning 12805 clauses out of 25634 with flag 133145/5369310
1235.23/1215.78	c cleaning 11409 clauses out of 22828 with flag 172058/5379309
1237.27/1217.75	c cleaning 11201 clauses out of 22420 with flag 211615/5390310
1239.38/1219.90	c cleaning 11599 clauses out of 23218 with flag 252541/5402309
1241.62/1222.03	c cleaning 12285 clauses out of 24619 with flag 299932/5415309
1244.05/1224.44	c cleaning 13166 clauses out of 26335 with flag 349680/5429310
1246.68/1227.04	c cleaning 14077 clauses out of 28169 with flag 400540/5444310
1249.42/1229.75	c cleaning 15035 clauses out of 30091 with flag 455519/5460309
1252.85/1233.17	c cleaning 16013 clauses out of 32056 with flag 514386/5477309
1256.10/1236.39	c cleaning 17022 clauses out of 34044 with flag 574769/5495310
1259.75/1239.95	c cleaning 18011 clauses out of 36027 with flag 643147/5514315
1263.82/1243.90	c cleaning 19005 clauses out of 38012 with flag 717246/5534311
1267.76/1247.80	c cleaning 19996 clauses out of 40006 with flag 792719/5555310
1271.71/1251.77	c cleaning 20999 clauses out of 42009 with flag 873560/5577309
1275.45/1255.42	c cleaning 21993 clauses out of 44010 with flag 954537/5600309
1279.92/1259.82	c cleaning 23003 clauses out of 46017 with flag 1051746/5624309
1284.68/1264.54	c cleaning 24006 clauses out of 48014 with flag 1153864/5649309
1289.96/1269.70	c cleaning 24996 clauses out of 50008 with flag 1256298/5675309
1296.02/1275.74	c cleaning 26006 clauses out of 52012 with flag 1367128/5702309
1302.13/1281.72	c cleaning 27000 clauses out of 54009 with flag 1476615/5730312
1308.14/1287.68	c cleaning 28002 clauses out of 56007 with flag 1597312/5759310
1314.29/1293.63	c cleaning 29001 clauses out of 58005 with flag 1728400/5789310
1320.48/1299.74	c cleaning 29993 clauses out of 60003 with flag 1835276/5820309
1326.48/1305.64	c cleaning 30994 clauses out of 62011 with flag 1943837/5852310
1332.93/1312.09	c cleaning 31996 clauses out of 64016 with flag 2058701/5885309
1339.92/1318.92	c cleaning 33001 clauses out of 66022 with flag 2173851/5919311
1346.78/1325.78	c cleaning 33986 clauses out of 68019 with flag 2288763/5954309
1353.45/1332.37	c cleaning 35014 clauses out of 70033 with flag 2409318/5990309
1360.63/1339.42	c cleaning 36004 clauses out of 72020 with flag 2554313/6027310
1361.73/1340.56	c Got one! Elapsed wall clock time (in seconds):1340.443
1361.73/1340.56	o 89417487
1362.77/1341.58	c cleaning 23456 clauses out of 46930 with flag 18735/6038224
1363.89/1342.65	c cleaning 14732 clauses out of 29474 with flag 41038/6044224
1365.21/1343.93	c cleaning 10860 clauses out of 21743 with flag 67630/6051225
1366.74/1345.44	c cleaning 9433 clauses out of 18882 with flag 95011/6059224
1368.15/1346.85	c cleaning 9215 clauses out of 18449 with flag 126365/6068224
1369.67/1348.37	c cleaning 9613 clauses out of 19234 with flag 162897/6078224
1371.72/1350.30	c cleaning 10305 clauses out of 20622 with flag 205875/6089225
1373.86/1352.41	c cleaning 11158 clauses out of 22317 with flag 249106/6101225
1375.93/1354.49	c cleaning 12073 clauses out of 24161 with flag 294495/6114227
1378.17/1356.67	c cleaning 13028 clauses out of 26085 with flag 344812/6128224
1380.60/1359.01	c cleaning 14018 clauses out of 28057 with flag 404139/6143224
1383.23/1361.67	c cleaning 15014 clauses out of 30039 with flag 469912/6159224
1385.76/1364.12	c cleaning 16008 clauses out of 32026 with flag 537264/6176225
1388.60/1366.99	c cleaning 17002 clauses out of 34018 with flag 625027/6194225
1392.27/1370.60	c cleaning 18000 clauses out of 36015 with flag 695064/6213224
1396.16/1374.35	c cleaning 19020 clauses out of 38039 with flag 762997/6233248
1400.43/1378.54	c cleaning 19980 clauses out of 39995 with flag 835131/6254224
1404.78/1382.90	c cleaning 21001 clauses out of 42019 with flag 908856/6276228
1409.24/1387.26	c cleaning 22002 clauses out of 44017 with flag 984841/6299227
1413.82/1391.78	c cleaning 22998 clauses out of 46014 with flag 1064189/6323226
1418.62/1396.45	c cleaning 24003 clauses out of 48014 with flag 1152900/6348224
1423.73/1401.42	c cleaning 25003 clauses out of 50011 with flag 1241487/6374224
1428.81/1406.43	c cleaning 25994 clauses out of 52008 with flag 1331307/6401224
1434.19/1411.71	c cleaning 27000 clauses out of 54016 with flag 1432874/6429226
1439.89/1417.37	c cleaning 28003 clauses out of 56015 with flag 1533288/6458225
1446.02/1423.39	c cleaning 29002 clauses out of 58011 with flag 1631505/6488224
1451.91/1429.13	c cleaning 29986 clauses out of 60009 with flag 1727235/6519224
1457.46/1434.63	c cleaning 31009 clauses out of 62023 with flag 1822923/6551224
1464.14/1441.21	c cleaning 31997 clauses out of 64016 with flag 1923273/6584226
1470.73/1447.75	c cleaning 33008 clauses out of 66017 with flag 2030424/6618224
1476.70/1453.63	c cleaning 33999 clauses out of 68009 with flag 2139072/6653224
1482.89/1459.72	c cleaning 35005 clauses out of 70012 with flag 2250478/6689226
1488.86/1465.60	c cleaning 35996 clauses out of 72005 with flag 2363179/6726224
1496.08/1472.75	c cleaning 36994 clauses out of 74009 with flag 2484553/6764224
1503.61/1480.16	c cleaning 38005 clauses out of 76016 with flag 2608037/6803225
1511.14/1487.55	c cleaning 38998 clauses out of 78011 with flag 2732680/6843225
1519.03/1495.36	c cleaning 40007 clauses out of 80014 with flag 2859922/6884226
1527.85/1503.99	c cleaning 41004 clauses out of 82018 with flag 2988675/6926237
1537.00/1512.91	c cleaning 41996 clauses out of 84001 with flag 3120019/6969224
1545.41/1521.21	c cleaning 43001 clauses out of 86008 with flag 3262938/7013227
1553.98/1529.69	c cleaning 43996 clauses out of 88005 with flag 3407941/7058225
1562.48/1538.00	c cleaning 45000 clauses out of 90009 with flag 3556824/7104225
1572.14/1547.53	c cleaning 45999 clauses out of 92010 with flag 3708906/7151226
1582.29/1557.53	c cleaning 46995 clauses out of 94010 with flag 3868051/7199225
1591.73/1566.89	c cleaning 47982 clauses out of 96014 with flag 4029150/7248224
1601.98/1576.98	c cleaning 48992 clauses out of 98032 with flag 4175972/7298224
1612.84/1587.62	c cleaning 50005 clauses out of 100041 with flag 4335442/7349225
1625.26/1599.89	c cleaning 51007 clauses out of 102036 with flag 4499832/7401225
1637.49/1611.81	c cleaning 52005 clauses out of 104028 with flag 4677986/7454224
1649.23/1623.41	c cleaning 53004 clauses out of 106024 with flag 4856116/7508225
1659.84/1633.89	c cleaning 54008 clauses out of 108021 with flag 5027865/7563226
1671.29/1645.13	c cleaning 54997 clauses out of 110012 with flag 5201950/7619225
1684.68/1658.37	c cleaning 56005 clauses out of 112014 with flag 5376922/7676224
1698.59/1672.05	c cleaning 57000 clauses out of 114011 with flag 5574869/7734226
1711.20/1684.46	c cleaning 57996 clauses out of 116010 with flag 5756858/7793225
1724.56/1697.50	c cleaning 59003 clauses out of 118013 with flag 5934008/7853224
1739.48/1712.29	c cleaning 59985 clauses out of 120010 with flag 6134846/7914224
1753.30/1725.89	c cleaning 60992 clauses out of 122026 with flag 6324881/7976225
1768.45/1740.71	c cleaning 61994 clauses out of 124033 with flag 6529666/8039224
1782.97/1755.08	c cleaning 63006 clauses out of 126040 with flag 6729511/8103225
1798.28/1770.13	c cleaning 64008 clauses out of 128033 with flag 6937372/8168224
1800.02/1771.80	c starts		: 5456
1800.02/1771.80	c conflicts		: 8176291
1800.02/1771.80	c decisions		: 19855748
1800.02/1771.80	c propagations		: 905272038
1800.02/1771.80	c inspects		: 17731461999
1800.02/1771.80	c shortcuts		: 0
1800.02/1771.80	c learnt literals	: 0
1800.02/1771.80	c learnt binary clauses	: 0
1800.02/1771.80	c learnt ternary clauses	: 0
1800.02/1771.80	c learnt constraints	: 8176291
1800.02/1771.80	c ignored constraints	: 0
1800.02/1771.80	c root simplifications	: 0
1800.02/1771.80	c removed literals (reason simplification)	: 0
1800.02/1771.80	c reason swapping (by a shorter reason)	: 0
1800.02/1771.80	c Calls to reduceDB	: 230
1800.02/1771.80	c Number of update (reduction) of LBD	: 2233042
1800.02/1771.80	c Imported unit clauses	: 0
1800.02/1771.80	c number of reductions to clauses (during analyze)	: 0
1800.02/1771.80	c number of learned constraints concerned by reduction	: 0
1800.02/1771.80	c number of learning phase by resolution	: 0
1800.02/1771.80	c number of learning phase by cutting planes	: 0
1800.02/1771.80	c speed (assignments/second)	: 511018.6191861614
1800.02/1771.80	c non guided choices	158
1800.02/1771.83	c learnt constraints type 
1800.02/1771.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 72093
1800.02/1771.83	s SATISFIABLE
1800.02/1771.83	c Found 10 solution(s)
1800.02/1771.84	v x1 x2 x3 x4 x5 x6 x7 x8 -x9 -x10 x11 x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544 x545 -x546 -x547 x548 -x549 -x550 x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 -x727 -x728 -x729 x730 x731 x732 x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 x816 x817 -x818 x819 x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 x843 -x844 -x845 -x846 -x847 x848 x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 x1002 x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 -x1091 -x1092 x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 -x1209 -x1210 x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 x1390 x1391 x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 x1449 -x1450 x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 -x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 x1894 x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 x1926 x1927 x1928 x1929 x1930 x1931 x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 x1961 -x1962 -x1963 x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 x2137 -x2138 -x2139 -x2140 x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 x2403 x2404 x2405 x2406 x2407 -x2408 -x2409 x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 x2800 x2801 x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 x2822 x2823 -x2824 x2825 x2826 x2827 -x2828 -x2829 -x2830 x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 x2890 x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 x2906 -x2907 x2908 x2909 -x2910 -x2911 x2912 -x2913 x2914 x2915 -x2916 x2917 -x2918 -x2919 -x2920 x2921 x2922 -x2923 -x2924 -x2925 -x2926 x2927 -x2928 x2929 x2930 -x2931 -x2932 x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956 x2957 x2958 -x2959 -x2960 x2961 -x2962 -x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 x2973 x2974 x2975 x2976 
1800.02/1771.84	c objective function=89417487
1800.02/1771.84	c Total wall clock time (in seconds): 1771.725

Verifier Data 

OK	89417487

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-4103252-1466234967/watcher-4103252-1466234967 -o /tmp/evaluation-result-4103252-1466234967/solver-4103252-1466234967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103252-1466234967.opb 

pid=7422
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.32 2.17 2.12 3/194 7425
/proc/meminfo: memFree=30369680/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/7425/stat : 7425 (java) D 7422 7425 2916 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 25547199 9515008 186 33554432000 1073741824 1073778376 140736589468688 140736589457752 249640873255 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2323 186 143 9 0 71 0

[startup+0.100123 s]
/proc/loadavg: 2.32 2.17 2.12 3/194 7425
/proc/meminfo: memFree=30369680/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 4414 0 1 0 9 1 0 0 20 0 18 0 25547199 9787879424 6032 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.32 2.17 2.12 3/194 7425
/proc/meminfo: memFree=30369680/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 5080 0 1 0 29 1 0 0 20 0 18 0 25547199 9787879424 6934 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2389619 6934 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300218 s]
/proc/loadavg: 2.32 2.17 2.12 3/194 7425
/proc/meminfo: memFree=30369680/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 7490 0 1 0 56 1 0 0 20 0 18 0 25547199 9787879424 9553 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2389619 9553 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700179 s]
/proc/loadavg: 2.32 2.17 2.12 3/194 7425
/proc/meminfo: memFree=30369680/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9625040 CPUtime=1.26 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 10620 0 1 0 124 2 0 0 20 0 19 0 25547199 9856040960 14437 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2406260 14437 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.32 2.17 2.12 4/213 7444
/proc/meminfo: memFree=30299636/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9625040 CPUtime=2.4 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 11246 0 1 0 237 3 0 0 20 0 19 0 25547199 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2406260 19601 2266 9 0 2396937 0
[pid=7425/tid=7427] ppid=7422 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/7425/task/7427/stat : 7427 (java) R 7422 7425 2916 0 -1 4202560 2428 0 1 0 145 1 0 0 20 0 19 0 25547200 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427540007400 140427395655513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7428] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7428/stat : 7428 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427383937960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7429] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7429/stat : 7429 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427382885416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7430] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7430/stat : 7430 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427381832360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7431] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7431/stat : 7431 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427380779816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7432] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7432/stat : 7432 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427379726760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7433] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7433/stat : 7433 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427042744872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7434] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7434/stat : 7434 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427041691816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7435] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7435/stat : 7435 (java) S 7422 7425 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427040639272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7436] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7436/stat : 7436 (java) S 7422 7425 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427028441960 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7437] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7437/stat : 7437 (java) S 7422 7425 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427027388280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7438] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7438/stat : 7438 (java) S 7422 7425 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427026335112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7439] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7439/stat : 7439 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427025283856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7440] ppid=7422 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/7425/task/7440/stat : 7440 (java) S 7422 7425 2916 0 -1 4202560 4540 0 0 0 46 0 0 0 20 0 19 0 25547206 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427024230712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7441] ppid=7422 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/7425/task/7441/stat : 7441 (java) S 7422 7425 2916 0 -1 4202560 3001 0 0 0 43 0 0 0 20 0 19 0 25547206 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427023178168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7442] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7442/stat : 7442 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427022125304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7443] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7443/stat : 7443 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427021072968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7444] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7444/stat : 7444 (java) S 7422 7425 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25547230 9856040960 19601 33554432000 1073741824 1073778376 140736589468688 140427019920936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.32 2.17 2.12 3/213 7444
/proc/meminfo: memFree=30272764/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9625040 CPUtime=4.03 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 11259 0 1 0 400 3 0 0 20 0 19 0 25547199 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2406260 25745 2266 9 0 2396937 0
[pid=7425/tid=7427] ppid=7422 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/7425/task/7427/stat : 7427 (java) R 7422 7425 2916 0 -1 4202560 2441 0 1 0 304 2 0 0 20 0 19 0 25547200 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427540009464 140427395656287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7428] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7428/stat : 7428 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427383937960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7429] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7429/stat : 7429 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427382885416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7430] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7430/stat : 7430 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427381832360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7431] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7431/stat : 7431 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427380779816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7432] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7432/stat : 7432 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427379726760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7433] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7433/stat : 7433 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427042744872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7434] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7434/stat : 7434 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427041691816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7435] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7435/stat : 7435 (java) S 7422 7425 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427040639272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7436] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7436/stat : 7436 (java) S 7422 7425 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427028441960 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7437] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7437/stat : 7437 (java) S 7422 7425 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427027388280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7438] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7438/stat : 7438 (java) S 7422 7425 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427026335112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7439] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7439/stat : 7439 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427025283856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7440] ppid=7422 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/7425/task/7440/stat : 7440 (java) S 7422 7425 2916 0 -1 4202560 4540 0 0 0 48 0 0 0 20 0 19 0 25547206 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427024230712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7441] ppid=7422 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/7425/task/7441/stat : 7441 (java) S 7422 7425 2916 0 -1 4202560 3001 0 0 0 45 0 0 0 20 0 19 0 25547206 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427023178168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7442] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7442/stat : 7442 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427022125304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7443] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7443/stat : 7443 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427021072968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7444] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7444/stat : 7444 (java) S 7422 7425 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25547230 9856040960 25745 33554432000 1073741824 1073778376 140736589468688 140427019920936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.30 2.17 2.12 3/213 7444
/proc/meminfo: memFree=30202884/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9625040 CPUtime=7.26 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 11314 0 1 0 722 4 0 0 20 0 19 0 25547199 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2406260 36440 2267 9 0 2396937 0
[pid=7425/tid=7427] ppid=7422 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/7425/task/7427/stat : 7427 (java) R 7422 7425 2916 0 -1 4202560 2463 0 1 0 623 2 0 0 20 0 19 0 25547200 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427540000432 140427395656307 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7428] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7428/stat : 7428 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427383937960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7429] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7429/stat : 7429 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427382885416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7430] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7430/stat : 7430 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427381832360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7431] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7431/stat : 7431 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427380779816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7432] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7432/stat : 7432 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427379726760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7433] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7433/stat : 7433 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427042744872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7434] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7434/stat : 7434 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427041691816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7435] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7435/stat : 7435 (java) S 7422 7425 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25547202 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427040639272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7436] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7436/stat : 7436 (java) S 7422 7425 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427028441960 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7437] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7437/stat : 7437 (java) S 7422 7425 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427027388280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7438] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7438/stat : 7438 (java) S 7422 7425 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427026335112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7439] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7439/stat : 7439 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427025283856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7440] ppid=7422 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/7425/task/7440/stat : 7440 (java) S 7422 7425 2916 0 -1 4202560 4540 0 0 0 48 0 0 0 20 0 19 0 25547206 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427024230712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7441] ppid=7422 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/7425/task/7441/stat : 7441 (java) S 7422 7425 2916 0 -1 4202560 3033 0 0 0 47 0 0 0 20 0 19 0 25547206 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427023178168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7442] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7442/stat : 7442 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427022125304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7443] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7443/stat : 7443 (java) S 7422 7425 2916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427021072968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7444] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7444/stat : 7444 (java) S 7422 7425 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25547230 9856040960 36440 33554432000 1073741824 1073778376 140736589468688 140427019920936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 9625040


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

[pid=7425/tid=7444] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7444/stat : 7444 (java) S 7422 7425 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25547230 9856040960 56694 33554432000 1073741824 1073778376 140736589468688 140427019920936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1627.84
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/213 7552
/proc/meminfo: memFree=31303344/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9625040 CPUtime=1688.73 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 57110 0 1 0 168715 158 0 0 20 0 19 0 25547199 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2406260 56546 2289 9 0 2396937 0
[pid=7425/tid=7427] ppid=7422 vsize=9625040 CPUtime=1643.03 cores=0,2,4,6
/proc/7425/task/7427/stat : 7427 (java) R 7422 7425 2916 0 -1 4202560 5495 0 1 0 164272 31 0 0 20 0 19 0 25547200 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427540008256 140427395696950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7428] ppid=7422 vsize=9625040 CPUtime=4.68 cores=0,2,4,6
/proc/7425/task/7428/stat : 7428 (java) S 7422 7425 2916 0 -1 4202560 6720 0 0 0 451 17 0 0 20 0 19 0 25547202 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427383937960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7429] ppid=7422 vsize=9625040 CPUtime=4.81 cores=0,2,4,6
/proc/7425/task/7429/stat : 7429 (java) S 7422 7425 2916 0 -1 4202560 4961 0 0 0 467 14 0 0 20 0 19 0 25547202 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427382885416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7430] ppid=7422 vsize=9625040 CPUtime=4.67 cores=0,2,4,6
/proc/7425/task/7430/stat : 7430 (java) S 7422 7425 2916 0 -1 4202560 5027 0 0 0 452 15 0 0 20 0 19 0 25547202 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427381832360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7431] ppid=7422 vsize=9625040 CPUtime=4.86 cores=0,2,4,6
/proc/7425/task/7431/stat : 7431 (java) S 7422 7425 2916 0 -1 4202560 6048 0 0 0 468 18 0 0 20 0 19 0 25547202 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427380779816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7432] ppid=7422 vsize=9625040 CPUtime=4.59 cores=0,2,4,6
/proc/7425/task/7432/stat : 7432 (java) S 7422 7425 2916 0 -1 4202560 4703 0 0 0 445 14 0 0 20 0 19 0 25547202 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427379726760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7433] ppid=7422 vsize=9625040 CPUtime=4.77 cores=0,2,4,6
/proc/7425/task/7433/stat : 7433 (java) S 7422 7425 2916 0 -1 4202560 4872 0 0 0 463 14 0 0 20 0 19 0 25547202 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427042744872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7434] ppid=7422 vsize=9625040 CPUtime=4.66 cores=0,2,4,6
/proc/7425/task/7434/stat : 7434 (java) S 7422 7425 2916 0 -1 4202560 4905 0 0 0 450 16 0 0 20 0 19 0 25547202 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427041691816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7435] ppid=7422 vsize=9625040 CPUtime=4.75 cores=0,2,4,6
/proc/7425/task/7435/stat : 7435 (java) S 7422 7425 2916 0 -1 4202560 4550 0 0 0 461 14 0 0 20 0 19 0 25547202 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427040639272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7436] ppid=7422 vsize=9625040 CPUtime=2.97 cores=0,2,4,6
/proc/7425/task/7436/stat : 7436 (java) S 7422 7425 2916 0 -1 4202560 895 0 0 0 282 15 0 0 20 0 19 0 25547203 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427028441960 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7437] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7437/stat : 7437 (java) S 7422 7425 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427027388280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7438] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7438/stat : 7438 (java) S 7422 7425 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427026335112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7439] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7439/stat : 7439 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427025283856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7440] ppid=7422 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/7425/task/7440/stat : 7440 (java) S 7422 7425 2916 0 -1 4202560 4544 0 0 0 53 0 0 0 20 0 19 0 25547206 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427024230712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7441] ppid=7422 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/7425/task/7441/stat : 7441 (java) S 7422 7425 2916 0 -1 4202560 3033 0 0 0 47 0 0 0 20 0 19 0 25547206 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427023178168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7442] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7442/stat : 7442 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427022125304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7443] ppid=7422 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7425/task/7443/stat : 7443 (java) S 7422 7425 2916 0 -1 4202560 94 0 0 0 18 19 0 0 20 0 19 0 25547206 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427021072968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7444] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7444/stat : 7444 (java) S 7422 7425 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25547230 9856040960 56546 33554432000 1073741824 1073778376 140736589468688 140427019920936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1688.73
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.06 3/213 7553
/proc/meminfo: memFree=31278320/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9625040 CPUtime=1749.76 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 60235 0 1 0 174814 162 0 0 20 0 19 0 25547199 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2406260 57145 2289 9 0 2396937 0
[pid=7425/tid=7427] ppid=7422 vsize=9625040 CPUtime=1702.18 cores=0,2,4,6
/proc/7425/task/7427/stat : 7427 (java) R 7422 7425 2916 0 -1 4202560 5707 0 1 0 170186 32 0 0 20 0 19 0 25547200 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427540008328 140427395651639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7428] ppid=7422 vsize=9625040 CPUtime=4.87 cores=0,2,4,6
/proc/7425/task/7428/stat : 7428 (java) S 7422 7425 2916 0 -1 4202560 6810 0 0 0 470 17 0 0 20 0 19 0 25547202 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427383937960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7429] ppid=7422 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/7425/task/7429/stat : 7429 (java) S 7422 7425 2916 0 -1 4202560 5641 0 0 0 483 14 0 0 20 0 19 0 25547202 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427382885416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7430] ppid=7422 vsize=9625040 CPUtime=4.85 cores=0,2,4,6
/proc/7425/task/7430/stat : 7430 (java) S 7422 7425 2916 0 -1 4202560 5416 0 0 0 470 15 0 0 20 0 19 0 25547202 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427381832360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7431] ppid=7422 vsize=9625040 CPUtime=5.08 cores=0,2,4,6
/proc/7425/task/7431/stat : 7431 (java) S 7422 7425 2916 0 -1 4202560 6643 0 0 0 490 18 0 0 20 0 19 0 25547202 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427380779816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7432] ppid=7422 vsize=9625040 CPUtime=4.78 cores=0,2,4,6
/proc/7425/task/7432/stat : 7432 (java) S 7422 7425 2916 0 -1 4202560 4968 0 0 0 464 14 0 0 20 0 19 0 25547202 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427379726760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7433] ppid=7422 vsize=9625040 CPUtime=4.95 cores=0,2,4,6
/proc/7425/task/7433/stat : 7433 (java) S 7422 7425 2916 0 -1 4202560 4968 0 0 0 480 15 0 0 20 0 19 0 25547202 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427042744872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7434] ppid=7422 vsize=9625040 CPUtime=4.9 cores=0,2,4,6
/proc/7425/task/7434/stat : 7434 (java) S 7422 7425 2916 0 -1 4202560 5304 0 0 0 474 16 0 0 20 0 19 0 25547202 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427041691816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7435] ppid=7422 vsize=9625040 CPUtime=4.94 cores=0,2,4,6
/proc/7425/task/7435/stat : 7435 (java) S 7422 7425 2916 0 -1 4202560 4891 0 0 0 480 14 0 0 20 0 19 0 25547202 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427040639272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7436] ppid=7422 vsize=9625040 CPUtime=3.2 cores=0,2,4,6
/proc/7425/task/7436/stat : 7436 (java) S 7422 7425 2916 0 -1 4202560 949 0 0 0 304 16 0 0 20 0 19 0 25547203 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427028441960 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7437] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7437/stat : 7437 (java) S 7422 7425 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427027388280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7438] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7438/stat : 7438 (java) S 7422 7425 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427026335112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7439] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7439/stat : 7439 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427025283856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7440] ppid=7422 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/7425/task/7440/stat : 7440 (java) S 7422 7425 2916 0 -1 4202560 4544 0 0 0 53 0 0 0 20 0 19 0 25547206 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427024230712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7441] ppid=7422 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/7425/task/7441/stat : 7441 (java) S 7422 7425 2916 0 -1 4202560 3033 0 0 0 47 0 0 0 20 0 19 0 25547206 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427023178168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7442] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7442/stat : 7442 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427022125304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7443] ppid=7422 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/7425/task/7443/stat : 7443 (java) S 7422 7425 2916 0 -1 4202560 98 0 0 0 19 19 0 0 20 0 19 0 25547206 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427021072968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7444] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7444/stat : 7444 (java) S 7422 7425 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25547230 9856040960 57145 33554432000 1073741824 1073778376 140736589468688 140427019920936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1749.76
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.8 s]
/proc/loadavg: 2.05 2.04 2.06 3/213 7554
/proc/meminfo: memFree=31205060/32872528 swapFree=190484/190484
[pid=7425] ppid=7422 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/7425/stat : 7425 (java) S 7422 7425 2916 0 -1 4202496 61305 0 1 0 179834 168 0 0 20 0 19 0 25547199 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140736589459824 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7425/statm: 2406260 64373 2289 9 0 2396937 0
[pid=7425/tid=7427] ppid=7422 vsize=9625040 CPUtime=1751.13 cores=0,2,4,6
/proc/7425/task/7427/stat : 7427 (java) R 7422 7425 2916 0 -1 4202560 5740 0 1 0 175080 33 0 0 20 0 19 0 25547200 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427540008208 140427395721171 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7428] ppid=7422 vsize=9625040 CPUtime=5 cores=0,2,4,6
/proc/7425/task/7428/stat : 7428 (java) S 7422 7425 2916 0 -1 4202560 6895 0 0 0 482 18 0 0 20 0 19 0 25547202 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427383937960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7429] ppid=7422 vsize=9625040 CPUtime=5.13 cores=0,2,4,6
/proc/7425/task/7429/stat : 7429 (java) S 7422 7425 2916 0 -1 4202560 5685 0 0 0 498 15 0 0 20 0 19 0 25547202 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427382885416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7430] ppid=7422 vsize=9625040 CPUtime=4.99 cores=0,2,4,6
/proc/7425/task/7430/stat : 7430 (java) S 7422 7425 2916 0 -1 4202560 5640 0 0 0 484 15 0 0 20 0 19 0 25547202 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427381832360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7431] ppid=7422 vsize=9625040 CPUtime=5.2 cores=0,2,4,6
/proc/7425/task/7431/stat : 7431 (java) S 7422 7425 2916 0 -1 4202560 6771 0 0 0 501 19 0 0 20 0 19 0 25547202 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427380779816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7432] ppid=7422 vsize=9625040 CPUtime=4.92 cores=0,2,4,6
/proc/7425/task/7432/stat : 7432 (java) S 7422 7425 2916 0 -1 4202560 5087 0 0 0 477 15 0 0 20 0 19 0 25547202 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427379726760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7433] ppid=7422 vsize=9625040 CPUtime=5.07 cores=0,2,4,6
/proc/7425/task/7433/stat : 7433 (java) S 7422 7425 2916 0 -1 4202560 5000 0 0 0 492 15 0 0 20 0 19 0 25547202 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427042744872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7434] ppid=7422 vsize=9625040 CPUtime=5.06 cores=0,2,4,6
/proc/7425/task/7434/stat : 7434 (java) S 7422 7425 2916 0 -1 4202560 5596 0 0 0 489 17 0 0 20 0 19 0 25547202 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427041691816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7425/tid=7435] ppid=7422 vsize=9625040 CPUtime=5.08 cores=0,2,4,6
/proc/7425/task/7435/stat : 7435 (java) S 7422 7425 2916 0 -1 4202560 4977 0 0 0 494 14 0 0 20 0 19 0 25547202 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427040639272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7436] ppid=7422 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/7425/task/7436/stat : 7436 (java) S 7422 7425 2916 0 -1 4202560 972 0 0 0 311 16 0 0 20 0 19 0 25547203 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427028441960 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7437] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7437/stat : 7437 (java) S 7422 7425 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427027388280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7438] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7438/stat : 7438 (java) S 7422 7425 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25547203 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427026335112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7439] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7439/stat : 7439 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427025283856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7440] ppid=7422 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/7425/task/7440/stat : 7440 (java) S 7422 7425 2916 0 -1 4202560 4544 0 0 0 53 0 0 0 20 0 19 0 25547206 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427024230712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7425/tid=7441] ppid=7422 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/7425/task/7441/stat : 7441 (java) S 7422 7425 2916 0 -1 4202560 3033 0 0 0 47 0 0 0 20 0 19 0 25547206 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427023178168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7442] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7442/stat : 7442 (java) S 7422 7425 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25547206 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427022125304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7425/tid=7443] ppid=7422 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/7425/task/7443/stat : 7443 (java) S 7422 7425 2916 0 -1 4202560 102 0 0 0 19 20 0 0 20 0 19 0 25547206 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427021072968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7425/tid=7444] ppid=7422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7425/task/7444/stat : 7444 (java) S 7422 7425 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25547230 9856040960 64373 33554432000 1073741824 1073778376 140736589468688 140427019920936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 7425 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7425 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=490196
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=110679
# CPU time returned by wait4() is 1796.6
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1771.85
CPU time (s): 1800.02
CPU user time (s): 1798.34
CPU system time (s): 1.68
CPU usage (%): 101.59
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 2.11068
maximum resident set size= 449452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61351
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75453
involuntary context switches= 107396

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.96248 second user time and 13.6849 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-18 09:29:27
IDJOB=4103252
IDBENCH=2309
IDSOLVER=2546
FILE ID=node102/4103252-1466234967
RUNJOBID= node102-1466206108-2932
PBS_JOBID= 19918170
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103252-1466234967/watcher-4103252-1466234967 -o /tmp/evaluation-result-4103252-1466234967/solver-4103252-1466234967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103252-1466234967.opb

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

MD5SUM BENCH= a6e8ee977a9ad5045237a2abc87084b8
RANDOM SEED=1248560884

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
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.746
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30369844 kB
Buffers:          111800 kB
Cached:           115264 kB
SwapCached:         1828 kB
Active:          1396472 kB
Inactive:         158888 kB
Active(anon):    1329196 kB
Inactive(anon):     1508 kB
Active(file):      67276 kB
Inactive(file):   157380 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099024 kB
Dirty:               600 kB
Writeback:             0 kB
AnonPages:       1538504 kB
Mapped:            15376 kB
Shmem:                 0 kB
Slab:             600660 kB
SReclaimable:      44384 kB
SUnreclaim:       556276 kB
KernelStack:        1576 kB
PageTables:         6956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2269836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1314816 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= 71728 MiB
End job on node102 at 2016-06-18 09:58:59