Trace number 4101965

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)3591 1800.03 1795.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb
MD5SUM08913f3dd730f4c3a659694fd4c06001
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3591
Best CPU time to get the best result obtained on this benchmark3.12152
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3591
Optimality of the best value was proved NO
Number of variables556
Total number of constraints180
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints178
Minimum length of a constraint2
Maximum length of a constraint48
Number of terms in the objective function 304
Biggest coefficient in the objective function 10575
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 524466
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 20152
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 524466
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.12/0.10	c Pseudo Boolean Optimization by upper bound
0.12/0.10	c --- Begin Solver configuration ---
0.12/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.12/0.10	c Learn all clauses as in MiniSAT
0.12/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.10	c No reason simplification
0.12/0.10	c Glucose 2.1 dynamic restart strategy
0.12/0.10	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.12/0.10	c timeout=2147483s
0.12/0.10	c DB Simplification allowed=false
0.12/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.12/0.10	c --- End Solver configuration ---
0.12/0.10	c solving HOME/instance-4101965-1466227676.opb
0.12/0.10	c reading problem ... 
0.12/0.10	c  objective function found
0.12/0.17	c ... done. Wall clock time 0.071s.
0.12/0.17	c declared #vars     556
0.12/0.17	c #constraints  180
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36
0.12/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
0.12/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24
0.12/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 118
0.12/0.17	c 180 constraints processed.
0.12/0.17	c objective function length is 304 literals
0.28/0.24	c SATISFIABLE
0.28/0.24	c OPTIMIZING...
0.28/0.24	c Got one! Elapsed wall clock time (in seconds):0.145
0.28/0.25	o 7290
0.57/0.38	c Got one! Elapsed wall clock time (in seconds):0.275
0.57/0.38	o 7222
0.99/0.64	c cleaning 2624 clauses out of 5258 with flag 9874/5259
1.22/0.87	c Got one! Elapsed wall clock time (in seconds):0.766
1.22/0.87	o 7118
1.37/0.97	c cleaning 4263 clauses out of 8533 with flag 5841/11158
1.62/1.16	c Got one! Elapsed wall clock time (in seconds):1.059
1.62/1.16	o 7024
1.62/1.17	c Got one! Elapsed wall clock time (in seconds):1.068
1.62/1.17	o 6895
1.94/1.31	c cleaning 4880 clauses out of 9774 with flag 6720/16662
2.25/1.68	c cleaning 5439 clauses out of 10895 with flag 27025/22663
2.36/1.74	c Got one! Elapsed wall clock time (in seconds):1.636
2.36/1.74	o 6769
2.36/1.76	c Got one! Elapsed wall clock time (in seconds):1.657
2.36/1.76	o 6733
2.57/1.98	c cleaning 5435 clauses out of 10878 with flag 11423/28086
3.22/2.31	c cleaning 5714 clauses out of 11443 with flag 29123/34086
3.22/2.32	c Got one! Elapsed wall clock time (in seconds):2.218
3.22/2.32	o 6649
3.77/2.62	c cleaning 5490 clauses out of 10992 with flag 14768/39349
4.18/3.02	c cleaning 5737 clauses out of 11497 with flag 33882/45344
5.00/3.41	c cleaning 6377 clauses out of 12762 with flag 54361/52346
5.11/3.57	c Got one! Elapsed wall clock time (in seconds):3.467
5.11/3.57	o 6567
5.32/3.72	c cleaning 5997 clauses out of 12006 with flag 6640/57967
6.11/4.12	c cleaning 5994 clauses out of 12007 with flag 28702/63965
6.56/4.52	c cleaning 6507 clauses out of 13013 with flag 51899/70965
7.15/5.12	c cleaning 7249 clauses out of 14507 with flag 89948/78966
7.15/5.14	c Got one! Elapsed wall clock time (in seconds):5.043
7.15/5.14	o 6202
7.45/5.45	c cleaning 6380 clauses out of 12779 with flag 16950/84487
7.86/5.84	c cleaning 6191 clauses out of 12398 with flag 35428/90486
8.36/6.39	c cleaning 6595 clauses out of 13207 with flag 60301/97486
8.96/6.93	c cleaning 7302 clauses out of 14613 with flag 85577/105487
9.48/7.44	c cleaning 8146 clauses out of 16310 with flag 111439/114486
9.58/7.55	c Got one! Elapsed wall clock time (in seconds):7.452
9.58/7.55	o 6076
9.58/7.56	c Got one! Elapsed wall clock time (in seconds):7.463
9.58/7.56	o 6075
9.81/7.77	c cleaning 6866 clauses out of 13738 with flag 11011/120060
10.30/8.21	c cleaning 6429 clauses out of 12870 with flag 37641/126059
10.30/8.28	c Got one! Elapsed wall clock time (in seconds):8.183
10.30/8.28	o 6065
10.60/8.53	c cleaning 6015 clauses out of 12030 with flag 12134/131651
10.60/8.54	c Got one! Elapsed wall clock time (in seconds):8.441
10.60/8.54	o 5762
10.80/8.79	c cleaning 5598 clauses out of 11224 with flag 15876/136860
11.01/8.98	c Got one! Elapsed wall clock time (in seconds):8.88
11.01/8.98	o 5437
11.10/9.04	c cleaning 5418 clauses out of 10859 with flag 2775/142093
11.40/9.33	c cleaning 5714 clauses out of 11441 with flag 21963/148093
11.80/9.79	c cleaning 6356 clauses out of 12729 with flag 44956/155095
12.30/10.28	c cleaning 7177 clauses out of 14369 with flag 72072/163093
13.00/10.94	c cleaning 8092 clauses out of 16193 with flag 113749/172094
13.70/11.62	c cleaning 9039 clauses out of 18099 with flag 149904/182093
14.10/12.05	c Got one! Elapsed wall clock time (in seconds):11.946
14.10/12.05	o 5356
14.60/12.51	c cleaning 10695 clauses out of 21405 with flag 14608/194439
14.71/12.69	c Got one! Elapsed wall clock time (in seconds):12.59
14.71/12.69	o 5179
15.01/12.97	c cleaning 8247 clauses out of 16514 with flag 9120/200245
15.61/13.51	c cleaning 7124 clauses out of 14269 with flag 29269/206247
16.11/14.01	c cleaning 7065 clauses out of 14143 with flag 52757/213246
16.62/14.58	c cleaning 7536 clauses out of 15078 with flag 84729/221246
17.02/14.92	c Got one! Elapsed wall clock time (in seconds):14.816
17.02/14.92	o 5109
17.35/15.28	c cleaning 9333 clauses out of 18682 with flag 17211/232387
17.75/15.66	c cleaning 7666 clauses out of 15346 with flag 39352/238384
18.25/16.10	c cleaning 7335 clauses out of 14681 with flag 64619/245385
18.75/16.69	c cleaning 7668 clauses out of 15345 with flag 92043/253384
19.25/17.11	c Got one! Elapsed wall clock time (in seconds):17.006
19.25/17.11	o 5018
19.38/17.21	c Got one! Elapsed wall clock time (in seconds):17.109
19.38/17.21	o 5009
19.68/17.56	c cleaning 10158 clauses out of 20323 with flag 14211/266031
20.17/18.05	c cleaning 8078 clauses out of 16166 with flag 40400/272032
20.77/18.63	c cleaning 7535 clauses out of 15087 with flag 71373/279031
21.37/19.29	c cleaning 7774 clauses out of 15554 with flag 104740/287033
22.17/20.07	c cleaning 8383 clauses out of 16779 with flag 144224/296032
23.08/20.94	c cleaning 9187 clauses out of 18397 with flag 181679/306033
23.87/21.77	c cleaning 10096 clauses out of 20208 with flag 216421/317031
25.30/23.18	c cleaning 11050 clauses out of 22112 with flag 263695/329031
26.99/24.89	c cleaning 12029 clauses out of 24063 with flag 317342/342032
28.99/26.85	c cleaning 13012 clauses out of 26033 with flag 379356/356031
31.29/29.16	c cleaning 14005 clauses out of 28023 with flag 439052/371033
33.79/31.63	c cleaning 14999 clauses out of 30015 with flag 504315/387031
36.19/34.07	c cleaning 16003 clauses out of 32017 with flag 563809/404032
36.99/34.81	c Got one! Elapsed wall clock time (in seconds):34.714
36.99/34.81	o 4909
37.19/35.07	c Got one! Elapsed wall clock time (in seconds):34.971
37.19/35.07	o 4900
37.59/35.44	c cleaning 14081 clauses out of 28171 with flag 10545/416189
37.69/35.50	c Got one! Elapsed wall clock time (in seconds):35.402
37.69/35.50	o 4798
37.99/35.81	c cleaning 9933 clauses out of 19890 with flag 15507/421990
38.39/36.20	c Got one! Elapsed wall clock time (in seconds):36.103
38.39/36.20	o 4614
38.81/36.67	c cleaning 10049 clauses out of 20107 with flag 15854/432140
39.41/37.23	c cleaning 8021 clauses out of 16057 with flag 35394/438139
40.01/37.80	c cleaning 7514 clauses out of 15035 with flag 57739/445139
40.61/38.44	c cleaning 7756 clauses out of 15521 with flag 88286/453139
41.31/39.16	c cleaning 8375 clauses out of 16765 with flag 119462/462139
42.31/40.14	c cleaning 9188 clauses out of 18390 with flag 161240/472139
43.41/41.25	c cleaning 10096 clauses out of 20206 with flag 216053/483143
43.61/41.46	c Got one! Elapsed wall clock time (in seconds):41.358
43.61/41.46	o 4489
43.81/41.61	c cleaning 7589 clauses out of 15185 with flag 6146/488218
44.21/42.07	c cleaning 6795 clauses out of 13596 with flag 25818/494218
44.81/42.63	c cleaning 6893 clauses out of 13799 with flag 50303/501216
45.11/42.96	c Got one! Elapsed wall clock time (in seconds):42.859
45.11/42.96	o 4454
45.22/43.05	c cleaning 6381 clauses out of 12774 with flag 3009/507084
45.61/43.41	c cleaning 6185 clauses out of 12394 with flag 26183/513085
46.01/43.89	c cleaning 6598 clauses out of 13208 with flag 52535/520084
46.61/44.47	c cleaning 7286 clauses out of 14610 with flag 81199/528084
47.32/45.15	c cleaning 8155 clauses out of 16324 with flag 111625/537084
48.21/46.07	c cleaning 9075 clauses out of 18171 with flag 148139/547086
49.31/47.12	c cleaning 10031 clauses out of 20093 with flag 184373/558084
50.41/48.27	c cleaning 11027 clauses out of 22062 with flag 225492/570085
50.62/48.49	c Got one! Elapsed wall clock time (in seconds):48.388
50.62/48.49	o 4450
51.01/48.80	c cleaning 8421 clauses out of 16864 with flag 10701/575914
51.51/49.33	c cleaning 7210 clauses out of 14441 with flag 32242/581912
52.11/49.92	c cleaning 7111 clauses out of 14233 with flag 54333/588914
52.11/49.94	c Got one! Elapsed wall clock time (in seconds):49.841
52.11/49.94	o 4399
52.11/49.96	c Got one! Elapsed wall clock time (in seconds):49.858
52.11/49.96	o 4396
52.54/50.33	c cleaning 6475 clauses out of 12964 with flag 22387/594758
52.94/50.78	c cleaning 6232 clauses out of 12488 with flag 51393/600757
53.54/51.33	c cleaning 6625 clauses out of 13256 with flag 83575/607757
54.14/51.95	c cleaning 7311 clauses out of 14629 with flag 115914/615756
55.04/52.81	c cleaning 8153 clauses out of 16318 with flag 150036/624756
55.94/53.74	c cleaning 9081 clauses out of 18168 with flag 199406/634759
56.94/54.75	c cleaning 10029 clauses out of 20081 with flag 241947/645756
58.04/55.88	c cleaning 11024 clauses out of 22054 with flag 286693/657758
59.45/57.23	c cleaning 12009 clauses out of 24029 with flag 342030/670757
61.04/58.84	c cleaning 13009 clauses out of 26019 with flag 400549/684756
62.85/60.63	c cleaning 13999 clauses out of 28010 with flag 461175/699757
64.44/62.23	c cleaning 14995 clauses out of 30011 with flag 518724/715757
64.54/62.34	c Got one! Elapsed wall clock time (in seconds):62.237
64.54/62.34	o 4190
64.95/62.78	c cleaning 10319 clauses out of 20642 with flag 13458/721384
65.54/63.30	c cleaning 8155 clauses out of 16323 with flag 37029/727384
66.05/63.82	c cleaning 7576 clauses out of 15169 with flag 61868/734385
66.64/64.46	c cleaning 7787 clauses out of 15592 with flag 87862/742384
67.44/65.21	c cleaning 8402 clauses out of 16806 with flag 119674/751385
68.25/66.09	c cleaning 9194 clauses out of 18403 with flag 153852/761384
69.54/67.34	c cleaning 10098 clauses out of 20210 with flag 202756/772385
70.74/68.52	c cleaning 11052 clauses out of 22111 with flag 251877/784384
72.34/70.10	c cleaning 12020 clauses out of 24059 with flag 299814/797384
74.04/71.85	c cleaning 13015 clauses out of 26039 with flag 357901/811384
74.34/72.15	c Got one! Elapsed wall clock time (in seconds):72.048
74.34/72.15	o 4005
74.54/72.36	c cleaning 9289 clauses out of 18582 with flag 7021/816942
75.04/72.87	c cleaning 7642 clauses out of 15293 with flag 30773/822942
75.54/73.37	c cleaning 7313 clauses out of 14650 with flag 54752/829941
76.14/73.97	c cleaning 7665 clauses out of 15338 with flag 81876/837942
76.94/74.75	c cleaning 8327 clauses out of 16674 with flag 121077/846943
77.84/75.67	c cleaning 9165 clauses out of 18345 with flag 162687/856942
78.94/76.75	c cleaning 10086 clauses out of 20183 with flag 203322/867945
79.84/77.67	c Got one! Elapsed wall clock time (in seconds):77.573
79.84/77.67	o 3991
80.05/77.85	c Got one! Elapsed wall clock time (in seconds):77.752
80.05/77.85	o 3940
80.47/78.27	c cleaning 12887 clauses out of 25780 with flag 16556/883629
81.06/78.86	c cleaning 9440 clauses out of 18891 with flag 38440/889627
81.76/79.53	c cleaning 8222 clauses out of 16452 with flag 65947/896628
82.47/80.26	c cleaning 8093 clauses out of 16229 with flag 95005/904627
83.27/81.09	c cleaning 8539 clauses out of 17136 with flag 133619/913627
84.17/81.94	c cleaning 9282 clauses out of 18598 with flag 174751/923628
85.17/82.98	c cleaning 10153 clauses out of 20317 with flag 218537/934629
86.47/84.23	c cleaning 11064 clauses out of 22162 with flag 266008/946627
87.97/85.78	c cleaning 12034 clauses out of 24098 with flag 314881/959627
89.67/87.41	c cleaning 13024 clauses out of 26067 with flag 368770/973630
90.77/88.56	c Got one! Elapsed wall clock time (in seconds):88.462
90.77/88.56	o 3926
91.61/89.35	c cleaning 14339 clauses out of 28692 with flag 20292/989279
92.21/89.94	c cleaning 10172 clauses out of 20353 with flag 43093/995279
92.81/90.59	c cleaning 8582 clauses out of 17179 with flag 73050/1002277
93.61/91.33	c cleaning 8292 clauses out of 16597 with flag 106089/1010277
94.41/92.17	c cleaning 8648 clauses out of 17304 with flag 141983/1019276
95.41/93.16	c cleaning 9322 clauses out of 18657 with flag 184530/1029277
96.61/94.37	c cleaning 10160 clauses out of 20334 with flag 235335/1040276
98.01/95.74	c cleaning 11082 clauses out of 22174 with flag 295778/1052276
99.61/97.30	c cleaning 12041 clauses out of 24093 with flag 350823/1065277
101.41/99.18	c cleaning 13019 clauses out of 26051 with flag 408152/1079276
103.31/101.04	c cleaning 14010 clauses out of 28032 with flag 468191/1094276
105.21/102.91	c cleaning 15007 clauses out of 30022 with flag 534982/1110276
107.71/105.47	c cleaning 16000 clauses out of 32018 with flag 603510/1127279
111.11/108.82	c cleaning 17004 clauses out of 34017 with flag 703919/1145278
114.31/112.09	c cleaning 17998 clauses out of 36011 with flag 798216/1164276
117.31/115.07	c cleaning 18999 clauses out of 38013 with flag 880464/1184276
120.72/118.47	c cleaning 20003 clauses out of 40015 with flag 975293/1205277
124.92/122.69	c cleaning 21004 clauses out of 42012 with flag 1056430/1227277
129.62/127.38	c cleaning 21997 clauses out of 44008 with flag 1156501/1250277
130.92/128.62	c Got one! Elapsed wall clock time (in seconds):128.522
130.92/128.62	o 3918
131.92/129.69	c cleaning 17999 clauses out of 36020 with flag 21610/1264286
132.82/130.57	c cleaning 12005 clauses out of 24022 with flag 47264/1270287
133.62/131.36	c cleaning 9504 clauses out of 19019 with flag 78191/1277289
134.43/132.19	c cleaning 8749 clauses out of 17513 with flag 112319/1285287
135.32/133.08	c cleaning 8871 clauses out of 17763 with flag 151014/1294286
136.42/134.12	c cleaning 9439 clauses out of 18892 with flag 194025/1304286
137.62/135.33	c cleaning 10223 clauses out of 20453 with flag 240195/1315286
139.22/136.90	c cleaning 11106 clauses out of 22230 with flag 291261/1327286
140.92/138.66	c cleaning 12058 clauses out of 24124 with flag 349896/1340286
142.82/140.52	c cleaning 13033 clauses out of 26066 with flag 417981/1354286
144.91/142.64	c cleaning 14015 clauses out of 28033 with flag 492880/1369286
146.91/144.68	c cleaning 15003 clauses out of 30018 with flag 558291/1385286
149.21/146.92	c cleaning 16001 clauses out of 32017 with flag 627897/1402288
152.21/149.94	c cleaning 17001 clauses out of 34015 with flag 692456/1420287
156.01/153.77	c cleaning 18007 clauses out of 36013 with flag 765841/1439286
159.65/157.33	c cleaning 19001 clauses out of 38007 with flag 868708/1459287
163.14/160.87	c cleaning 19998 clauses out of 40005 with flag 951053/1480286
167.14/164.85	c cleaning 20991 clauses out of 42007 with flag 1038804/1502286
171.23/168.97	c cleaning 22005 clauses out of 44017 with flag 1138366/1525287
175.53/173.24	c cleaning 22997 clauses out of 46014 with flag 1244395/1549289
181.33/179.02	c cleaning 24005 clauses out of 48014 with flag 1398411/1574286
186.63/184.33	c cleaning 25002 clauses out of 50009 with flag 1533891/1600286
192.93/190.69	c cleaning 25999 clauses out of 52007 with flag 1639055/1627286
198.43/196.16	c cleaning 26992 clauses out of 54009 with flag 1764631/1655287
205.23/202.92	c cleaning 28005 clauses out of 56016 with flag 1898643/1684286
211.93/209.61	c cleaning 28992 clauses out of 58011 with flag 2036263/1714286
218.22/215.88	c cleaning 30006 clauses out of 60019 with flag 2173721/1745286
224.32/221.92	c cleaning 31004 clauses out of 62013 with flag 2312444/1777286
231.23/228.81	c cleaning 31996 clauses out of 64011 with flag 2465851/1810288
240.22/237.86	c cleaning 33000 clauses out of 66013 with flag 2640377/1844286
249.52/247.10	c cleaning 33993 clauses out of 68013 with flag 2807374/1879286
259.22/256.80	c cleaning 35005 clauses out of 70021 with flag 2976280/1915287
268.92/266.56	c cleaning 35999 clauses out of 72015 with flag 3132021/1952286
277.74/275.20	c cleaning 37001 clauses out of 74017 with flag 3302010/1990287
289.34/286.84	c cleaning 38010 clauses out of 76019 with flag 3504303/2029290
301.64/299.20	c cleaning 38999 clauses out of 78005 with flag 3713239/2069286
314.95/312.49	c cleaning 39990 clauses out of 80006 with flag 3891790/2110286
325.34/322.86	c cleaning 40996 clauses out of 82016 with flag 4085840/2152286
337.53/335.04	c cleaning 42005 clauses out of 84022 with flag 4301003/2195288
350.63/348.06	c cleaning 43002 clauses out of 86015 with flag 4507479/2239286
365.84/363.27	c cleaning 44005 clauses out of 88016 with flag 4712446/2284289
380.63/378.02	c cleaning 45000 clauses out of 90008 with flag 4934556/2330286
396.73/394.15	c cleaning 46001 clauses out of 92008 with flag 5170114/2377286
412.10/409.34	c cleaning 46995 clauses out of 94008 with flag 5408963/2425287
428.08/425.34	c cleaning 47995 clauses out of 96012 with flag 5653808/2474286
446.78/444.02	c cleaning 49000 clauses out of 98018 with flag 5941963/2524287
463.79/461.04	c cleaning 50005 clauses out of 100019 with flag 6208256/2575288
481.95/479.06	c cleaning 51000 clauses out of 102013 with flag 6510970/2627287
505.65/502.73	c cleaning 51999 clauses out of 104013 with flag 6854409/2680287
531.94/529.03	c cleaning 53000 clauses out of 106013 with flag 7216530/2734286
543.44/540.43	c Got one! Elapsed wall clock time (in seconds):540.327
543.44/540.43	o 3805
546.15/543.10	c cleaning 44454 clauses out of 88916 with flag 21139/2770189
547.45/544.50	c cleaning 25224 clauses out of 50462 with flag 51230/2776189
548.76/545.71	c cleaning 16101 clauses out of 32238 with flag 90494/2783189
549.65/546.66	c cleaning 12053 clauses out of 24137 with flag 124468/2791189
550.75/547.77	c cleaning 10532 clauses out of 21084 with flag 171413/2800189
551.85/548.80	c cleaning 10269 clauses out of 20552 with flag 213995/2810189
552.95/550.00	c cleaning 10630 clauses out of 21283 with flag 258921/2821189
554.35/551.33	c cleaning 11317 clauses out of 22653 with flag 318338/2833189
555.85/552.88	c cleaning 12159 clauses out of 24336 with flag 378038/2846189
557.75/554.79	c cleaning 13079 clauses out of 26177 with flag 443699/2860189
559.85/556.82	c cleaning 14047 clauses out of 28100 with flag 522777/2875191
561.86/558.87	c cleaning 15018 clauses out of 30051 with flag 589232/2891189
564.16/561.12	c cleaning 16008 clauses out of 32035 with flag 663287/2908191
566.85/563.86	c cleaning 17005 clauses out of 34027 with flag 738197/2926191
569.76/566.69	c cleaning 18004 clauses out of 36021 with flag 824363/2945190
572.66/569.53	c cleaning 19007 clauses out of 38016 with flag 914653/2965189
576.27/573.16	c cleaning 19996 clauses out of 40009 with flag 1013994/2986189
580.26/577.17	c cleaning 20998 clauses out of 42013 with flag 1113484/3008189
585.17/582.06	c cleaning 22004 clauses out of 44017 with flag 1227230/3031191
590.46/587.30	c cleaning 23005 clauses out of 46012 with flag 1352595/3055190
595.36/592.21	c cleaning 24000 clauses out of 48007 with flag 1504117/3080190
600.30/597.13	c cleaning 25004 clauses out of 50008 with flag 1630763/3106191
606.10/602.99	c cleaning 25990 clauses out of 52004 with flag 1761124/3133191
606.59/603.48	c Got one! Elapsed wall clock time (in seconds):603.377
606.59/603.48	o 3791
606.79/603.63	c cleaning 15607 clauses out of 31232 with flag 3188/3138409
607.39/604.29	c cleaning 10806 clauses out of 21626 with flag 29035/3144410
608.20/605.06	c cleaning 8905 clauses out of 17819 with flag 58566/3151409
608.89/605.79	c cleaning 8445 clauses out of 16916 with flag 93604/3159411
609.79/606.66	c cleaning 8723 clauses out of 17469 with flag 141948/3168409
610.79/607.69	c cleaning 9363 clauses out of 18746 with flag 183492/3178409
611.99/608.83	c cleaning 10192 clauses out of 20386 with flag 232596/3189412
613.29/610.13	c cleaning 11077 clauses out of 22194 with flag 286036/3201412
614.80/611.66	c cleaning 12051 clauses out of 24114 with flag 347408/3214409
616.59/613.41	c cleaning 13029 clauses out of 26069 with flag 408913/3228415
618.39/615.25	c cleaning 14009 clauses out of 28034 with flag 478234/3243409
620.49/617.32	c cleaning 15009 clauses out of 30026 with flag 553877/3259410
623.09/619.92	c cleaning 15988 clauses out of 32017 with flag 637068/3276410
625.62/622.43	c cleaning 17009 clauses out of 34030 with flag 717739/3294411
628.52/625.38	c cleaning 18005 clauses out of 36019 with flag 806202/3313409
632.12/628.94	c cleaning 19004 clauses out of 38014 with flag 915674/3333409
636.02/632.88	c cleaning 20003 clauses out of 40012 with flag 1008303/3354411
639.92/636.73	c cleaning 20993 clauses out of 42009 with flag 1100564/3376411
644.22/641.07	c cleaning 21997 clauses out of 44015 with flag 1204168/3399410
649.52/646.38	c cleaning 22974 clauses out of 46017 with flag 1323050/3423409
651.02/647.87	c Got one! Elapsed wall clock time (in seconds):647.77
651.02/647.87	o 3591
651.84/648.69	c cleaning 18320 clauses out of 36664 with flag 24521/3437030
652.54/649.35	c cleaning 12171 clauses out of 24345 with flag 58806/3443031
653.24/650.03	c cleaning 9532 clauses out of 19173 with flag 95353/3450030
653.96/650.79	c cleaning 8816 clauses out of 17641 with flag 136610/3458030
654.86/651.69	c cleaning 8903 clauses out of 17825 with flag 175311/3467030
655.96/652.78	c cleaning 9450 clauses out of 18922 with flag 224335/3477030
656.86/653.67	c cleaning 10222 clauses out of 20474 with flag 281273/3488032
658.06/654.88	c cleaning 11107 clauses out of 22250 with flag 341811/3500030
659.77/656.53	c cleaning 12060 clauses out of 24144 with flag 408556/3513031
661.47/658.24	c cleaning 13037 clauses out of 26085 with flag 475614/3527032
663.37/660.13	c cleaning 14017 clauses out of 28047 with flag 537899/3542031
665.26/662.04	c cleaning 15012 clauses out of 30029 with flag 617595/3558030
667.57/664.38	c cleaning 16003 clauses out of 32018 with flag 718394/3575031
670.17/666.98	c cleaning 16997 clauses out of 34016 with flag 809002/3593032
673.37/670.18	c cleaning 18007 clauses out of 36017 with flag 910947/3612030
676.77/673.53	c cleaning 18995 clauses out of 38011 with flag 1017805/3632031
680.69/677.45	c cleaning 20002 clauses out of 40016 with flag 1148872/3653031
685.19/681.93	c cleaning 21006 clauses out of 42013 with flag 1291619/3675030
689.99/686.71	c cleaning 22000 clauses out of 44008 with flag 1443267/3698031
694.69/691.44	c cleaning 22996 clauses out of 46009 with flag 1584828/3722032
699.39/696.18	c cleaning 24001 clauses out of 48012 with flag 1733422/3747031
704.19/700.98	c cleaning 25000 clauses out of 50010 with flag 1872672/3773030
709.70/706.42	c cleaning 26003 clauses out of 52010 with flag 2001375/3800030
715.33/712.02	c cleaning 27001 clauses out of 54010 with flag 2169801/3828033
720.93/717.68	c cleaning 28002 clauses out of 56007 with flag 2311448/3857031
727.63/724.39	c cleaning 28990 clauses out of 58006 with flag 2492232/3887032
734.84/731.60	c cleaning 30005 clauses out of 60017 with flag 2683764/3918033
742.03/738.74	c cleaning 31001 clauses out of 62010 with flag 2852641/3950031
749.21/745.90	c cleaning 31996 clauses out of 64008 with flag 3050958/3983030
758.70/755.34	c cleaning 33002 clauses out of 66012 with flag 3237448/4017030
768.80/765.41	c cleaning 34000 clauses out of 68013 with flag 3434999/4052033
779.70/776.38	c cleaning 34993 clauses out of 70010 with flag 3627600/4088030
790.61/787.24	c cleaning 36001 clauses out of 72018 with flag 3863553/4125031
801.28/797.86	c cleaning 36999 clauses out of 74016 with flag 4078362/4163030
813.09/809.62	c cleaning 38005 clauses out of 76017 with flag 4293587/4202030
823.98/820.57	c cleaning 39000 clauses out of 78013 with flag 4570685/4242031
835.78/832.35	c cleaning 40007 clauses out of 80013 with flag 4801853/4283031
851.00/847.58	c cleaning 40997 clauses out of 82005 with flag 5064464/4325030
867.50/864.09	c cleaning 41996 clauses out of 84009 with flag 5334057/4368031
885.60/882.15	c cleaning 42997 clauses out of 86012 with flag 5579428/4412030
904.96/901.47	c cleaning 44000 clauses out of 88015 with flag 5869674/4457030
921.46/917.97	c cleaning 44994 clauses out of 90017 with flag 6117252/4503032
938.36/934.85	c cleaning 46011 clauses out of 92022 with flag 6341957/4550031
954.68/951.12	c cleaning 46995 clauses out of 94010 with flag 6630482/4598030
972.98/969.50	c cleaning 48001 clauses out of 96015 with flag 6953196/4647030
989.97/986.49	c cleaning 48984 clauses out of 98014 with flag 7289384/4697030
1009.03/1005.41	c cleaning 50009 clauses out of 100030 with flag 7658296/4748030
1028.03/1024.45	c cleaning 51007 clauses out of 102021 with flag 8030720/4800030
1047.12/1043.55	c cleaning 51996 clauses out of 104016 with flag 8301923/4853032
1067.59/1063.99	c cleaning 53005 clauses out of 106018 with flag 8598735/4907030
1090.49/1086.90	c cleaning 54004 clauses out of 108013 with flag 8938258/4962030
1115.48/1111.75	c cleaning 55001 clauses out of 110009 with flag 9227853/5018030
1137.68/1133.96	c cleaning 55992 clauses out of 112008 with flag 9679089/5075030
1164.98/1161.25	c cleaning 57000 clauses out of 114016 with flag 10076533/5133030
1188.70/1184.92	c cleaning 58001 clauses out of 116018 with flag 10486840/5192032
1213.99/1210.28	c cleaning 58995 clauses out of 118015 with flag 10944381/5252030
1240.24/1236.44	c cleaning 60000 clauses out of 120020 with flag 11359271/5313030
1267.75/1263.96	c cleaning 60994 clauses out of 122023 with flag 11791954/5375033
1294.51/1290.65	c cleaning 62004 clauses out of 124028 with flag 12145950/5438032
1324.02/1320.12	c cleaning 62994 clauses out of 126022 with flag 12495259/5502030
1354.50/1350.59	c cleaning 64005 clauses out of 128028 with flag 12919727/5567030
1386.50/1382.59	c cleaning 65009 clauses out of 130023 with flag 13316845/5633030
1429.21/1425.17	c cleaning 65998 clauses out of 132015 with flag 13740492/5700031
1462.81/1458.71	c cleaning 66997 clauses out of 134017 with flag 14205610/5768031
1508.28/1504.10	c cleaning 68004 clauses out of 136022 with flag 14701691/5837033
1548.78/1544.60	c cleaning 69005 clauses out of 138016 with flag 15202255/5907031
1588.50/1584.35	c cleaning 70001 clauses out of 140011 with flag 15698158/5978031
1624.58/1620.40	c cleaning 70997 clauses out of 142010 with flag 16221696/6050031
1660.66/1656.46	c cleaning 71993 clauses out of 144013 with flag 16655832/6123031
1700.00/1695.75	c cleaning 73004 clauses out of 146020 with flag 17205807/6197031
1737.50/1733.26	c cleaning 73997 clauses out of 148017 with flag 17721460/6272032
1783.63/1779.31	c cleaning 75002 clauses out of 150019 with flag 18230939/6348031
1800.03/1795.70	c starts		: 24290
1800.03/1795.70	c conflicts		: 6379673
1800.03/1795.70	c decisions		: 10248335
1800.03/1795.70	c propagations		: 239828821
1800.03/1795.70	c inspects		: 33164164473
1800.03/1795.70	c shortcuts		: 0
1800.03/1795.70	c learnt literals	: 30
1800.03/1795.70	c learnt binary clauses	: 26
1800.03/1795.70	c learnt ternary clauses	: 12
1800.03/1795.70	c learnt constraints	: 6379644
1800.03/1795.70	c ignored constraints	: 0
1800.03/1795.70	c root simplifications	: 0
1800.03/1795.70	c removed literals (reason simplification)	: 0
1800.03/1795.70	c reason swapping (by a shorter reason)	: 0
1800.03/1795.70	c Calls to reduceDB	: 296
1800.03/1795.70	c Number of update (reduction) of LBD	: 2086001
1800.03/1795.70	c Imported unit clauses	: 0
1800.03/1795.70	c number of reductions to clauses (during analyze)	: 0
1800.03/1795.70	c number of learned constraints concerned by reduction	: 0
1800.03/1795.70	c number of learning phase by resolution	: 0
1800.03/1795.70	c number of learning phase by cutting planes	: 0
1800.03/1795.70	c speed (assignments/second)	: 133570.08133540663
1800.03/1795.70	c non guided choices	2241
1800.03/1795.73	c learnt constraints type 
1800.03/1795.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 26
1800.03/1795.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106634
1800.03/1795.73	s SATISFIABLE
1800.03/1795.73	c Found 38 solution(s)
1800.03/1795.73	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 x175 x176 -x177 x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 
1800.03/1795.73	c objective function=3591
1800.03/1795.73	c Total wall clock time (in seconds): 1795.63

