Trace number 4105549

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 PB16No Cert. 1800.04 1796.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-duke2.b.opb
MD5SUMad998dfe89909927555ae6165c9e8c9e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70
Optimality of the best value was proved NO
Number of variables1821
Total number of constraints4706
Number of constraints which are clauses4706
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint382
Number of terms in the objective function 1821
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1821
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1821
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.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@2b21cc40
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@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4105549-1466261680.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  objective function found
0.69/0.47	c ... done. Wall clock time 0.358s.
0.69/0.47	c declared #vars     1821
0.69/0.47	c #constraints  4706
0.69/0.47	c constraints type 
0.69/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4462
0.69/0.47	c org.sat4j.specs.Constr$1 => 216
0.69/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8
0.69/0.47	c org.sat4j.minisat.constraints.cnf.UnitClause => 20
0.69/0.47	c 4706 constraints processed.
0.69/0.47	c objective function length is 1821 literals
0.81/0.50	c SATISFIABLE
0.81/0.50	c OPTIMIZING...
0.81/0.50	c Got one! Elapsed wall clock time (in seconds):0.387
0.81/0.50	o 102
1.48/0.99	c cleaning 2493 clauses out of 5001 with flag 11114/5001
2.26/1.41	c cleaning 4252 clauses out of 8508 with flag 24624/11001
2.78/1.94	c cleaning 5617 clauses out of 11256 with flag 40308/18001
3.92/3.09	c cleaning 6816 clauses out of 13638 with flag 61729/26000
6.27/5.32	c cleaning 7903 clauses out of 15822 with flag 92363/35000
8.78/7.88	c cleaning 8945 clauses out of 17920 with flag 125920/45001
9.18/8.27	c Got one! Elapsed wall clock time (in seconds):8.155
9.18/8.27	o 101
10.18/9.21	c cleaning 7300 clauses out of 14622 with flag 13198/50648
10.68/9.79	c Got one! Elapsed wall clock time (in seconds):9.681
10.68/9.79	o 100
11.32/10.37	c cleaning 6404 clauses out of 12819 with flag 8506/56145
12.62/11.63	c cleaning 6203 clauses out of 12413 with flag 32653/62143
14.12/13.12	c cleaning 6596 clauses out of 13210 with flag 58489/69143
15.72/14.72	c Got one! Elapsed wall clock time (in seconds):14.606
15.72/14.72	o 99
16.84/15.90	c cleaning 9225 clauses out of 18468 with flag 17364/80997
18.14/17.10	c cleaning 7605 clauses out of 15244 with flag 39128/86998
19.65/18.66	c cleaning 7322 clauses out of 14647 with flag 62544/94006
21.65/20.62	c cleaning 7644 clauses out of 15316 with flag 90820/101997
24.05/23.02	c cleaning 8296 clauses out of 16677 with flag 120066/111002
26.75/25.73	c cleaning 9157 clauses out of 18376 with flag 155247/120997
29.65/28.63	c cleaning 10034 clauses out of 20219 with flag 193780/131997
33.06/32.04	c cleaning 11072 clauses out of 22185 with flag 241809/143997
34.45/33.41	c Got one! Elapsed wall clock time (in seconds):33.301
34.45/33.41	o 98
34.68/33.66	c cleaning 8294 clauses out of 16596 with flag 2733/149480
35.98/34.96	c cleaning 7117 clauses out of 14296 with flag 27178/155474
37.49/36.48	c cleaning 7084 clauses out of 14180 with flag 61641/162475
39.28/38.30	c cleaning 7517 clauses out of 15097 with flag 91665/170476
41.38/40.38	c cleaning 8273 clauses out of 16583 with flag 125232/179479
43.78/42.71	c cleaning 9103 clauses out of 18306 with flag 158469/189475
46.38/45.33	c cleaning 10092 clauses out of 20202 with flag 193828/200474
49.18/48.13	c cleaning 11004 clauses out of 22110 with flag 245699/212474
52.28/51.26	c cleaning 12043 clauses out of 24109 with flag 312450/225477
55.67/54.68	c cleaning 13027 clauses out of 26066 with flag 375552/239477
59.38/58.40	c cleaning 13994 clauses out of 28040 with flag 435901/254478
63.47/62.47	c cleaning 15022 clauses out of 30044 with flag 499200/270476
67.87/66.88	c cleaning 15993 clauses out of 32020 with flag 571078/287474
72.77/71.74	c cleaning 16978 clauses out of 34028 with flag 646503/305475
78.37/77.34	c cleaning 18015 clauses out of 36049 with flag 715208/324474
84.47/83.44	c cleaning 18988 clauses out of 38034 with flag 791889/344474
90.49/89.47	c cleaning 19999 clauses out of 40046 with flag 866565/365474
96.69/95.63	c cleaning 21011 clauses out of 42050 with flag 958365/387477
103.50/102.47	c cleaning 21991 clauses out of 44036 with flag 1049634/410474
110.89/109.86	c cleaning 23012 clauses out of 46045 with flag 1138722/434474
118.89/117.82	c cleaning 24007 clauses out of 48033 with flag 1232373/459474
127.39/126.34	c cleaning 25015 clauses out of 50030 with flag 1322248/485478
135.68/134.69	c cleaning 25998 clauses out of 52014 with flag 1416816/512477
144.38/143.35	c cleaning 26990 clauses out of 54015 with flag 1522036/540476
153.08/152.07	c cleaning 27975 clauses out of 56023 with flag 1629543/569474
162.18/161.11	c cleaning 28997 clauses out of 58048 with flag 1749185/599474
172.32/171.24	c cleaning 30015 clauses out of 60051 with flag 1867658/630474
181.92/180.87	c cleaning 31006 clauses out of 62036 with flag 1991969/662474
192.73/191.61	c cleaning 32012 clauses out of 64030 with flag 2117775/695474
203.93/202.81	c cleaning 32984 clauses out of 66018 with flag 2251216/729474
215.33/214.28	c cleaning 34003 clauses out of 68037 with flag 2393974/764477
228.13/227.05	c cleaning 35015 clauses out of 70031 with flag 2526882/800474
241.33/240.30	c cleaning 35991 clauses out of 72016 with flag 2653932/837474
255.10/253.94	c cleaning 36981 clauses out of 74025 with flag 2785546/875474
269.30/268.10	c cleaning 38003 clauses out of 76044 with flag 2930359/914474
284.01/282.87	c cleaning 39009 clauses out of 78041 with flag 3074352/954474
299.10/297.92	c cleaning 40006 clauses out of 80033 with flag 3220371/995475
314.71/313.55	c cleaning 40997 clauses out of 82026 with flag 3372857/1037474
330.60/329.45	c cleaning 41991 clauses out of 84029 with flag 3534858/1080474
347.16/345.88	c cleaning 42969 clauses out of 86038 with flag 3701277/1124474
363.16/361.80	c cleaning 44033 clauses out of 88069 with flag 3903890/1169474
379.06/377.71	c cleaning 44983 clauses out of 90036 with flag 4088236/1215474
396.57/395.24	c cleaning 45987 clauses out of 92055 with flag 4275903/1262476
412.37/411.01	c cleaning 47005 clauses out of 94068 with flag 4482586/1310476
429.82/428.31	c cleaning 48028 clauses out of 96062 with flag 4661311/1359475
450.92/449.41	c cleaning 48986 clauses out of 98033 with flag 4829088/1409474
473.62/472.19	c cleaning 49999 clauses out of 100047 with flag 5011552/1460474
496.33/494.88	c cleaning 51017 clauses out of 102051 with flag 5189276/1512477
519.63/518.16	c cleaning 51983 clauses out of 104032 with flag 5385211/1565475
542.23/540.62	c cleaning 53010 clauses out of 106048 with flag 5578521/1619474
565.32/563.76	c cleaning 54002 clauses out of 108039 with flag 5776491/1674475
589.33/587.75	c cleaning 54994 clauses out of 110036 with flag 5979389/1730474
614.53/612.94	c cleaning 56011 clauses out of 112045 with flag 6177000/1787477
640.03/638.33	c cleaning 56987 clauses out of 114031 with flag 6369169/1845474
662.84/661.19	c Got one! Elapsed wall clock time (in seconds):661.071
662.84/661.19	o 97
664.68/662.91	c cleaning 57142 clauses out of 114344 with flag 21584/1902774
666.19/664.48	c cleaning 31598 clauses out of 63200 with flag 52733/1908772
667.88/666.15	c cleaning 19290 clauses out of 38601 with flag 82101/1915771
669.68/667.94	c cleaning 13653 clauses out of 27311 with flag 114978/1923771
671.69/669.94	c cleaning 11315 clauses out of 22658 with flag 148848/1932771
673.68/671.98	c cleaning 10635 clauses out of 21343 with flag 189568/1942771
676.09/674.33	c cleaning 10839 clauses out of 21709 with flag 233644/1953772
678.78/677.08	c cleaning 11400 clauses out of 22869 with flag 284569/1965771
681.98/680.23	c cleaning 12215 clauses out of 24469 with flag 328820/1978771
685.38/683.70	c cleaning 13116 clauses out of 26254 with flag 374445/1992771
689.29/687.55	c cleaning 14041 clauses out of 28138 with flag 425935/2007771
693.70/691.85	c cleaning 15015 clauses out of 30097 with flag 487531/2023771
698.70/696.86	c cleaning 16015 clauses out of 32082 with flag 548721/2040771
703.71/701.81	c cleaning 17015 clauses out of 34067 with flag 612504/2058771
709.00/707.13	c cleaning 18011 clauses out of 36052 with flag 682899/2077771
714.70/712.83	c cleaning 19003 clauses out of 38041 with flag 756065/2097771
721.10/719.21	c cleaning 20005 clauses out of 40038 with flag 836828/2118771
728.20/726.34	c cleaning 21003 clauses out of 42033 with flag 912604/2140771
736.10/734.20	c cleaning 21989 clauses out of 44030 with flag 986933/2163771
743.30/741.49	c cleaning 23017 clauses out of 46041 with flag 1064893/2187771
751.51/749.52	c cleaning 24001 clauses out of 48025 with flag 1150126/2212772
760.62/758.67	c cleaning 25006 clauses out of 50023 with flag 1238622/2238771
771.03/769.02	c cleaning 26009 clauses out of 52019 with flag 1323129/2265773
781.02/779.07	c cleaning 27004 clauses out of 54010 with flag 1416006/2293773
790.73/788.71	c cleaning 27988 clauses out of 56008 with flag 1513726/2322775
800.63/798.63	c cleaning 28984 clauses out of 58016 with flag 1613586/2352771
812.52/810.59	c cleaning 29987 clauses out of 60032 with flag 1719112/2383771
823.21/821.19	c cleaning 31022 clauses out of 62047 with flag 1841156/2415773
835.01/832.91	c cleaning 31994 clauses out of 64023 with flag 1958016/2448771
846.31/844.22	c cleaning 32973 clauses out of 66029 with flag 2089450/2482771
855.61/853.50	c Got one! Elapsed wall clock time (in seconds):853.384
855.61/853.50	o 96
856.87/854.80	c cleaning 33442 clauses out of 66908 with flag 20009/2516623
858.27/856.16	c cleaning 19727 clauses out of 39466 with flag 44077/2522623
859.77/857.65	c cleaning 13343 clauses out of 26739 with flag 68582/2529623
861.37/859.29	c cleaning 10681 clauses out of 21396 with flag 101727/2537623
863.36/861.24	c cleaning 9818 clauses out of 19715 with flag 134519/2546623
865.36/863.24	c cleaning 9924 clauses out of 19897 with flag 180042/2556623
867.67/865.51	c cleaning 10473 clauses out of 20975 with flag 224791/2567625
870.37/868.26	c cleaning 11231 clauses out of 22500 with flag 271754/2579623
873.36/871.13	c cleaning 12122 clauses out of 24269 with flag 325434/2592623
876.76/874.51	c cleaning 13071 clauses out of 26147 with flag 382493/2606623
880.56/878.35	c cleaning 14038 clauses out of 28076 with flag 438499/2621623
884.56/882.31	c cleaning 15008 clauses out of 30038 with flag 499754/2637623
888.96/886.74	c cleaning 15995 clauses out of 32030 with flag 563397/2654623
893.75/891.51	c cleaning 16968 clauses out of 34035 with flag 634658/2672623
898.95/896.71	c cleaning 18034 clauses out of 36068 with flag 708653/2691624
904.06/901.86	c cleaning 19017 clauses out of 38033 with flag 786447/2711623
910.96/908.72	c cleaning 20006 clauses out of 40016 with flag 861093/2732623
917.85/915.69	c cleaning 20994 clauses out of 42011 with flag 936244/2754624
925.51/923.26	c cleaning 22008 clauses out of 44016 with flag 1008477/2777623
932.71/930.49	c cleaning 22999 clauses out of 46021 with flag 1089125/2801636
940.41/938.18	c cleaning 23999 clauses out of 48009 with flag 1178705/2826623
949.12/946.87	c cleaning 25001 clauses out of 50012 with flag 1268280/2852625
958.12/955.85	c cleaning 25968 clauses out of 52009 with flag 1354740/2879623
967.52/965.27	c cleaning 27021 clauses out of 54041 with flag 1446513/2907623
976.92/974.65	c cleaning 27988 clauses out of 56020 with flag 1543587/2936623
987.63/985.23	c cleaning 28978 clauses out of 58032 with flag 1645978/2966623
998.43/996.01	c cleaning 30010 clauses out of 60054 with flag 1757232/2997623
1009.04/1006.69	c cleaning 31003 clauses out of 62044 with flag 1873532/3029623
1020.04/1017.64	c cleaning 32004 clauses out of 64041 with flag 1981768/3062623
1030.93/1028.53	c cleaning 32985 clauses out of 66038 with flag 2099351/3096624
1044.23/1041.84	c cleaning 34021 clauses out of 68053 with flag 2213694/3131624
1058.02/1055.50	c cleaning 34998 clauses out of 70034 with flag 2333249/3167626
1058.22/1055.75	c Got one! Elapsed wall clock time (in seconds):1055.638
1058.22/1055.75	o 95
1059.45/1056.97	c cleaning 20381 clauses out of 40785 with flag 14419/3173375
1060.75/1058.29	c cleaning 13151 clauses out of 26406 with flag 35355/3179377
1062.45/1059.92	c cleaning 10086 clauses out of 20253 with flag 59930/3186375
1064.25/1061.76	c cleaning 9057 clauses out of 18167 with flag 88449/3194375
1066.45/1063.92	c cleaning 9023 clauses out of 18110 with flag 116438/3203375
1068.75/1066.29	c cleaning 9528 clauses out of 19091 with flag 147316/3213379
1071.45/1068.96	c cleaning 10269 clauses out of 20561 with flag 186876/3224377
1074.25/1071.74	c cleaning 11131 clauses out of 22290 with flag 232371/3236375
1077.35/1074.87	c cleaning 12074 clauses out of 24161 with flag 278445/3249377
1080.75/1078.28	c cleaning 13028 clauses out of 26088 with flag 327547/3263378
1084.54/1082.01	c cleaning 14001 clauses out of 28057 with flag 378499/3278375
1088.44/1085.99	c cleaning 15019 clauses out of 30056 with flag 434284/3294375
1092.65/1090.13	c cleaning 15996 clauses out of 32037 with flag 492724/3311375
1096.99/1094.41	c cleaning 16997 clauses out of 34041 with flag 570904/3329375
1101.39/1098.90	c cleaning 18020 clauses out of 36053 with flag 652732/3348384
1106.30/1103.75	c cleaning 18996 clauses out of 38025 with flag 718216/3368376
1111.80/1109.27	c cleaning 19980 clauses out of 40029 with flag 786473/3389376
1117.49/1114.93	c cleaning 21015 clauses out of 42048 with flag 863208/3411375
1123.19/1120.67	c cleaning 22005 clauses out of 44033 with flag 937773/3434375
1129.59/1127.06	c cleaning 22999 clauses out of 46028 with flag 1013151/3458375
1136.29/1133.79	c cleaning 24008 clauses out of 48029 with flag 1099890/3483375
1144.89/1142.31	c cleaning 24995 clauses out of 50022 with flag 1194527/3509376
1153.03/1150.49	c cleaning 26003 clauses out of 52026 with flag 1292083/3536375
1163.02/1160.45	c cleaning 26994 clauses out of 54023 with flag 1385414/3564375
1173.23/1170.61	c cleaning 27987 clauses out of 56031 with flag 1477105/3593377
1184.32/1181.77	c cleaning 29006 clauses out of 58042 with flag 1576083/3623375
1195.62/1193.05	c cleaning 29977 clauses out of 60039 with flag 1673838/3654378
1207.42/1204.85	c cleaning 31011 clauses out of 62059 with flag 1781030/3686375
1218.30/1215.61	c cleaning 31995 clauses out of 64048 with flag 1904094/3719375
1229.90/1227.24	c cleaning 33016 clauses out of 66057 with flag 2022564/3753379
1242.40/1239.78	c cleaning 33989 clauses out of 68037 with flag 2149183/3788375
1255.01/1252.39	c cleaning 35000 clauses out of 70048 with flag 2280111/3824375
1267.27/1264.52	c cleaning 36011 clauses out of 72048 with flag 2426280/3861375
1281.17/1278.45	c cleaning 37003 clauses out of 74037 with flag 2567889/3899375
1296.27/1293.50	c cleaning 38009 clauses out of 76034 with flag 2712574/3938375
1311.17/1308.43	c cleaning 38992 clauses out of 78025 with flag 2864682/3978375
1327.97/1325.28	c cleaning 40007 clauses out of 80034 with flag 3008996/4019376
1345.23/1342.48	c cleaning 41002 clauses out of 82028 with flag 3149541/4061377
1362.02/1359.29	c cleaning 41985 clauses out of 84024 with flag 3305824/4104375
1381.72/1378.90	c cleaning 43018 clauses out of 86039 with flag 3450749/4148375
1399.52/1396.70	c cleaning 43998 clauses out of 88024 with flag 3601681/4193378
1418.59/1415.78	c cleaning 44990 clauses out of 90025 with flag 3758796/4239377
1437.88/1435.07	c cleaning 46010 clauses out of 92034 with flag 3931209/4286376
1459.18/1456.34	c cleaning 46966 clauses out of 94023 with flag 4100418/4334375
1481.61/1478.78	c cleaning 48023 clauses out of 96060 with flag 4277187/4383378
1501.62/1498.73	c cleaning 49002 clauses out of 98034 with flag 4454030/4433375
1524.02/1521.16	c cleaning 50014 clauses out of 100035 with flag 4622975/4484378
1548.49/1545.58	c cleaning 50999 clauses out of 102018 with flag 4794750/4536375
1572.18/1569.21	c cleaning 52008 clauses out of 104019 with flag 4994134/4589375
1597.18/1594.29	c cleaning 53000 clauses out of 106021 with flag 5184260/4643385
1622.71/1619.75	c cleaning 53989 clauses out of 108011 with flag 5372923/4698375
1650.61/1647.69	c cleaning 55001 clauses out of 110023 with flag 5562661/4754376
1675.91/1672.96	c cleaning 55992 clauses out of 112021 with flag 5759818/4811375
1698.59/1695.58	c cleaning 56960 clauses out of 114029 with flag 5970669/4869375
1720.49/1717.47	c cleaning 58016 clauses out of 116069 with flag 6192516/4928375
1748.58/1745.42	c cleaning 59024 clauses out of 118053 with flag 6403856/4988375
1771.38/1768.23	c cleaning 59966 clauses out of 120029 with flag 6628209/5049375
1780.79/1777.68	c Got one! Elapsed wall clock time (in seconds):1777.566
1780.79/1777.68	o 94
1782.19/1779.04	c cleaning 46076 clauses out of 92193 with flag 18286/5081505
1783.59/1780.41	c cleaning 26042 clauses out of 52116 with flag 44107/5087504
1784.99/1781.87	c cleaning 16539 clauses out of 33078 with flag 70448/5094508
1786.79/1783.65	c cleaning 12186 clauses out of 24535 with flag 100742/5102504
1788.69/1785.54	c cleaning 10641 clauses out of 21349 with flag 137374/5111504
1790.84/1787.65	c cleaning 10338 clauses out of 20709 with flag 181894/5121505
1793.14/1789.96	c cleaning 10668 clauses out of 21370 with flag 222956/5132504
1795.74/1792.59	c cleaning 11341 clauses out of 22703 with flag 271500/5144505
1798.64/1795.40	c cleaning 12151 clauses out of 24361 with flag 320429/5157504
1800.04/1796.80	c starts		: 2322
1800.04/1796.80	c conflicts		: 5164664
1800.04/1796.80	c decisions		: 41542515
1800.04/1796.80	c propagations		: 2247621123
1800.04/1796.80	c inspects		: 25614423366
1800.04/1796.80	c shortcuts		: 0
1800.04/1796.80	c learnt literals	: 0
1800.04/1796.80	c learnt binary clauses	: 0
1800.04/1796.80	c learnt ternary clauses	: 0
1800.04/1796.80	c learnt constraints	: 5164664
1800.04/1796.80	c ignored constraints	: 0
1800.04/1796.80	c root simplifications	: 0
1800.04/1796.80	c removed literals (reason simplification)	: 0
1800.04/1796.80	c reason swapping (by a shorter reason)	: 0
1800.04/1796.80	c Calls to reduceDB	: 200
1800.04/1796.80	c Number of update (reduction) of LBD	: 2691478
1800.04/1796.80	c Imported unit clauses	: 0
1800.04/1796.80	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.80	c number of learned constraints concerned by reduction	: 0
1800.04/1796.80	c number of learning phase by resolution	: 0
1800.04/1796.80	c number of learning phase by cutting planes	: 0
1800.04/1796.80	c speed (assignments/second)	: 1251235.0920380645
1800.04/1796.80	c non guided choices	0
1800.04/1796.81	c learnt constraints type 
1800.04/1796.81	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19370
1800.04/1796.81	s SATISFIABLE
1800.04/1796.81	c Found 9 solution(s)
1800.04/1796.82	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 -xc timeout
1800.04/1796.82	1030 -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 
1800.04/1796.82	c objective function=94
1800.04/1796.82	c Total wall clock time (in seconds): 1796.706

