Trace number 4118052

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)-13535 1800.01 1772.73

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.opb
MD5SUMaa888e0812bb7b9f3dc5774c2fb177b8
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-21016
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 10776
Biggest coefficient in the objective function 6842
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 1529132
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 6842
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 1529132
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)10731
Sum of products size (including duplicates)34701
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@2b21cc40
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@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118052-1467219866.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
2.91/2.31	c ... done. Wall clock time 2.194s.
2.91/2.31	c declared #vars     45
2.91/2.31	c internal #vars     10776
2.91/2.31	c #constraints  21462
2.91/2.31	c constraints type 
2.91/2.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10731
2.91/2.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10731
2.91/2.31	c 21462 constraints processed.
2.91/2.31	c objective function length is 10776 literals
3.18/2.45	c SATISFIABLE
3.18/2.45	c OPTIMIZING...
3.18/2.45	c Got one! Elapsed wall clock time (in seconds):2.341
3.18/2.45	o 0
3.40/2.56	c Got one! Elapsed wall clock time (in seconds):2.445
3.40/2.56	o -231
3.65/2.61	c Got one! Elapsed wall clock time (in seconds):2.497
3.65/2.61	o -462
3.65/2.64	c Got one! Elapsed wall clock time (in seconds):2.531
3.65/2.64	o -863
3.65/2.68	c Got one! Elapsed wall clock time (in seconds):2.564
3.65/2.68	o -1113
3.89/2.71	c Got one! Elapsed wall clock time (in seconds):2.598
3.89/2.71	o -1264
3.89/2.73	c Got one! Elapsed wall clock time (in seconds):2.619
3.89/2.73	o -1782
3.89/2.77	c Got one! Elapsed wall clock time (in seconds):2.659
3.89/2.77	o -1817
4.03/2.81	c Got one! Elapsed wall clock time (in seconds):2.701
4.03/2.81	o -1898
4.03/2.84	c Got one! Elapsed wall clock time (in seconds):2.724
4.03/2.84	o -1970
4.03/2.86	c Got one! Elapsed wall clock time (in seconds):2.742
4.03/2.86	o -2051
4.03/2.88	c Got one! Elapsed wall clock time (in seconds):2.762
4.03/2.88	o -2300
4.14/2.90	c Got one! Elapsed wall clock time (in seconds):2.789
4.14/2.90	o -2890
4.24/3.00	c Got one! Elapsed wall clock time (in seconds):2.888
4.24/3.00	o -3367
4.34/3.10	c Got one! Elapsed wall clock time (in seconds):2.984
4.34/3.10	o -3438
4.34/3.17	c Got one! Elapsed wall clock time (in seconds):3.06
4.34/3.17	o -3459
4.44/3.20	c Got one! Elapsed wall clock time (in seconds):3.088
4.44/3.20	o -3480
4.44/3.23	c Got one! Elapsed wall clock time (in seconds):3.117
4.44/3.23	o -4134
4.80/3.56	c Got one! Elapsed wall clock time (in seconds):3.448
4.80/3.56	o -4384
5.10/3.86	c Got one! Elapsed wall clock time (in seconds):3.743
5.10/3.86	o -4424
5.25/3.97	c Got one! Elapsed wall clock time (in seconds):3.853
5.25/3.97	o -4453
5.35/4.07	c Got one! Elapsed wall clock time (in seconds):3.953
5.35/4.07	o -4485
5.45/4.14	c Got one! Elapsed wall clock time (in seconds):4.026
5.45/4.14	o -4733
5.45/4.19	c Got one! Elapsed wall clock time (in seconds):4.076
5.45/4.19	o -4736
5.55/4.22	c Got one! Elapsed wall clock time (in seconds):4.11
5.55/4.22	o -4762
5.55/4.25	c Got one! Elapsed wall clock time (in seconds):4.135
5.55/4.25	o -4788
5.55/4.27	c Got one! Elapsed wall clock time (in seconds):4.152
5.55/4.27	o -5459
6.15/4.89	c Got one! Elapsed wall clock time (in seconds):4.775
6.15/4.89	o -5486
6.55/5.29	c Got one! Elapsed wall clock time (in seconds):5.179
6.55/5.29	o -5489
6.75/5.41	c Got one! Elapsed wall clock time (in seconds):5.3
6.75/5.41	o -6110
7.65/6.32	c Got one! Elapsed wall clock time (in seconds):6.211
7.65/6.32	o -6162
8.36/7.08	c Got one! Elapsed wall clock time (in seconds):6.963
8.36/7.08	o -6190
8.76/7.46	c Got one! Elapsed wall clock time (in seconds):7.342
8.76/7.46	o -6816
10.79/9.31	c Got one! Elapsed wall clock time (in seconds):9.196
10.79/9.31	o -6878
11.96/10.48	c Got one! Elapsed wall clock time (in seconds):10.371
11.96/10.48	o -6911
12.66/11.11	c Got one! Elapsed wall clock time (in seconds):10.991
12.66/11.11	o -6918
13.16/11.60	c Got one! Elapsed wall clock time (in seconds):11.484
13.16/11.60	o -6940
13.16/11.68	c Got one! Elapsed wall clock time (in seconds):11.565
13.16/11.68	o -6943
13.26/11.74	c Got one! Elapsed wall clock time (in seconds):11.623
13.26/11.74	o -6946
13.26/11.78	c Got one! Elapsed wall clock time (in seconds):11.667
13.26/11.78	o -7525
16.82/15.15	c Got one! Elapsed wall clock time (in seconds):15.038
16.82/15.15	o -7659
18.02/16.37	c cleaning 5754 clauses out of 11510 with flag 2002/11510
19.23/17.53	c Got one! Elapsed wall clock time (in seconds):17.42
19.23/17.53	o -7664
20.58/18.75	c Got one! Elapsed wall clock time (in seconds):18.633
20.58/18.75	o -7702
21.78/19.98	c Got one! Elapsed wall clock time (in seconds):19.862
21.78/19.98	o -8215
26.73/24.71	c cleaning 6335 clauses out of 12670 with flag 8001/18424
29.73/27.75	c Got one! Elapsed wall clock time (in seconds):27.638
29.73/27.75	o -8317
33.56/31.48	c cleaning 6026 clauses out of 12054 with flag 6004/24143
33.99/31.82	c Got one! Elapsed wall clock time (in seconds):31.706
33.99/31.82	o -8362
35.69/33.56	c Got one! Elapsed wall clock time (in seconds):33.45
35.69/33.56	o -8408
36.99/34.83	c Got one! Elapsed wall clock time (in seconds):34.721
36.99/34.83	o -8430
37.59/35.49	c Got one! Elapsed wall clock time (in seconds):35.374
37.59/35.49	o -8437
38.04/35.72	c Got one! Elapsed wall clock time (in seconds):35.609
38.04/35.72	o -8447
38.14/35.82	c Got one! Elapsed wall clock time (in seconds):35.709
38.14/35.82	o -8450
38.14/35.85	c Got one! Elapsed wall clock time (in seconds):35.734
38.14/35.85	o -8451
38.14/35.87	c Got one! Elapsed wall clock time (in seconds):35.755
38.14/35.87	o -8456
38.24/35.97	c Got one! Elapsed wall clock time (in seconds):35.86
38.24/35.97	o -8484
38.34/36.08	c Got one! Elapsed wall clock time (in seconds):35.971
38.34/36.08	o -8489
38.44/36.10	c Got one! Elapsed wall clock time (in seconds):35.989
38.44/36.10	o -8492
38.44/36.13	c Got one! Elapsed wall clock time (in seconds):36.012
38.44/36.13	o -8495
38.65/36.31	c Got one! Elapsed wall clock time (in seconds):36.192
38.65/36.31	o -9028
43.50/40.91	c cleaning 6898 clauses out of 13798 with flag 8001/31913
49.90/47.38	c cleaning 6449 clauses out of 12901 with flag 20003/37914
51.05/48.38	c Got one! Elapsed wall clock time (in seconds):48.262
51.05/48.38	o -9135
56.55/53.88	c cleaning 6192 clauses out of 12384 with flag 10002/43846
58.87/56.22	c Got one! Elapsed wall clock time (in seconds):56.108
58.87/56.22	o -9193
62.76/59.82	c cleaning 5601 clauses out of 11201 with flag 6005/48855
63.86/60.90	c Got one! Elapsed wall clock time (in seconds):60.788
63.86/60.90	o -9197
66.26/63.38	c Got one! Elapsed wall clock time (in seconds):63.263
66.26/63.38	o -9211
67.56/64.66	c Got one! Elapsed wall clock time (in seconds):64.542
67.56/64.66	o -9244
67.97/65.05	c Got one! Elapsed wall clock time (in seconds):64.933
67.97/65.05	o -9246
68.06/65.16	c Got one! Elapsed wall clock time (in seconds):65.043
68.06/65.16	o -9249
68.36/65.41	c Got one! Elapsed wall clock time (in seconds):65.297
68.36/65.41	o -9261
68.66/65.72	c Got one! Elapsed wall clock time (in seconds):65.608
68.66/65.72	o -9266
68.66/65.75	c Got one! Elapsed wall clock time (in seconds):65.636
68.66/65.75	o -9282
68.66/65.77	c Got one! Elapsed wall clock time (in seconds):65.661
68.66/65.77	o -9285
68.76/65.82	c Got one! Elapsed wall clock time (in seconds):65.71
68.76/65.82	o -9288
68.97/66.07	c Got one! Elapsed wall clock time (in seconds):65.957
68.97/66.07	o -9612
71.55/68.47	c cleaning 6285 clauses out of 12576 with flag 4003/55831
78.06/74.94	c cleaning 6142 clauses out of 12291 with flag 16003/61831
85.89/82.57	c cleaning 6575 clauses out of 13149 with flag 30003/68831
94.38/91.09	c cleaning 7287 clauses out of 14573 with flag 46001/76830
94.79/91.47	c Got one! Elapsed wall clock time (in seconds):91.359
94.79/91.47	o -9648
100.47/97.03	c cleaning 6322 clauses out of 12650 with flag 10002/82194
104.87/101.40	c Got one! Elapsed wall clock time (in seconds):101.288
104.87/101.40	o -9663
107.07/103.67	c cleaning 6117 clauses out of 12234 with flag 4093/88100
108.08/104.62	c Got one! Elapsed wall clock time (in seconds):104.505
108.08/104.62	o -9666
109.97/106.56	c Got one! Elapsed wall clock time (in seconds):106.45
109.97/106.56	o -9669
111.17/107.70	c Got one! Elapsed wall clock time (in seconds):107.59
111.17/107.70	o -9677
111.47/108.04	c Got one! Elapsed wall clock time (in seconds):107.924
111.47/108.04	o -9680
111.77/108.34	c Got one! Elapsed wall clock time (in seconds):108.229
111.77/108.34	o -10025
116.50/112.92	c cleaning 6941 clauses out of 13887 with flag 8005/95870
120.40/116.81	c Got one! Elapsed wall clock time (in seconds):116.7
120.40/116.81	o -10060
122.80/119.22	c cleaning 6263 clauses out of 12530 with flag 4029/101454
125.31/121.75	c Got one! Elapsed wall clock time (in seconds):121.636
125.31/121.75	o -10065
127.80/124.27	c Got one! Elapsed wall clock time (in seconds):124.155
127.80/124.27	o -10068
129.20/125.52	c Got one! Elapsed wall clock time (in seconds):125.409
129.20/125.52	o -10071
129.29/125.61	c Got one! Elapsed wall clock time (in seconds):125.495
129.29/125.61	o -10080
129.99/126.39	c Got one! Elapsed wall clock time (in seconds):126.277
129.99/126.39	o -10089
130.09/126.44	c Got one! Elapsed wall clock time (in seconds):126.323
130.09/126.44	o -10108
130.09/126.49	c Got one! Elapsed wall clock time (in seconds):126.38
130.09/126.49	o -10111
130.20/126.58	c Got one! Elapsed wall clock time (in seconds):126.462
130.20/126.58	o -10112
130.30/126.66	c Got one! Elapsed wall clock time (in seconds):126.548
130.30/126.66	o -10115
130.59/126.94	c Got one! Elapsed wall clock time (in seconds):126.824
130.59/126.94	o -10768
132.89/129.24	c cleaning 7110 clauses out of 14222 with flag 4003/109409
139.49/135.80	c cleaning 6552 clauses out of 13111 with flag 16001/115408
147.09/143.31	c cleaning 6778 clauses out of 13559 with flag 30001/122408
155.65/151.77	c cleaning 7391 clauses out of 14782 with flag 46003/130409
165.36/161.45	c cleaning 8194 clauses out of 16391 with flag 64003/139409
172.07/168.01	c Got one! Elapsed wall clock time (in seconds):167.895
172.07/168.01	o -10863
177.88/173.83	c cleaning 9658 clauses out of 19320 with flag 10006/150532
184.32/180.22	c cleaning 7827 clauses out of 15662 with flag 22049/156532
192.23/188.20	c cleaning 7416 clauses out of 14835 with flag 36049/163532
201.72/197.58	c cleaning 7706 clauses out of 15419 with flag 52049/171532
204.52/200.38	c Got one! Elapsed wall clock time (in seconds):200.263
204.52/200.38	o -10874
208.55/204.30	c cleaning 6516 clauses out of 13040 with flag 6053/176859
215.84/211.54	c cleaning 6263 clauses out of 12525 with flag 18287/182860
220.54/216.20	c Got one! Elapsed wall clock time (in seconds):216.09
220.54/216.20	o -10883
223.13/218.70	c cleaning 6073 clauses out of 12150 with flag 4071/188748
230.53/226.17	c cleaning 6038 clauses out of 12077 with flag 16197/194748
231.43/227.07	c Got one! Elapsed wall clock time (in seconds):226.958
231.43/227.07	o -10889
235.44/230.95	c Got one! Elapsed wall clock time (in seconds):230.835
235.44/230.95	o -10891
236.14/231.66	c Got one! Elapsed wall clock time (in seconds):231.551
236.14/231.66	o -10898
237.34/232.89	c Got one! Elapsed wall clock time (in seconds):232.776
237.34/232.89	o -10933
238.64/234.15	c Got one! Elapsed wall clock time (in seconds):234.034
238.64/234.15	o -10938
238.64/234.18	c Got one! Elapsed wall clock time (in seconds):234.068
238.64/234.18	o -10942
239.24/234.73	c Got one! Elapsed wall clock time (in seconds):234.616
239.24/234.73	o -11161
241.44/236.96	c cleaning 7399 clauses out of 14808 with flag 4001/203517
248.05/243.41	c cleaning 6700 clauses out of 13409 with flag 16001/209517
255.45/250.88	c cleaning 6853 clauses out of 13710 with flag 30003/216518
264.34/259.68	c cleaning 7426 clauses out of 14856 with flag 46001/224517
273.90/269.16	c cleaning 8215 clauses out of 16431 with flag 64003/233518
284.56/279.77	c cleaning 9107 clauses out of 18216 with flag 84003/243518
290.45/285.57	c Got one! Elapsed wall clock time (in seconds):285.46
290.45/285.57	o -11268
291.75/286.84	c cleaning 7502 clauses out of 15012 with flag 2083/249421
298.85/293.88	c cleaning 6752 clauses out of 13510 with flag 14337/255421
307.04/302.03	c cleaning 6876 clauses out of 13759 with flag 28340/262422
315.87/310.85	c Got one! Elapsed wall clock time (in seconds):310.738
315.87/310.85	o -11271
321.91/316.72	c cleaning 9842 clauses out of 19684 with flag 10250/275223
328.84/323.51	c Got one! Elapsed wall clock time (in seconds):323.393
328.84/323.51	o -11305
335.13/329.85	c cleaning 10406 clauses out of 20815 with flag 10191/286196
337.71/332.37	c Got one! Elapsed wall clock time (in seconds):332.254
337.71/332.37	o -11330
341.60/336.24	c cleaning 7712 clauses out of 15423 with flag 6009/291210
343.11/337.72	c Got one! Elapsed wall clock time (in seconds):337.609
343.11/337.72	o -11332
345.90/340.54	c Got one! Elapsed wall clock time (in seconds):340.424
345.90/340.54	o -11346
348.09/342.68	c Got one! Elapsed wall clock time (in seconds):342.568
348.09/342.68	o -11640
349.29/343.84	c cleaning 6931 clauses out of 13871 with flag 2004/297370
356.27/350.75	c cleaning 6467 clauses out of 12939 with flag 14002/303369
364.16/358.52	c cleaning 6733 clauses out of 13473 with flag 28004/310370
372.76/367.07	c cleaning 7366 clauses out of 14740 with flag 44004/318370
381.84/376.02	c cleaning 8185 clauses out of 16374 with flag 62004/327370
392.90/386.99	c cleaning 9093 clauses out of 18188 with flag 82002/337369
394.24/388.25	c Got one! Elapsed wall clock time (in seconds):388.135
394.24/388.25	o -11660
399.14/393.16	c cleaning 7116 clauses out of 14240 with flag 8005/342514
406.02/399.98	c cleaning 6558 clauses out of 13123 with flag 20003/348513
413.75/407.62	c cleaning 6779 clauses out of 13566 with flag 34005/355514
423.19/416.96	c cleaning 7393 clauses out of 14787 with flag 50005/363514
428.49/422.25	c Got one! Elapsed wall clock time (in seconds):422.136
428.49/422.25	o -11689
429.77/423.41	c cleaning 6489 clauses out of 12990 with flag 2006/369110
436.48/430.07	c cleaning 6249 clauses out of 12500 with flag 14004/375109
444.64/438.17	c cleaning 6623 clauses out of 13251 with flag 28004/382109
445.24/438.70	c Got one! Elapsed wall clock time (in seconds):438.591
445.24/438.70	o -11691
450.54/443.94	c Got one! Elapsed wall clock time (in seconds):443.825
450.54/443.94	o -11692
451.94/445.32	c cleaning 6108 clauses out of 12217 with flag 2006/387698
453.44/446.81	c Got one! Elapsed wall clock time (in seconds):446.699
453.44/446.81	o -11697
453.84/447.24	c Got one! Elapsed wall clock time (in seconds):447.127
453.84/447.24	o -11703
453.94/447.33	c Got one! Elapsed wall clock time (in seconds):447.215
453.94/447.33	o -11704
454.04/447.46	c Got one! Elapsed wall clock time (in seconds):447.349
454.04/447.46	o -11709
454.34/447.75	c Got one! Elapsed wall clock time (in seconds):447.638
454.34/447.75	o -11710
455.04/448.44	c Got one! Elapsed wall clock time (in seconds):448.322
455.04/448.44	o -11722
455.20/448.52	c Got one! Elapsed wall clock time (in seconds):448.404
455.20/448.52	o -11723
455.20/448.54	c Got one! Elapsed wall clock time (in seconds):448.429
455.20/448.54	o -11737
455.20/448.56	c Got one! Elapsed wall clock time (in seconds):448.441
455.20/448.56	o -11738
455.20/448.57	c Got one! Elapsed wall clock time (in seconds):448.454
455.20/448.57	o -11743
455.30/448.60	c Got one! Elapsed wall clock time (in seconds):448.488
455.30/448.60	o -11749
455.40/448.75	c Got one! Elapsed wall clock time (in seconds):448.635
455.40/448.75	o -11753
456.10/449.45	c Got one! Elapsed wall clock time (in seconds):449.332
456.10/449.45	o -11754
456.90/450.26	c Got one! Elapsed wall clock time (in seconds):450.145
456.90/450.26	o -11789
461.80/455.08	c Got one! Elapsed wall clock time (in seconds):454.965
461.80/455.08	o -11793
463.20/456.43	c cleaning 7340 clauses out of 14687 with flag 2038/396276
464.00/457.22	c Got one! Elapsed wall clock time (in seconds):457.104
464.00/457.22	o -11794
464.00/457.26	c Got one! Elapsed wall clock time (in seconds):457.15
464.00/457.26	o -11798
466.61/459.82	c Got one! Elapsed wall clock time (in seconds):459.71
466.61/459.82	o -12167
470.97/464.12	c cleaning 7050 clauses out of 14107 with flag 8001/403036
477.46/470.52	c cleaning 6526 clauses out of 13057 with flag 20001/409036
485.38/478.35	c cleaning 6762 clauses out of 13532 with flag 34003/416037
494.20/487.05	c cleaning 7383 clauses out of 14769 with flag 50001/424036
504.99/497.65	c cleaning 8191 clauses out of 16386 with flag 68001/433036
516.35/508.82	c cleaning 9096 clauses out of 18196 with flag 88003/443037
528.19/520.48	c cleaning 10050 clauses out of 20099 with flag 110001/454036
541.98/533.97	c cleaning 11023 clauses out of 22049 with flag 134001/466036
556.99/548.67	c cleaning 12013 clauses out of 24026 with flag 160001/479036
573.62/564.95	c cleaning 13005 clauses out of 26014 with flag 188003/493037
591.88/582.75	c cleaning 14000 clauses out of 28008 with flag 218001/508036
610.51/601.14	c cleaning 15001 clauses out of 30009 with flag 250003/524037
631.01/620.93	c cleaning 16001 clauses out of 32008 with flag 284003/541037
642.76/632.53	c Got one! Elapsed wall clock time (in seconds):632.418
642.76/632.53	o -12208
648.75/638.55	c cleaning 15715 clauses out of 31438 with flag 10002/556468
655.55/645.24	c cleaning 10862 clauses out of 21724 with flag 22004/562469
663.22/652.84	c cleaning 8928 clauses out of 17861 with flag 36002/569468
672.41/661.97	c cleaning 8464 clauses out of 16934 with flag 52004/577469
683.40/672.82	c cleaning 8732 clauses out of 17469 with flag 70002/586468
695.08/684.46	c cleaning 9365 clauses out of 18737 with flag 90002/596468
707.49/696.63	c cleaning 10184 clauses out of 20373 with flag 112004/607469
720.81/709.86	c cleaning 11093 clauses out of 22189 with flag 136004/619469
735.52/724.35	c cleaning 12044 clauses out of 24096 with flag 162004/632469
751.83/740.42	c cleaning 13024 clauses out of 26051 with flag 190002/646468
768.60/757.09	c Got one! Elapsed wall clock time (in seconds):756.973
768.60/757.09	o -12242
774.76/763.10	c cleaning 16308 clauses out of 32616 with flag 10005/666057
781.63/769.80	c cleaning 11150 clauses out of 22307 with flag 22003/672056
789.76/777.92	c cleaning 9074 clauses out of 18158 with flag 36005/679057
799.08/787.19	c cleaning 8538 clauses out of 17084 with flag 52005/687057
810.08/798.02	c cleaning 8770 clauses out of 17546 with flag 70005/696057
822.21/810.01	c cleaning 9385 clauses out of 18776 with flag 90005/706057
835.11/822.72	c cleaning 10193 clauses out of 20390 with flag 112003/717056
838.97/826.52	c Got one! Elapsed wall clock time (in seconds):826.405
838.97/826.52	o -12343
841.37/828.91	c cleaning 7725 clauses out of 15458 with flag 4006/722317
848.93/836.46	c cleaning 6863 clauses out of 13733 with flag 16006/728317
857.77/845.10	c cleaning 6933 clauses out of 13870 with flag 30006/735317
859.17/846.52	c Got one! Elapsed wall clock time (in seconds):846.406
859.17/846.52	o -12349
864.44/851.77	c cleaning 5992 clauses out of 11986 with flag 8005/740366
869.42/856.68	c Got one! Elapsed wall clock time (in seconds):856.566
869.42/856.68	o -12375
870.82/858.04	c cleaning 5589 clauses out of 11190 with flag 2006/745562
872.21/859.45	c Got one! Elapsed wall clock time (in seconds):859.335
872.21/859.45	o -12390
873.91/861.10	c Got one! Elapsed wall clock time (in seconds):860.985
873.91/861.10	o -12392
873.91/861.18	c Got one! Elapsed wall clock time (in seconds):861.07
873.91/861.18	o -12400
874.01/861.22	c Got one! Elapsed wall clock time (in seconds):861.104
874.01/861.22	o -12406
874.01/861.30	c Got one! Elapsed wall clock time (in seconds):861.181
874.01/861.30	o -12412
874.22/861.41	c Got one! Elapsed wall clock time (in seconds):861.297
874.22/861.41	o -12413
874.96/862.18	c Got one! Elapsed wall clock time (in seconds):862.067
874.96/862.18	o -12432
877.65/864.81	c Got one! Elapsed wall clock time (in seconds):864.701
877.65/864.81	o -12444
877.85/865.04	c Got one! Elapsed wall clock time (in seconds):864.927
877.85/865.04	o -12457
879.15/866.36	c cleaning 5981 clauses out of 11964 with flag 2019/751925
880.28/867.47	c Got one! Elapsed wall clock time (in seconds):867.356
880.28/867.47	o -12504
886.66/873.75	c cleaning 5930 clauses out of 11871 with flag 10005/757813
894.25/881.22	c cleaning 5969 clauses out of 11942 with flag 22007/763814
900.57/887.59	c Got one! Elapsed wall clock time (in seconds):887.477
900.57/887.59	o -12523
903.36/890.28	c Got one! Elapsed wall clock time (in seconds):890.168
903.36/890.28	o -12535
904.76/891.68	c Got one! Elapsed wall clock time (in seconds):891.567
904.76/891.68	o -12539
904.86/891.75	c Got one! Elapsed wall clock time (in seconds):891.633
904.86/891.75	o -12540
904.86/891.79	c Got one! Elapsed wall clock time (in seconds):891.674
904.86/891.79	o -12546
904.96/891.80	c Got one! Elapsed wall clock time (in seconds):891.688
904.96/891.80	o -12552
905.06/891.92	c Got one! Elapsed wall clock time (in seconds):891.808
905.06/891.92	o -12558
905.06/891.99	c Got one! Elapsed wall clock time (in seconds):891.879
905.06/891.99	o -12564
905.56/892.40	c Got one! Elapsed wall clock time (in seconds):892.284
905.56/892.40	o -12565
905.66/892.53	c Got one! Elapsed wall clock time (in seconds):892.416
905.66/892.53	o -12566
906.69/893.40	c Got one! Elapsed wall clock time (in seconds):893.285
906.69/893.40	o -12574
909.29/896.02	c cleaning 8616 clauses out of 17232 with flag 4009/775073
909.29/896.06	c Got one! Elapsed wall clock time (in seconds):895.951
909.29/896.06	o -12581
909.49/896.27	c Got one! Elapsed wall clock time (in seconds):896.16
909.49/896.27	o -12587
909.59/896.34	c Got one! Elapsed wall clock time (in seconds):896.223
909.59/896.34	o -12592
909.59/896.35	c Got one! Elapsed wall clock time (in seconds):896.237
909.59/896.35	o -12593
909.59/896.37	c Got one! Elapsed wall clock time (in seconds):896.252
909.59/896.37	o -12603
909.69/896.44	c Got one! Elapsed wall clock time (in seconds):896.327
909.69/896.44	o -12609
910.09/896.89	c Got one! Elapsed wall clock time (in seconds):896.775
910.09/896.89	o -12610
912.21/898.92	c Got one! Elapsed wall clock time (in seconds):898.808
912.21/898.92	o -12613
917.69/904.33	c cleaning 7388 clauses out of 14775 with flag 8009/781232
918.09/904.71	c Got one! Elapsed wall clock time (in seconds):904.597
918.09/904.71	o -12634
918.29/904.95	c Got one! Elapsed wall clock time (in seconds):904.84
918.29/904.95	o -12644
918.38/905.05	c Got one! Elapsed wall clock time (in seconds):904.931
918.38/905.05	o -12654
923.18/909.72	c Got one! Elapsed wall clock time (in seconds):909.61
923.18/909.72	o -13014
925.27/911.89	c cleaning 6708 clauses out of 13427 with flag 4001/787272
931.67/918.18	c cleaning 6354 clauses out of 12720 with flag 16003/793273
939.79/926.11	c cleaning 6680 clauses out of 13366 with flag 30003/800273
948.52/934.73	c cleaning 7338 clauses out of 14685 with flag 46001/808272
958.35/944.42	c cleaning 8173 clauses out of 16347 with flag 64001/817272
969.75/955.64	c cleaning 9086 clauses out of 18175 with flag 84003/827273
982.27/967.90	c cleaning 10040 clauses out of 20089 with flag 106003/838273
996.64/982.08	c cleaning 11024 clauses out of 22049 with flag 130003/850273
1012.09/997.26	c cleaning 12011 clauses out of 24026 with flag 156005/863274
1028.94/1013.73	c cleaning 13001 clauses out of 26014 with flag 184003/877273
1046.12/1030.55	c cleaning 14006 clauses out of 28013 with flag 214003/892273
1064.89/1048.84	c cleaning 15003 clauses out of 30007 with flag 246003/908273
1085.88/1069.40	c cleaning 15997 clauses out of 32004 with flag 280003/925273
1106.70/1089.75	c cleaning 16999 clauses out of 34006 with flag 316001/943272
1128.62/1111.04	c cleaning 18000 clauses out of 36007 with flag 354001/962272
1151.74/1133.78	c cleaning 19001 clauses out of 38008 with flag 394003/982273
1177.14/1158.64	c cleaning 20002 clauses out of 40007 with flag 436003/1003273
1203.88/1185.01	c cleaning 21001 clauses out of 42004 with flag 480001/1025272
1216.28/1197.31	c Got one! Elapsed wall clock time (in seconds):1197.2
1216.28/1197.31	o -13025
1222.75/1203.68	c cleaning 18165 clauses out of 36334 with flag 10005/1040603
1229.95/1210.85	c cleaning 12081 clauses out of 24169 with flag 22005/1046603
1238.20/1219.04	c cleaning 9541 clauses out of 19087 with flag 36003/1053602
1247.40/1228.17	c cleaning 8769 clauses out of 17547 with flag 52005/1061603
1257.78/1238.41	c cleaning 8883 clauses out of 17777 with flag 70003/1070602
1269.17/1249.75	c cleaning 9444 clauses out of 18894 with flag 90003/1080602
1278.33/1258.82	c Got one! Elapsed wall clock time (in seconds):1258.702
1278.33/1258.82	o -13045
1284.88/1265.25	c cleaning 11097 clauses out of 22194 with flag 10140/1093346
1292.18/1272.53	c cleaning 8547 clauses out of 17097 with flag 22242/1099346
1299.92/1280.22	c Got one! Elapsed wall clock time (in seconds):1280.102
1299.92/1280.22	o -13048
1306.03/1286.22	c cleaning 9940 clauses out of 19882 with flag 10315/1110678
1313.82/1293.93	c cleaning 7970 clauses out of 15942 with flag 22676/1116678
1322.63/1302.62	c cleaning 7483 clauses out of 14972 with flag 37017/1123678
1324.33/1304.31	c Got one! Elapsed wall clock time (in seconds):1304.196
1324.33/1304.31	o -13049
1328.23/1308.20	c Got one! Elapsed wall clock time (in seconds):1308.091
1328.23/1308.20	o -13053
1329.63/1309.67	c cleaning 6462 clauses out of 12925 with flag 2090/1129114
1330.64/1310.62	c Got one! Elapsed wall clock time (in seconds):1310.504
1330.64/1310.62	o -13054
1330.74/1310.73	c Got one! Elapsed wall clock time (in seconds):1310.615
1330.74/1310.73	o -13065
1332.94/1312.97	c Got one! Elapsed wall clock time (in seconds):1312.853
1332.94/1312.97	o -13193
1337.44/1317.41	c cleaning 6390 clauses out of 12795 with flag 8004/1135446
1343.86/1323.86	c cleaning 6199 clauses out of 12405 with flag 20004/1141446
1351.61/1331.52	c cleaning 6599 clauses out of 13206 with flag 34004/1148446
1361.09/1340.81	c cleaning 7301 clauses out of 14607 with flag 50004/1156446
1371.09/1350.80	c cleaning 8151 clauses out of 16306 with flag 68004/1165446
1381.81/1361.28	c cleaning 9078 clauses out of 18155 with flag 88004/1175446
1393.35/1372.52	c cleaning 10038 clauses out of 20077 with flag 110004/1186446
1407.22/1386.29	c cleaning 11017 clauses out of 22039 with flag 134004/1198446
1421.52/1400.25	c cleaning 12011 clauses out of 24021 with flag 160002/1211445
1437.95/1416.46	c cleaning 13001 clauses out of 26010 with flag 188002/1225445
1455.28/1433.48	c cleaning 14004 clauses out of 28010 with flag 218004/1240446
1474.90/1452.75	c cleaning 15003 clauses out of 30005 with flag 250002/1256445
1495.90/1473.22	c cleaning 15999 clauses out of 32003 with flag 284004/1273446
1508.29/1485.30	c Got one! Elapsed wall clock time (in seconds):1485.184
1508.29/1485.30	o -13223
1514.67/1491.61	c cleaning 15577 clauses out of 31166 with flag 10003/1288608
1521.44/1498.40	c cleaning 10790 clauses out of 21590 with flag 22005/1294609
1529.28/1506.13	c cleaning 8897 clauses out of 17800 with flag 36005/1301609
1538.43/1515.21	c cleaning 8445 clauses out of 16903 with flag 52005/1309609
1548.96/1525.65	c cleaning 8728 clauses out of 17458 with flag 70005/1318609
1560.20/1536.78	c cleaning 9364 clauses out of 18730 with flag 90005/1328609
1573.30/1549.62	c cleaning 10180 clauses out of 20366 with flag 112005/1339609
1588.10/1564.15	c cleaning 11091 clauses out of 22185 with flag 136003/1351608
1604.83/1580.62	c cleaning 12045 clauses out of 24094 with flag 162003/1364608
1621.43/1596.98	c cleaning 13025 clauses out of 26050 with flag 190005/1378609
1636.90/1612.12	c Got one! Elapsed wall clock time (in seconds):1612.01
1636.90/1612.12	o -13282
1643.65/1618.85	c cleaning 15445 clauses out of 30898 with flag 10006/1396482
1651.47/1626.53	c cleaning 10722 clauses out of 21452 with flag 22004/1402481
1660.13/1635.11	c cleaning 8858 clauses out of 17730 with flag 36004/1409481
1669.81/1644.63	c cleaning 8433 clauses out of 16872 with flag 52004/1417481
1676.16/1651.00	c Got one! Elapsed wall clock time (in seconds):1650.881
1676.16/1651.00	o -13303
1682.78/1657.49	c cleaning 9346 clauses out of 18698 with flag 10007/1427740
1690.08/1664.65	c cleaning 7672 clauses out of 15351 with flag 22005/1433739
1697.16/1671.68	c Got one! Elapsed wall clock time (in seconds):1671.568
1697.16/1671.68	o -13315
1704.33/1678.53	c cleaning 9386 clauses out of 18774 with flag 10113/1444834
1707.84/1682.08	c Got one! Elapsed wall clock time (in seconds):1681.969
1707.84/1682.08	o -13327
1711.98/1686.19	c cleaning 7520 clauses out of 15046 with flag 6082/1450492
1718.22/1692.25	c Got one! Elapsed wall clock time (in seconds):1692.138
1718.22/1692.25	o -13417
1719.42/1693.47	c cleaning 6601 clauses out of 13210 with flag 2007/1456176
1727.28/1701.26	c cleaning 6299 clauses out of 12608 with flag 14005/1462175
1736.76/1710.54	c cleaning 6655 clauses out of 13310 with flag 28007/1469176
1747.36/1721.03	c cleaning 7327 clauses out of 14655 with flag 44007/1477176
1759.12/1732.53	c cleaning 8164 clauses out of 16327 with flag 62005/1486175
1759.91/1733.33	c Got one! Elapsed wall clock time (in seconds):1733.211
1759.91/1733.33	o -13443
1766.64/1739.95	c cleaning 6878 clauses out of 13768 with flag 10006/1491780
1769.56/1742.81	c Got one! Elapsed wall clock time (in seconds):1742.696
1769.56/1742.81	o -13447
1773.53/1746.77	c cleaning 6010 clauses out of 12026 with flag 6220/1496916
1775.05/1748.20	c Got one! Elapsed wall clock time (in seconds):1748.09
1775.05/1748.20	o -13453
1778.42/1751.50	c Got one! Elapsed wall clock time (in seconds):1751.388
1778.42/1751.50	o -13457
1778.62/1751.72	c Got one! Elapsed wall clock time (in seconds):1751.605
1778.62/1751.72	o -13478
1778.82/1751.97	c Got one! Elapsed wall clock time (in seconds):1751.852
1778.82/1751.97	o -13487
1779.42/1752.55	c Got one! Elapsed wall clock time (in seconds):1752.438
1779.42/1752.55	o -13491
1782.00/1755.08	c cleaning 6227 clauses out of 12461 with flag 4147/1503361
1788.89/1761.86	c cleaning 6115 clauses out of 12235 with flag 16149/1509362
1788.89/1761.89	c Got one! Elapsed wall clock time (in seconds):1761.773
1788.89/1761.89	o -13500
1794.75/1767.51	c Got one! Elapsed wall clock time (in seconds):1767.401
1794.75/1767.51	o -13501
1794.85/1767.62	c Got one! Elapsed wall clock time (in seconds):1767.51
1794.85/1767.62	o -13535
1796.16/1768.91	c cleaning 6082 clauses out of 12169 with flag 2013/1515411
1800.01/1772.70	c starts		: 191
1800.01/1772.70	c conflicts		: 1518689
1800.01/1772.70	c decisions		: 1525997
1800.01/1772.70	c propagations		: 773322746
1800.01/1772.70	c inspects		: 4268666193
1800.01/1772.70	c shortcuts		: 0
1800.01/1772.70	c learnt literals	: 0
1800.01/1772.70	c learnt binary clauses	: 0
1800.01/1772.70	c learnt ternary clauses	: 0
1800.01/1772.70	c learnt constraints	: 1518688
1800.01/1772.70	c ignored constraints	: 0
1800.01/1772.70	c root simplifications	: 0
1800.01/1772.70	c removed literals (reason simplification)	: 0
1800.01/1772.70	c reason swapping (by a shorter reason)	: 0
1800.01/1772.70	c Calls to reduceDB	: 166
1800.01/1772.70	c Number of update (reduction) of LBD	: 377
1800.01/1772.70	c Imported unit clauses	: 0
1800.01/1772.70	c number of reductions to clauses (during analyze)	: 0
1800.01/1772.70	c number of learned constraints concerned by reduction	: 0
1800.01/1772.70	c number of learning phase by resolution	: 0
1800.01/1772.70	c number of learning phase by cutting planes	: 0
1800.01/1772.70	c speed (assignments/second)	: 436820.8567492288
1800.01/1772.70	c non guided choices	0
1800.01/1772.71	c learnt constraints type 
1800.01/1772.71	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 9365
1800.01/1772.71	s SATISFIABLE
1800.01/1772.71	c Found 190 solution(s)
1800.01/1772.71	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 
1800.01/1772.71	c objective function=-13535
1800.01/1772.71	c Total wall clock time (in seconds): 1772.594