Verifier Data 

OK	3591

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-4101965-1466227676/watcher-4101965-1466227676 -o /tmp/evaluation-result-4101965-1466227676/solver-4101965-1466227676 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4534 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101965-1466227676.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.25 2.20 4/196 9248
/proc/meminfo: memFree=28248844/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 24814004 98570240 978 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 24065 978 744 9 0 16771 0
[pid=9248/tid=9249] ppid=9245 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 24814005 98570240 978 33554432000 1073741824 1073778376 140737114381104 140454571609640 273905698176 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.18 2.25 2.20 4/196 9248
/proc/meminfo: memFree=28248844/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 4498 0 1 0 11 1 0 0 20 0 18 0 24814004 9787879424 6127 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2389619 6127 2157 9 0 2380296 0
[pid=9248/tid=9249] ppid=9245 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 24814005 9787879424 6127 33554432000 1073741824 1073778376 140737114381104 140454571614552 273909081357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476

[startup+0.200264 s]
/proc/loadavg: 2.18 2.25 2.20 4/196 9248
/proc/meminfo: memFree=28248844/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 5018 0 1 0 27 1 0 0 20 0 19 0 24814004 9856040960 7585 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 7585 2230 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2415 0 1 0 17 0 0 0 20 0 19 0 24814005 9856040960 7585 33554432000 1073741824 1073778376 140737114381104 140454571614848 140454440021455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040