Verifier Data 

FAILED
ERROR: unsatisfied constraint on line 34
	0>=1

Falsified constraint is:
+1*x1059[=0] +1*x1055[=0] +1*x991[=0] +1*x964[=0] +1*x956[=0] >= 1

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-4105549-1466261680/watcher-4105549-1466261680 -o /tmp/evaluation-result-4105549-1466261680/solver-4105549-1466261680 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105549-1466261680.opb 

pid=19554
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.23 2.24 2.21 3/194 19557
/proc/meminfo: memFree=29782304/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/19557/stat : 19557 (java) R 19554 19557 6916 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 28214861 5767168 56 33554432000 1073741824 1073778376 140736016330224 140736016327352 259103223079 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 1408 59 46 9 0 30 0

[startup+0.10006 s]
/proc/loadavg: 2.23 2.24 2.21 3/194 19557
/proc/meminfo: memFree=29782304/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 4413 0 1 0 9 1 0 0 20 0 18 0 28214861 9787879424 6045 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2389619 6045 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200212 s]
/proc/loadavg: 2.23 2.24 2.21 3/194 19557
/proc/meminfo: memFree=29782304/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 4910 0 1 0 27 1 0 0 20 0 18 0 28214861 9787879424 6911 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2389619 6911 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.30022 s]
/proc/loadavg: 2.23 2.24 2.21 3/194 19557
/proc/meminfo: memFree=29782304/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 7381 0 1 0 56 1 0 0 20 0 18 0 28214861 9787879424 10737 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2389619 10737 2233 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.23 2.24 2.21 3/194 19557
/proc/meminfo: memFree=29782304/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 8385 0 1 0 122 3 0 0 20 0 19 0 28214861 9856040960 26662 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2406260 26662 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9625040

