Trace number 4119574

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)-2037 1800.06 1774.74

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-13.opb
MD5SUM43d918250d1c997ffe2500aba0f26bf3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2037
Best CPU time to get the best result obtained on this benchmark1800.06
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 1782
Biggest coefficient in the objective function 1072
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 131872
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1072
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 131872
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)1757
Sum of products size (including duplicates)5534
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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4119574-1467262254.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  objective function found
0.47/0.34	c ... done. Wall clock time 0.223s.
0.47/0.34	c declared #vars     25
0.47/0.34	c internal #vars     1782
0.47/0.34	c #constraints  3514
0.47/0.34	c constraints type 
0.47/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1757
0.47/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1757
0.47/0.34	c 3514 constraints processed.
0.47/0.34	c objective function length is 1782 literals
0.47/0.37	c SATISFIABLE
0.47/0.37	c OPTIMIZING...
0.47/0.37	c Got one! Elapsed wall clock time (in seconds):0.255
0.47/0.37	o 0
0.73/0.40	c Got one! Elapsed wall clock time (in seconds):0.289
0.73/0.40	o -66
0.73/0.44	c Got one! Elapsed wall clock time (in seconds):0.328
0.73/0.44	o -132
0.73/0.48	c Got one! Elapsed wall clock time (in seconds):0.366
0.73/0.48	o -233
1.02/0.52	c Got one! Elapsed wall clock time (in seconds):0.408
1.02/0.52	o -308
1.02/0.56	c Got one! Elapsed wall clock time (in seconds):0.444
1.02/0.56	o -334
1.02/0.57	c Got one! Elapsed wall clock time (in seconds):0.453
1.02/0.57	o -447
1.02/0.58	c Got one! Elapsed wall clock time (in seconds):0.464
1.02/0.58	o -451
1.02/0.59	c Got one! Elapsed wall clock time (in seconds):0.474
1.02/0.59	o -564
1.33/0.60	c Got one! Elapsed wall clock time (in seconds):0.49
1.33/0.60	o -568
1.33/0.61	c Got one! Elapsed wall clock time (in seconds):0.498
1.33/0.61	o -698
1.33/0.62	c Got one! Elapsed wall clock time (in seconds):0.51
1.33/0.62	o -701
1.33/0.64	c Got one! Elapsed wall clock time (in seconds):0.523
1.33/0.64	o -799
1.33/0.65	c Got one! Elapsed wall clock time (in seconds):0.539
1.33/0.65	o -804
1.33/0.66	c Got one! Elapsed wall clock time (in seconds):0.549
1.33/0.66	o -831
1.33/0.67	c Got one! Elapsed wall clock time (in seconds):0.557
1.33/0.67	o -834
1.33/0.68	c Got one! Elapsed wall clock time (in seconds):0.571
1.33/0.68	o -880
1.58/0.75	c Got one! Elapsed wall clock time (in seconds):0.633
1.58/0.75	o -977
1.58/0.77	c Got one! Elapsed wall clock time (in seconds):0.653
1.58/0.77	o -980
1.58/0.78	c Got one! Elapsed wall clock time (in seconds):0.667
1.58/0.78	o -1106
1.74/0.84	c Got one! Elapsed wall clock time (in seconds):0.724
1.74/0.84	o -1114
1.74/0.87	c Got one! Elapsed wall clock time (in seconds):0.754
1.74/0.87	o -1126
1.84/0.90	c Got one! Elapsed wall clock time (in seconds):0.783
1.84/0.90	o -1241
1.94/1.03	c Got one! Elapsed wall clock time (in seconds):0.917
1.94/1.03	o -1267
1.94/1.08	c Got one! Elapsed wall clock time (in seconds):0.97
1.94/1.08	o -1269
1.94/1.09	c Got one! Elapsed wall clock time (in seconds):0.98
1.94/1.09	o -1275
1.94/1.10	c Got one! Elapsed wall clock time (in seconds):0.986
1.94/1.10	o -1277
2.06/1.13	c Got one! Elapsed wall clock time (in seconds):1.014
2.06/1.13	o -1402
2.25/1.36	c Got one! Elapsed wall clock time (in seconds):1.25
2.25/1.36	o -1411
2.35/1.49	c Got one! Elapsed wall clock time (in seconds):1.372
2.35/1.49	o -1417
2.45/1.53	c Got one! Elapsed wall clock time (in seconds):1.418
2.45/1.53	o -1419
2.45/1.54	c Got one! Elapsed wall clock time (in seconds):1.428
2.45/1.54	o -1426
2.45/1.55	c Got one! Elapsed wall clock time (in seconds):1.433
2.45/1.55	o -1428
2.45/1.58	c Got one! Elapsed wall clock time (in seconds):1.47
2.45/1.58	o -1555
2.96/2.02	c Got one! Elapsed wall clock time (in seconds):1.907
2.96/2.02	o -1567
3.21/2.22	c Got one! Elapsed wall clock time (in seconds):2.108
3.21/2.22	o -1571
3.31/2.34	c Got one! Elapsed wall clock time (in seconds):2.227
3.31/2.34	o -1581
3.40/2.45	c Got one! Elapsed wall clock time (in seconds):2.341
3.40/2.45	o -1690
4.22/3.23	c cleaning 5243 clauses out of 10486 with flag 6003/10486
4.22/3.26	c Got one! Elapsed wall clock time (in seconds):3.144
4.22/3.26	o -1694
4.75/3.74	c Got one! Elapsed wall clock time (in seconds):3.629
4.75/3.74	o -1698
5.05/4.04	c Got one! Elapsed wall clock time (in seconds):3.923
5.05/4.06	o -1703
5.05/4.06	c Got one! Elapsed wall clock time (in seconds):3.945
5.05/4.06	o -1704
5.05/4.08	c Got one! Elapsed wall clock time (in seconds):3.963
5.05/4.08	o -1710
5.05/4.09	c Got one! Elapsed wall clock time (in seconds):3.975
5.05/4.09	o -1712
5.25/4.24	c Got one! Elapsed wall clock time (in seconds):4.123
5.25/4.24	o -1751
6.05/5.01	c cleaning 6190 clauses out of 12379 with flag 6003/17622
6.05/5.10	c Got one! Elapsed wall clock time (in seconds):4.982
6.05/5.10	o -1752
6.49/5.44	c Got one! Elapsed wall clock time (in seconds):5.322
6.49/5.44	o -1755
6.60/5.59	c Got one! Elapsed wall clock time (in seconds):5.479
6.60/5.59	o -1762
6.89/5.84	c Got one! Elapsed wall clock time (in seconds):5.722
6.89/5.84	o -1780
6.99/5.99	c Got one! Elapsed wall clock time (in seconds):5.88
6.99/5.99	o -1785
7.09/6.08	c Got one! Elapsed wall clock time (in seconds):5.965
7.09/6.08	o -1788
7.89/6.83	c Got one! Elapsed wall clock time (in seconds):6.718
7.89/6.83	o -1789
8.19/7.12	c cleaning 7304 clauses out of 14607 with flag 2003/26040
8.42/7.37	c Got one! Elapsed wall clock time (in seconds):7.253
8.42/7.37	o -1798
8.52/7.40	c Got one! Elapsed wall clock time (in seconds):7.29
8.52/7.40	o -1802
8.52/7.41	c Got one! Elapsed wall clock time (in seconds):7.299
8.52/7.41	o -1803
8.52/7.42	c Got one! Elapsed wall clock time (in seconds):7.309
8.52/7.42	o -1811
8.62/7.54	c Got one! Elapsed wall clock time (in seconds):7.427
8.62/7.54	o -1813
8.62/7.55	c Got one! Elapsed wall clock time (in seconds):7.44
8.62/7.55	o -1814
8.93/7.85	c Got one! Elapsed wall clock time (in seconds):7.74
8.93/7.85	o -1827
9.72/8.62	c cleaning 6681 clauses out of 13372 with flag 6001/32109
11.22/10.10	c cleaning 6346 clauses out of 12691 with flag 18001/38109
12.48/11.32	c Got one! Elapsed wall clock time (in seconds):11.203
12.48/11.32	o -1829
12.68/11.58	c cleaning 6142 clauses out of 12287 with flag 2002/44051
12.98/11.83	c Got one! Elapsed wall clock time (in seconds):11.72
12.98/11.83	o -1845
13.38/12.21	c Got one! Elapsed wall clock time (in seconds):12.099
13.38/12.21	o -1850
13.58/12.41	c Got one! Elapsed wall clock time (in seconds):12.299
13.58/12.41	o -1859
13.78/12.64	c Got one! Elapsed wall clock time (in seconds):12.529
13.78/12.64	o -1864
13.98/12.83	c Got one! Elapsed wall clock time (in seconds):12.716
13.98/12.83	o -1878
13.98/12.84	c Got one! Elapsed wall clock time (in seconds):12.727
13.98/12.84	o -1880
13.98/12.86	c Got one! Elapsed wall clock time (in seconds):12.749
13.98/12.86	o -1883
14.48/13.36	c Got one! Elapsed wall clock time (in seconds):13.247
14.48/13.36	o -1886
15.09/13.90	c cleaning 7671 clauses out of 15346 with flag 4003/53252
15.80/14.64	c Got one! Elapsed wall clock time (in seconds):14.531
15.80/14.64	o -1888
15.90/14.70	c Got one! Elapsed wall clock time (in seconds):14.589
15.90/14.70	o -1890
15.90/14.73	c Got one! Elapsed wall clock time (in seconds):14.622
15.90/14.73	o -1891
15.90/14.76	c Got one! Elapsed wall clock time (in seconds):14.651
15.90/14.76	o -1893
16.00/14.81	c Got one! Elapsed wall clock time (in seconds):14.701
16.00/14.81	o -1894
16.40/15.27	c Got one! Elapsed wall clock time (in seconds):15.155
16.40/15.27	o -1895
16.71/15.54	c cleaning 7205 clauses out of 14414 with flag 2003/59991
18.37/17.10	c cleaning 6600 clauses out of 13209 with flag 14003/65991
20.08/18.86	c cleaning 6803 clauses out of 13609 with flag 28003/72991
22.07/20.80	c cleaning 7401 clauses out of 14805 with flag 44001/80990
23.28/22.03	c Got one! Elapsed wall clock time (in seconds):21.92
23.28/22.03	o -1922
24.65/23.39	c cleaning 8846 clauses out of 17700 with flag 10004/91286
25.35/24.10	c Got one! Elapsed wall clock time (in seconds):23.983
25.35/24.10	o -1924
26.25/24.90	c cleaning 7395 clauses out of 14789 with flag 6005/97221
26.45/25.17	c Got one! Elapsed wall clock time (in seconds):25.057
26.45/25.17	o -1930
26.55/25.21	c Got one! Elapsed wall clock time (in seconds):25.097
26.55/25.21	o -1934
26.55/25.23	c Got one! Elapsed wall clock time (in seconds):25.114
26.55/25.23	o -1938
26.85/25.54	c Got one! Elapsed wall clock time (in seconds):25.425
26.85/25.54	o -1946
26.85/25.55	c Got one! Elapsed wall clock time (in seconds):25.441
26.85/25.55	o -1950
27.55/26.29	c cleaning 6586 clauses out of 13177 with flag 6072/103004
28.25/26.93	c Got one! Elapsed wall clock time (in seconds):26.816
28.25/26.93	o -1953
29.05/27.70	c cleaning 6274 clauses out of 12558 with flag 6113/108971
29.05/27.73	c Got one! Elapsed wall clock time (in seconds):27.612
29.05/27.73	o -1959
29.15/27.89	c Got one! Elapsed wall clock time (in seconds):27.777
29.15/27.89	o -1963
30.52/29.11	c cleaning 6045 clauses out of 12093 with flag 10253/114780
31.02/29.62	c Got one! Elapsed wall clock time (in seconds):29.503
31.02/29.62	o -1971
31.72/30.35	c cleaning 5700 clauses out of 11409 with flag 6005/120141
33.22/31.82	c cleaning 5850 clauses out of 11707 with flag 18001/126139
34.92/33.50	c cleaning 6425 clauses out of 12857 with flag 32001/133139
36.91/35.49	c cleaning 7216 clauses out of 14433 with flag 48003/141140
39.21/37.74	c cleaning 8104 clauses out of 16216 with flag 66001/150139
41.79/40.26	c cleaning 9051 clauses out of 18112 with flag 86001/160139
44.69/43.12	c cleaning 10031 clauses out of 20061 with flag 108001/171139
45.29/43.72	c Got one! Elapsed wall clock time (in seconds):43.602
45.29/43.72	o -1976
46.09/44.50	c cleaning 7765 clauses out of 15537 with flag 6004/176646
47.69/46.00	c cleaning 6884 clauses out of 13772 with flag 18004/182646
49.29/47.68	c cleaning 6944 clauses out of 13887 with flag 32002/189645
49.49/47.88	c Got one! Elapsed wall clock time (in seconds):47.77
49.49/47.88	o -1995
50.69/49.07	c cleaning 6423 clauses out of 12858 with flag 10059/195560
50.89/49.26	c Got one! Elapsed wall clock time (in seconds):49.144
50.89/49.26	o -1999
50.89/49.28	c Got one! Elapsed wall clock time (in seconds):49.169
50.89/49.28	o -2003
52.29/50.50	c cleaning 6177 clauses out of 12353 with flag 10066/201478
53.59/51.85	c cleaning 6085 clauses out of 12175 with flag 22064/207477
55.29/53.53	c cleaning 6545 clauses out of 13090 with flag 36064/214477
57.27/55.46	c cleaning 7272 clauses out of 14545 with flag 52064/222477
59.40/57.58	c cleaning 8137 clauses out of 16273 with flag 70064/231477
61.70/59.85	c cleaning 9063 clauses out of 18136 with flag 90109/241477
62.10/60.28	c Got one! Elapsed wall clock time (in seconds):60.17
62.10/60.28	o -2011
63.28/61.32	c cleaning 7437 clauses out of 14883 with flag 8007/247287
63.78/61.83	c Got one! Elapsed wall clock time (in seconds):61.713
63.78/61.83	o -2013
64.50/62.58	c cleaning 6281 clauses out of 12571 with flag 6030/252412
66.11/64.10	c cleaning 6139 clauses out of 12291 with flag 18129/258413
67.86/65.89	c cleaning 6570 clauses out of 13152 with flag 32130/265413
68.76/66.74	c Got one! Elapsed wall clock time (in seconds):66.626
68.76/66.74	o -2017
69.26/67.21	c cleaning 5986 clauses out of 11982 with flag 4055/270813
70.66/68.63	c cleaning 5993 clauses out of 11996 with flag 16115/276813
72.31/70.30	c cleaning 6499 clauses out of 13004 with flag 30144/283814
74.31/72.26	c cleaning 7251 clauses out of 14504 with flag 46227/291813
76.41/74.39	c cleaning 8125 clauses out of 16253 with flag 64270/300813
78.95/76.90	c cleaning 9060 clauses out of 18129 with flag 84351/310814
82.01/79.80	c cleaning 10034 clauses out of 20068 with flag 106407/321813
85.11/82.95	c cleaning 11014 clauses out of 22034 with flag 130587/333813
88.79/86.55	c cleaning 12010 clauses out of 24021 with flag 156683/346814
92.91/90.56	c cleaning 13005 clauses out of 26010 with flag 184805/360813
93.91/91.58	c Got one! Elapsed wall clock time (in seconds):91.467
93.91/91.58	o -2019
94.51/92.11	c cleaning 9411 clauses out of 18828 with flag 4002/366636
95.92/93.58	c cleaning 7708 clauses out of 15418 with flag 16004/372637
97.64/95.29	c cleaning 7354 clauses out of 14710 with flag 30004/379637
99.53/97.11	c cleaning 7678 clauses out of 15356 with flag 46004/387637
101.78/99.30	c cleaning 8334 clauses out of 16677 with flag 64002/396636
104.18/101.70	c cleaning 9171 clauses out of 18344 with flag 84004/406637
106.03/103.51	c Got one! Elapsed wall clock time (in seconds):103.395
106.03/103.51	o -2021
107.33/104.90	c cleaning 10917 clauses out of 21836 with flag 10281/419300
108.63/106.10	c Got one! Elapsed wall clock time (in seconds):105.985
108.63/106.10	o -2025
108.63/106.13	c Got one! Elapsed wall clock time (in seconds):106.016
108.63/106.13	o -2036
108.93/106.41	c cleaning 8502 clauses out of 17006 with flag 2132/425387
110.35/107.81	c cleaning 7246 clauses out of 14504 with flag 14350/431387
111.95/109.46	c cleaning 7126 clauses out of 14257 with flag 28401/438386
113.87/111.36	c cleaning 7564 clauses out of 15131 with flag 44463/446386
116.07/113.52	c cleaning 8280 clauses out of 16568 with flag 62508/455387
118.60/116.06	c cleaning 9140 clauses out of 18288 with flag 82581/465387
118.99/116.42	c Got one! Elapsed wall clock time (in seconds):116.302
118.99/116.42	o -2037
119.89/117.40	c cleaning 7324 clauses out of 14655 with flag 8431/470894
121.31/118.78	c cleaning 6662 clauses out of 13332 with flag 20720/476895
123.01/120.44	c cleaning 6832 clauses out of 13669 with flag 34776/483894
124.94/122.30	c cleaning 7419 clauses out of 14837 with flag 51347/491894
127.04/124.41	c cleaning 8205 clauses out of 16418 with flag 69758/500894
129.36/126.74	c cleaning 9105 clauses out of 18214 with flag 90263/510895
132.22/129.50	c cleaning 10053 clauses out of 20109 with flag 112984/521895
135.12/132.45	c cleaning 11025 clauses out of 22055 with flag 137303/533894
138.55/135.82	c cleaning 12014 clauses out of 24030 with flag 163438/546894
142.19/139.48	c cleaning 13006 clauses out of 26016 with flag 191513/560894
146.32/143.51	c cleaning 14005 clauses out of 28010 with flag 221673/575894
150.70/147.89	c cleaning 15000 clauses out of 30006 with flag 254065/591895
155.33/152.48	c cleaning 16000 clauses out of 32005 with flag 288821/608894
160.38/157.46	c cleaning 17001 clauses out of 34006 with flag 325490/626895
165.89/162.88	c cleaning 17999 clauses out of 36004 with flag 364017/645894
171.97/168.80	c cleaning 18998 clauses out of 38006 with flag 404454/665895
177.15/173.98	c cleaning 20002 clauses out of 40007 with flag 446482/686894
182.98/179.61	c cleaning 20999 clauses out of 42006 with flag 490484/708895
189.07/185.68	c cleaning 22000 clauses out of 44007 with flag 536484/731895
195.36/191.87	c cleaning 22999 clauses out of 46006 with flag 584482/755894
201.99/198.36	c cleaning 24003 clauses out of 48008 with flag 634484/780895
209.12/205.36	c cleaning 24997 clauses out of 50004 with flag 686482/806894
217.12/213.14	c cleaning 26003 clauses out of 52008 with flag 740484/833895
225.94/221.83	c cleaning 27000 clauses out of 54005 with flag 796936/861895
235.29/231.05	c cleaning 28000 clauses out of 56005 with flag 855491/890895
244.86/240.48	c cleaning 28999 clauses out of 58005 with flag 915895/920895
255.16/250.52	c cleaning 30001 clauses out of 60006 with flag 978398/951895
266.29/261.51	c cleaning 31000 clauses out of 62004 with flag 1043492/983894
277.81/272.89	c cleaning 31999 clauses out of 64004 with flag 1110673/1016894
290.06/284.90	c cleaning 33003 clauses out of 66006 with flag 1178699/1050895
302.79/297.47	c cleaning 34001 clauses out of 68003 with flag 1248741/1085895
315.44/309.90	c cleaning 34999 clauses out of 70001 with flag 1320950/1121894
328.84/323.16	c cleaning 36001 clauses out of 72003 with flag 1396514/1158895
342.83/336.96	c cleaning 36994 clauses out of 74002 with flag 1473521/1196895
357.02/350.86	c cleaning 37999 clauses out of 76008 with flag 1551959/1235895
372.17/365.89	c cleaning 38999 clauses out of 78008 with flag 1633200/1275894
388.19/381.62	c cleaning 40002 clauses out of 80009 with flag 1716779/1316894
403.72/396.99	c cleaning 40999 clauses out of 82008 with flag 1801864/1358895
419.95/412.96	c cleaning 42002 clauses out of 84009 with flag 1888437/1401895
436.30/429.07	c cleaning 43001 clauses out of 86007 with flag 1976658/1445895
453.09/445.63	c cleaning 43997 clauses out of 88005 with flag 2066998/1490894
472.37/464.62	c cleaning 45002 clauses out of 90009 with flag 2159474/1536895
491.23/483.22	c cleaning 46001 clauses out of 92007 with flag 2253474/1583895
511.20/502.94	c cleaning 46999 clauses out of 94006 with flag 2349875/1631895
533.08/524.55	c cleaning 48004 clauses out of 96007 with flag 2449534/1680895
554.47/545.65	c cleaning 48997 clauses out of 98002 with flag 2552483/1730894
576.30/567.19	c cleaning 50002 clauses out of 100007 with flag 2656669/1781896
598.41/588.94	c cleaning 50997 clauses out of 102004 with flag 2764575/1833895
621.50/611.68	c cleaning 51999 clauses out of 104007 with flag 2874286/1886895
645.23/635.09	c cleaning 52998 clauses out of 106008 with flag 2986294/1940895
669.53/658.93	c cleaning 54003 clauses out of 108010 with flag 3097173/1995895
694.04/683.11	c cleaning 55000 clauses out of 110007 with flag 3213924/2051895
719.58/708.23	c cleaning 55998 clauses out of 112006 with flag 3331639/2108894
746.28/734.51	c cleaning 56999 clauses out of 114009 with flag 3452794/2166895
774.31/762.19	c cleaning 58001 clauses out of 116009 with flag 3574581/2225894
802.23/789.70	c cleaning 58998 clauses out of 118008 with flag 3700428/2285894
831.49/818.61	c cleaning 60003 clauses out of 120010 with flag 3828223/2346894
861.65/848.33	c cleaning 61001 clauses out of 122007 with flag 3960245/2408894
894.18/880.42	c cleaning 61997 clauses out of 124007 with flag 4091238/2471895
927.84/913.59	c cleaning 63001 clauses out of 126010 with flag 4227420/2535895
959.07/944.32	c cleaning 64000 clauses out of 128008 with flag 4360179/2600894
990.34/975.27	c cleaning 65000 clauses out of 130008 with flag 4497541/2666894
1023.84/1008.31	c cleaning 65999 clauses out of 132008 with flag 4635447/2733894
1057.92/1041.97	c cleaning 67001 clauses out of 134009 with flag 4772736/2801894
1093.78/1077.30	c cleaning 67999 clauses out of 136009 with flag 4918658/2870895
1130.03/1113.03	c cleaning 69001 clauses out of 138010 with flag 5063658/2940895
1168.60/1151.12	c cleaning 70000 clauses out of 140008 with flag 5212023/3011894
1211.21/1193.26	c cleaning 71002 clauses out of 142010 with flag 5359015/3083896
1251.78/1233.11	c cleaning 72000 clauses out of 144007 with flag 5508263/3156895
1292.46/1273.30	c cleaning 73001 clauses out of 146007 with flag 5663199/3230895
1333.14/1313.40	c cleaning 73999 clauses out of 148005 with flag 5815401/3305894
1376.59/1356.36	c cleaning 75001 clauses out of 150007 with flag 5968167/3381895
1420.27/1399.57	c cleaning 76000 clauses out of 152005 with flag 6130432/3458894
1466.13/1444.79	c cleaning 76999 clauses out of 154006 with flag 6292482/3536895
1514.61/1492.72	c cleaning 78001 clauses out of 156007 with flag 6459783/3615895
1562.82/1540.21	c cleaning 79000 clauses out of 158006 with flag 6629352/3695895
1612.35/1589.22	c cleaning 79999 clauses out of 160005 with flag 6799009/3776894
1662.16/1638.46	c cleaning 81001 clauses out of 162007 with flag 6967327/3858895
1713.88/1689.69	c cleaning 81995 clauses out of 164006 with flag 7142072/3941895
1771.83/1746.89	c cleaning 83001 clauses out of 166010 with flag 7323206/4025894
1800.06/1774.70	c starts		: 3436
1800.06/1774.70	c conflicts		: 4077468
1800.06/1774.70	c decisions		: 4152400
1800.06/1774.70	c propagations		: 442706309
1800.06/1774.70	c inspects		: 20848759754
1800.06/1774.70	c shortcuts		: 0
1800.06/1774.70	c learnt literals	: 0
1800.06/1774.70	c learnt binary clauses	: 0
1800.06/1774.70	c learnt ternary clauses	: 221
1800.06/1774.70	c learnt constraints	: 4077468
1800.06/1774.70	c ignored constraints	: 0
1800.06/1774.70	c root simplifications	: 0
1800.06/1774.70	c removed literals (reason simplification)	: 0
1800.06/1774.70	c reason swapping (by a shorter reason)	: 0
1800.06/1774.70	c Calls to reduceDB	: 140
1800.06/1774.70	c Number of update (reduction) of LBD	: 8440
1800.06/1774.70	c Imported unit clauses	: 0
1800.06/1774.70	c number of reductions to clauses (during analyze)	: 0
1800.06/1774.70	c number of learned constraints concerned by reduction	: 0
1800.06/1774.70	c number of learning phase by resolution	: 0
1800.06/1774.70	c number of learning phase by cutting planes	: 0
1800.06/1774.70	c speed (assignments/second)	: 249502.67787449525
1800.06/1774.70	c non guided choices	0
1800.06/1774.73	c learnt constraints type 
1800.06/1774.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 134584
1800.06/1774.73	s SATISFIABLE
1800.06/1774.73	c Found 97 solution(s)
1800.06/1774.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 
1800.06/1774.73	c objective function=-2037
1800.06/1774.73	c Total wall clock time (in seconds): 1774.621

