Trace number 4085456

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)9 1800.01 1798.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085456-1465243627.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.15	c ... done. Wall clock time 0.038s.
0.09/0.15	c declared #vars     146
0.09/0.15	c #constraints  12
0.09/0.15	c constraints type 
0.09/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.09/0.15	c 12 constraints processed.
0.09/0.15	c objective function length is 96 literals
0.28/0.23	c SATISFIABLE
0.28/0.23	c OPTIMIZING...
0.28/0.23	c Got one! Elapsed wall clock time (in seconds):0.118
0.28/0.23	o 505
0.60/0.44	c Got one! Elapsed wall clock time (in seconds):0.322
0.60/0.44	o 208
0.82/0.61	c cleaning 2855 clauses out of 5727 with flag 4081/5727
1.10/0.84	c Got one! Elapsed wall clock time (in seconds):0.721
1.10/0.84	o 205
1.38/1.01	c cleaning 4004 clauses out of 8025 with flag 4152/10880
1.58/1.23	c Got one! Elapsed wall clock time (in seconds):1.117
1.58/1.23	o 134
1.68/1.34	c Got one! Elapsed wall clock time (in seconds):1.227
1.68/1.34	o 124
1.78/1.45	c cleaning 4790 clauses out of 9579 with flag 2090/16438
1.78/1.45	c Got one! Elapsed wall clock time (in seconds):1.338
1.78/1.45	o 123
1.78/1.48	c Got one! Elapsed wall clock time (in seconds):1.363
1.78/1.48	o 115
2.30/1.90	c cleaning 5125 clauses out of 10274 with flag 11332/21923
2.81/2.43	c cleaning 5571 clauses out of 11149 with flag 24035/27923
3.51/3.15	c cleaning 6279 clauses out of 12580 with flag 38315/34925
4.40/4.09	c cleaning 7144 clauses out of 14300 with flag 54911/42924
5.31/4.96	c Got one! Elapsed wall clock time (in seconds):4.849
5.31/4.96	o 114
5.91/5.57	c Got one! Elapsed wall clock time (in seconds):5.455
5.91/5.57	o 98
6.31/5.95	c cleaning 10243 clauses out of 20512 with flag 4198/56280
6.41/6.06	c Got one! Elapsed wall clock time (in seconds):5.948
6.41/6.06	o 95
6.90/6.56	c cleaning 7710 clauses out of 15452 with flag 8276/61463
7.50/7.10	c Got one! Elapsed wall clock time (in seconds):6.986
7.50/7.10	o 94
8.12/7.78	c cleaning 9085 clauses out of 18184 with flag 10323/71905
8.81/8.45	c cleaning 7540 clauses out of 15101 with flag 22761/77907
9.51/9.19	c cleaning 7269 clauses out of 14559 with flag 37042/84905
9.71/9.31	c Got one! Elapsed wall clock time (in seconds):9.193
9.71/9.31	o 72
10.11/9.70	c cleaning 6327 clauses out of 12676 with flag 8192/90291
10.61/10.24	c cleaning 6166 clauses out of 12349 with flag 20361/96291
11.31/10.97	c cleaning 6580 clauses out of 13183 with flag 34652/103291
12.11/11.77	c cleaning 7288 clauses out of 14603 with flag 50902/111291
13.11/12.75	c cleaning 8146 clauses out of 16315 with flag 69168/120291
14.31/13.97	c cleaning 9069 clauses out of 18169 with flag 89635/130291
15.71/15.38	c cleaning 10031 clauses out of 20100 with flag 112029/141291
17.41/17.03	c cleaning 11028 clauses out of 22069 with flag 136256/153291
19.41/19.08	c cleaning 12008 clauses out of 24042 with flag 162708/166292
21.61/21.28	c cleaning 13008 clauses out of 26036 with flag 191239/180294
24.21/23.81	c cleaning 14002 clauses out of 28025 with flag 222175/195291
26.41/26.06	c Got one! Elapsed wall clock time (in seconds):25.949
26.41/26.06	o 71
27.42/27.06	c cleaning 16154 clauses out of 32307 with flag 11557/213575
27.42/27.07	c Got one! Elapsed wall clock time (in seconds):26.954
27.42/27.07	o 69
27.52/27.16	c Got one! Elapsed wall clock time (in seconds):27.046
27.52/27.16	o 68
27.93/27.53	c Got one! Elapsed wall clock time (in seconds):27.411
27.93/27.53	o 67
28.12/27.76	c Got one! Elapsed wall clock time (in seconds):27.647
28.12/27.76	o 65
28.22/27.89	c cleaning 11411 clauses out of 22830 with flag 2352/220252
28.22/27.89	c Got one! Elapsed wall clock time (in seconds):27.778
28.22/27.89	o 60
28.42/28.05	c Got one! Elapsed wall clock time (in seconds):27.938
28.42/28.05	o 55
28.92/28.57	c cleaning 8407 clauses out of 16827 with flag 8583/225660
29.62/29.24	c cleaning 7206 clauses out of 14420 with flag 21004/231660
29.82/29.43	c Got one! Elapsed wall clock time (in seconds):29.32
29.82/29.43	o 53
30.24/29.80	c cleaning 6422 clauses out of 12868 with flag 6178/237314
30.83/30.35	c cleaning 6215 clauses out of 12446 with flag 18412/243314
31.53/31.00	c cleaning 6612 clauses out of 13231 with flag 32752/250314
32.33/31.85	c cleaning 7297 clauses out of 14619 with flag 49282/258314
32.93/32.46	c Got one! Elapsed wall clock time (in seconds):32.348
32.93/32.46	o 51
33.64/33.20	c cleaning 9384 clauses out of 18782 with flag 10848/269774
33.84/33.35	c Got one! Elapsed wall clock time (in seconds):33.238
33.84/33.35	o 50
34.24/33.72	c Got one! Elapsed wall clock time (in seconds):33.604
34.24/33.72	o 49
34.34/33.85	c cleaning 7935 clauses out of 15885 with flag 2127/276261
34.94/34.47	c cleaning 6963 clauses out of 13946 with flag 14720/282257
35.65/35.16	c cleaning 6984 clauses out of 13983 with flag 30502/289257
35.65/35.18	c Got one! Elapsed wall clock time (in seconds):35.061
35.65/35.18	o 47
36.15/35.65	c cleaning 6076 clauses out of 12166 with flag 10541/294424
36.65/36.18	c cleaning 6039 clauses out of 12092 with flag 22961/300426
37.35/36.88	c cleaning 6518 clauses out of 13052 with flag 37376/307425
38.06/37.59	c Got one! Elapsed wall clock time (in seconds):37.473
38.06/37.59	o 45
38.65/38.18	c cleaning 9443 clauses out of 18885 with flag 10927/319776
38.75/38.28	c Got one! Elapsed wall clock time (in seconds):38.164
38.75/38.28	o 43
39.25/38.78	c cleaning 7345 clauses out of 14708 with flag 8455/325042
39.86/39.32	c cleaning 6678 clauses out of 13362 with flag 21265/331041
39.86/39.38	c Got one! Elapsed wall clock time (in seconds):39.263
39.86/39.38	o 42
40.37/39.83	c cleaning 6298 clauses out of 12595 with flag 12159/336952
40.57/40.08	c Got one! Elapsed wall clock time (in seconds):39.964
40.57/40.08	o 41
40.77/40.29	c cleaning 5881 clauses out of 11776 with flag 4206/342431
41.28/40.74	c cleaning 5944 clauses out of 11895 with flag 18578/348431
41.87/41.32	c cleaning 6474 clauses out of 12952 with flag 34206/355432
42.57/42.04	c cleaning 7240 clauses out of 14484 with flag 51970/363438
42.77/42.27	c Got one! Elapsed wall clock time (in seconds):42.151
42.77/42.27	o 39
43.07/42.59	c cleaning 6609 clauses out of 13233 with flag 6974/369427
43.27/42.73	c Got one! Elapsed wall clock time (in seconds):42.615
43.27/42.73	o 37
43.58/43.02	c cleaning 5834 clauses out of 11689 with flag 6526/374492
44.07/43.57	c cleaning 5923 clauses out of 11853 with flag 20732/380490
44.77/44.24	c cleaning 6464 clauses out of 12930 with flag 36526/387490
44.77/44.29	c Got one! Elapsed wall clock time (in seconds):44.179
44.77/44.29	o 36
45.31/44.77	c cleaning 6062 clauses out of 12133 with flag 10579/393157
45.91/45.34	c cleaning 6028 clauses out of 12068 with flag 23265/399154
46.61/46.07	c cleaning 6515 clauses out of 13035 with flag 39368/406149
46.81/46.22	c Got one! Elapsed wall clock time (in seconds):46.107
46.81/46.22	o 35
47.21/46.60	c cleaning 6154 clauses out of 12334 with flag 9305/411963
47.51/46.93	c Got one! Elapsed wall clock time (in seconds):46.813
47.51/46.93	o 34
47.71/47.16	c cleaning 6068 clauses out of 12138 with flag 4476/417921
48.32/47.74	c cleaning 6031 clauses out of 12070 with flag 17774/423921
49.02/48.42	c cleaning 6521 clauses out of 13041 with flag 33242/430923
49.12/48.58	c Got one! Elapsed wall clock time (in seconds):48.462
49.12/48.58	o 33
49.52/48.99	c cleaning 6201 clauses out of 12411 with flag 9233/436814
50.02/49.42	c cleaning 6093 clauses out of 12210 with flag 22926/442814
50.72/50.16	c cleaning 6559 clauses out of 13120 with flag 37803/449817
51.62/51.01	c cleaning 7270 clauses out of 14558 with flag 54920/457814
52.52/51.99	c cleaning 8136 clauses out of 16288 with flag 74138/466814
53.42/52.88	c Got one! Elapsed wall clock time (in seconds):52.764
53.42/52.88	o 32
54.21/53.67	c cleaning 10271 clauses out of 20543 with flag 10903/479205
55.01/54.42	c cleaning 8134 clauses out of 16273 with flag 23270/485206
55.01/54.49	c Got one! Elapsed wall clock time (in seconds):54.375
55.01/54.49	o 30
55.62/55.07	c cleaning 6908 clauses out of 13830 with flag 10526/490897
56.21/55.65	c cleaning 6454 clauses out of 12922 with flag 22985/496897
56.92/56.39	c cleaning 6726 clauses out of 13470 with flag 37198/503899
57.82/57.30	c cleaning 7374 clauses out of 14747 with flag 53911/511902
59.02/58.44	c cleaning 8184 clauses out of 16369 with flag 72518/520898
60.31/59.78	c cleaning 9088 clauses out of 18184 with flag 93056/530897
61.81/61.29	c cleaning 10045 clauses out of 20099 with flag 115467/541900
63.11/62.55	c Got one! Elapsed wall clock time (in seconds):62.432
63.11/62.55	o 29
64.12/63.54	c cleaning 12031 clauses out of 24078 with flag 10733/555924
64.62/64.05	c Got one! Elapsed wall clock time (in seconds):63.939
64.62/64.05	o 28
64.82/64.21	c cleaning 8812 clauses out of 17638 with flag 2103/561515
65.42/64.85	c cleaning 7411 clauses out of 14829 with flag 15411/567518
66.31/65.70	c cleaning 7200 clauses out of 14414 with flag 29673/574514
67.21/66.70	c cleaning 7609 clauses out of 15220 with flag 45967/582520
67.82/67.27	c Got one! Elapsed wall clock time (in seconds):67.156
67.82/67.27	o 26
68.52/67.97	c cleaning 9078 clauses out of 18161 with flag 10713/593070
69.11/68.50	c Got one! Elapsed wall clock time (in seconds):68.384
69.11/68.50	o 24
69.92/69.34	c cleaning 9587 clauses out of 19182 with flag 10635/603169
70.61/70.06	c cleaning 7788 clauses out of 15597 with flag 22959/609171
71.51/70.92	c cleaning 7401 clauses out of 14813 with flag 37423/616175
72.51/71.92	c cleaning 7705 clauses out of 15412 with flag 53801/624175
73.71/73.15	c cleaning 8346 clauses out of 16703 with flag 72175/633171
74.32/73.77	c Got one! Elapsed wall clock time (in seconds):73.656
74.32/73.77	o 23
75.01/74.47	c cleaning 9448 clauses out of 18903 with flag 10815/643717
75.81/75.26	c cleaning 7718 clauses out of 15457 with flag 23387/649719
76.62/76.08	c cleaning 7362 clauses out of 14737 with flag 37851/656717
77.51/77.00	c cleaning 7684 clauses out of 15375 with flag 54309/664717
78.72/78.15	c cleaning 8337 clauses out of 16690 with flag 73010/673716
80.01/79.47	c cleaning 9182 clauses out of 18364 with flag 93537/683727
81.61/81.04	c cleaning 10084 clauses out of 20176 with flag 116086/694721
83.31/82.73	c cleaning 11045 clauses out of 22089 with flag 140729/706718
85.21/84.66	c cleaning 12015 clauses out of 24043 with flag 167200/719717
87.52/86.96	c cleaning 13009 clauses out of 26027 with flag 195852/733716
90.31/89.74	c cleaning 14009 clauses out of 28018 with flag 226644/748716
93.41/92.84	c cleaning 15000 clauses out of 30009 with flag 259643/764716
96.91/96.39	c cleaning 16004 clauses out of 32010 with flag 295005/781717
100.51/99.99	c cleaning 16997 clauses out of 34011 with flag 332296/799722
104.91/104.33	c cleaning 17998 clauses out of 36008 with flag 371208/818716
109.31/108.78	c cleaning 19001 clauses out of 38010 with flag 412427/838716
113.81/113.28	c cleaning 20000 clauses out of 40009 with flag 455445/859716
119.11/118.53	c cleaning 21000 clauses out of 42010 with flag 500518/881717
119.21/118.63	c Got one! Elapsed wall clock time (in seconds):118.514
119.21/118.63	o 22
120.41/119.82	c cleaning 13319 clauses out of 26666 with flag 10592/887373
121.41/120.88	c cleaning 9665 clauses out of 19350 with flag 22993/893376
122.51/121.93	c cleaning 8331 clauses out of 16682 with flag 37363/900373
122.61/122.02	c Got one! Elapsed wall clock time (in seconds):121.911
122.61/122.02	o 21
123.21/122.60	c cleaning 7133 clauses out of 14291 with flag 10457/906313
123.82/123.22	c cleaning 6576 clauses out of 13159 with flag 22900/912314
124.51/123.98	c cleaning 6788 clauses out of 13584 with flag 37428/919315
125.41/124.84	c cleaning 7397 clauses out of 14796 with flag 54033/927315
126.41/125.85	c cleaning 8199 clauses out of 16398 with flag 72469/936314
127.71/127.15	c cleaning 9100 clauses out of 18202 with flag 92978/946317
129.01/128.47	c cleaning 10050 clauses out of 20101 with flag 115720/957316
130.71/130.10	c cleaning 11023 clauses out of 22049 with flag 140330/969314
132.72/132.19	c cleaning 12010 clauses out of 24025 with flag 167205/982313
135.11/134.54	c cleaning 13003 clauses out of 26014 with flag 196091/996312
137.61/137.08	c cleaning 13998 clauses out of 28011 with flag 226965/1011312
139.81/139.24	c Got one! Elapsed wall clock time (in seconds):139.123
139.81/139.24	o 20
141.01/140.47	c cleaning 16061 clauses out of 32138 with flag 11129/1029437
142.03/141.44	c cleaning 11031 clauses out of 22077 with flag 23673/1035437
142.83/142.30	c cleaning 9022 clauses out of 18050 with flag 38176/1042441
143.83/143.22	c cleaning 8504 clauses out of 17026 with flag 54569/1050439
144.93/144.30	c cleaning 8756 clauses out of 17521 with flag 73033/1059438
146.12/145.57	c cleaning 9381 clauses out of 18764 with flag 93771/1069437
147.74/147.12	c cleaning 10191 clauses out of 20384 with flag 116372/1080438
149.34/148.74	c cleaning 11095 clauses out of 22194 with flag 141125/1092439
151.23/150.66	c cleaning 12048 clauses out of 24098 with flag 167817/1105438
153.33/152.70	c cleaning 13024 clauses out of 26049 with flag 196761/1119437
155.74/155.16	c cleaning 14013 clauses out of 28026 with flag 227867/1134438
158.23/157.66	c cleaning 15003 clauses out of 30013 with flag 260830/1150438
161.13/160.55	c cleaning 16005 clauses out of 32012 with flag 295919/1167440
164.43/163.87	c cleaning 17002 clauses out of 34005 with flag 332783/1185438
168.03/167.47	c cleaning 18000 clauses out of 36003 with flag 371757/1204438
172.34/171.72	c cleaning 18997 clauses out of 38002 with flag 412788/1224437
177.03/176.43	c cleaning 19999 clauses out of 40005 with flag 455872/1245437
182.24/181.67	c cleaning 21002 clauses out of 42009 with flag 501311/1267440
187.64/187.02	c cleaning 22000 clauses out of 44005 with flag 548391/1290438
194.03/193.48	c cleaning 23002 clauses out of 46006 with flag 597962/1314439
200.43/199.83	c cleaning 24001 clauses out of 48004 with flag 649280/1339439
207.23/206.60	c cleaning 24999 clauses out of 50002 with flag 702909/1365438
214.33/213.78	c cleaning 26001 clauses out of 52003 with flag 758377/1392438
221.93/221.40	c cleaning 26990 clauses out of 54002 with flag 815718/1420438
230.03/229.47	c cleaning 28006 clauses out of 56013 with flag 874709/1449439
238.74/238.16	c cleaning 29000 clauses out of 58007 with flag 935684/1479439
248.33/247.75	c cleaning 30002 clauses out of 60006 with flag 998890/1510438
258.73/258.11	c cleaning 31000 clauses out of 62005 with flag 1064315/1542439
270.24/269.62	c cleaning 32001 clauses out of 64006 with flag 1132046/1575440
282.03/281.43	c cleaning 32997 clauses out of 66002 with flag 1201762/1609437
294.53/293.95	c cleaning 34001 clauses out of 68005 with flag 1273233/1644437
307.76/307.11	c cleaning 34999 clauses out of 70007 with flag 1346618/1680440
310.56/309.95	c Got one! Elapsed wall clock time (in seconds):309.837
310.56/309.95	o 18
312.26/311.69	c cleaning 25181 clauses out of 50368 with flag 10487/1695800
313.36/312.78	c cleaning 15584 clauses out of 31188 with flag 22906/1701801
314.36/313.78	c cleaning 11297 clauses out of 22605 with flag 37414/1708802
315.56/314.98	c cleaning 9644 clauses out of 19308 with flag 54030/1716802
316.86/316.22	c cleaning 9325 clauses out of 18665 with flag 72582/1725803
317.96/317.36	c cleaning 9664 clauses out of 19337 with flag 93073/1735800
319.26/318.65	c cleaning 10339 clauses out of 20677 with flag 115641/1746804
320.96/320.39	c cleaning 11166 clauses out of 22335 with flag 140254/1758801
323.26/322.65	c cleaning 12083 clauses out of 24168 with flag 167041/1771800
325.76/325.17	c cleaning 13043 clauses out of 26087 with flag 195701/1785802
328.26/327.68	c cleaning 14017 clauses out of 28043 with flag 226411/1800801
330.96/330.32	c cleaning 15015 clauses out of 30029 with flag 259094/1816804
332.36/331.71	c Got one! Elapsed wall clock time (in seconds):331.592
332.36/331.71	o 16
333.46/332.85	c cleaning 14681 clauses out of 29362 with flag 10346/1831152
334.46/333.81	c cleaning 10324 clauses out of 20680 with flag 22673/1837151
335.36/334.77	c cleaning 8665 clauses out of 17357 with flag 36974/1844152
336.36/335.77	c cleaning 8335 clauses out of 16692 with flag 53364/1852152
337.56/336.94	c cleaning 8676 clauses out of 17357 with flag 71618/1861152
338.86/338.29	c cleaning 9339 clauses out of 18680 with flag 91948/1871151
340.56/339.92	c cleaning 10169 clauses out of 20340 with flag 114420/1882150
342.26/341.62	c cleaning 11080 clauses out of 22174 with flag 139181/1894153
344.36/343.80	c cleaning 12042 clauses out of 24093 with flag 165874/1907152
346.96/346.37	c cleaning 13024 clauses out of 26049 with flag 194403/1921150
349.77/349.10	c cleaning 14012 clauses out of 28026 with flag 225174/1936151
352.57/351.93	c cleaning 15006 clauses out of 30014 with flag 258158/1952151
355.86/355.25	c cleaning 16005 clauses out of 32009 with flag 293146/1969152
359.87/359.23	c cleaning 16999 clauses out of 34004 with flag 330052/1987152
364.17/363.54	c cleaning 17996 clauses out of 36003 with flag 368913/2006150
368.87/368.26	c cleaning 18997 clauses out of 38009 with flag 409660/2026152
374.37/373.72	c cleaning 20003 clauses out of 40013 with flag 452587/2047153
379.87/379.27	c cleaning 21002 clauses out of 42008 with flag 497726/2069151
386.07/385.44	c cleaning 22002 clauses out of 44005 with flag 544746/2092150
392.97/392.38	c cleaning 23000 clauses out of 46003 with flag 593678/2116150
399.87/399.27	c cleaning 24000 clauses out of 48003 with flag 644847/2141150
407.46/406.87	c cleaning 24991 clauses out of 50004 with flag 698259/2167151
415.17/414.55	c cleaning 26003 clauses out of 52012 with flag 753655/2194150
424.07/423.49	c cleaning 27000 clauses out of 54009 with flag 810879/2222150
433.47/432.89	c cleaning 28000 clauses out of 56009 with flag 870230/2251150
443.17/442.56	c cleaning 28999 clauses out of 58010 with flag 931845/2281151
454.10/453.47	c cleaning 30001 clauses out of 60010 with flag 995103/2312150
464.71/464.02	c cleaning 31004 clauses out of 62010 with flag 1060303/2344151
475.61/474.91	c cleaning 32004 clauses out of 64008 with flag 1127832/2377153
487.01/486.36	c cleaning 32999 clauses out of 66001 with flag 1197073/2411150
500.31/499.68	c cleaning 33997 clauses out of 68005 with flag 1268683/2446153
514.11/513.44	c cleaning 35001 clauses out of 70005 with flag 1342360/2482150
528.91/528.26	c cleaning 35999 clauses out of 72007 with flag 1417880/2519153
531.01/530.33	c Got one! Elapsed wall clock time (in seconds):530.217
531.01/530.33	o 15
532.71/532.01	c cleaning 24487 clauses out of 48994 with flag 10458/2532139
533.90/533.25	c cleaning 15248 clauses out of 30511 with flag 22820/2538143
535.00/534.38	c cleaning 11126 clauses out of 22261 with flag 37249/2545141
536.10/535.49	c cleaning 9556 clauses out of 19136 with flag 53753/2553142
537.20/536.54	c cleaning 9278 clauses out of 18578 with flag 72352/2562140
538.50/537.85	c cleaning 9645 clauses out of 19299 with flag 92960/2572139
540.21/539.53	c cleaning 10326 clauses out of 20654 with flag 115624/2583139
542.31/541.60	c cleaning 11157 clauses out of 22328 with flag 140200/2595139
544.41/543.77	c cleaning 12082 clauses out of 24171 with flag 166665/2608139
546.91/546.21	c cleaning 13038 clauses out of 26090 with flag 195110/2622140
549.01/548.32	c Got one! Elapsed wall clock time (in seconds):548.202
549.01/548.32	o 14
550.21/549.50	c cleaning 14873 clauses out of 29759 with flag 10346/2638847
551.11/550.44	c cleaning 10436 clauses out of 20889 with flag 22650/2644850
552.01/551.31	c cleaning 8712 clauses out of 17449 with flag 36926/2651846
552.92/552.27	c cleaning 8355 clauses out of 16738 with flag 53158/2659847
554.02/553.37	c cleaning 8691 clauses out of 17383 with flag 71689/2668847
555.31/554.64	c cleaning 9344 clauses out of 18692 with flag 92083/2678847
556.81/556.14	c cleaning 10170 clauses out of 20347 with flag 114617/2689846
558.52/557.86	c cleaning 11088 clauses out of 22182 with flag 139077/2701851
560.41/559.78	c cleaning 12040 clauses out of 24092 with flag 165487/2714849
562.82/562.20	c cleaning 13018 clauses out of 26049 with flag 194337/2728846
565.31/564.65	c cleaning 14014 clauses out of 28035 with flag 225044/2743850
568.32/567.70	c cleaning 15009 clauses out of 30018 with flag 257710/2759847
571.91/571.25	c cleaning 16000 clauses out of 32009 with flag 292572/2776847
575.71/575.01	c cleaning 17005 clauses out of 34010 with flag 329536/2794848
579.41/578.78	c cleaning 17999 clauses out of 36004 with flag 368312/2813847
583.91/583.22	c cleaning 18998 clauses out of 38005 with flag 408936/2833847
589.21/588.51	c cleaning 20003 clauses out of 40006 with flag 451846/2854846
594.41/593.77	c cleaning 20998 clauses out of 42005 with flag 496896/2876848
600.21/599.54	c cleaning 22001 clauses out of 44005 with flag 543721/2899846
606.62/605.90	c cleaning 23004 clauses out of 46009 with flag 592658/2923851
613.53/612.81	c cleaning 23995 clauses out of 48000 with flag 643577/2948846
620.93/620.29	c cleaning 25003 clauses out of 50007 with flag 696827/2974848
628.93/628.28	c cleaning 25991 clauses out of 52002 with flag 751835/3001846
637.53/636.89	c cleaning 27004 clauses out of 54012 with flag 809026/3029847
646.43/645.72	c cleaning 28003 clauses out of 56010 with flag 868361/3058849
655.53/654.81	c cleaning 28998 clauses out of 58004 with flag 929688/3088846
665.33/664.64	c cleaning 29999 clauses out of 60007 with flag 993168/3119847
676.94/676.23	c cleaning 31005 clauses out of 62009 with flag 1058486/3151848
689.45/688.77	c cleaning 31998 clauses out of 64002 with flag 1126225/3184846
703.04/702.35	c cleaning 33000 clauses out of 66004 with flag 1195726/3218846
715.64/715.00	c cleaning 33993 clauses out of 68006 with flag 1267088/3253848
731.85/731.10	c cleaning 35005 clauses out of 70011 with flag 1341264/3289846
747.76/747.04	c cleaning 35999 clauses out of 72011 with flag 1417784/3326851
763.45/762.78	c cleaning 37005 clauses out of 74010 with flag 1495494/3364849
778.85/778.16	c cleaning 37999 clauses out of 76002 with flag 1575259/3403846
795.86/795.10	c cleaning 39001 clauses out of 78003 with flag 1657071/3443846
814.06/813.38	c cleaning 39998 clauses out of 80004 with flag 1740990/3484848
833.06/832.37	c cleaning 41003 clauses out of 82008 with flag 1826638/3526850
836.16/835.40	c Got one! Elapsed wall clock time (in seconds):835.283
836.16/835.40	o 12
838.06/837.30	c cleaning 28598 clauses out of 57205 with flag 10429/3543050
839.36/838.62	c cleaning 17298 clauses out of 34609 with flag 22776/3549052
840.46/839.77	c cleaning 12153 clauses out of 24317 with flag 37272/3556058
841.68/840.93	c cleaning 10070 clauses out of 20161 with flag 53803/3564055
842.78/842.09	c cleaning 9531 clauses out of 19086 with flag 72483/3573050
844.08/843.32	c cleaning 9773 clauses out of 19555 with flag 93617/3583050
845.48/844.79	c cleaning 10387 clauses out of 20781 with flag 116896/3594049
847.28/846.56	c cleaning 11199 clauses out of 22398 with flag 142228/3606053
849.28/848.57	c cleaning 12092 clauses out of 24197 with flag 169255/3619051
851.48/850.76	c cleaning 13052 clauses out of 26105 with flag 198092/3633051
854.08/853.32	c cleaning 14026 clauses out of 28054 with flag 229144/3648052
856.68/855.99	c cleaning 15013 clauses out of 30027 with flag 262023/3664051
859.77/859.08	c cleaning 16007 clauses out of 32014 with flag 297127/3681051
863.57/862.82	c cleaning 17002 clauses out of 34006 with flag 334000/3699050
867.37/866.63	c cleaning 17995 clauses out of 36004 with flag 372936/3718050
871.57/870.87	c cleaning 18993 clauses out of 38009 with flag 414005/3738050
876.17/875.45	c cleaning 20007 clauses out of 40017 with flag 457100/3759051
880.97/880.22	c cleaning 21004 clauses out of 42011 with flag 502070/3781052
885.97/885.28	c cleaning 21994 clauses out of 44004 with flag 549359/3804049
891.47/890.72	c cleaning 23005 clauses out of 46010 with flag 598908/3828049
897.87/897.17	c cleaning 24000 clauses out of 48006 with flag 650657/3853050
904.77/904.06	c cleaning 25001 clauses out of 50007 with flag 704295/3879051
912.57/911.82	c cleaning 26002 clauses out of 52006 with flag 760105/3906051
920.77/920.06	c cleaning 26999 clauses out of 54002 with flag 817948/3934049
928.97/928.27	c cleaning 28000 clauses out of 56003 with flag 877903/3963049
937.88/937.11	c cleaning 29001 clauses out of 58008 with flag 939916/3993054
948.28/947.59	c cleaning 29999 clauses out of 60002 with flag 1003980/4024049
960.18/959.41	c cleaning 30996 clauses out of 62003 with flag 1070445/4056049
971.38/970.60	c cleaning 32002 clauses out of 64010 with flag 1138477/4089052
984.19/983.43	c cleaning 32998 clauses out of 66008 with flag 1208796/4123052
996.79/996.09	c cleaning 34002 clauses out of 68010 with flag 1281901/4158052
1008.70/1007.92	c cleaning 35000 clauses out of 70007 with flag 1356000/4194051
1021.30/1020.55	c cleaning 36002 clauses out of 72007 with flag 1433165/4231051
1035.61/1034.87	c cleaning 36999 clauses out of 74003 with flag 1511894/4269049
1037.31/1036.52	c Got one! Elapsed wall clock time (in seconds):1036.403
1037.31/1036.52	o 11
1039.21/1038.41	c cleaning 24134 clauses out of 48282 with flag 10507/4280327
1040.41/1039.61	c cleaning 15071 clauses out of 30151 with flag 22986/4286330
1041.41/1040.69	c cleaning 11031 clauses out of 22084 with flag 37505/4293334
1042.40/1041.64	c cleaning 9513 clauses out of 19047 with flag 54072/4301328
1043.40/1042.65	c cleaning 9258 clauses out of 18540 with flag 72805/4310334
1044.81/1044.03	c cleaning 9633 clauses out of 19275 with flag 93421/4320327
1046.30/1045.54	c cleaning 10321 clauses out of 20644 with flag 116154/4331329
1047.90/1047.20	c cleaning 11154 clauses out of 22321 with flag 140944/4343327
1049.81/1049.08	c cleaning 12084 clauses out of 24167 with flag 167822/4356327
1052.20/1051.47	c cleaning 13037 clauses out of 26084 with flag 196634/4370328
1054.90/1054.11	c cleaning 14023 clauses out of 28048 with flag 227395/4385329
1057.91/1057.20	c cleaning 15010 clauses out of 30024 with flag 260219/4401328
1061.21/1060.41	c cleaning 16003 clauses out of 32013 with flag 295100/4418327
1064.51/1063.79	c cleaning 17003 clauses out of 34010 with flag 331969/4436327
1068.60/1067.83	c cleaning 18006 clauses out of 36011 with flag 371022/4455331
1073.00/1072.24	c cleaning 19001 clauses out of 38001 with flag 412094/4475327
1078.10/1077.35	c cleaning 19999 clauses out of 40002 with flag 455395/4496329
1083.72/1082.96	c cleaning 20998 clauses out of 42005 with flag 500993/4518331
1089.32/1088.50	c cleaning 22003 clauses out of 44008 with flag 548517/4541332
1095.52/1094.70	c cleaning 22995 clauses out of 46000 with flag 598234/4565327
1102.51/1101.75	c cleaning 24001 clauses out of 48006 with flag 649818/4590328
1110.02/1109.26	c cleaning 24993 clauses out of 50004 with flag 703505/4616327
1118.22/1117.43	c cleaning 26002 clauses out of 52014 with flag 759618/4643330
1126.61/1125.89	c cleaning 27004 clauses out of 54015 with flag 817337/4671333
1135.52/1134.74	c cleaning 28003 clauses out of 56007 with flag 877265/4700329
1144.33/1143.53	c cleaning 28996 clauses out of 58002 with flag 939390/4730327
1154.12/1153.33	c cleaning 30005 clauses out of 60011 with flag 1003471/4761332
1164.53/1163.72	c cleaning 31001 clauses out of 62004 with flag 1069257/4793330
1175.64/1174.82	c cleaning 32000 clauses out of 64000 with flag 1137216/4826327
1187.84/1187.05	c cleaning 32997 clauses out of 66001 with flag 1207009/4860328
1200.44/1199.68	c cleaning 34001 clauses out of 68007 with flag 1278541/4895331
1214.25/1213.43	c cleaning 35002 clauses out of 70003 with flag 1351987/4931328
1229.25/1228.49	c cleaning 35995 clauses out of 72000 with flag 1427732/4968327
1244.45/1243.65	c cleaning 37004 clauses out of 74009 with flag 1505454/5006331
1259.55/1258.75	c cleaning 37996 clauses out of 76002 with flag 1585149/5045328
1275.15/1274.35	c cleaning 39002 clauses out of 78006 with flag 1667056/5085328
1292.76/1291.94	c cleaning 39997 clauses out of 80003 with flag 1750844/5126327
1311.07/1310.24	c cleaning 40997 clauses out of 82006 with flag 1836531/5168327
1330.06/1329.20	c cleaning 42006 clauses out of 84014 with flag 1924245/5211332
1350.17/1349.34	c cleaning 42993 clauses out of 86003 with flag 2013879/5255327
1370.07/1369.26	c cleaning 44003 clauses out of 88011 with flag 2105231/5300328
1391.68/1390.80	c cleaning 44997 clauses out of 90008 with flag 2198849/5346328
1414.24/1413.38	c cleaning 46001 clauses out of 92013 with flag 2294860/5393330
1439.04/1438.19	c cleaning 46991 clauses out of 94009 with flag 2392803/5441327
1465.55/1464.63	c cleaning 48010 clauses out of 96019 with flag 2493344/5490328
1492.56/1491.63	c cleaning 49000 clauses out of 98008 with flag 2595419/5540327
1521.65/1520.80	c cleaning 50004 clauses out of 100009 with flag 2699946/5591328
1549.17/1548.21	c cleaning 50995 clauses out of 102007 with flag 2806129/5643330
1580.07/1579.19	c cleaning 52001 clauses out of 104012 with flag 2915367/5696330
1609.48/1608.59	c cleaning 53001 clauses out of 106014 with flag 3026745/5750333
1640.99/1640.08	c cleaning 54001 clauses out of 108010 with flag 3140103/5805330
1673.20/1672.29	c cleaning 54994 clauses out of 110009 with flag 3255109/5861330
1696.90/1695.91	c Got one! Elapsed wall clock time (in seconds):1695.791
1696.90/1695.91	o 9
1701.61/1700.62	c cleaning 53826 clauses out of 107664 with flag 10460/5913979
1703.91/1702.95	c cleaning 29915 clauses out of 59839 with flag 22889/5919980
1705.50/1704.59	c cleaning 18459 clauses out of 36924 with flag 37713/5926980
1707.00/1706.04	c cleaning 13225 clauses out of 26462 with flag 54460/5934977
1708.63/1707.55	c cleaning 11116 clauses out of 22237 with flag 73235/5943977
1710.12/1709.04	c cleaning 10552 clauses out of 21123 with flag 93964/5953979
1711.73/1710.69	c cleaning 10783 clauses out of 21571 with flag 117008/5964979
1713.62/1712.57	c cleaning 11391 clauses out of 22787 with flag 141928/5976978
1715.62/1714.57	c cleaning 12194 clauses out of 24395 with flag 168648/5989977
1717.92/1716.88	c cleaning 13102 clauses out of 26203 with flag 197630/6003979
1720.62/1719.53	c cleaning 14051 clauses out of 28105 with flag 228376/6018983
1723.52/1722.40	c cleaning 15018 clauses out of 30049 with flag 261556/6034978
1726.72/1725.60	c cleaning 16010 clauses out of 32030 with flag 296725/6051977
1730.33/1729.21	c cleaning 17011 clauses out of 34021 with flag 333721/6069978
1734.12/1733.07	c cleaning 18006 clauses out of 36011 with flag 372735/6088979
1738.42/1737.33	c cleaning 18997 clauses out of 38004 with flag 414149/6108978
1742.92/1741.89	c cleaning 20003 clauses out of 40007 with flag 457522/6129978
1748.32/1747.25	c cleaning 20998 clauses out of 42006 with flag 502626/6151980
1753.92/1752.88	c cleaning 22002 clauses out of 44005 with flag 549858/6174977
1759.81/1758.80	c cleaning 22998 clauses out of 46007 with flag 599273/6198981
1766.21/1765.12	c cleaning 23997 clauses out of 48005 with flag 650258/6223977
1773.11/1772.00	c cleaning 25005 clauses out of 50009 with flag 703857/6249978
1780.61/1779.54	c cleaning 25998 clauses out of 52004 with flag 759359/6276978
1789.31/1788.23	c cleaning 27003 clauses out of 54005 with flag 816743/6304977
1798.11/1797.09	c cleaning 28000 clauses out of 56003 with flag 875952/6333978
1800.01/1798.90	c starts		: 110
1800.01/1798.90	c conflicts		: 6342812
1800.01/1798.90	c decisions		: 6489763
1800.01/1798.90	c propagations		: 53526301
1800.01/1798.90	c inspects		: 40530812497
1800.01/1798.90	c shortcuts		: 0
1800.01/1798.90	c learnt literals	: 0
1800.01/1798.90	c learnt binary clauses	: 0
1800.01/1798.90	c learnt ternary clauses	: 0
1800.01/1798.90	c learnt constraints	: 6342812
1800.01/1798.90	c ignored constraints	: 0
1800.01/1798.90	c root simplifications	: 0
1800.01/1798.90	c removed literals (reason simplification)	: 0
1800.01/1798.90	c reason swapping (by a shorter reason)	: 0
1800.01/1798.90	c Calls to reduceDB	: 350
1800.01/1798.90	c Number of update (reduction) of LBD	: 318401
1800.01/1798.90	c Imported unit clauses	: 0
1800.01/1798.90	c number of reductions to clauses (during analyze)	: 0
1800.01/1798.90	c number of learned constraints concerned by reduction	: 0
1800.01/1798.90	c number of learning phase by resolution	: 0
1800.01/1798.90	c number of learning phase by cutting planes	: 0
1800.01/1798.90	c speed (assignments/second)	: 29757.531905525397
1800.01/1798.90	c non guided choices	1148
1800.01/1798.92	c learnt constraints type 
1800.01/1798.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36837
1800.01/1798.92	s SATISFIABLE
1800.01/1798.92	c Found 51 solution(s)
1800.01/1798.92	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 
1800.01/1798.92	c objective function=9
1800.01/1798.92	c Total wall clock time (in seconds): 1798.807