Verifier Data 

OK	-13535

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

pid=6783
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.19 2.20 3/196 6786
/proc/meminfo: memFree=26356564/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/6786/stat : 6786 (java) R 6783 6786 4818 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 2939099 278528 26 33554432000 1073741824 1073778376 140737029891984 140736348276824 273896512081 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 68 33 25 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 2.18 2.19 2.20 3/196 6786
/proc/meminfo: memFree=26356564/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 2939099 9787879424 6031 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 2.18 2.19 2.20 3/196 6786
/proc/meminfo: memFree=26356564/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 4640 0 1 0 24 1 0 0 20 0 18 0 2939099 9787879424 6753 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2389619 6740 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300222 s]
/proc/loadavg: 2.18 2.19 2.20 3/196 6786
/proc/meminfo: memFree=26356564/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 5698 0 1 0 47 1 0 0 20 0 18 0 2939099 9787879424 7965 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2389619 7965 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700178 s]
/proc/loadavg: 2.18 2.19 2.20 3/196 6786
/proc/meminfo: memFree=26356564/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9558476 CPUtime=1.05 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 7039 0 1 0 104 1 0 0 20 0 18 0 2939099 9787879424 11219 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2389619 11219 2242 9 0 2380296 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9558476

[startup+1.50072 s]
/proc/loadavg: 2.18 2.19 2.20 3/214 6804
/proc/meminfo: memFree=26315984/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9558476 CPUtime=1.9 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 7051 0 1 0 189 1 0 0 20 0 18 0 2939099 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2389619 13274 2249 9 0 2380296 0
[pid=6786/tid=6788] ppid=6783 vsize=9558476 CPUtime=1.46 cores=0,2,4,6
/proc/6786/task/6788/stat : 6788 (java) R 6783 6786 4818 0 -1 4202560 2412 0 1 0 145 1 0 0 20 0 18 0 2939100 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304293715744 140304116506303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6789] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6789/stat : 6789 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939101 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304255216424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6790] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6790/stat : 6790 (java) S 6783 6786 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 2939101 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304254163624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6791] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939101 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304253111336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6792] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939101 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304252058536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6793] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939101 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304251005224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6794] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6794/stat : 6794 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939101 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304249952424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6795] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6795/stat : 6795 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939101 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304248900136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6796] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6796/stat : 6796 (java) S 6783 6786 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2939101 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304247847336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6797] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6797/stat : 6797 (java) S 6783 6786 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2939103 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304235436776 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6798] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6798/stat : 6798 (java) S 6783 6786 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2939103 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304116082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6799] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6799/stat : 6799 (java) S 6783 6786 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2939103 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304115029768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6800] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6800/stat : 6800 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939105 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304113978256 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6801] ppid=6783 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/6786/task/6801/stat : 6801 (java) S 6783 6786 4818 0 -1 4202560 1468 0 0 0 17 0 0 0 20 0 18 0 2939105 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304112924856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6802] ppid=6783 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/6786/task/6802/stat : 6802 (java) S 6783 6786 4818 0 -1 4202560 1907 0 0 0 23 0 0 0 20 0 18 0 2939105 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304111872056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6803] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6803/stat : 6803 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939105 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304110819960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6804] ppid=6783 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6804/stat : 6804 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2939105 9787879424 13274 33554432000 1073741824 1073778376 140737029891984 140304109767368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9558476