Verifier Data

OK	-2037

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-4119574-1467262254/watcher-4119574-1467262254 -o /tmp/evaluation-result-4119574-1467262254/solver-4119574-1467262254 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467262254-17232 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119574-1467262254.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.24 2.19 2.32 2/171 17246
/proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/17246/stat : 17246 (java) R 17243 17246 11545 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 7192837 5767168 55 33554432000 1073741824 1073778376 140735199475760 140735199472888 219504799015 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 1408 59 47 9 0 30 0

[startup+0.100092 s]
/proc/loadavg: 2.24 2.19 2.32 2/171 17246
/proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 4411 0 1 0 7 1 0 0 20 0 18 0 7192837 9787879424 6041 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2389619 6041 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200278 s]
/proc/loadavg: 2.24 2.19 2.32 2/171 17246
/proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 4652 0 1 0 22 2 0 0 20 0 18 0 7192837 9787879424 6728 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2389619 6728 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.24 2.19 2.32 2/171 17246
/proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 5678 0 1 0 45 2 0 0 20 0 18 0 7192837 9787879424 7991 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2389619 7991 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700262 s]
/proc/loadavg: 2.24 2.19 2.32 2/171 17246
/proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 12282 0 1 0 155 3 0 0 20 0 19 0 7192837 9856040960 14504 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2406260 14504 2271 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.22 2.18 2.32 5/213 17362
/proc/meminfo: memFree=29534692/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9625040 CPUtime=2.45 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 13132 0 1 0 241 4 0 0 20 0 19 0 7192837 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2406260 20649 2271 9 0 2396937 0
[pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2435 0 1 0 145 2 0 0 20 0 19 0 7192838 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727503571416 140727372267197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 7192840 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 4816 0 0 0 49 2 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4603 0 0 0 44 0 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.22 2.18 2.32 3/213 17362
/proc/meminfo: memFree=29477416/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 14153 0 1 0 408 4 0 0 20 0 19 0 7192837 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2406260 30379 2273 9 0 2396937 0
[pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2455 0 1 0 304 2 0 0 20 0 19 0 7192838 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727503571448 140727372546217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 7192840 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5817 0 0 0 56 2 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4603 0 0 0 45 0 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.22 2.18 2.32 3/214 17363
/proc/meminfo: memFree=29244008/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9625040 CPUtime=7.39 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 14246 0 1 0 731 8 0 0 20 0 19 0 7192837 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2406260 46880 2290 9 0 2396937 0
[pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2482 0 1 0 620 3 0 0 20 0 19 0 7192838 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727503565104 140727372546109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 7192840 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5820 0 0 0 57 2 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4607 0 0 0 47 0 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 9625040


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

[pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 188940 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1686.34
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.43 2.29 2.22 3/213 17426
/proc/meminfo: memFree=27035624/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9625040 CPUtime=1747.1 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 40304 0 1 0 174439 271 0 0 20 0 19 0 7192837 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2406260 214214 2299 9 0 2396937 0
[pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=1702.09 cores=1,3,5,7
/proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2929 0 1 0 170178 31 0 0 20 0 19 0 7192838 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727503572224 140727372376884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=4.34 cores=1,3,5,7
/proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 2141 0 0 0 403 31 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=4.13 cores=1,3,5,7
/proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 2485 0 0 0 381 32 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 2635 0 0 0 383 27 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=4.06 cores=1,3,5,7
/proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 3879 0 0 0 377 29 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 3934 0 0 0 398 28 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 2377 0 0 0 380 25 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=4.06 cores=1,3,5,7
/proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 2695 0 0 0 379 27 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=4.06 cores=1,3,5,7
/proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3059 0 0 0 375 31 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=6.11 cores=1,3,5,7
/proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 2357 0 0 0 604 7 0 0 20 0 19 0 7192840 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5846 0 0 0 66 2 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4607 0 0 0 47 0 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 97 0 0 0 26 32 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1747.1
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.7 s]
/proc/loadavg: 2.41 2.31 2.22 2/189 17464
/proc/meminfo: memFree=28796588/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 41964 0 1 0 179731 275 0 0 20 0 19 0 7192837 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2406260 204868 2299 9 0 2396937 0
[pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=1754.02 cores=1,3,5,7
/proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2942 0 1 0 175369 33 0 0 20 0 19 0 7192838 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727503572160 140727372546222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=4.41 cores=1,3,5,7
/proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 2225 0 0 0 409 32 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=4.22 cores=1,3,5,7
/proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 2492 0 0 0 390 32 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=4.22 cores=1,3,5,7
/proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 3095 0 0 0 395 27 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=4.18 cores=1,3,5,7
/proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 4023 0 0 0 389 29 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=4.35 cores=1,3,5,7
/proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 4267 0 0 0 406 29 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=4.14 cores=1,3,5,7
/proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 2490 0 0 0 389 25 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 3073 0 0 0 389 28 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=4.16 cores=1,3,5,7
/proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3163 0 0 0 385 31 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 2377 0 0 0 615 7 0 0 20 0 19 0 7192840 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5846 0 0 0 66 2 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4607 0 0 0 47 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 101 0 0 0 26 34 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 17246 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1774.7 s]
/proc/loadavg: 2.41 2.31 2.22 2/189 17464
/proc/meminfo: memFree=28796588/32872528 swapFree=13208/1155804
[pid=17246] ppid=17243 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 41964 0 1 0 179731 275 0 0 20 0 19 0 7192837 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17246/statm: 2406260 204868 2299 9 0 2396937 0
[pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=1754.02 cores=1,3,5,7
/proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2942 0 1 0 175369 33 0 0 20 0 19 0 7192838 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727503572160 140727372546222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=4.41 cores=1,3,5,7
/proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 2225 0 0 0 409 32 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=4.22 cores=1,3,5,7
/proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 2492 0 0 0 390 32 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=4.22 cores=1,3,5,7
/proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 3095 0 0 0 395 27 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=4.18 cores=1,3,5,7
/proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 4023 0 0 0 389 29 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=4.35 cores=1,3,5,7
/proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 4267 0 0 0 406 29 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=4.14 cores=1,3,5,7
/proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 2490 0 0 0 389 25 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 3073 0 0 0 389 28 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=4.16 cores=1,3,5,7
/proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3163 0 0 0 385 31 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 2377 0 0 0 615 7 0 0 20 0 19 0 7192840 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5846 0 0 0 66 2 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4607 0 0 0 47 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 101 0 0 0 26 34 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17246 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=938431
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=232508
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1774.74
CPU time (s): 1800.06
CPU user time (s): 1797.31
CPU system time (s): 2.75
CPU usage (%): 101.426
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.94
system time used= 3.23251
maximum resident set size= 912612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42000
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52439
involuntary context switches= 59438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3431 second user time and 11.5642 second system time

The end

Launcher Data

Begin job on node114 at 2016-06-30 06:50:54
IDJOB=4119574
IDBENCH=111764
IDSOLVER=2546
FILE ID=node114/4119574-1467262254
RUNJOBID= node114-1467262254-17232
PBS_JOBID= 20004474
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-13.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119574-1467262254/watcher-4119574-1467262254 -o /tmp/evaluation-result-4119574-1467262254/solver-4119574-1467262254 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467262254-17232 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119574-1467262254.opb

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

MD5SUM BENCH= 43d918250d1c997ffe2500aba0f26bf3
RANDOM SEED=761461223

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.56
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.752
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.56
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.752
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:        29612820 kB
Buffers:          126488 kB
Cached:          1218480 kB
SwapCached:            0 kB
Active:           141876 kB
Inactive:        1219504 kB
Active(anon):      18808 kB
Inactive(anon):        0 kB
Active(file):     123068 kB
Inactive(file):  1219504 kB
Unevictable:     1155804 kB
Mlocked:           13208 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               916 kB
Writeback:            20 kB
AnonPages:       1171224 kB
Mapped:            13772 kB
Shmem:               204 kB
Slab:             608992 kB
SReclaimable:      53256 kB
SUnreclaim:       555736 kB
KernelStack:        1416 kB
PageTables:         6128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1258016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1148928 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= 71672 MiB
End job on node114 at 2016-06-30 07:20:29