Verifier Data 

OK	9

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-4085456-1465243627/watcher-4085456-1465243627 -o /tmp/evaluation-result-4085456-1465243627/solver-4085456-1465243627 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9908 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085456-1465243627.opb 

pid=12706
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.11 2.15 2.17 4/196 12709
/proc/meminfo: memFree=30195072/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/12709/stat : 12709 (java) R 12706 12709 9891 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 106294731 278528 33 33554432000 1073741824 1073778376 140734584171312 140733976411864 215115459765 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 68 34 26 9 0 25 0

[startup+0.100061 s]
/proc/loadavg: 2.11 2.15 2.17 4/196 12709
/proc/meminfo: memFree=30195072/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 106294731 9787879424 6028 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200226 s]
/proc/loadavg: 2.11 2.15 2.17 4/196 12709
/proc/meminfo: memFree=30195072/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 5890 0 1 0 27 1 0 0 20 0 19 0 106294731 9856040960 7032 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 7032 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040

[startup+0.300231 s]
/proc/loadavg: 2.11 2.15 2.17 4/196 12709
/proc/meminfo: memFree=30195072/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 6368 0 1 0 48 1 0 0 20 0 19 0 106294731 9856040960 7662 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 7662 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700196 s]
/proc/loadavg: 2.11 2.15 2.17 4/196 12709
/proc/meminfo: memFree=30195072/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 6562 0 1 0 95 1 0 0 20 0 19 0 106294731 9856040960 8680 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 8680 2252 9 0 2396937 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 9625040

