Trace number 4119325

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 Res+CP PB16SAT (TO)-278 1800.06 911.061

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.opb
MD5SUM701cda8648df32669dd82c408a9456b5
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-300
Best CPU time to get the best result obtained on this benchmark1800.02
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 977
Biggest coefficient in the objective function 34
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 14600
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 14600
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)922
Sum of products size (including duplicates)2709
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@53ef9f1d
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@75786e64
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@3597a37c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@75786e64
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4119325-1467253262.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.24/0.27	c ... done. Wall clock time 0.166s.
0.24/0.27	c declared #vars     55
0.24/0.27	c internal #vars     977
0.24/0.27	c #constraints  1844
0.24/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.28	c constraints type 
0.24/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 922
0.24/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 922
0.24/0.28	c 1844 constraints processed.
0.24/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.28	c constraints type 
0.24/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 922
0.24/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPb => 922
0.24/0.28	c 1844 constraints processed.
0.24/0.28	c objective function length is 977 literals
0.24/0.30	c And the winner is solver0
0.52/0.78	c SATISFIABLE
0.52/0.78	c OPTIMIZING...
0.52/0.78	c Got one! Elapsed wall clock time (in seconds):0.671
0.52/0.78	o -55
0.57/0.80	c And the winner is solver0
0.69/1.29	c Got one! Elapsed wall clock time (in seconds):1.18
0.69/1.29	o -57
0.72/1.31	c And the winner is solver0
1.19/1.79	c Got one! Elapsed wall clock time (in seconds):1.687
1.19/1.79	o -58
1.92/2.01	c And the winner is solver0
1.97/2.30	c Got one! Elapsed wall clock time (in seconds):2.192
1.97/2.30	o -73
1.98/2.31	c And the winner is solver0
1.99/2.80	c Got one! Elapsed wall clock time (in seconds):2.695
1.99/2.80	o -89
1.99/2.81	c And the winner is solver0
4.10/4.36	c Got one! Elapsed wall clock time (in seconds):4.25
4.10/4.36	o -91
4.10/4.36	c And the winner is solver0
4.18/4.86	c Got one! Elapsed wall clock time (in seconds):4.753
4.18/4.86	o -92
4.28/4.98	c And the winner is solver0
4.52/5.36	c Got one! Elapsed wall clock time (in seconds):5.256
4.52/5.36	o -93
4.59/5.46	c And the winner is solver0
4.77/5.87	c Got one! Elapsed wall clock time (in seconds):5.759
4.77/5.87	o -94
4.83/5.93	c And the winner is solver0
4.97/6.37	c Got one! Elapsed wall clock time (in seconds):6.261
4.97/6.37	o -105
5.04/6.43	c And the winner is solver0
5.11/6.87	c Got one! Elapsed wall clock time (in seconds):6.764
5.11/6.87	o -106
5.11/6.87	c And the winner is solver0
5.14/7.37	c Got one! Elapsed wall clock time (in seconds):7.267
5.14/7.37	o -123
5.14/7.38	c And the winner is solver0
5.15/7.88	c Got one! Elapsed wall clock time (in seconds):7.769
5.15/7.88	o -125
5.15/7.88	c And the winner is solver0
5.17/8.38	c Got one! Elapsed wall clock time (in seconds):8.271
5.17/8.38	o -126
5.40/8.53	c And the winner is solver0
5.59/8.88	c Got one! Elapsed wall clock time (in seconds):8.773
5.59/8.88	o -127
5.90/9.00	c And the winner is solver0
5.94/9.38	c Got one! Elapsed wall clock time (in seconds):9.274
5.94/9.38	o -128
5.96/9.42	c And the winner is solver0
6.04/9.88	c Got one! Elapsed wall clock time (in seconds):9.777
6.04/9.88	o -129
6.28/10.05	c And the winner is solver0
6.39/10.39	c Got one! Elapsed wall clock time (in seconds):10.278
6.39/10.39	o -130
6.41/10.47	c And the winner is solver0
6.58/10.89	c Got one! Elapsed wall clock time (in seconds):10.78
6.58/10.89	o -132
6.58/10.89	c And the winner is solver0
6.59/11.39	c Got one! Elapsed wall clock time (in seconds):11.282
6.59/11.39	o -133
6.59/11.39	c And the winner is solver0
6.59/11.89	c Got one! Elapsed wall clock time (in seconds):11.784
6.59/11.89	o -135
6.63/11.93	c And the winner is solver0
6.70/12.39	c Got one! Elapsed wall clock time (in seconds):12.286
6.70/12.39	o -136
7.55/12.87	c cleaning 5147 clauses out of 10296 with flag 6073/10296
8.17/13.17	c And the winner is solver0
8.35/13.39	c Got one! Elapsed wall clock time (in seconds):13.288
8.35/13.39	o -139
8.35/13.47	c And the winner is solver0
8.52/13.90	c Got one! Elapsed wall clock time (in seconds):13.79
8.52/13.90	o -142
9.13/14.27	c And the winner is solver0
9.30/14.40	c Got one! Elapsed wall clock time (in seconds):14.292
9.30/14.40	o -144
9.77/14.61	c cleaning 5841 clauses out of 11682 with flag 2003/16829
11.38/15.45	c cleaning 5918 clauses out of 11842 with flag 14005/22830
13.46/16.49	c cleaning 6461 clauses out of 12924 with flag 28006/29830
13.67/16.53	c And the winner is solver1
13.73/16.90	c Got one! Elapsed wall clock time (in seconds):16.795
13.73/16.90	o -166
14.52/17.35	c And the winner is solver0
14.67/17.40	c Got one! Elapsed wall clock time (in seconds):17.298
14.67/17.40	o -167
15.27/17.75	c cleaning 5931 clauses out of 11867 with flag 4900/35234
15.68/17.94	c And the winner is solver0
15.80/18.41	c Got one! Elapsed wall clock time (in seconds):18.3
15.80/18.41	o -168
15.80/18.46	c And the winner is solver0
15.95/18.91	c Got one! Elapsed wall clock time (in seconds):18.803
15.95/18.91	o -169
16.32/19.16	c And the winner is solver0
16.49/19.41	c Got one! Elapsed wall clock time (in seconds):19.305
16.49/19.41	o -170
17.41/19.83	c And the winner is solver0
17.51/19.92	c Got one! Elapsed wall clock time (in seconds):19.808
17.51/19.92	o -171
17.67/20.02	c And the winner is solver0
17.76/20.42	c Got one! Elapsed wall clock time (in seconds):20.311
17.76/20.42	o -172
17.76/20.47	c And the winner is solver0
17.91/20.92	c Got one! Elapsed wall clock time (in seconds):20.813
17.91/20.92	o -173
18.26/21.10	c cleaning 6631 clauses out of 13265 with flag 2576/42563
18.26/21.15	c And the winner is solver0
18.42/21.42	c Got one! Elapsed wall clock time (in seconds):21.316
18.42/21.42	o -174
19.16/21.85	c And the winner is solver0
19.32/21.93	c Got one! Elapsed wall clock time (in seconds):21.818
19.32/21.93	o -176
20.06/22.36	c cleaning 6476 clauses out of 12952 with flag 6266/48881
22.17/23.31	c cleaning 6238 clauses out of 12477 with flag 18301/54882
24.36/24.44	c cleaning 6619 clauses out of 13238 with flag 32360/61881
25.56/25.02	c And the winner is solver0
25.67/25.43	c Got one! Elapsed wall clock time (in seconds):25.322
25.67/25.43	o -178
26.20/25.73	c cleaning 6304 clauses out of 12608 with flag 4082/67870
27.20/26.27	c And the winner is solver0
27.41/26.43	c Got one! Elapsed wall clock time (in seconds):26.325
27.41/26.43	o -179
27.75/26.64	c And the winner is solver0
27.89/26.93	c Got one! Elapsed wall clock time (in seconds):26.827
27.89/26.93	o -189
28.37/27.18	c cleaning 6235 clauses out of 12476 with flag 2025/74042
29.20/27.54	c And the winner is solver0
29.35/27.94	c Got one! Elapsed wall clock time (in seconds):27.83
29.35/27.94	o -190
29.66/28.18	c And the winner is solver0
29.89/28.44	c Got one! Elapsed wall clock time (in seconds):28.332
29.89/28.44	o -195
30.41/28.71	c cleaning 6393 clauses out of 12801 with flag 4048/80602
32.00/29.50	c cleaning 6198 clauses out of 12409 with flag 16099/86603
33.79/30.47	c cleaning 6601 clauses out of 13210 with flag 30107/93602
35.19/31.18	c And the winner is solver1
35.36/31.44	c Got one! Elapsed wall clock time (in seconds):31.336
35.36/31.44	o -217
35.47/31.50	c And the winner is solver0
35.53/31.95	c Got one! Elapsed wall clock time (in seconds):31.838
35.53/31.95	o -221
36.01/32.18	c And the winner is solver0
36.50/32.45	c Got one! Elapsed wall clock time (in seconds):32.34
36.50/32.45	o -224
38.49/33.43	c cleaning 9095 clauses out of 18195 with flag 11877/105188
40.91/34.52	c cleaning 7544 clauses out of 15098 with flag 29072/111186
43.73/35.77	c cleaning 7275 clauses out of 14554 with flag 48681/118186
46.73/37.20	c And the winner is solver0
46.82/37.45	c Got one! Elapsed wall clock time (in seconds):37.343
46.82/37.45	o -225
46.91/37.52	c And the winner is solver0
47.01/37.95	c Got one! Elapsed wall clock time (in seconds):37.846
47.01/37.95	o -230
48.69/38.86	c cleaning 10161 clauses out of 20328 with flag 11844/131235
51.28/40.06	c cleaning 8079 clauses out of 16167 with flag 28563/137235
53.88/41.30	c cleaning 7541 clauses out of 15087 with flag 44996/144234
54.89/41.83	c And the winner is solver0
55.02/41.96	c Got one! Elapsed wall clock time (in seconds):41.85
55.02/41.96	o -232
55.52/42.27	c cleaning 6420 clauses out of 12846 with flag 4258/149534
57.52/43.20	c cleaning 6210 clauses out of 12427 with flag 16630/155535
59.72/44.33	c cleaning 6607 clauses out of 13217 with flag 31530/162535
62.67/45.72	c cleaning 7302 clauses out of 14611 with flag 47976/170536
65.67/47.24	c cleaning 8153 clauses out of 16307 with flag 66179/179534
66.86/47.86	c And the winner is solver0
67.11/48.01	c Got one! Elapsed wall clock time (in seconds):47.903
67.11/48.01	o -233
67.47/48.29	c cleaning 6923 clauses out of 13854 with flag 4139/185234
69.27/49.11	c cleaning 6462 clauses out of 12930 with flag 16329/191233
71.07/50.09	c cleaning 6731 clauses out of 13468 with flag 30441/198233
73.47/51.22	c cleaning 7369 clauses out of 14737 with flag 46980/206233
76.27/52.60	c cleaning 8182 clauses out of 16368 with flag 65647/215233
76.68/52.90	c And the winner is solver1
76.87/53.01	c Got one! Elapsed wall clock time (in seconds):52.907
76.87/53.01	o -235
77.84/53.54	c cleaning 6698 clauses out of 13406 with flag 7573/220453
79.83/54.55	c cleaning 6350 clauses out of 12707 with flag 23531/226452
82.56/55.80	c cleaning 6675 clauses out of 13358 with flag 41756/233453
83.56/56.35	c And the winner is solver1
83.67/56.52	c Got one! Elapsed wall clock time (in seconds):56.411
83.67/56.52	o -236
84.23/56.86	c cleaning 5930 clauses out of 11871 with flag 4505/238641
85.24/57.38	c And the winner is solver0
85.52/57.57	c Got one! Elapsed wall clock time (in seconds):57.464
85.52/57.57	o -238
86.19/57.90	c cleaning 5602 clauses out of 11215 with flag 4521/243915
87.00/58.36	c And the winner is solver0
87.26/58.57	c Got one! Elapsed wall clock time (in seconds):58.467
87.26/58.57	o -240
87.69/58.90	c cleaning 5306 clauses out of 10624 with flag 4480/248926
89.10/59.54	c And the winner is solver0
89.33/59.73	c Got one! Elapsed wall clock time (in seconds):59.62
89.33/59.73	o -242
89.46/59.83	c And the winner is solver0
89.61/60.23	c Got one! Elapsed wall clock time (in seconds):60.123
89.61/60.23	o -246
89.94/60.40	c cleaning 5606 clauses out of 11213 with flag 2266/254821
91.74/61.33	c cleaning 5804 clauses out of 11609 with flag 19079/260823
94.13/62.50	c cleaning 6397 clauses out of 12804 with flag 42286/267822
97.72/64.54	c cleaning 7205 clauses out of 14409 with flag 67639/275824
100.93/66.14	c cleaning 8100 clauses out of 16201 with flag 91647/284821
104.92/68.16	c cleaning 9046 clauses out of 18102 with flag 121711/294822
109.67/70.44	c cleaning 10022 clauses out of 20055 with flag 159951/305821
114.95/73.08	c And the winner is solver0
115.26/73.45	c Got one! Elapsed wall clock time (in seconds):73.339
115.26/73.45	o -248
116.96/74.38	c cleaning 12678 clauses out of 25355 with flag 10552/321143
119.16/75.45	c cleaning 9336 clauses out of 18677 with flag 23035/327143
121.55/76.67	c cleaning 8166 clauses out of 16341 with flag 37555/334143
124.57/78.14	c cleaning 8086 clauses out of 16176 with flag 54363/342144
128.16/79.90	c cleaning 8541 clauses out of 17090 with flag 73270/351144
131.83/81.80	c cleaning 9275 clauses out of 18549 with flag 93835/361144
136.24/83.91	c cleaning 10134 clauses out of 20273 with flag 116445/372143
140.84/86.26	c cleaning 11066 clauses out of 22139 with flag 140701/384143
146.24/88.90	c cleaning 12035 clauses out of 24074 with flag 167394/397144
152.54/92.07	c cleaning 13017 clauses out of 26038 with flag 196164/411143
159.15/95.30	c cleaning 14011 clauses out of 28022 with flag 227433/426144
166.96/99.55	c cleaning 15004 clauses out of 30010 with flag 260480/442143
174.57/103.39	c cleaning 16002 clauses out of 32006 with flag 295568/459143
183.22/107.69	c cleaning 17001 clauses out of 34005 with flag 332391/477144
192.42/112.23	c cleaning 18000 clauses out of 36003 with flag 372050/496143
202.73/117.35	c cleaning 18997 clauses out of 38004 with flag 413878/516144
213.53/122.71	c cleaning 20003 clauses out of 40007 with flag 457345/537144
224.68/128.26	c cleaning 21001 clauses out of 42003 with flag 502760/559143
236.78/134.26	c cleaning 21997 clauses out of 44003 with flag 549791/582144
249.36/140.58	c cleaning 23000 clauses out of 46006 with flag 600282/606144
264.48/148.00	c And the winner is solver1
264.48/148.02	c cleaning 24001 clauses out of 48005 with flag 653365/631143
264.48/148.43	c Got one! Elapsed wall clock time (in seconds):148.32
264.48/148.43	o -277
266.41/149.43	c cleaning 14500 clauses out of 29004 with flag 12055/636143
266.41/149.45	c And the winner is solver0
266.86/149.93	c Got one! Elapsed wall clock time (in seconds):149.824
266.86/149.93	o -278
269.15/151.00	c cleaning 9803 clauses out of 19613 with flag 12517/641252
271.35/152.15	c cleaning 7898 clauses out of 15811 with flag 28567/647253
274.15/153.52	c cleaning 7455 clauses out of 14914 with flag 47875/654254
277.15/155.06	c cleaning 7723 clauses out of 15458 with flag 70404/662253
280.75/156.85	c cleaning 8361 clauses out of 16734 with flag 94506/671252
285.05/158.94	c cleaning 9183 clauses out of 18373 with flag 121750/681252
289.65/161.24	c cleaning 10091 clauses out of 20190 with flag 153853/692252
295.26/164.05	c cleaning 11044 clauses out of 22099 with flag 192950/704252
301.66/167.15	c cleaning 12028 clauses out of 24055 with flag 235562/717252
309.06/170.83	c cleaning 13008 clauses out of 26027 with flag 278773/731252
318.07/175.73	c cleaning 14010 clauses out of 28020 with flag 325644/746253
325.67/179.56	c cleaning 15004 clauses out of 30009 with flag 376762/762252
334.72/184.02	c cleaning 15996 clauses out of 32005 with flag 444359/779252
344.31/188.87	c cleaning 17002 clauses out of 34009 with flag 504290/797252
354.58/193.94	c cleaning 18001 clauses out of 36010 with flag 561168/816255
366.28/199.72	c cleaning 18991 clauses out of 38007 with flag 622832/836253
378.08/205.63	c cleaning 20003 clauses out of 40015 with flag 685895/857252
390.99/212.04	c cleaning 21000 clauses out of 42012 with flag 752413/879252
406.74/219.89	c cleaning 22007 clauses out of 44013 with flag 822841/902253
422.48/227.67	c cleaning 23003 clauses out of 46007 with flag 892268/926254
439.85/236.29	c cleaning 23994 clauses out of 48002 with flag 971876/951252
457.43/244.91	c cleaning 24999 clauses out of 50008 with flag 1049971/977252
476.42/254.32	c cleaning 25997 clauses out of 52011 with flag 1136298/1004254
497.06/264.43	c cleaning 26999 clauses out of 54012 with flag 1227946/1032252
517.88/274.76	c cleaning 28001 clauses out of 56013 with flag 1320398/1061252
539.92/285.65	c cleaning 29001 clauses out of 58012 with flag 1416177/1091252
567.14/299.08	c cleaning 30007 clauses out of 60013 with flag 1521076/1122254
593.17/311.82	c cleaning 31002 clauses out of 62004 with flag 1612460/1154252
628.19/329.19	c cleaning 32002 clauses out of 64003 with flag 1712616/1187253
664.22/346.92	c cleaning 33001 clauses out of 66001 with flag 1803724/1221253
699.86/364.56	c cleaning 33999 clauses out of 68000 with flag 1900364/1256253
736.69/382.79	c cleaning 34997 clauses out of 70000 with flag 1994859/1292252
777.95/404.13	c cleaning 35999 clauses out of 72003 with flag 2094638/1329252
818.09/424.15	c cleaning 36999 clauses out of 74004 with flag 2194362/1367252
859.30/444.61	c cleaning 38003 clauses out of 76006 with flag 2295524/1406253
905.46/467.52	c cleaning 38998 clauses out of 78002 with flag 2397029/1446252
952.37/490.82	c cleaning 39995 clauses out of 80005 with flag 2502281/1487253
1001.49/515.13	c cleaning 41001 clauses out of 82010 with flag 2609239/1529253
1055.08/541.77	c cleaning 41999 clauses out of 84008 with flag 2724011/1572252
1110.73/569.24	c cleaning 43003 clauses out of 86010 with flag 2839254/1616253
1165.19/596.18	c cleaning 43999 clauses out of 88006 with flag 2952357/1661252
1227.10/626.73	c cleaning 45004 clauses out of 90008 with flag 3070721/1707253
1291.13/658.35	c cleaning 45999 clauses out of 92003 with flag 3191592/1754252
1353.65/689.18	c cleaning 47001 clauses out of 94006 with flag 3321073/1802254
1413.67/718.78	c cleaning 48000 clauses out of 96004 with flag 3444057/1851253
1414.91/719.34	c cleaning 0 clauses out of 7091 with flag 0/7121
1484.66/754.66	c cleaning 49002 clauses out of 98004 with flag 3573955/1901253
1561.62/792.93	c cleaning 50000 clauses out of 100001 with flag 3702640/1952252
1642.00/832.82	c cleaning 50988 clauses out of 102001 with flag 3835132/2004252
1728.55/875.77	c cleaning 52002 clauses out of 104013 with flag 3968655/2057252
1800.06/911.00	c >>>>>>>>>> Solver number 0 (51 answers) <<<<<<<<<<<<<<<<<<
1800.06/911.00	c starts		: 12980
1800.06/911.00	c conflicts		: 2107581
1800.06/911.00	c decisions		: 4439411
1800.06/911.00	c propagations		: 51521968
1800.06/911.00	c inspects		: 8457688405
1800.06/911.00	c shortcuts		: 0
1800.06/911.00	c learnt literals	: 0
1800.06/911.00	c learnt binary clauses	: 235
1800.06/911.00	c learnt ternary clauses	: 1118
1800.06/911.00	c learnt constraints	: 2107581
1800.06/911.00	c ignored constraints	: 0
1800.06/911.00	c root simplifications	: 0
1800.06/911.00	c removed literals (reason simplification)	: 24221960
1800.06/911.00	c reason swapping (by a shorter reason)	: 0
1800.06/911.00	c Calls to reduceDB	: 114
1800.06/911.00	c Number of update (reduction) of LBD	: 44806
1800.06/911.00	c Imported unit clauses	: 0
1800.06/911.00	c number of reductions to clauses (during analyze)	: 0
1800.06/911.00	c number of learned constraints concerned by reduction	: 0
1800.06/911.00	c number of learning phase by resolution	: 0
1800.06/911.00	c number of learning phase by cutting planes	: 0
1800.06/911.00	c speed (assignments/second)	: 67563.42089664975
1800.06/911.00	c non guided choices	0
1800.06/911.03	c learnt constraints type 
1800.06/911.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 235
1800.06/911.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 102106
1800.06/911.03	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.06/911.03	c starts		: 97
1800.06/911.03	c conflicts		: 7808
1800.06/911.03	c decisions		: 12419
1800.06/911.03	c propagations		: 469850
1800.06/911.03	c inspects		: 826854842
1800.06/911.03	c shortcuts		: 0
1800.06/911.03	c learnt literals	: 0
1800.06/911.03	c learnt binary clauses	: 0
1800.06/911.03	c learnt ternary clauses	: 4
1800.06/911.03	c learnt constraints	: 7778
1800.06/911.03	c ignored constraints	: 0
1800.06/911.03	c root simplifications	: 0
1800.06/911.03	c removed literals (reason simplification)	: 0
1800.06/911.03	c reason swapping (by a shorter reason)	: 0
1800.06/911.03	c Calls to reduceDB	: 1
1800.06/911.03	c Number of update (reduction) of LBD	: 0
1800.06/911.03	c Imported unit clauses	: 0
1800.06/911.03	c number of reductions to clauses (during analyze)	: 0
1800.06/911.03	c number of learned constraints concerned by reduction	: 0
1800.06/911.03	c number of learning phase by resolution	: 0
1800.06/911.03	c number of learning phase by cutting planes	: 0
1800.06/911.03	c speed (assignments/second)	: 617.3366688915401
1800.06/911.03	c non guided choices	0
1800.06/911.03	c learnt constraints type 
1800.06/911.03	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 4
1800.06/911.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7774
1800.06/911.03	s SATISFIABLE
1800.06/911.03	c Found 56 solution(s)
1800.06/911.03	v x1 x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 x13 -x14 -x15 -x16 -x17 x18 x19 x20 -x21 x22 x23 x24 x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 x35 x36 -x37 x38 x39 -x40 x41 -x42 -x43 -x44 x45 -x46 x47 x48 -x49 x50 -x51 -x52 -x53 -x54 x55 
1800.06/911.03	c objective function=-278
1800.06/911.03	c Total wall clock time (in seconds): 910.924