[startup+0.300261 s]
/proc/loadavg: 2.18 2.25 2.20 4/196 9248
/proc/meminfo: memFree=28248844/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 6602 0 1 0 56 1 0 0 20 0 19 0 24814004 9856040960 8365 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 8365 2244 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2415 0 1 0 27 0 0 0 20 0 19 0 24814005 9856040960 8365 33554432000 1073741824 1073778376 140737114381104 140454571614848 140454440033328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9625040

[startup+0.700293 s]
/proc/loadavg: 2.18 2.25 2.20 4/196 9248
/proc/meminfo: memFree=28248844/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=1.12 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 8821 0 1 0 111 1 0 0 20 0 19 0 24814004 9856040960 10002 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 10002 2257 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2416 0 1 0 67 0 0 0 20 0 19 0 24814005 9856040960 10002 33554432000 1073741824 1073778376 140737114381104 140454571605728 140454440411064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.18 2.25 2.20 3/215 9267
/proc/meminfo: memFree=28213792/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 10938 0 1 0 213 2 0 0 20 0 19 0 24814004 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 12912 2260 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2421 0 1 0 147 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454571612664 140454440402976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9251] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9251/stat : 9251 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454560676904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9252] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9252/stat : 9252 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454559624104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9253] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9253/stat : 9253 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454558571304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9254] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9254/stat : 9254 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454412368552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9255] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9255/stat : 9255 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454411315752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9256] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9256/stat : 9256 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454410262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9257] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9257/stat : 9257 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454409210152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9258] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9258/stat : 9258 (java) S 9245 9248 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454408157352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9259] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9259/stat : 9259 (java) S 9245 9248 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24814006 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454395747304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9260] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9260/stat : 9260 (java) S 9245 9248 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454394693368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9261] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9261/stat : 9261 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454393640456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9262] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9262/stat : 9262 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454392588944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9263] ppid=9245 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/9248/task/9263/stat : 9263 (java) S 9245 9248 4518 0 -1 4202560 2554 0 0 0 28 0 0 0 20 0 19 0 24814009 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454391536056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9264] ppid=9245 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/9248/task/9264/stat : 9264 (java) S 9245 9248 4518 0 -1 4202560 4691 0 0 0 35 0 0 0 20 0 19 0 24814009 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454390483256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9265] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9265/stat : 9265 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454389430648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9266] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9266/stat : 9266 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454388378056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9267] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9267/stat : 9267 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814022 9856040960 12912 33554432000 1073741824 1073778376 140737114381104 140454387324584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9625040