[startup+1.5009 s]
/proc/loadavg: 2.18 2.16 2.18 4/215 12728
/proc/meminfo: memFree=30163052/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=1.89 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 8574 0 1 0 187 2 0 0 20 0 19 0 106294731 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 10363 2257 9 0 2396937 0
[pid=12709/tid=12711] ppid=12706 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/12709/task/12711/stat : 12711 (java) R 12706 12709 9891 0 -1 4202560 2420 0 1 0 145 1 0 0 20 0 19 0 106294732 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473196192048 140473029620967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12712] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12712/stat : 12712 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473157691816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12713] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12713/stat : 12713 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473156639272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12714] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12714/stat : 12714 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473155586216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12715] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12715/stat : 12715 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473154533672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12716] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12716/stat : 12716 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473153481640 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12717] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12717/stat : 12717 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473152429096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12718] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12718/stat : 12718 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473151376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12719] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12719/stat : 12719 (java) S 12706 12709 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473150323496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12720] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12720/stat : 12720 (java) S 12706 12709 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473019619688 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12721] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12721/stat : 12721 (java) S 12706 12709 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473018566008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12722] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12722/stat : 12722 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473017512840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12723] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12723/stat : 12723 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473016461584 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12724] ppid=12706 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12709/task/12724/stat : 12724 (java) S 12706 12709 9891 0 -1 4202560 3638 0 0 0 25 0 0 0 20 0 19 0 106294737 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473015409464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12725] ppid=12706 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/12709/task/12725/stat : 12725 (java) S 12706 12709 9891 0 -1 4202560 1243 0 0 0 13 0 0 0 20 0 19 0 106294737 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140473014356920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12726] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12726/stat : 12726 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140472139901688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12727] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12727/stat : 12727 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140472138849352 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12728] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12728/stat : 12728 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294747 9856040960 10363 33554432000 1073741824 1073778376 140734584171312 140472137794600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.18 2.16 2.18 3/215 12728
/proc/meminfo: memFree=30159204/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=3.51 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 8621 0 1 0 349 2 0 0 20 0 19 0 106294731 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 11387 2257 9 0 2396937 0
[pid=12709/tid=12711] ppid=12706 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/12709/task/12711/stat : 12711 (java) R 12706 12709 9891 0 -1 4202560 2422 0 1 0 304 1 0 0 20 0 19 0 106294732 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473196200200 140473029620967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12712] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12712/stat : 12712 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473157691816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12713] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12713/stat : 12713 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473156639272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12714] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12714/stat : 12714 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473155586216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12715] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12715/stat : 12715 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473154533672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12716] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12716/stat : 12716 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473153481640 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12717] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12717/stat : 12717 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473152429096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12718] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12718/stat : 12718 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473151376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12719] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12719/stat : 12719 (java) S 12706 12709 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473150323496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12720] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12720/stat : 12720 (java) S 12706 12709 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473019619688 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12721] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12721/stat : 12721 (java) S 12706 12709 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473018566008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12722] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12722/stat : 12722 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473017512840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12723] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12723/stat : 12723 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473016461584 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12724] ppid=12706 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/12709/task/12724/stat : 12724 (java) S 12706 12709 9891 0 -1 4202560 3638 0 0 0 26 0 0 0 20 0 19 0 106294737 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473015409464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12725] ppid=12706 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12709/task/12725/stat : 12725 (java) S 12706 12709 9891 0 -1 4202560 1288 0 0 0 14 0 0 0 20 0 19 0 106294737 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140473014356920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12726] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12726/stat : 12726 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140472139901688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12727] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12727/stat : 12727 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140472138849352 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12728] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12728/stat : 12728 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294747 9856040960 11387 33554432000 1073741824 1073778376 140734584171312 140472137794600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.17 2.16 2.18 3/215 12728
/proc/meminfo: memFree=30148848/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=6.7 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 8628 0 1 0 668 2 0 0 20 0 19 0 106294731 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 13901 2258 9 0 2396937 0
[pid=12709/tid=12711] ppid=12706 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/12709/task/12711/stat : 12711 (java) R 12706 12709 9891 0 -1 4202560 2428 0 1 0 624 1 0 0 20 0 19 0 106294732 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473196192048 140473029620967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12712] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12712/stat : 12712 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473157691816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12713] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12713/stat : 12713 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473156639272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12714] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12714/stat : 12714 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473155586216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12715] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12715/stat : 12715 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473154533672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12716] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12716/stat : 12716 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473153481640 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12717] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12717/stat : 12717 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473152429096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12718] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12718/stat : 12718 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473151376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12719] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12719/stat : 12719 (java) S 12706 12709 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106294733 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473150323496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12720] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12720/stat : 12720 (java) S 12706 12709 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473019619688 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12721] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12721/stat : 12721 (java) S 12706 12709 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473018566008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12722] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12722/stat : 12722 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473017512840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12723] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12723/stat : 12723 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473016461584 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12724] ppid=12706 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/12709/task/12724/stat : 12724 (java) S 12706 12709 9891 0 -1 4202560 3638 0 0 0 26 0 0 0 20 0 19 0 106294737 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473015409464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12725] ppid=12706 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12709/task/12725/stat : 12725 (java) S 12706 12709 9891 0 -1 4202560 1288 0 0 0 14 0 0 0 20 0 19 0 106294737 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140473014356920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12726] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12726/stat : 12726 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140472139901688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12727] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12727/stat : 12727 (java) S 12706 12709 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140472138849352 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12728] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12728/stat : 12728 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294747 9856040960 13901 33554432000 1073741824 1073778376 140734584171312 140472137794600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 9625040


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