Verifier Data

OK	-278

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

pid=13985
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: 3.12 3.10 3.20 4/197 13988
/proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 6293590 98570240 978 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 24065 978 744 9 0 16771 0
[pid=13988/tid=13989] ppid=13985 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) R 13985 13988 11545 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 6293591 98570240 978 33554432000 1073741824 1073778376 140736643692080 139647092547112 219513963904 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 3.12 3.10 3.20 4/197 13988
/proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 4479 0 1 0 9 1 0 0 20 0 18 0 6293590 9787879424 6109 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2389619 6109 2156 9 0 2380296 0
[pid=13988/tid=13989] ppid=13985 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) R 13985 13988 11545 0 -1 4202560 2389 0 1 0 7 0 0 0 20 0 18 0 6293591 9787879424 6109 33554432000 1073741824 1073778376 140736643692080 139647092551032 139647095836217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200316 s]
/proc/loadavg: 3.12 3.10 3.20 4/197 13988
/proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 4656 0 1 0 23 1 0 0 20 0 18 0 6293590 9787879424 7277 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2389619 7277 2222 9 0 2380296 0
[pid=13988/tid=13989] ppid=13985 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) R 13985 13988 11545 0 -1 4202560 2409 0 1 0 17 0 0 0 20 0 18 0 6293591 9787879424 7277 33554432000 1073741824 1073778376 140736643692080 139647092551480 139647096565847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.307724 s]
/proc/loadavg: 3.12 3.10 3.20 4/197 13988
/proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 5606 0 1 0 48 4 0 0 20 0 19 0 6293590 10060525568 9481 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2456183 9481 2252 9 0 2446860 0
[pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2422 0 1 0 25 0 0 0 20 0 19 0 6293591 10060525568 9481 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824732

[startup+0.700312 s]
/proc/loadavg: 3.12 3.10 3.20 4/197 13988
/proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 5606 0 1 0 48 4 0 0 20 0 19 0 6293590 10060525568 9481 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2456183 9481 2252 9 0 2446860 0
[pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2422 0 1 0 25 0 0 0 20 0 19 0 6293591 10060525568 9481 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824732

[startup+1.50087 s]
/proc/loadavg: 3.12 3.10 3.20 3/216 14013
/proc/meminfo: memFree=27233868/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 16705 0 1 0 109 9 0 0 20 0 19 0 6293590 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2456183 17198 2254 9 0 2446860 0
[pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2424 0 1 0 27 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6293592 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6293593 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6293593 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/13988/task/14003/stat : 14003 (java) R 13985 13988 11545 0 -1 4202560 7792 0 0 0 38 1 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646911586936 139647099526500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/13988/task/14004/stat : 14004 (java) R 13985 13988 11545 0 -1 4202560 5142 0 0 0 33 0 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646910544264 139647095418369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14010] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14010/stat : 14010 (java) S 13985 13988 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6293619 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646904238888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 3.03 3.09 3.19 3/216 14019
/proc/meminfo: memFree=27198636/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 17849 0 1 0 249 12 0 0 20 0 21 0 6293590 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2456183 30062 2273 9 0 2446860 0
[pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2424 0 1 0 28 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 6293592 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 6293593 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 6293593 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/13988/task/14003/stat : 14003 (java) R 13985 13988 11545 0 -1 4202560 8754 0 0 0 74 2 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646911609784 139647099536111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/13988/task/14004/stat : 14004 (java) S 13985 13988 11545 0 -1 4202560 5276 0 0 0 66 0 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646910556984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14010] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14010/stat : 14010 (java) S 13985 13988 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 6293619 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646904238888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9824732

[startup+6.30084 s]
/proc/loadavg: 3.03 3.09 3.19 3/216 14033
/proc/meminfo: memFree=27076860/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9824732 CPUtime=4.97 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 19943 0 1 0 472 25 0 0 20 0 19 0 6293590 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2456183 50918 2288 9 0 2446860 0
[pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2424 0 1 0 29 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 6293592 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6293593 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6293593 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293595 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/13988/task/14003/stat : 14003 (java) S 13985 13988 11545 0 -1 4202560 10578 0 0 0 102 2 0 0 20 0 19 0 6293595 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646911609784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=0.78 cores=1,3,5,7

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

[pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=4.13 cores=1,3,5,7
/proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 1018 0 0 0 392 21 0 0 20 0 22 0 6293591 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=6.29 cores=1,3,5,7
/proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 2948 0 0 0 619 10 0 0 20 0 22 0 6293592 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/13988/task/14003/stat : 14003 (java) S 13985 13988 11545 0 -1 4202560 21158 0 0 0 217 3 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646911609784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/13988/task/14004/stat : 14004 (java) S 13985 13988 11545 0 -1 4202560 5766 0 0 0 133 2 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646910556984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 47 0 0 0 11 21 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14198] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14198/stat : 14198 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308434 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646904239400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14199] ppid=13985 vsize=9824732 CPUtime=658.05 cores=1,3,5,7
/proc/13988/task/14199/stat : 14199 (java) R 13985 13988 11545 0 -1 4202560 22 0 0 0 65794 11 0 0 20 0 22 0 6308584 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646907394832 139646919836275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14200] ppid=13985 vsize=9824732 CPUtime=657.97 cores=1,3,5,7
/proc/13988/task/14200/stat : 14200 (java) R 13985 13988 11545 0 -1 4202560 61 0 0 0 65787 10 0 0 20 0 22 0 6308584 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646905290144 139646919566030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14201] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14201/stat : 14201 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308584 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646906344360 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1620.52
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.21 4.16 3.77 5/219 14326
/proc/meminfo: memFree=22196872/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9824732 CPUtime=1741.65 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 42262 0 1 0 173840 325 0 0 20 0 22 0 6293590 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2456183 998220 2302 9 0 2446860 0
[pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2446 0 1 0 40 4 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 1136 0 0 0 438 24 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=4.28 cores=1,3,5,7
/proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 665 0 0 0 412 16 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=4.51 cores=1,3,5,7
/proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 814 0 0 0 427 24 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=4.64 cores=1,3,5,7
/proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 748 0 0 0 443 21 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=4.36 cores=1,3,5,7
/proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 785 0 0 0 416 20 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=5.16 cores=1,3,5,7
/proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 954 0 0 0 494 22 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=4.76 cores=1,3,5,7
/proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 593 0 0 0 462 14 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=4.46 cores=1,3,5,7
/proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 1018 0 0 0 425 21 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=6.3 cores=1,3,5,7
/proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 2961 0 0 0 619 11 0 0 20 0 22 0 6293592 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/13988/task/14003/stat : 14003 (java) S 13985 13988 11545 0 -1 4202560 21158 0 0 0 217 3 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646911609784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/13988/task/14004/stat : 14004 (java) S 13985 13988 11545 0 -1 4202560 5766 0 0 0 133 2 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646910556984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 51 0 0 0 12 22 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14198] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14198/stat : 14198 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308434 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646904239400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14199] ppid=13985 vsize=9824732 CPUtime=717.26 cores=1,3,5,7
/proc/13988/task/14199/stat : 14199 (java) R 13985 13988 11545 0 -1 4202560 24 0 0 0 71715 11 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646907395616 139646919836275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14200] ppid=13985 vsize=9824732 CPUtime=717.16 cores=1,3,5,7
/proc/13988/task/14200/stat : 14200 (java) R 13985 13988 11545 0 -1 4202560 64 0 0 0 71706 10 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646905289360 139646919809301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14201] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14201/stat : 14201 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646906344360 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1741.65
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+911.001 s]
/proc/loadavg: 4.20 4.16 3.78 6/219 14326
/proc/meminfo: memFree=22196748/32872528 swapFree=13208/1155804
[pid=13988] ppid=13985 vsize=9824732 CPUtime=1799.75 cores=1,3,5,7
/proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 42269 0 1 0 179648 327 0 0 20 0 22 0 6293590 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13988/statm: 2456183 998220 2302 9 0 2446860 0
[pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2446 0 1 0 40 4 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 1136 0 0 0 453 24 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=4.44 cores=1,3,5,7
/proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 665 0 0 0 428 16 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=4.88 cores=1,3,5,7
/proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 814 0 0 0 464 24 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=4.79 cores=1,3,5,7
/proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 748 0 0 0 458 21 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=4.52 cores=1,3,5,7
/proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 785 0 0 0 432 20 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=5.38 cores=1,3,5,7
/proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 954 0 0 0 516 22 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=4.89 cores=1,3,5,7
/proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 593 0 0 0 475 14 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 1018 0 0 0 441 21 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=6.3 cores=1,3,5,7
/proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 2963 0 0 0 619 11 0 0 20 0 22 0 6293592 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/13988/task/14003/stat : 14003 (java) S 13985 13988 11545 0 -1 4202560 21158 0 0 0 217 3 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646911609784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/13988/task/14004/stat : 14004 (java) S 13985 13988 11545 0 -1 4202560 5766 0 0 0 133 2 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646910556984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14198] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14198/stat : 14198 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308434 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646904239400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13988/tid=14199] ppid=13985 vsize=9824732 CPUtime=745.48 cores=1,3,5,7
/proc/13988/task/14199/stat : 14199 (java) R 13985 13988 11545 0 -1 4202560 25 0 0 0 74536 12 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646907395616 139646919588384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13988/tid=14200] ppid=13985 vsize=9824732 CPUtime=745.39 cores=1,3,5,7
/proc/13988/task/14200/stat : 14200 (java) R 13985 13988 11545 0 -1 4202560 66 0 0 0 74528 11 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646905289360 139646919566485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13988/tid=14201] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13988/task/14201/stat : 14201 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646906344360 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 9824732

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 13988 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.309998
#  lost CPU user time (s): 0.339996
#  lost CPU system time (s): -0.03