[startup+1.50086 s]
/proc/loadavg: 2.23 2.24 2.21 4/213 19576
/proc/meminfo: memFree=29662708/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 16175 0 1 0 233 5 0 0 20 0 19 0 28214861 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2406260 33086 2268 9 0 2396937 0
[pid=19557/tid=19559] ppid=19554 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/19557/task/19559/stat : 19559 (java) R 19554 19557 6916 0 -1 4202560 2453 0 1 0 143 3 0 0 20 0 19 0 28214862 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632240951752 140632077712505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19560] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19560/stat : 19560 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632202443176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19561] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19561/stat : 19561 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632201390632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19562] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19562/stat : 19562 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632200337576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19563] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19563/stat : 19563 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632199285032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19564] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19564/stat : 19564 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632198233000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19565] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19565/stat : 19565 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632197180456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19566] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19566/stat : 19566 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632196127400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19567] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19567/stat : 19567 (java) S 19554 19557 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632077101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19568] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19568/stat : 19568 (java) S 19554 19557 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632064903528 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19569] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19569/stat : 19569 (java) S 19554 19557 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632063849848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19570] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19570/stat : 19570 (java) S 19554 19557 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632062796680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19571] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19571/stat : 19571 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140632061745424 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19572] ppid=19554 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/19557/task/19572/stat : 19572 (java) S 19554 19557 6916 0 -1 4202560 8654 0 0 0 46 2 0 0 20 0 19 0 28214867 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140631322127160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19573] ppid=19554 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/19557/task/19573/stat : 19573 (java) S 19554 19557 6916 0 -1 4202560 3792 0 0 0 39 1 0 0 20 0 19 0 28214867 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140631321074616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19574] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19574/stat : 19574 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140631320021752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19575] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19575/stat : 19575 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140631318969416 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19576] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19576/stat : 19576 (java) S 19554 19557 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28214909 9856040960 33086 33554432000 1073741824 1073778376 140736016330224 140631317914664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.23 2.24 2.21 3/213 19576
/proc/meminfo: memFree=29648436/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9625040 CPUtime=4.06 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 16283 0 1 0 400 6 0 0 20 0 19 0 28214861 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2406260 35747 2268 9 0 2396937 0
[pid=19557/tid=19559] ppid=19554 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/19557/task/19559/stat : 19559 (java) R 19554 19557 6916 0 -1 4202560 2460 0 1 0 303 3 0 0 20 0 19 0 28214862 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632240951688 140632077678547 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19560] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19560/stat : 19560 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632202443176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19561] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19561/stat : 19561 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632201390632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19562] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19562/stat : 19562 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632200337576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19563] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19563/stat : 19563 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632199285032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19564] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19564/stat : 19564 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632198233000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19565] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19565/stat : 19565 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632197180456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19566] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19566/stat : 19566 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632196127400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19567] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19567/stat : 19567 (java) S 19554 19557 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632077101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19568] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19568/stat : 19568 (java) S 19554 19557 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632064903528 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19569] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19569/stat : 19569 (java) S 19554 19557 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632063849848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19570] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19570/stat : 19570 (java) S 19554 19557 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632062796680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19571] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19571/stat : 19571 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140632061745424 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19572] ppid=19554 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/19557/task/19572/stat : 19572 (java) R 19554 19557 6916 0 -1 4202560 8754 0 0 0 53 2 0 0 20 0 19 0 28214867 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140631322127040 140632247334480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19573] ppid=19554 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/19557/task/19573/stat : 19573 (java) S 19554 19557 6916 0 -1 4202560 3792 0 0 0 39 1 0 0 20 0 19 0 28214867 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140631321074616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19574] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19574/stat : 19574 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140631320021752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19575] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19575/stat : 19575 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140631318969416 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19576] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19576/stat : 19576 (java) S 19554 19557 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28214909 9856040960 35747 33554432000 1073741824 1073778376 140736016330224 140631317914664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.21 2.24 2.20 3/213 19576
/proc/meminfo: memFree=29639844/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9625040 CPUtime=7.28 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 16288 0 1 0 722 6 0 0 20 0 19 0 28214861 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2406260 37715 2268 9 0 2396937 0
[pid=19557/tid=19559] ppid=19554 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/19557/task/19559/stat : 19559 (java) R 19554 19557 6916 0 -1 4202560 2465 0 1 0 622 3 0 0 20 0 19 0 28214862 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632240951640 140632077758287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19560] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19560/stat : 19560 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632202443176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19561] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19561/stat : 19561 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632201390632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19562] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19562/stat : 19562 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632200337576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19563] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19563/stat : 19563 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632199285032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19564] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19564/stat : 19564 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632198233000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19565] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19565/stat : 19565 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632197180456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19566] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19566/stat : 19566 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632196127400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19567] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19567/stat : 19567 (java) S 19554 19557 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28214863 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632077101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19568] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19568/stat : 19568 (java) S 19554 19557 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632064903528 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19569] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19569/stat : 19569 (java) S 19554 19557 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632063849848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19570] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19570/stat : 19570 (java) S 19554 19557 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632062796680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19571] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19571/stat : 19571 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140632061745424 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19572] ppid=19554 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/19557/task/19572/stat : 19572 (java) S 19554 19557 6916 0 -1 4202560 8754 0 0 0 55 3 0 0 20 0 19 0 28214867 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140631322127160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19573] ppid=19554 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/19557/task/19573/stat : 19573 (java) S 19554 19557 6916 0 -1 4202560 3792 0 0 0 39 1 0 0 20 0 19 0 28214867 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140631321074616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19574] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19574/stat : 19574 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140631320021752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19575] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19575/stat : 19575 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140631318969416 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19576] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19576/stat : 19576 (java) S 19554 19557 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28214909 9856040960 37715 33554432000 1073741824 1073778376 140736016330224 140631317914664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9625040


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