[pid=12709/tid=12728] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12728/stat : 12728 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294747 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472137794600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1723.42
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/215 12902
/proc/meminfo: memFree=29954108/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=1783.41 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 14396 0 1 0 178302 39 0 0 20 0 19 0 106294731 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 57806 2274 9 0 2396937 0
[pid=12709/tid=12711] ppid=12706 vsize=9625040 CPUtime=1777.55 cores=1,3,5,7
/proc/12709/task/12711/stat : 12711 (java) R 12706 12709 9891 0 -1 4202560 2492 0 1 0 177725 30 0 0 20 0 19 0 106294732 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473196191424 140473029542284 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12712] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12712/stat : 12712 (java) S 12706 12709 9891 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473157691816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12713] ppid=12706 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12709/task/12713/stat : 12713 (java) S 12706 12709 9891 0 -1 4202560 168 0 0 0 2 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473156639272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12714] ppid=12706 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12709/task/12714/stat : 12714 (java) S 12706 12709 9891 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473155586216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12715] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12715/stat : 12715 (java) S 12706 12709 9891 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473154533672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12716] ppid=12706 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/12709/task/12716/stat : 12716 (java) S 12706 12709 9891 0 -1 4202560 165 0 0 0 6 1 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473153481640 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12717] ppid=12706 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/12709/task/12717/stat : 12717 (java) S 12706 12709 9891 0 -1 4202560 180 0 0 0 4 2 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473152429096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12718] ppid=12706 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12709/task/12718/stat : 12718 (java) S 12706 12709 9891 0 -1 4202560 189 0 0 0 4 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473151376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12719] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12719/stat : 12719 (java) S 12706 12709 9891 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473150323496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12720] ppid=12706 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12709/task/12720/stat : 12720 (java) S 12706 12709 9891 0 -1 4202560 39 0 0 0 1 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473019619688 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12721] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12721/stat : 12721 (java) S 12706 12709 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473018566008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12722] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12722/stat : 12722 (java) S 12706 12709 9891 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473017512840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12723] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12723/stat : 12723 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473016461584 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12724] ppid=12706 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/12709/task/12724/stat : 12724 (java) S 12706 12709 9891 0 -1 4202560 7277 0 0 0 38 2 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473015409464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12725] ppid=12706 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12709/task/12725/stat : 12725 (java) S 12706 12709 9891 0 -1 4202560 2439 0 0 0 22 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473014356920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12726] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12726/stat : 12726 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472139901688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12727] ppid=12706 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/12709/task/12727/stat : 12727 (java) S 12706 12709 9891 0 -1 4202560 104 0 0 0 23 29 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472138849352 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 8 0 0
[pid=12709/tid=12728] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12728/stat : 12728 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294747 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472137794600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1783.41
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.9 s]
/proc/loadavg: 2.18 2.20 2.18 3/215 12902
/proc/meminfo: memFree=29938304/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 14396 0 1 0 179962 39 0 0 20 0 19 0 106294731 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 57806 2274 9 0 2396937 0
[pid=12709/tid=12711] ppid=12706 vsize=9625040 CPUtime=1794.11 cores=1,3,5,7
/proc/12709/task/12711/stat : 12711 (java) R 12706 12709 9891 0 -1 4202560 2492 0 1 0 179381 30 0 0 20 0 19 0 106294732 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473196191424 140473029620967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12712] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12712/stat : 12712 (java) S 12706 12709 9891 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473157691816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12713] ppid=12706 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12709/task/12713/stat : 12713 (java) S 12706 12709 9891 0 -1 4202560 168 0 0 0 2 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473156639272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12714] ppid=12706 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12709/task/12714/stat : 12714 (java) S 12706 12709 9891 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473155586216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12715] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12715/stat : 12715 (java) S 12706 12709 9891 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473154533672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12716] ppid=12706 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/12709/task/12716/stat : 12716 (java) S 12706 12709 9891 0 -1 4202560 165 0 0 0 6 1 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473153481640 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12717] ppid=12706 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/12709/task/12717/stat : 12717 (java) S 12706 12709 9891 0 -1 4202560 180 0 0 0 4 2 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473152429096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12718] ppid=12706 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12709/task/12718/stat : 12718 (java) S 12706 12709 9891 0 -1 4202560 189 0 0 0 4 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473151376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12719] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12719/stat : 12719 (java) S 12706 12709 9891 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473150323496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12720] ppid=12706 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12709/task/12720/stat : 12720 (java) S 12706 12709 9891 0 -1 4202560 39 0 0 0 1 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473019619688 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12721] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12721/stat : 12721 (java) S 12706 12709 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473018566008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12722] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12722/stat : 12722 (java) S 12706 12709 9891 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473017512840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12723] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12723/stat : 12723 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473016461584 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12724] ppid=12706 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/12709/task/12724/stat : 12724 (java) S 12706 12709 9891 0 -1 4202560 7277 0 0 0 38 2 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473015409464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12725] ppid=12706 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12709/task/12725/stat : 12725 (java) S 12706 12709 9891 0 -1 4202560 2439 0 0 0 22 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473014356920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12726] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12726/stat : 12726 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472139901688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12727] ppid=12706 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/12709/task/12727/stat : 12727 (java) S 12706 12709 9891 0 -1 4202560 104 0 0 0 24 29 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472138849352 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 8 0 0
[pid=12709/tid=12728] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12728/stat : 12728 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294747 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472137794600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 12709 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.9 s]
/proc/loadavg: 2.18 2.20 2.18 3/215 12902
/proc/meminfo: memFree=29938304/32872528 swapFree=20720/1686580
[pid=12709] ppid=12706 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/12709/stat : 12709 (java) S 12706 12709 9891 0 -1 4202496 14396 0 1 0 179962 39 0 0 20 0 19 0 106294731 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140734584162448 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12709/statm: 2406260 57806 2274 9 0 2396937 0
[pid=12709/tid=12711] ppid=12706 vsize=9625040 CPUtime=1794.11 cores=1,3,5,7
/proc/12709/task/12711/stat : 12711 (java) R 12706 12709 9891 0 -1 4202560 2492 0 1 0 179381 30 0 0 20 0 19 0 106294732 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473196191424 140473029620967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12712] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12712/stat : 12712 (java) S 12706 12709 9891 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473157691816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12713] ppid=12706 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12709/task/12713/stat : 12713 (java) S 12706 12709 9891 0 -1 4202560 168 0 0 0 2 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473156639272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12714] ppid=12706 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12709/task/12714/stat : 12714 (java) S 12706 12709 9891 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473155586216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12709/tid=12715] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12715/stat : 12715 (java) S 12706 12709 9891 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473154533672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12716] ppid=12706 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/12709/task/12716/stat : 12716 (java) S 12706 12709 9891 0 -1 4202560 165 0 0 0 6 1 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473153481640 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12717] ppid=12706 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/12709/task/12717/stat : 12717 (java) S 12706 12709 9891 0 -1 4202560 180 0 0 0 4 2 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473152429096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12718] ppid=12706 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12709/task/12718/stat : 12718 (java) S 12706 12709 9891 0 -1 4202560 189 0 0 0 4 0 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473151376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12719] ppid=12706 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12709/task/12719/stat : 12719 (java) S 12706 12709 9891 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 19 0 106294733 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473150323496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12720] ppid=12706 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12709/task/12720/stat : 12720 (java) S 12706 12709 9891 0 -1 4202560 39 0 0 0 1 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473019619688 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12709/tid=12721] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12721/stat : 12721 (java) S 12706 12709 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473018566008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12722] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12722/stat : 12722 (java) S 12706 12709 9891 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106294734 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473017512840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12723] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12723/stat : 12723 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473016461584 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12724] ppid=12706 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/12709/task/12724/stat : 12724 (java) S 12706 12709 9891 0 -1 4202560 7277 0 0 0 38 2 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473015409464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12709/tid=12725] ppid=12706 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12709/task/12725/stat : 12725 (java) S 12706 12709 9891 0 -1 4202560 2439 0 0 0 22 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140473014356920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12726] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12726/stat : 12726 (java) S 12706 12709 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472139901688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12709/tid=12727] ppid=12706 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/12709/task/12727/stat : 12727 (java) S 12706 12709 9891 0 -1 4202560 104 0 0 0 24 29 0 0 20 0 19 0 106294737 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472138849352 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 8 0 0
[pid=12709/tid=12728] ppid=12706 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12709/task/12728/stat : 12728 (java) S 12706 12709 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106294747 9856040960 57806 33554432000 1073741824 1073778376 140734584171312 140472137794600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12709 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=109101
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=792879
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.94
CPU time (s): 1800.01
CPU user time (s): 1799.62
CPU system time (s): 0.39
CPU usage (%): 100.06
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.11
system time used= 0.792879
maximum resident set size= 231384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14443
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38255
involuntary context switches= 4808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9122 second user time and 11.9532 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-06 22:07:07
IDJOB=4085456
IDBENCH=2902
IDSOLVER=2546
FILE ID=node135/4085456-1465243627
RUNJOBID= node135-1465226821-9908
PBS_JOBID= 19843238
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085456-1465243627/watcher-4085456-1465243627 -o /tmp/evaluation-result-4085456-1465243627/solver-4085456-1465243627 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9908 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085456-1465243627.opb

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=176796216

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30195624 kB
Buffers:           33896 kB
Cached:            87796 kB
SwapCached:         1824 kB
Active:           213868 kB
Inactive:          63052 kB
Active(anon):     156104 kB
Inactive(anon):     1352 kB
Active(file):      57764 kB
Inactive(file):    61700 kB
Unevictable:     1686580 kB
Mlocked:           20720 kB
SwapTotal:      67108856 kB
SwapFree:       67098252 kB
Dirty:               884 kB
Writeback:             0 kB
AnonPages:       1855588 kB
Mapped:            15400 kB
Shmem:                 0 kB
Slab:             566992 kB
SReclaimable:      10668 kB
SUnreclaim:       556324 kB
KernelStack:        1592 kB
PageTables:         7712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2375824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1818624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node135 at 2016-06-06 22:37:06