[startup+3.10068 s]
/proc/loadavg: 2.18 2.25 2.20 3/215 9267
/proc/meminfo: memFree=28192268/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 17622 0 1 0 435 3 0 0 20 0 19 0 24814004 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 19700 2262 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2431 0 1 0 307 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454571614728 140454440526833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9251] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9251/stat : 9251 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454560676904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9252] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9252/stat : 9252 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454559624104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9253] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9253/stat : 9253 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454558571304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9254] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9254/stat : 9254 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454412368552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9255] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9255/stat : 9255 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454411315752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9256] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9256/stat : 9256 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454410262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9257] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9257/stat : 9257 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454409210152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9258] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9258/stat : 9258 (java) S 9245 9248 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454408157352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9259] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9259/stat : 9259 (java) S 9245 9248 4518 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 24814006 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454395747304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9260] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9260/stat : 9260 (java) S 9245 9248 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454394693368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9261] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9261/stat : 9261 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454393640456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9262] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9262/stat : 9262 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454392588944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9263] ppid=9245 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/9248/task/9263/stat : 9263 (java) S 9245 9248 4518 0 -1 4202560 2560 0 0 0 34 0 0 0 20 0 19 0 24814009 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454391536056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9264] ppid=9245 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/9248/task/9264/stat : 9264 (java) R 9245 9248 4518 0 -1 4202560 11358 0 0 0 90 2 0 0 20 0 19 0 24814009 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454390470824 140454575457976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9265] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9265/stat : 9265 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454389430648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9266] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9266/stat : 9266 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454388378056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9267] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9267/stat : 9267 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814022 9856040960 19700 33554432000 1073741824 1073778376 140737114381104 140454387324584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.16 2.24 2.19 3/215 9267
/proc/meminfo: memFree=28158980/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=8.36 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 24243 0 1 0 833 3 0 0 20 0 19 0 24814004 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 25942 2262 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2446 0 1 0 625 1 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454571614536 140454440450648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9251] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9251/stat : 9251 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454560676904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9252] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9252/stat : 9252 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454559624104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9253] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9253/stat : 9253 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454558571304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9254] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9254/stat : 9254 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454412368552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9255] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9255/stat : 9255 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454411315752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9256] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9256/stat : 9256 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454410262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9257] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9257/stat : 9257 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454409210152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9258] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9258/stat : 9258 (java) S 9245 9248 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24814005 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454408157352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9259] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9259/stat : 9259 (java) S 9245 9248 4518 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 24814006 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454395747304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9260] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9260/stat : 9260 (java) S 9245 9248 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454394693368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9261] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9261/stat : 9261 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454393640456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9262] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9262/stat : 9262 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454392588944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9263] ppid=9245 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/9248/task/9263/stat : 9263 (java) S 9245 9248 4518 0 -1 4202560 7871 0 0 0 81 0 0 0 20 0 19 0 24814009 9856040960 25942 33554432000 1073741824 1073778376 140737114381104 140454391536056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9264] ppid=9245 vsize=9625040 CPUtime=1.24 cores=0,2,4,6

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