[pid=19557/tid=19576] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19576/stat : 19576 (java) S 19554 19557 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28214909 9856040960 110367 33554432000 1073741824 1073778376 140736016330224 140631317914664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.31
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.41 2.34 2.24 3/213 19641
/proc/meminfo: memFree=29114844/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9625040 CPUtime=1725.39 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 18874 0 1 0 172467 72 0 0 20 0 19 0 28214861 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2406260 108691 2291 9 0 2396937 0
[pid=19557/tid=19559] ppid=19554 vsize=9625040 CPUtime=1716.91 cores=0,2,4,6
/proc/19557/task/19559/stat : 19559 (java) R 19554 19557 6916 0 -1 4202560 2508 0 1 0 171660 31 0 0 20 0 19 0 28214862 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632240942800 140632077970596 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19560] ppid=19554 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/19557/task/19560/stat : 19560 (java) S 19554 19557 6916 0 -1 4202560 150 0 0 0 24 6 0 0 20 0 19 0 28214863 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632202443176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19561] ppid=19554 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/19557/task/19561/stat : 19561 (java) S 19554 19557 6916 0 -1 4202560 317 0 0 0 26 8 0 0 20 0 19 0 28214863 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632201390632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19562] ppid=19554 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/19557/task/19562/stat : 19562 (java) S 19554 19557 6916 0 -1 4202560 421 0 0 0 26 7 0 0 20 0 19 0 28214863 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632200337576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19563] ppid=19554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/19557/task/19563/stat : 19563 (java) S 19554 19557 6916 0 -1 4202560 257 0 0 0 25 7 0 0 20 0 19 0 28214863 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632199285032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19564] ppid=19554 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/19557/task/19564/stat : 19564 (java) S 19554 19557 6916 0 -1 4202560 345 0 0 0 24 5 0 0 20 0 19 0 28214863 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632198233000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19565] ppid=19554 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/19557/task/19565/stat : 19565 (java) S 19554 19557 6916 0 -1 4202560 303 0 0 0 22 5 0 0 20 0 19 0 28214863 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632197180456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19566] ppid=19554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/19557/task/19566/stat : 19566 (java) S 19554 19557 6916 0 -1 4202560 326 0 0 0 27 5 0 0 20 0 19 0 28214863 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632196127400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19567] ppid=19554 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/19557/task/19567/stat : 19567 (java) S 19554 19557 6916 0 -1 4202560 148 0 0 0 28 6 0 0 20 0 19 0 28214863 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632077101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19568] ppid=19554 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/19557/task/19568/stat : 19568 (java) S 19554 19557 6916 0 -1 4202560 140 0 0 0 8 1 0 0 20 0 19 0 28214864 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632064903528 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19569] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19569/stat : 19569 (java) S 19554 19557 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632063849848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19570] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19570/stat : 19570 (java) S 19554 19557 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632062796680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19571] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19571/stat : 19571 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140632061745424 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19572] ppid=19554 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/19557/task/19572/stat : 19572 (java) S 19554 19557 6916 0 -1 4202560 8801 0 0 0 73 3 0 0 20 0 19 0 28214867 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140631322127160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19573] ppid=19554 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/19557/task/19573/stat : 19573 (java) S 19554 19557 6916 0 -1 4202560 3796 0 0 0 47 1 0 0 20 0 19 0 28214867 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140631321074616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19574] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19574/stat : 19574 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140631320021752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19575] ppid=19554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/19557/task/19575/stat : 19575 (java) S 19554 19557 6916 0 -1 4202560 99 0 0 0 14 18 0 0 20 0 19 0 28214867 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140631318969416 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19576] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19576/stat : 19576 (java) S 19554 19557 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28214909 9856040960 108691 33554432000 1073741824 1073778376 140736016330224 140631317914664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.39
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.35 2.34 2.25 4/213 19772
/proc/meminfo: memFree=28938396/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9625040 CPUtime=1785.49 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 18902 0 1 0 178476 73 0 0 20 0 19 0 28214861 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2406260 108055 2291 9 0 2396937 0
[pid=19557/tid=19559] ppid=19554 vsize=9625040 CPUtime=1776.72 cores=0,2,4,6
/proc/19557/task/19559/stat : 19559 (java) R 19554 19557 6916 0 -1 4202560 2509 0 1 0 177640 32 0 0 20 0 19 0 28214862 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632240942800 140632077338401 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19560] ppid=19554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/19557/task/19560/stat : 19560 (java) S 19554 19557 6916 0 -1 4202560 155 0 0 0 26 6 0 0 20 0 19 0 28214863 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632202443176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19561] ppid=19554 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/19557/task/19561/stat : 19561 (java) S 19554 19557 6916 0 -1 4202560 330 0 0 0 27 8 0 0 20 0 19 0 28214863 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632201390632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19562] ppid=19554 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/19557/task/19562/stat : 19562 (java) S 19554 19557 6916 0 -1 4202560 423 0 0 0 27 7 0 0 20 0 19 0 28214863 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632200337576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19563] ppid=19554 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/19557/task/19563/stat : 19563 (java) S 19554 19557 6916 0 -1 4202560 257 0 0 0 26 7 0 0 20 0 19 0 28214863 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632199285032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19564] ppid=19554 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/19557/task/19564/stat : 19564 (java) S 19554 19557 6916 0 -1 4202560 346 0 0 0 26 5 0 0 20 0 19 0 28214863 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632198233000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19565] ppid=19554 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/19557/task/19565/stat : 19565 (java) S 19554 19557 6916 0 -1 4202560 303 0 0 0 25 5 0 0 20 0 19 0 28214863 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632197180456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19566] ppid=19554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/19557/task/19566/stat : 19566 (java) S 19554 19557 6916 0 -1 4202560 326 0 0 0 27 5 0 0 20 0 19 0 28214863 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632196127400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19567] ppid=19554 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/19557/task/19567/stat : 19567 (java) S 19554 19557 6916 0 -1 4202560 148 0 0 0 29 6 0 0 20 0 19 0 28214863 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632077101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19568] ppid=19554 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/19557/task/19568/stat : 19568 (java) S 19554 19557 6916 0 -1 4202560 142 0 0 0 8 1 0 0 20 0 19 0 28214864 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632064903528 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19569] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19569/stat : 19569 (java) S 19554 19557 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632063849848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19570] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19570/stat : 19570 (java) S 19554 19557 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632062796680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19571] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19571/stat : 19571 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140632061745424 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19572] ppid=19554 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/19557/task/19572/stat : 19572 (java) S 19554 19557 6916 0 -1 4202560 8801 0 0 0 73 3 0 0 20 0 19 0 28214867 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140631322127160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19573] ppid=19554 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/19557/task/19573/stat : 19573 (java) S 19554 19557 6916 0 -1 4202560 3796 0 0 0 47 1 0 0 20 0 19 0 28214867 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140631321074616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19574] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19574/stat : 19574 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140631320021752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19575] ppid=19554 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/19557/task/19575/stat : 19575 (java) S 19554 19557 6916 0 -1 4202560 103 0 0 0 14 19 0 0 20 0 19 0 28214867 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140631318969416 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19576] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19576/stat : 19576 (java) S 19554 19557 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28214909 9856040960 108055 33554432000 1073741824 1073778376 140736016330224 140631317914664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.42 2.35 2.25 3/213 19773
/proc/meminfo: memFree=28794604/32872528 swapFree=1497824/1644992
[pid=19557] ppid=19554 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/19557/stat : 19557 (java) S 19554 19557 6916 0 -1 4202496 18925 0 1 0 179931 73 0 0 20 0 19 0 28214861 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140736016321360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19557/statm: 2406260 107177 2291 9 0 2396937 0
[pid=19557/tid=19559] ppid=19554 vsize=9625040 CPUtime=1791.16 cores=0,2,4,6
/proc/19557/task/19559/stat : 19559 (java) R 19554 19557 6916 0 -1 4202560 2510 0 1 0 179084 32 0 0 20 0 19 0 28214862 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632240942800 140632077758321 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19560] ppid=19554 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/19557/task/19560/stat : 19560 (java) S 19554 19557 6916 0 -1 4202560 155 0 0 0 27 6 0 0 20 0 19 0 28214863 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632202443176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19561] ppid=19554 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/19557/task/19561/stat : 19561 (java) S 19554 19557 6916 0 -1 4202560 330 0 0 0 27 8 0 0 20 0 19 0 28214863 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632201390632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19562] ppid=19554 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/19557/task/19562/stat : 19562 (java) S 19554 19557 6916 0 -1 4202560 431 0 0 0 28 7 0 0 20 0 19 0 28214863 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632200337576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19563] ppid=19554 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/19557/task/19563/stat : 19563 (java) S 19554 19557 6916 0 -1 4202560 264 0 0 0 27 7 0 0 20 0 19 0 28214863 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632199285032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19564] ppid=19554 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/19557/task/19564/stat : 19564 (java) S 19554 19557 6916 0 -1 4202560 351 0 0 0 28 5 0 0 20 0 19 0 28214863 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632198233000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19565] ppid=19554 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/19557/task/19565/stat : 19565 (java) S 19554 19557 6916 0 -1 4202560 303 0 0 0 25 5 0 0 20 0 19 0 28214863 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632197180456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19566] ppid=19554 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/19557/task/19566/stat : 19566 (java) S 19554 19557 6916 0 -1 4202560 326 0 0 0 28 5 0 0 20 0 19 0 28214863 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632196127400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19567] ppid=19554 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/19557/task/19567/stat : 19567 (java) S 19554 19557 6916 0 -1 4202560 148 0 0 0 31 6 0 0 20 0 19 0 28214863 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632077101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19557/tid=19568] ppid=19554 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/19557/task/19568/stat : 19568 (java) S 19554 19557 6916 0 -1 4202560 144 0 0 0 8 1 0 0 20 0 19 0 28214864 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632064903528 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19569] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19569/stat : 19569 (java) S 19554 19557 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632063849848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19570] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19570/stat : 19570 (java) S 19554 19557 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28214864 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632062796680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19571] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19571/stat : 19571 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140632061745424 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19572] ppid=19554 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/19557/task/19572/stat : 19572 (java) S 19554 19557 6916 0 -1 4202560 8801 0 0 0 73 3 0 0 20 0 19 0 28214867 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140631322127160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19573] ppid=19554 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/19557/task/19573/stat : 19573 (java) S 19554 19557 6916 0 -1 4202560 3796 0 0 0 47 1 0 0 20 0 19 0 28214867 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140631321074616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19557/tid=19574] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19574/stat : 19574 (java) S 19554 19557 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28214867 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140631320021752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19557/tid=19575] ppid=19554 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/19557/task/19575/stat : 19575 (java) S 19554 19557 6916 0 -1 4202560 103 0 0 0 15 19 0 0 20 0 19 0 28214867 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140631318969416 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19557/tid=19576] ppid=19554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19557/task/19576/stat : 19576 (java) S 19554 19557 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28214909 9856040960 107177 33554432000 1073741824 1073778376 140736016330224 140631317914664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 19557 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 19557 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=670168
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=190818
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.84
CPU time (s): 1800.04
CPU user time (s): 1799.31
CPU system time (s): 0.73
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.67
system time used= 1.19082
maximum resident set size= 583716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18964
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38797
involuntary context switches= 12804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0235 second user time and 12.8131 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 16:54:40
IDJOB=4105549
IDBENCH=2892
IDSOLVER=2546
FILE ID=node124/4105549-1466261680
RUNJOBID= node124-1466241833-6932
PBS_JOBID= 19918215
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-duke2.b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105549-1466261680/watcher-4105549-1466261680 -o /tmp/evaluation-result-4105549-1466261680/solver-4105549-1466261680 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105549-1466261680.opb

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

MD5SUM BENCH= ad998dfe89909927555ae6165c9e8c9e
RANDOM SEED=981220337

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29782948 kB
Buffers:          149344 kB
Cached:           176880 kB
SwapCached:         3080 kB
Active:           408068 kB
Inactive:         234420 kB
Active(anon):     315728 kB
Inactive(anon):     2880 kB
Active(file):      92340 kB
Inactive(file):   231540 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:              2024 kB
Writeback:             0 kB
AnonPages:       2072512 kB
Mapped:            17044 kB
Shmem:                 0 kB
Slab:             626708 kB
SReclaimable:      70488 kB
SUnreclaim:       556220 kB
KernelStack:        1760 kB
PageTables:         8272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2333204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    548864 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= 71716 MiB
End job on node124 at 2016-06-18 17:24:37