[startup+3.10084 s]
/proc/loadavg: 2.18 2.19 2.20 3/214 6804
/proc/meminfo: memFree=26295700/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 13774 0 1 0 430 4 0 0 20 0 19 0 2939099 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2406260 33111 2273 9 0 2396937 0
[pid=6786/tid=6788] ppid=6783 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/6786/task/6788/stat : 6788 (java) R 6783 6786 4818 0 -1 4202560 2458 0 1 0 303 2 0 0 20 0 19 0 2939100 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304293716272 140304116987456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6789] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6789/stat : 6789 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304255216424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6790] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6790/stat : 6790 (java) S 6783 6786 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304254163624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6791] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304253111336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6792] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304252058536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6793] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304251005224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6794] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6794/stat : 6794 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304249952424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6795] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6795/stat : 6795 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304248900136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6796] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6796/stat : 6796 (java) S 6783 6786 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304247847336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6797] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6797/stat : 6797 (java) S 6783 6786 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304235436776 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6798] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6798/stat : 6798 (java) S 6783 6786 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304116082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6799] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6799/stat : 6799 (java) S 6783 6786 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304115029768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6800] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6800/stat : 6800 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304113978256 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6801] ppid=6783 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/6786/task/6801/stat : 6801 (java) S 6783 6786 4818 0 -1 4202560 6163 0 0 0 64 2 0 0 20 0 19 0 2939105 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304112924856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6802] ppid=6783 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/6786/task/6802/stat : 6802 (java) S 6783 6786 4818 0 -1 4202560 3875 0 0 0 59 0 0 0 20 0 19 0 2939105 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304111872056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6803] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6803/stat : 6803 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304110819960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6804] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6804/stat : 6804 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 33111 33554432000 1073741824 1073778376 140737029891984 140304109767368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.17 2.18 2.20 3/215 6805
/proc/meminfo: memFree=26172952/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9625040 CPUtime=7.65 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 14139 0 1 0 757 8 0 0 20 0 19 0 2939099 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2406260 47705 2286 9 0 2396937 0
[pid=6786/tid=6788] ppid=6783 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/6786/task/6788/stat : 6788 (java) R 6783 6786 4818 0 -1 4202560 2481 0 1 0 620 2 0 0 20 0 19 0 2939100 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304293716272 140304117085445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6789] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6789/stat : 6789 (java) S 6783 6786 4818 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304255216424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6790] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6790/stat : 6790 (java) S 6783 6786 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304254163624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6791] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (java) S 6783 6786 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304253111336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6792] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (java) S 6783 6786 4818 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304252058536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6793] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (java) S 6783 6786 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304251005224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6794] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6794/stat : 6794 (java) S 6783 6786 4818 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304249952424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6795] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6795/stat : 6795 (java) S 6783 6786 4818 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304248900136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6796] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6796/stat : 6796 (java) S 6783 6786 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2939101 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304247847336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6797] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6797/stat : 6797 (java) S 6783 6786 4818 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304235436776 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6798] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6798/stat : 6798 (java) S 6783 6786 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304116082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6799] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6799/stat : 6799 (java) S 6783 6786 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304115029768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6800] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6800/stat : 6800 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304113978256 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6801] ppid=6783 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/6786/task/6801/stat : 6801 (java) S 6783 6786 4818 0 -1 4202560 6163 0 0 0 64 2 0 0 20 0 19 0 2939105 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304112924856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6802] ppid=6783 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/6786/task/6802/stat : 6802 (java) S 6783 6786 4818 0 -1 4202560 4158 0 0 0 65 0 0 0 20 0 19 0 2939105 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304111872056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6803] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6803/stat : 6803 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304110819960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6804] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6804/stat : 6804 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304109767368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6805] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6805/stat : 6805 (java) S 6783 6786 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2939336 9856040960 47705 33554432000 1073741824 1073778376 140737029891984 140304108713384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 9625040