[pid=9248/tid=9267] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9267/stat : 9267 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814022 9856040960 101720 33554432000 1073741824 1073778376 140737114381104 140454387324584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.6
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.25 2.31 2.27 3/215 9507
/proc/meminfo: memFree=29594680/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=1786.63 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 27227 0 1 0 178584 79 0 0 20 0 19 0 24814004 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 101732 2287 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=1776.42 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2526 0 1 0 177610 32 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454571605808 140454440450648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9251] ppid=9245 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9248/task/9251/stat : 9251 (java) S 9245 9248 4518 0 -1 4202560 333 0 0 0 29 7 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454560676904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9252] ppid=9245 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/9248/task/9252/stat : 9252 (java) S 9245 9248 4518 0 -1 4202560 330 0 0 0 32 9 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454559624104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9253] ppid=9245 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/9248/task/9253/stat : 9253 (java) S 9245 9248 4518 0 -1 4202560 465 0 0 0 32 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454558571304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9254] ppid=9245 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/9248/task/9254/stat : 9254 (java) S 9245 9248 4518 0 -1 4202560 200 0 0 0 27 4 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454412368552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9255] ppid=9245 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/9248/task/9255/stat : 9255 (java) S 9245 9248 4518 0 -1 4202560 511 0 0 0 35 7 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454411315752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9256] ppid=9245 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/9248/task/9256/stat : 9256 (java) S 9245 9248 4518 0 -1 4202560 184 0 0 0 25 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454410262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9257] ppid=9245 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9248/task/9257/stat : 9257 (java) S 9245 9248 4518 0 -1 4202560 401 0 0 0 31 5 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454409210152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9258] ppid=9245 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/9248/task/9258/stat : 9258 (java) S 9245 9248 4518 0 -1 4202560 230 0 0 0 26 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454408157352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9259] ppid=9245 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9248/task/9259/stat : 9259 (java) S 9245 9248 4518 0 -1 4202560 152 0 0 0 9 3 0 0 20 0 19 0 24814006 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454395747304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9260] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9260/stat : 9260 (java) S 9245 9248 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454394693368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9261] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9261/stat : 9261 (java) S 9245 9248 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454393640456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9262] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9262/stat : 9262 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454392588944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9263] ppid=9245 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/9248/task/9263/stat : 9263 (java) S 9245 9248 4518 0 -1 4202560 7873 0 0 0 88 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454391536056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9264] ppid=9245 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/9248/task/9264/stat : 9264 (java) S 9245 9248 4518 0 -1 4202560 12661 0 0 0 141 2 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454390483256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9265] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9265/stat : 9265 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454389430648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9266] ppid=9245 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/9248/task/9266/stat : 9266 (java) S 9245 9248 4518 0 -1 4202560 103 0 0 0 23 24 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454388378056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9267] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9267/stat : 9267 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814022 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454387324584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.27 2.31 2.27 3/215 9507
/proc/meminfo: memFree=29483768/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 27227 0 1 0 179924 79 0 0 20 0 19 0 24814004 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 101732 2287 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=1789.78 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2526 0 1 0 178946 32 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454571605808 140454440402995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9251] ppid=9245 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9248/task/9251/stat : 9251 (java) S 9245 9248 4518 0 -1 4202560 333 0 0 0 29 7 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454560676904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9252] ppid=9245 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/9248/task/9252/stat : 9252 (java) S 9245 9248 4518 0 -1 4202560 330 0 0 0 32 9 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454559624104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9253] ppid=9245 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/9248/task/9253/stat : 9253 (java) S 9245 9248 4518 0 -1 4202560 465 0 0 0 32 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454558571304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9254] ppid=9245 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/9248/task/9254/stat : 9254 (java) S 9245 9248 4518 0 -1 4202560 200 0 0 0 27 4 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454412368552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9255] ppid=9245 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/9248/task/9255/stat : 9255 (java) S 9245 9248 4518 0 -1 4202560 511 0 0 0 35 7 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454411315752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9256] ppid=9245 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/9248/task/9256/stat : 9256 (java) S 9245 9248 4518 0 -1 4202560 184 0 0 0 25 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454410262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9257] ppid=9245 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9248/task/9257/stat : 9257 (java) S 9245 9248 4518 0 -1 4202560 401 0 0 0 31 5 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454409210152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9258] ppid=9245 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/9248/task/9258/stat : 9258 (java) S 9245 9248 4518 0 -1 4202560 230 0 0 0 26 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454408157352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9259] ppid=9245 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9248/task/9259/stat : 9259 (java) S 9245 9248 4518 0 -1 4202560 152 0 0 0 9 3 0 0 20 0 19 0 24814006 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454395747304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9260] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9260/stat : 9260 (java) S 9245 9248 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454394693368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9261] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9261/stat : 9261 (java) S 9245 9248 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454393640456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9262] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9262/stat : 9262 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454392588944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9263] ppid=9245 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/9248/task/9263/stat : 9263 (java) S 9245 9248 4518 0 -1 4202560 7873 0 0 0 88 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454391536056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9264] ppid=9245 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/9248/task/9264/stat : 9264 (java) S 9245 9248 4518 0 -1 4202560 12661 0 0 0 141 2 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454390483256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9265] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9265/stat : 9265 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454389430648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9266] ppid=9245 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/9248/task/9266/stat : 9266 (java) S 9245 9248 4518 0 -1 4202560 103 0 0 0 23 24 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454388378056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9267] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9267/stat : 9267 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814022 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454387324584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9248 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1795.7 s]
/proc/loadavg: 2.27 2.31 2.27 3/215 9507
/proc/meminfo: memFree=29483768/32872528 swapFree=1482636/1662508
[pid=9248] ppid=9245 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/9248/stat : 9248 (java) S 9245 9248 4518 0 -1 4202496 27227 0 1 0 179924 79 0 0 20 0 19 0 24814004 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140737114372240 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9248/statm: 2406260 101732 2287 9 0 2396937 0
[pid=9248/tid=9249] ppid=9245 vsize=9625040 CPUtime=1789.78 cores=0,2,4,6
/proc/9248/task/9249/stat : 9249 (java) R 9245 9248 4518 0 -1 4202560 2526 0 1 0 178946 32 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454571605808 140454440402995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9251] ppid=9245 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9248/task/9251/stat : 9251 (java) S 9245 9248 4518 0 -1 4202560 333 0 0 0 29 7 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454560676904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9252] ppid=9245 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/9248/task/9252/stat : 9252 (java) S 9245 9248 4518 0 -1 4202560 330 0 0 0 32 9 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454559624104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9253] ppid=9245 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/9248/task/9253/stat : 9253 (java) S 9245 9248 4518 0 -1 4202560 465 0 0 0 32 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454558571304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9254] ppid=9245 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/9248/task/9254/stat : 9254 (java) S 9245 9248 4518 0 -1 4202560 200 0 0 0 27 4 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454412368552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9255] ppid=9245 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/9248/task/9255/stat : 9255 (java) S 9245 9248 4518 0 -1 4202560 511 0 0 0 35 7 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454411315752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9256] ppid=9245 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/9248/task/9256/stat : 9256 (java) S 9245 9248 4518 0 -1 4202560 184 0 0 0 25 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454410262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9257] ppid=9245 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9248/task/9257/stat : 9257 (java) S 9245 9248 4518 0 -1 4202560 401 0 0 0 31 5 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454409210152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9258] ppid=9245 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/9248/task/9258/stat : 9258 (java) S 9245 9248 4518 0 -1 4202560 230 0 0 0 26 6 0 0 20 0 19 0 24814005 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454408157352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9248/tid=9259] ppid=9245 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9248/task/9259/stat : 9259 (java) S 9245 9248 4518 0 -1 4202560 152 0 0 0 9 3 0 0 20 0 19 0 24814006 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454395747304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9260] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9260/stat : 9260 (java) S 9245 9248 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454394693368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9261] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9261/stat : 9261 (java) S 9245 9248 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24814007 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454393640456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9262] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9262/stat : 9262 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454392588944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9263] ppid=9245 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/9248/task/9263/stat : 9263 (java) S 9245 9248 4518 0 -1 4202560 7873 0 0 0 88 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454391536056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9248/tid=9264] ppid=9245 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/9248/task/9264/stat : 9264 (java) S 9245 9248 4518 0 -1 4202560 12661 0 0 0 141 2 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454390483256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9265] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9265/stat : 9265 (java) S 9245 9248 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454389430648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9248/tid=9266] ppid=9245 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/9248/task/9266/stat : 9266 (java) S 9245 9248 4518 0 -1 4202560 103 0 0 0 23 24 0 0 20 0 19 0 24814009 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454388378056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9248/tid=9267] ppid=9245 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9248/task/9267/stat : 9267 (java) S 9245 9248 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24814022 9856040960 101732 33554432000 1073741824 1073778376 140737114381104 140454387324584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1795.74
CPU time (s): 1800.03
CPU user time (s): 1799.24
CPU system time (s): 0.79
CPU usage (%): 100.239
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.65
system time used= 1.25281
maximum resident set size= 535720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27271
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39100
involuntary context switches= 26091

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0435 second user time and 13.6729 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 07:27:56
IDJOB=4101965
IDBENCH=1826
IDSOLVER=2546
FILE ID=node134/4101965-1466227676
RUNJOBID= node134-1466206058-4534
PBS_JOBID= 19918143
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101965-1466227676/watcher-4101965-1466227676 -o /tmp/evaluation-result-4101965-1466227676/solver-4101965-1466227676 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4534 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101965-1466227676.opb

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

MD5SUM BENCH= 08913f3dd730f4c3a659694fd4c06001
RANDOM SEED=1320551993

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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.54
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.020
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.020
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:        28249900 kB
Buffers:          113296 kB
Cached:           174412 kB
SwapCached:         1008 kB
Active:          2070852 kB
Inactive:         150432 kB
Active(anon):    1934440 kB
Inactive(anon):     1616 kB
Active(file):     136412 kB
Inactive(file):   148816 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100112 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       3595524 kB
Mapped:            15692 kB
Shmem:                 0 kB
Slab:             602036 kB
SReclaimable:      45688 kB
SUnreclaim:       556348 kB
KernelStack:        1624 kB
PageTables:        11172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4925636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2076672 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= 71720 MiB
End job on node134 at 2016-06-18 07:57:52