Real time (s): 911.061
CPU time (s): 1800.06
CPU user time (s): 1796.82
CPU system time (s): 3.24
CPU usage (%): 197.578
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.69
system time used= 3.64345
maximum resident set size= 4025060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42304
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25932
involuntary context switches= 33259

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04108 second user time and 7.41587 second system time

The end

Launcher Data

Begin job on node114 at 2016-06-30 04:21:02
IDJOB=4119325
IDBENCH=111702
IDSOLVER=2543
FILE ID=node114/4119325-1467253262
RUNJOBID= node114-1467246678-11562
PBS_JOBID= 20004474
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119325-1467253262/watcher-4119325-1467253262 -o /tmp/evaluation-result-4119325-1467253262/solver-4119325-1467253262 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119325-1467253262.opb

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

MD5SUM BENCH= 701cda8648df32669dd82c408a9456b5
RANDOM SEED=1257082444

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:        27274532 kB
Buffers:          116152 kB
Cached:          1211624 kB
SwapCached:            0 kB
Active:          2491648 kB
Inactive:        1206272 kB
Active(anon):    2372964 kB
Inactive(anon):        0 kB
Active(file):     118684 kB
Inactive(file):  1206272 kB
Unevictable:     1155804 kB
Mlocked:           13208 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:       3524224 kB
Mapped:            22168 kB
Shmem:               204 kB
Slab:             608916 kB
SReclaimable:      52796 kB
SUnreclaim:       556120 kB
KernelStack:        1624 kB
PageTables:        11420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3862484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3461120 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= 71668 MiB
End job on node114 at 2016-06-30 04:36:13