[startup+12.701 s]
/proc/loadavg: 2.23 2.20 2.21 4/215 6805
/proc/meminfo: memFree=26095096/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9625040 CPUtime=14.4 cores=0,2,4,6

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

[pid=6786/tid=6805] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6805/stat : 6805 (java) S 6783 6786 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2939336 9856040960 278714 33554432000 1073741824 1073778376 140737029891984 140304108713384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1687.71
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.27 2.20 2.18 4/215 6914
/proc/meminfo: memFree=24306060/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9625040 CPUtime=1748.69 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 31246 0 1 0 174511 358 0 0 20 0 19 0 2939099 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2406260 276010 2300 9 0 2396937 0
[pid=6786/tid=6788] ppid=6783 vsize=9625040 CPUtime=1705.02 cores=0,2,4,6
/proc/6786/task/6788/stat : 6788 (java) R 6783 6786 4818 0 -1 4202560 2750 0 1 0 170473 29 0 0 20 0 19 0 2939100 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304293723312 140304116980079 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6789] ppid=6783 vsize=9625040 CPUtime=4.23 cores=0,2,4,6
/proc/6786/task/6789/stat : 6789 (java) S 6783 6786 4818 0 -1 4202560 1592 0 0 0 384 39 0 0 20 0 19 0 2939101 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304255216424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6790] ppid=6783 vsize=9625040 CPUtime=3.96 cores=0,2,4,6
/proc/6786/task/6790/stat : 6790 (java) S 6783 6786 4818 0 -1 4202560 1462 0 0 0 357 39 0 0 20 0 19 0 2939101 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304254163624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6791] ppid=6783 vsize=9625040 CPUtime=4.42 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (java) S 6783 6786 4818 0 -1 4202560 2048 0 0 0 400 42 0 0 20 0 19 0 2939101 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304253111336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6792] ppid=6783 vsize=9625040 CPUtime=4.15 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (java) S 6783 6786 4818 0 -1 4202560 1049 0 0 0 379 36 0 0 20 0 19 0 2939101 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304252058536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6783 vsize=9625040 CPUtime=4.55 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (java) S 6783 6786 4818 0 -1 4202560 1958 0 0 0 410 45 0 0 20 0 19 0 2939101 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304251005224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6794] ppid=6783 vsize=9625040 CPUtime=4.5 cores=0,2,4,6
/proc/6786/task/6794/stat : 6794 (java) S 6783 6786 4818 0 -1 4202560 1643 0 0 0 400 50 0 0 20 0 19 0 2939101 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304249952424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6795] ppid=6783 vsize=9625040 CPUtime=4.23 cores=0,2,4,6
/proc/6786/task/6795/stat : 6795 (java) S 6783 6786 4818 0 -1 4202560 1393 0 0 0 380 43 0 0 20 0 19 0 2939101 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304248900136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6796] ppid=6783 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/6786/task/6796/stat : 6796 (java) S 6783 6786 4818 0 -1 4202560 1342 0 0 0 384 42 0 0 20 0 19 0 2939101 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304247847336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6797] ppid=6783 vsize=9625040 CPUtime=3.42 cores=0,2,4,6
/proc/6786/task/6797/stat : 6797 (java) S 6783 6786 4818 0 -1 4202560 2895 0 0 0 336 6 0 0 20 0 19 0 2939103 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304235436776 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6798] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6798/stat : 6798 (java) S 6783 6786 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304116082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6799] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6799/stat : 6799 (java) S 6783 6786 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304115029768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6800] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6800/stat : 6800 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304113978256 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6801] ppid=6783 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/6786/task/6801/stat : 6801 (java) S 6783 6786 4818 0 -1 4202560 6170 0 0 0 69 2 0 0 20 0 19 0 2939105 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304112924856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6802] ppid=6783 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/6786/task/6802/stat : 6802 (java) S 6783 6786 4818 0 -1 4202560 5582 0 0 0 79 0 0 0 20 0 19 0 2939105 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304111872056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6803] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6803/stat : 6803 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304110819960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6804] ppid=6783 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/6786/task/6804/stat : 6804 (java) S 6783 6786 4818 0 -1 4202560 99 0 0 0 14 16 0 0 20 0 19 0 2939105 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304109767368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6805] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6805/stat : 6805 (java) S 6783 6786 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2939336 9856040960 276010 33554432000 1073741824 1073778376 140737029891984 140304108713384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1748.69
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.7 s]
/proc/loadavg: 2.15 2.18 2.18 3/215 6915
/proc/meminfo: memFree=24485032/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 31301 0 1 0 179642 359 0 0 20 0 19 0 2939099 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2406260 231121 2300 9 0 2396937 0
[pid=6786/tid=6788] ppid=6783 vsize=9625040 CPUtime=1754.83 cores=0,2,4,6
/proc/6786/task/6788/stat : 6788 (java) R 6783 6786 4818 0 -1 4202560 2767 0 1 0 175453 30 0 0 20 0 19 0 2939100 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304293723312 140304117051252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6789] ppid=6783 vsize=9625040 CPUtime=4.41 cores=0,2,4,6
/proc/6786/task/6789/stat : 6789 (java) S 6783 6786 4818 0 -1 4202560 1597 0 0 0 402 39 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304255216424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6790] ppid=6783 vsize=9625040 CPUtime=4.09 cores=0,2,4,6
/proc/6786/task/6790/stat : 6790 (java) S 6783 6786 4818 0 -1 4202560 1462 0 0 0 370 39 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304254163624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6791] ppid=6783 vsize=9625040 CPUtime=4.59 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (java) S 6783 6786 4818 0 -1 4202560 2048 0 0 0 417 42 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304253111336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6792] ppid=6783 vsize=9625040 CPUtime=4.32 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (java) S 6783 6786 4818 0 -1 4202560 1053 0 0 0 396 36 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304252058536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6783 vsize=9625040 CPUtime=4.75 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (java) S 6783 6786 4818 0 -1 4202560 1966 0 0 0 430 45 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304251005224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6794] ppid=6783 vsize=9625040 CPUtime=4.62 cores=0,2,4,6
/proc/6786/task/6794/stat : 6794 (java) S 6783 6786 4818 0 -1 4202560 1643 0 0 0 412 50 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304249952424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6795] ppid=6783 vsize=9625040 CPUtime=4.39 cores=0,2,4,6
/proc/6786/task/6795/stat : 6795 (java) S 6783 6786 4818 0 -1 4202560 1393 0 0 0 396 43 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304248900136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6796] ppid=6783 vsize=9625040 CPUtime=4.42 cores=0,2,4,6
/proc/6786/task/6796/stat : 6796 (java) S 6783 6786 4818 0 -1 4202560 1345 0 0 0 400 42 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304247847336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6797] ppid=6783 vsize=9625040 CPUtime=3.52 cores=0,2,4,6
/proc/6786/task/6797/stat : 6797 (java) S 6783 6786 4818 0 -1 4202560 2909 0 0 0 346 6 0 0 20 0 19 0 2939103 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304235436776 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6798] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6798/stat : 6798 (java) S 6783 6786 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304116082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6799] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6799/stat : 6799 (java) S 6783 6786 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304115029768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6800] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6800/stat : 6800 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304113978256 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6801] ppid=6783 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/6786/task/6801/stat : 6801 (java) S 6783 6786 4818 0 -1 4202560 6170 0 0 0 69 2 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304112924856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6802] ppid=6783 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/6786/task/6802/stat : 6802 (java) S 6783 6786 4818 0 -1 4202560 5582 0 0 0 79 0 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304111872056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6803] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6803/stat : 6803 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304110819960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6804] ppid=6783 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/6786/task/6804/stat : 6804 (java) S 6783 6786 4818 0 -1 4202560 103 0 0 0 15 16 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304109767368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6805] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6805/stat : 6805 (java) S 6783 6786 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2939336 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304108713384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 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 6786 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1772.7 s]
/proc/loadavg: 2.15 2.18 2.18 3/215 6915
/proc/meminfo: memFree=24485032/32872528 swapFree=1483896/1661724
[pid=6786] ppid=6783 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/6786/stat : 6786 (java) S 6783 6786 4818 0 -1 4202496 31301 0 1 0 179642 359 0 0 20 0 19 0 2939099 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140737029883120 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 2406260 231121 2300 9 0 2396937 0
[pid=6786/tid=6788] ppid=6783 vsize=9625040 CPUtime=1754.83 cores=0,2,4,6
/proc/6786/task/6788/stat : 6788 (java) R 6783 6786 4818 0 -1 4202560 2767 0 1 0 175453 30 0 0 20 0 19 0 2939100 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304293723312 140304117051252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6789] ppid=6783 vsize=9625040 CPUtime=4.41 cores=0,2,4,6
/proc/6786/task/6789/stat : 6789 (java) S 6783 6786 4818 0 -1 4202560 1597 0 0 0 402 39 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304255216424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6790] ppid=6783 vsize=9625040 CPUtime=4.09 cores=0,2,4,6
/proc/6786/task/6790/stat : 6790 (java) S 6783 6786 4818 0 -1 4202560 1462 0 0 0 370 39 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304254163624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6786/tid=6791] ppid=6783 vsize=9625040 CPUtime=4.59 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (java) S 6783 6786 4818 0 -1 4202560 2048 0 0 0 417 42 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304253111336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6792] ppid=6783 vsize=9625040 CPUtime=4.32 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (java) S 6783 6786 4818 0 -1 4202560 1053 0 0 0 396 36 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304252058536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6783 vsize=9625040 CPUtime=4.75 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (java) S 6783 6786 4818 0 -1 4202560 1966 0 0 0 430 45 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304251005224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6794] ppid=6783 vsize=9625040 CPUtime=4.62 cores=0,2,4,6
/proc/6786/task/6794/stat : 6794 (java) S 6783 6786 4818 0 -1 4202560 1643 0 0 0 412 50 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304249952424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6795] ppid=6783 vsize=9625040 CPUtime=4.39 cores=0,2,4,6
/proc/6786/task/6795/stat : 6795 (java) S 6783 6786 4818 0 -1 4202560 1393 0 0 0 396 43 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304248900136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6796] ppid=6783 vsize=9625040 CPUtime=4.42 cores=0,2,4,6
/proc/6786/task/6796/stat : 6796 (java) S 6783 6786 4818 0 -1 4202560 1345 0 0 0 400 42 0 0 20 0 19 0 2939101 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304247847336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6797] ppid=6783 vsize=9625040 CPUtime=3.52 cores=0,2,4,6
/proc/6786/task/6797/stat : 6797 (java) S 6783 6786 4818 0 -1 4202560 2909 0 0 0 346 6 0 0 20 0 19 0 2939103 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304235436776 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6798] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6798/stat : 6798 (java) S 6783 6786 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304116082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6799] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6799/stat : 6799 (java) S 6783 6786 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2939103 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304115029768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6800] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6800/stat : 6800 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304113978256 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6801] ppid=6783 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/6786/task/6801/stat : 6801 (java) S 6783 6786 4818 0 -1 4202560 6170 0 0 0 69 2 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304112924856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6786/tid=6802] ppid=6783 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/6786/task/6802/stat : 6802 (java) S 6783 6786 4818 0 -1 4202560 5582 0 0 0 79 0 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304111872056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6803] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6803/stat : 6803 (java) S 6783 6786 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304110819960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6804] ppid=6783 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/6786/task/6804/stat : 6804 (java) S 6783 6786 4818 0 -1 4202560 103 0 0 0 15 16 0 0 20 0 19 0 2939105 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304109767368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6805] ppid=6783 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6805/stat : 6805 (java) S 6783 6786 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2939336 9856040960 231121 33554432000 1073741824 1073778376 140737029891984 140304108713384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 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 6786 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=988576
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=31387
# CPU time returned by wait4() is 1796.02
# 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): 1772.73
CPU time (s): 1800.01
CPU user time (s): 1796.42
CPU system time (s): 3.59
CPU usage (%): 101.539
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 4.03139
maximum resident set size= 1703188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31354
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46495
involuntary context switches= 40879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0415 second user time and 13.234 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-29 19:04:26
IDJOB=4118052
IDBENCH=111438
IDSOLVER=2546
FILE ID=node134/4118052-1467219866
RUNJOBID= node134-1467208989-4834
PBS_JOBID= 19997576
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118052-1467219866/watcher-4118052-1467219866 -o /tmp/evaluation-result-4118052-1467219866/solver-4118052-1467219866 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4834 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118052-1467219866.opb

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

MD5SUM BENCH= aa888e0812bb7b9f3dc5774c2fb177b8
RANDOM SEED=1906110426

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26357100 kB
Buffers:          125272 kB
Cached:          2990960 kB
SwapCached:            0 kB
Active:          1124528 kB
Inactive:        2983148 kB
Active(anon):     993764 kB
Inactive(anon):        0 kB
Active(file):     130764 kB
Inactive(file):  2983148 kB
Unevictable:     1661724 kB
Mlocked:         1483896 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       2652620 kB
Mapped:            21572 kB
Shmem:               216 kB
Slab:             611628 kB
SReclaimable:      55332 kB
SUnreclaim:       556296 kB
KernelStack:        1616 kB
PageTables:         9524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3534576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1071104 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= 71708 MiB
End job on node134 at 2016-06-29 19:33:59