Trace number 4119381

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)-3848 1800.34 955.049

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.opb
MD5SUM9269fbcc08c2d216b9ebcd8d0ff90bb2
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-3848
Best CPU time to get the best result obtained on this benchmark1800.34
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 5002
Biggest coefficient in the objective function 1560
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 270432
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1560
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 270432
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)4967
Sum of products size (including duplicates)15919
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	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.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	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.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4119381-1467254719.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
1.31/0.80	c ... done. Wall clock time 0.68s.
1.31/0.80	c declared #vars     35
1.31/0.80	c internal #vars     5002
1.31/0.80	c #constraints  9934
1.31/0.80	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.31/0.80	c constraints type 
1.31/0.80	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4967
1.31/0.80	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4967
1.31/0.80	c 9934 constraints processed.
1.31/0.80	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.31/0.80	c constraints type 
1.31/0.80	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4967
1.31/0.80	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4967
1.31/0.80	c 9934 constraints processed.
1.31/0.80	c objective function length is 5002 literals
1.31/0.88	c And the winner is solver0
1.74/1.31	c SATISFIABLE
1.74/1.31	c OPTIMIZING...
1.74/1.31	c Got one! Elapsed wall clock time (in seconds):1.187
1.74/1.31	o 0
2.07/1.40	c And the winner is solver0
2.17/1.83	c Got one! Elapsed wall clock time (in seconds):1.713
2.17/1.83	o -68
2.17/1.86	c And the winner is solver0
2.30/2.35	c Got one! Elapsed wall clock time (in seconds):2.23
2.30/2.35	o -136
2.30/2.38	c And the winner is solver0
2.59/2.86	c Got one! Elapsed wall clock time (in seconds):2.741
2.59/2.86	o -249
2.59/2.88	c And the winner is solver0
2.72/3.37	c Got one! Elapsed wall clock time (in seconds):3.25
2.72/3.37	o -324
2.72/3.39	c And the winner is solver0
2.79/3.88	c Got one! Elapsed wall clock time (in seconds):3.757
2.79/3.88	o -362
2.79/3.89	c And the winner is solver0
2.80/4.38	c Got one! Elapsed wall clock time (in seconds):4.264
2.80/4.38	o -501
2.84/4.41	c And the winner is solver0
2.89/4.89	c Got one! Elapsed wall clock time (in seconds):4.772
2.89/4.89	o -531
2.90/4.92	c And the winner is solver0
2.95/5.40	c Got one! Elapsed wall clock time (in seconds):5.281
2.95/5.40	o -544
2.95/5.41	c And the winner is solver0
2.98/5.91	c Got one! Elapsed wall clock time (in seconds):5.788
2.98/5.91	o -570
2.98/5.93	c And the winner is solver0
3.03/6.41	c Got one! Elapsed wall clock time (in seconds):6.295
3.03/6.41	o -583
3.03/6.42	c And the winner is solver0
3.04/6.92	c Got one! Elapsed wall clock time (in seconds):6.801
3.04/6.92	o -640
3.04/6.93	c And the winner is solver0
3.06/7.42	c Got one! Elapsed wall clock time (in seconds):7.307
3.06/7.42	o -790
3.06/7.47	c And the winner is solver0
3.17/7.93	c Got one! Elapsed wall clock time (in seconds):7.813
3.17/7.93	o -797
3.17/7.94	c And the winner is solver0
3.18/8.44	c Got one! Elapsed wall clock time (in seconds):8.319
3.18/8.44	o -947
3.32/8.51	c And the winner is solver0
3.37/8.94	c Got one! Elapsed wall clock time (in seconds):8.825
3.37/8.94	o -954
3.37/8.97	c And the winner is solver0
3.51/9.45	c Got one! Elapsed wall clock time (in seconds):9.331
3.51/9.45	o -955
3.61/9.50	c And the winner is solver0
3.63/9.95	c Got one! Elapsed wall clock time (in seconds):9.837
3.63/9.95	o -1016
3.75/10.02	c And the winner is solver0
3.78/10.48	c Got one! Elapsed wall clock time (in seconds):10.364
3.78/10.48	o -1019
3.81/10.50	c And the winner is solver0
3.83/10.99	c Got one! Elapsed wall clock time (in seconds):10.87
3.83/10.99	o -1035
3.83/11.00	c And the winner is solver0
3.84/11.49	c Got one! Elapsed wall clock time (in seconds):11.376
3.84/11.49	o -1042
3.84/11.51	c And the winner is solver0
3.84/12.00	c Got one! Elapsed wall clock time (in seconds):11.882
3.84/12.00	o -1049
3.84/12.01	c And the winner is solver0
3.85/12.50	c Got one! Elapsed wall clock time (in seconds):12.387
3.85/12.50	o -1051
3.85/12.52	c And the winner is solver0
3.86/13.01	c Got one! Elapsed wall clock time (in seconds):12.893
3.86/13.01	o -1097
3.86/13.06	c And the winner is solver0
3.97/13.52	c Got one! Elapsed wall clock time (in seconds):13.399
3.97/13.52	o -1122
3.97/13.57	c And the winner is solver0
4.11/14.02	c Got one! Elapsed wall clock time (in seconds):13.905
4.11/14.02	o -1126
4.11/14.04	c And the winner is solver0
4.14/14.53	c Got one! Elapsed wall clock time (in seconds):14.411
4.14/14.53	o -1269
4.61/14.72	c And the winner is solver0
4.80/15.03	c Got one! Elapsed wall clock time (in seconds):14.917
4.80/15.03	o -1278
4.92/15.14	c And the winner is solver0
5.19/15.54	c Got one! Elapsed wall clock time (in seconds):15.423
5.19/15.54	o -1284
5.19/15.58	c And the winner is solver0
5.28/16.05	c Got one! Elapsed wall clock time (in seconds):15.929
5.28/16.05	o -1291
5.28/16.09	c And the winner is solver0
5.41/16.55	c Got one! Elapsed wall clock time (in seconds):16.435
5.41/16.55	o -1294
5.41/16.57	c And the winner is solver0
5.43/17.06	c Got one! Elapsed wall clock time (in seconds):16.941
5.43/17.06	o -1298
5.43/17.08	c And the winner is solver0
5.48/17.57	c Got one! Elapsed wall clock time (in seconds):17.447
5.48/17.57	o -1437
5.94/17.87	c And the winner is solver0
6.18/18.07	c Got one! Elapsed wall clock time (in seconds):17.953
6.18/18.07	o -1439
6.42/18.25	c And the winner is solver0
6.64/18.58	c Got one! Elapsed wall clock time (in seconds):18.459
6.64/18.58	o -1447
6.71/18.65	c And the winner is solver0
6.84/19.09	c Got one! Elapsed wall clock time (in seconds):18.965
6.84/19.09	o -1460
6.86/19.11	c And the winner is solver0
6.90/19.59	c Got one! Elapsed wall clock time (in seconds):19.471
6.90/19.59	o -1461
6.91/19.62	c And the winner is solver0
6.98/20.09	c Got one! Elapsed wall clock time (in seconds):19.977
6.98/20.09	o -1468
6.98/20.16	c And the winner is solver0
7.34/20.60	c Got one! Elapsed wall clock time (in seconds):20.483
7.34/20.60	o -1472
7.34/20.61	c And the winner is solver0
7.36/21.11	c Got one! Elapsed wall clock time (in seconds):20.989
7.36/21.11	o -1479
7.36/21.12	c And the winner is solver0
7.40/21.61	c Got one! Elapsed wall clock time (in seconds):21.495
7.40/21.61	o -1481
7.40/21.65	c And the winner is solver0
7.48/22.12	c Got one! Elapsed wall clock time (in seconds):22.001
7.48/22.12	o -1485
7.48/22.14	c And the winner is solver0
7.53/22.62	c Got one! Elapsed wall clock time (in seconds):22.507
7.53/22.62	o -1646
8.77/23.21	c And the winner is solver0
8.99/23.63	c Got one! Elapsed wall clock time (in seconds):23.513
8.99/23.63	o -1662
10.14/24.14	c And the winner is solver0
10.14/24.19	c Got one! Elapsed wall clock time (in seconds):24.069
10.14/24.19	o -1666
10.57/24.33	c And the winner is solver0
10.75/24.69	c Got one! Elapsed wall clock time (in seconds):24.575
10.75/24.69	o -1672
10.75/24.77	c And the winner is solver0
11.07/25.20	c Got one! Elapsed wall clock time (in seconds):25.081
11.07/25.20	o -1833
13.30/26.32	c And the winner is solver0
13.43/26.71	c Got one! Elapsed wall clock time (in seconds):26.588
13.43/26.71	o -1835
14.86/27.42	c And the winner is solver0
15.01/27.71	c Got one! Elapsed wall clock time (in seconds):27.594
15.01/27.71	o -1840
15.84/28.14	c And the winner is solver0
15.98/28.27	c Got one! Elapsed wall clock time (in seconds):28.151
15.98/28.27	o -1844
16.26/28.45	c And the winner is solver0
16.47/28.77	c Got one! Elapsed wall clock time (in seconds):28.657
16.47/28.77	o -1850
16.51/28.82	c And the winner is solver0
16.57/29.28	c Got one! Elapsed wall clock time (in seconds):29.163
16.57/29.28	o -1858
16.60/29.30	c And the winner is solver0
16.63/29.79	c Got one! Elapsed wall clock time (in seconds):29.669
16.63/29.79	o -1863
16.65/29.81	c And the winner is solver0
16.69/30.29	c Got one! Elapsed wall clock time (in seconds):30.175
16.69/30.29	o -1868
16.94/30.43	c And the winner is solver0
17.18/30.80	c Got one! Elapsed wall clock time (in seconds):30.682
17.18/30.80	o -1915
21.22/32.82	c cleaning 5340 clauses out of 10679 with flag 6003/10679
21.89/33.16	c And the winner is solver0
22.07/33.31	c Got one! Elapsed wall clock time (in seconds):33.188
22.07/33.31	o -1934
23.24/33.99	c And the winner is solver0
23.57/34.31	c Got one! Elapsed wall clock time (in seconds):34.195
23.57/34.31	o -1937
24.13/34.68	c And the winner is solver0
24.35/34.82	c Got one! Elapsed wall clock time (in seconds):34.702
24.35/34.82	o -1952
24.70/35.01	c And the winner is solver0
24.76/35.33	c Got one! Elapsed wall clock time (in seconds):35.208
24.76/35.33	o -1958
24.76/35.38	c And the winner is solver0
24.87/35.83	c Got one! Elapsed wall clock time (in seconds):35.714
24.87/35.83	o -1968
24.87/35.86	c And the winner is solver0
24.94/36.34	c Got one! Elapsed wall clock time (in seconds):36.221
24.94/36.34	o -1972
24.94/36.40	c And the winner is solver0
25.15/36.85	c Got one! Elapsed wall clock time (in seconds):36.727
25.15/36.85	o -1977
25.24/36.97	c And the winner is solver0
25.47/37.35	c Got one! Elapsed wall clock time (in seconds):37.234
25.47/37.35	o -2039
26.76/38.06	c And the winner is solver0
26.97/38.36	c Got one! Elapsed wall clock time (in seconds):38.24
26.97/38.36	o -2052
27.84/38.82	c And the winner is solver0
27.98/38.96	c Got one! Elapsed wall clock time (in seconds):38.847
27.98/38.96	o -2058
28.26/39.16	c And the winner is solver0
28.40/39.47	c Got one! Elapsed wall clock time (in seconds):39.353
28.40/39.47	o -2059
28.40/39.49	c And the winner is solver0
28.47/39.98	c Got one! Elapsed wall clock time (in seconds):39.86
28.47/39.98	o -2061
28.50/40.00	c And the winner is solver0
28.53/40.49	c Got one! Elapsed wall clock time (in seconds):40.366
28.53/40.49	o -2064
28.55/40.58	c And the winner is solver0
28.84/40.99	c Got one! Elapsed wall clock time (in seconds):40.873
28.84/40.99	o -2119
33.11/43.10	c cleaning 6441 clauses out of 12882 with flag 6001/18222
38.32/45.76	c And the winner is solver0
38.52/46.00	c Got one! Elapsed wall clock time (in seconds):45.882
38.52/46.00	o -2201
41.41/47.50	c cleaning 6139 clauses out of 12281 with flag 4004/24062
44.23/48.83	c And the winner is solver0
44.32/49.01	c Got one! Elapsed wall clock time (in seconds):48.888
44.32/49.01	o -2204
47.09/50.42	c And the winner is solver0
47.22/50.56	c Got one! Elapsed wall clock time (in seconds):50.445
47.22/50.56	o -2252
48.72/51.31	c And the winner is solver0
48.87/51.57	c Got one! Elapsed wall clock time (in seconds):51.452
48.87/51.57	o -2253
49.51/51.98	c And the winner is solver0
49.70/52.08	c Got one! Elapsed wall clock time (in seconds):51.959
49.70/52.08	o -2257
49.74/52.11	c And the winner is solver0
49.80/52.58	c Got one! Elapsed wall clock time (in seconds):52.466
49.80/52.58	o -2261
49.82/52.61	c And the winner is solver0
49.88/53.09	c Got one! Elapsed wall clock time (in seconds):52.973
49.88/53.09	o -2264
50.08/53.21	c And the winner is solver0
50.26/53.60	c Got one! Elapsed wall clock time (in seconds):53.481
50.26/53.60	o -2270
50.64/53.81	c And the winner is solver0
50.72/54.11	c Got one! Elapsed wall clock time (in seconds):53.988
50.72/54.11	o -2393
51.90/54.78	c cleaning 6540 clauses out of 13083 with flag 2001/31003
60.19/58.84	c cleaning 6271 clauses out of 12544 with flag 14003/37004
67.08/62.25	c And the winner is solver0
67.23/62.62	c Got one! Elapsed wall clock time (in seconds):62.496
67.23/62.62	o -2446
68.59/63.32	c cleaning 6134 clauses out of 12269 with flag 2002/43000
76.99/67.53	c cleaning 6068 clauses out of 12136 with flag 14050/49001
78.99/68.56	c And the winner is solver0
79.35/68.82	c Got one! Elapsed wall clock time (in seconds):68.704
79.35/68.82	o -2453
84.61/71.50	c And the winner is solver0
85.03/71.83	c Got one! Elapsed wall clock time (in seconds):71.713
85.03/71.83	o -2461
86.57/72.63	c cleaning 6131 clauses out of 12263 with flag 2091/55196
86.95/72.86	c And the winner is solver0
87.26/73.34	c Got one! Elapsed wall clock time (in seconds):73.22
87.26/73.34	o -2462
88.77/74.11	c And the winner is solver0
88.84/74.35	c Got one! Elapsed wall clock time (in seconds):74.228
88.84/74.35	o -2468
88.93/74.40	c And the winner is solver0
89.00/74.85	c Got one! Elapsed wall clock time (in seconds):74.735
89.00/74.85	o -2470
89.00/74.88	c And the winner is solver0
89.07/75.36	c Got one! Elapsed wall clock time (in seconds):75.242
89.07/75.36	o -2476
89.94/75.88	c And the winner is solver0
90.15/76.37	c Got one! Elapsed wall clock time (in seconds):76.249
90.15/76.37	o -2589
95.50/79.06	c cleaning 6127 clauses out of 12253 with flag 8001/61317
103.70/83.18	c cleaning 6063 clauses out of 12126 with flag 20001/67317
113.95/88.36	c cleaning 6532 clauses out of 13063 with flag 34001/74317
123.61/93.18	c And the winner is solver0
123.99/93.59	c Got one! Elapsed wall clock time (in seconds):93.475
123.99/93.59	o -2594
131.19/97.29	c cleaning 9239 clauses out of 18478 with flag 10049/86264
140.46/101.84	c cleaning 7618 clauses out of 15239 with flag 22109/92264
145.88/104.54	c And the winner is solver0
146.03/104.65	c Got one! Elapsed wall clock time (in seconds):104.534
146.03/104.65	o -2608
148.94/106.13	c cleaning 6683 clauses out of 13374 with flag 4028/98017
157.41/110.36	c And the winner is solver0
157.61/110.67	c Got one! Elapsed wall clock time (in seconds):110.543
157.61/110.67	o -2652
162.95/113.38	c And the winner is solver0
163.29/113.67	c Got one! Elapsed wall clock time (in seconds):113.552
163.29/113.67	o -2654
164.14/114.13	c And the winner is solver0
164.49/114.43	c Got one! Elapsed wall clock time (in seconds):114.31
164.49/114.43	o -2656
167.63/116.04	c cleaning 9206 clauses out of 18414 with flag 4005/109740
167.63/116.09	c And the winner is solver0
168.05/116.44	c Got one! Elapsed wall clock time (in seconds):116.319
168.05/116.44	o -2665
168.16/116.55	c And the winner is solver0
168.36/116.94	c Got one! Elapsed wall clock time (in seconds):116.827
168.36/116.95	o -2667
168.36/116.97	c And the winner is solver0
168.41/117.45	c Got one! Elapsed wall clock time (in seconds):117.336
168.41/117.45	o -2670
168.41/117.47	c And the winner is solver0
168.42/117.96	c Got one! Elapsed wall clock time (in seconds):117.845
168.42/117.96	o -2671
168.42/117.98	c And the winner is solver0
168.45/118.47	c Got one! Elapsed wall clock time (in seconds):118.353
168.45/118.47	o -2672
168.45/118.48	c And the winner is solver0
168.46/118.98	c Got one! Elapsed wall clock time (in seconds):118.861
168.46/118.98	o -2674
168.49/119.07	c And the winner is solver0
168.76/119.49	c Got one! Elapsed wall clock time (in seconds):119.369
168.76/119.49	o -2677
168.77/119.50	c And the winner is solver0
168.77/119.99	c Got one! Elapsed wall clock time (in seconds):119.877
168.77/119.99	o -2678
168.78/120.01	c And the winner is solver0
168.78/120.50	c Got one! Elapsed wall clock time (in seconds):120.386
168.78/120.50	o -2680
168.96/120.66	c And the winner is solver0
169.36/121.01	c Got one! Elapsed wall clock time (in seconds):120.894
169.36/121.01	o -2685
169.36/121.06	c And the winner is solver0
169.48/121.52	c Got one! Elapsed wall clock time (in seconds):121.402
169.48/121.52	o -2686
171.62/122.66	c And the winner is solver0
171.97/123.03	c Got one! Elapsed wall clock time (in seconds):122.91
171.97/123.03	o -2756
177.49/125.84	c cleaning 7608 clauses out of 15227 with flag 8003/115759
185.74/129.91	c cleaning 6802 clauses out of 13618 with flag 20001/121758
195.60/134.81	c cleaning 6906 clauses out of 13817 with flag 34003/128759
207.06/140.79	c cleaning 7453 clauses out of 14910 with flag 50001/136758
220.11/147.25	c cleaning 8227 clauses out of 16457 with flag 68001/145758
234.75/154.50	c cleaning 9115 clauses out of 18231 with flag 88003/155759
240.00/157.18	c And the winner is solver0
240.31/157.40	c Got one! Elapsed wall clock time (in seconds):157.28
240.31/157.40	o -2766
243.18/158.81	c cleaning 7414 clauses out of 14828 with flag 4002/161471
251.62/163.02	c cleaning 6702 clauses out of 13414 with flag 16002/167471
261.91/168.19	c cleaning 6853 clauses out of 13713 with flag 30004/174472
264.91/169.65	c And the winner is solver0
265.14/169.93	c Got one! Elapsed wall clock time (in seconds):169.809
265.14/169.93	o -2798
269.27/172.03	c cleaning 5964 clauses out of 11931 with flag 6155/179543
278.13/176.41	c cleaning 5983 clauses out of 11967 with flag 18260/185543
278.53/176.68	c And the winner is solver0
278.92/176.99	c Got one! Elapsed wall clock time (in seconds):176.869
278.92/176.99	o -2799
283.59/179.31	c And the winner is solver0
283.70/179.50	c Got one! Elapsed wall clock time (in seconds):179.378
283.70/179.50	o -2801
284.34/179.88	c And the winner is solver0
284.93/180.22	c Got one! Elapsed wall clock time (in seconds):180.102
284.93/180.22	o -2809
289.28/182.44	c cleaning 6348 clauses out of 12701 with flag 6003/192260
298.27/186.94	c cleaning 6177 clauses out of 12353 with flag 18003/198260
308.33/192.00	c And the winner is solver0
308.69/192.23	c Got one! Elapsed wall clock time (in seconds):192.113
308.69/192.23	o -2820
311.81/193.82	c And the winner is solver0
312.20/194.29	c Got one! Elapsed wall clock time (in seconds):194.176
312.20/194.29	o -2826
315.43/195.86	c And the winner is solver0
315.69/196.31	c Got one! Elapsed wall clock time (in seconds):196.185
315.69/196.31	o -2828
315.69/196.34	c And the winner is solver0
315.78/196.81	c Got one! Elapsed wall clock time (in seconds):196.694
315.78/196.81	o -2832
316.16/197.09	c And the winner is solver0
316.65/197.43	c Got one! Elapsed wall clock time (in seconds):197.303
316.65/197.43	o -2833
319.60/198.95	c And the winner is solver0
320.01/199.43	c Got one! Elapsed wall clock time (in seconds):199.312
320.01/199.43	o -2840
320.13/199.54	c And the winner is solver0
320.32/199.94	c Got one! Elapsed wall clock time (in seconds):199.821
320.32/199.94	o -2849
320.42/200.01	c And the winner is solver0
320.52/200.45	c Got one! Elapsed wall clock time (in seconds):200.33
320.52/200.45	o -2850
320.52/200.46	c And the winner is solver0
320.55/200.96	c Got one! Elapsed wall clock time (in seconds):200.839
320.55/200.96	o -2855
320.55/200.98	c And the winner is solver0
320.59/201.47	c Got one! Elapsed wall clock time (in seconds):201.349
320.59/201.47	o -2856
320.59/201.48	c And the winner is solver0
320.60/201.98	c Got one! Elapsed wall clock time (in seconds):201.858
320.60/201.98	o -2858
321.58/202.76	c And the winner is solver0
321.84/203.17	c Got one! Elapsed wall clock time (in seconds):203.046
321.84/203.17	o -2863
321.89/203.21	c And the winner is solver0
321.96/203.67	c Got one! Elapsed wall clock time (in seconds):203.555
321.96/203.67	o -2864
323.59/204.54	c cleaning 10206 clauses out of 20412 with flag 2084/212496
324.59/205.00	c And the winner is solver0
324.80/205.23	c Got one! Elapsed wall clock time (in seconds):205.114
324.80/205.23	o -2865
331.52/208.63	c And the winner is solver0
331.77/208.89	c Got one! Elapsed wall clock time (in seconds):208.774
331.77/208.89	o -2866
332.05/209.02	c And the winner is solver0
332.40/209.40	c Got one! Elapsed wall clock time (in seconds):209.283
332.40/209.40	o -2872
332.40/209.46	c And the winner is solver0
332.58/209.92	c Got one! Elapsed wall clock time (in seconds):209.792
332.58/209.92	o -2882
332.58/209.93	c And the winner is solver0
332.64/210.42	c Got one! Elapsed wall clock time (in seconds):210.301
332.64/210.42	o -2884
332.64/210.47	c And the winner is solver0
332.78/210.93	c Got one! Elapsed wall clock time (in seconds):210.809
332.78/210.93	o -2886
332.91/211.02	c And the winner is solver0
333.03/211.44	c Got one! Elapsed wall clock time (in seconds):211.318
333.03/211.44	o -2887
333.03/211.45	c And the winner is solver0
333.06/211.95	c Got one! Elapsed wall clock time (in seconds):211.827
333.06/211.95	o -2889
333.06/211.96	c And the winner is solver0
333.07/212.45	c Got one! Elapsed wall clock time (in seconds):212.336
333.07/212.45	o -2890
333.55/212.70	c And the winner is solver0
333.72/212.96	c Got one! Elapsed wall clock time (in seconds):212.845
333.72/212.96	o -2894
333.98/213.17	c And the winner is solver0
334.32/213.47	c Got one! Elapsed wall clock time (in seconds):213.353
334.32/213.47	o -2895
334.32/213.49	c And the winner is solver0
334.35/213.98	c Got one! Elapsed wall clock time (in seconds):213.862
334.35/213.98	o -2896
335.98/214.83	c cleaning 8470 clauses out of 16940 with flag 2067/219230
338.78/216.22	c And the winner is solver0
339.10/216.54	c Got one! Elapsed wall clock time (in seconds):216.422
339.10/216.54	o -2926
344.70/219.39	c cleaning 7160 clauses out of 14327 with flag 8003/225087
353.10/223.54	c cleaning 6582 clauses out of 13167 with flag 20003/231087
362.90/228.49	c cleaning 6788 clauses out of 13584 with flag 34001/238086
374.78/234.31	c cleaning 7395 clauses out of 14796 with flag 50001/246086
388.30/241.06	c cleaning 8199 clauses out of 16401 with flag 68001/255086
403.50/248.61	c cleaning 9097 clauses out of 18203 with flag 88003/265087
420.44/257.06	c cleaning 10050 clauses out of 20106 with flag 110003/276087
439.07/266.28	c cleaning 11026 clauses out of 22056 with flag 134003/288087
458.25/275.88	c cleaning 12011 clauses out of 24029 with flag 160001/301086
478.75/285.97	c And the winner is solver0
479.25/286.37	c Got one! Elapsed wall clock time (in seconds):286.25
479.25/286.37	o -3023
487.16/290.34	c cleaning 14710 clauses out of 29426 with flag 10002/318494
496.17/294.88	c cleaning 10355 clauses out of 20716 with flag 22002/324494
508.25/301.25	c cleaning 8680 clauses out of 17362 with flag 36004/331495
519.87/307.02	c cleaning 8338 clauses out of 16682 with flag 52004/339495
533.94/314.01	c cleaning 8670 clauses out of 17344 with flag 70004/348495
549.54/321.88	c cleaning 9334 clauses out of 18673 with flag 90002/358494
565.24/329.69	c And the winner is solver0
565.75/330.09	c Got one! Elapsed wall clock time (in seconds):329.969
565.75/330.09	o -3025
573.23/333.82	c cleaning 12168 clauses out of 24335 with flag 10003/373490
582.24/338.36	c cleaning 9079 clauses out of 18167 with flag 22003/379490
593.16/343.74	c cleaning 8041 clauses out of 16088 with flag 36003/386490
605.17/349.78	c cleaning 8022 clauses out of 16047 with flag 52003/394490
613.52/353.85	c And the winner is solver0
614.08/354.35	c Got one! Elapsed wall clock time (in seconds):354.234
614.08/354.35	o -3052
621.81/358.28	c cleaning 9089 clauses out of 18187 with flag 10041/404652
627.02/360.83	c And the winner is solver0
627.34/361.17	c Got one! Elapsed wall clock time (in seconds):361.046
627.34/361.17	o -3053
630.47/362.73	c cleaning 7227 clauses out of 14462 with flag 4044/410016
634.47/364.74	c And the winner is solver0
635.18/365.30	c Got one! Elapsed wall clock time (in seconds):365.183
635.18/365.30	o -3054
635.78/365.55	c And the winner is solver0
636.10/365.81	c Got one! Elapsed wall clock time (in seconds):365.693
636.10/365.81	o -3057
636.66/366.13	c And the winner is solver0
637.20/366.67	c Got one! Elapsed wall clock time (in seconds):366.554
637.20/366.67	o -3062
637.30/366.70	c And the winner is solver0
637.32/367.19	c Got one! Elapsed wall clock time (in seconds):367.064
637.32/367.19	o -3063
641.74/369.43	c And the winner is solver0
642.08/369.74	c Got one! Elapsed wall clock time (in seconds):369.624
642.08/369.74	o -3065
643.58/370.57	c cleaning 7169 clauses out of 14342 with flag 2020/417123
652.99/375.28	c cleaning 6582 clauses out of 13172 with flag 14200/423122
653.98/375.75	c And the winner is solver0
654.41/376.11	c Got one! Elapsed wall clock time (in seconds):375.986
654.41/376.11	o -3093
657.15/377.42	c And the winner is solver0
657.57/377.87	c Got one! Elapsed wall clock time (in seconds):377.748
657.57/377.87	o -3094
663.65/380.96	c cleaning 6368 clauses out of 12740 with flag 8119/429272
666.45/382.33	c And the winner is solver0
667.00/382.83	c Got one! Elapsed wall clock time (in seconds):382.71
667.00/382.83	o -3159
672.33/385.53	c cleaning 6056 clauses out of 12125 with flag 8003/435025
681.12/389.83	c cleaning 6030 clauses out of 12068 with flag 20001/441024
691.34/394.92	c cleaning 6520 clauses out of 13039 with flag 34003/448025
702.92/400.73	c cleaning 7259 clauses out of 14519 with flag 50003/456025
716.29/407.38	c cleaning 8127 clauses out of 16260 with flag 68003/465025
730.89/414.67	c cleaning 9064 clauses out of 18133 with flag 88003/475025
748.52/423.36	c cleaning 10031 clauses out of 20068 with flag 110001/486024
767.11/432.65	c cleaning 11019 clauses out of 22038 with flag 134003/498025
787.94/442.98	c cleaning 12006 clauses out of 24019 with flag 160003/511025
809.74/453.84	c cleaning 13002 clauses out of 26012 with flag 188001/525024
833.61/465.61	c cleaning 14004 clauses out of 28011 with flag 218003/540025
855.68/476.53	c And the winner is solver1
855.79/477.03	c Got one! Elapsed wall clock time (in seconds):476.905
855.79/477.03	o -3184
855.92/477.10	c And the winner is solver0
856.00/477.53	c Got one! Elapsed wall clock time (in seconds):477.417
856.00/477.53	o -3206
856.32/477.72	c And the winner is solver0
856.51/478.05	c Got one! Elapsed wall clock time (in seconds):477.928
856.51/478.05	o -3443
857.20/478.46	c And the winner is solver0
857.86/479.01	c Got one! Elapsed wall clock time (in seconds):478.891
857.86/479.01	o -3445
858.22/479.21	c And the winner is solver0
858.47/479.52	c Got one! Elapsed wall clock time (in seconds):479.402
858.47/479.52	o -3486
858.63/479.64	c And the winner is solver0
858.83/480.03	c Got one! Elapsed wall clock time (in seconds):479.913
858.83/480.03	o -3585
863.69/483.03	c And the winner is solver0
864.31/483.60	c Got one! Elapsed wall clock time (in seconds):483.484
864.31/483.60	o -3631
864.69/483.83	c And the winner is solver0
864.95/484.12	c Got one! Elapsed wall clock time (in seconds):483.995
864.95/484.12	o -3685
867.31/485.31	c And the winner is solver0
867.72/485.78	c Got one! Elapsed wall clock time (in seconds):485.657
867.72/485.78	o -3700
868.80/486.36	c And the winner is solver0
869.26/486.79	c Got one! Elapsed wall clock time (in seconds):486.668
869.26/486.79	o -3716
870.73/487.51	c And the winner is solver0
871.21/488.00	c Got one! Elapsed wall clock time (in seconds):487.879
871.21/488.00	o -3721
877.04/490.92	c cleaning 17788 clauses out of 35576 with flag 6092/561594
877.04/490.95	c And the winner is solver0
877.70/491.51	c Got one! Elapsed wall clock time (in seconds):491.393
877.70/491.51	o -3727
878.66/492.01	c And the winner is solver0
879.09/492.48	c Got one! Elapsed wall clock time (in seconds):492.355
879.09/492.48	o -3771
886.78/496.37	c And the winner is solver0
887.36/496.89	c Got one! Elapsed wall clock time (in seconds):496.769
887.36/496.89	o -3777
889.34/497.88	c cleaning 11999 clauses out of 24004 with flag 2021/567810
899.15/502.73	c cleaning 9002 clauses out of 18005 with flag 14119/573810
910.43/508.32	c cleaning 7999 clauses out of 16003 with flag 28226/580810
914.83/510.59	c And the winner is solver0
915.52/511.15	c Got one! Elapsed wall clock time (in seconds):511.033
915.52/511.15	o -3780
920.22/513.54	c cleaning 6981 clauses out of 13963 with flag 6054/586769
929.52/518.18	c cleaning 6491 clauses out of 12981 with flag 18253/592768
940.30/523.52	c cleaning 6744 clauses out of 13491 with flag 32404/599769
942.50/524.64	c And the winner is solver0
943.04/525.17	c Got one! Elapsed wall clock time (in seconds):525.047
943.04/525.17	o -3785
949.12/528.24	c cleaning 6113 clauses out of 12226 with flag 8095/605248
952.41/529.84	c And the winner is solver0
952.97/530.33	c Got one! Elapsed wall clock time (in seconds):530.21
952.97/530.33	o -3788
957.51/532.62	c cleaning 5591 clauses out of 11187 with flag 6043/610322
966.51/537.13	c cleaning 5798 clauses out of 11596 with flag 18217/616322
973.79/540.78	c And the winner is solver0
974.38/541.29	c Got one! Elapsed wall clock time (in seconds):541.174
974.38/541.29	o -3793
976.05/542.11	c cleaning 5776 clauses out of 11555 with flag 2016/622079
980.05/544.17	c And the winner is solver0
980.74/544.70	c Got one! Elapsed wall clock time (in seconds):544.587
980.74/544.70	o -3794
981.91/545.33	c And the winner is solver0
982.45/545.82	c Got one! Elapsed wall clock time (in seconds):545.698
982.45/545.82	o -3808
987.30/548.20	c cleaning 6220 clauses out of 12444 with flag 6096/628744
996.29/552.77	c cleaning 6109 clauses out of 12224 with flag 18230/634744
1006.89/558.06	c cleaning 6555 clauses out of 13115 with flag 32379/641744
1009.50/559.39	c And the winner is solver0
1010.10/559.83	c Got one! Elapsed wall clock time (in seconds):559.712
1010.10/559.83	o -3813
1016.54/563.00	c cleaning 6169 clauses out of 12339 with flag 8069/647523
1018.34/563.95	c And the winner is solver0
1018.91/564.44	c Got one! Elapsed wall clock time (in seconds):564.325
1018.91/564.44	o -3821
1025.04/567.53	c cleaning 5687 clauses out of 11382 with flag 8155/652735
1033.95/571.92	c And the winner is solver0
1034.56/572.51	c Got one! Elapsed wall clock time (in seconds):572.389
1034.56/572.51	o -3847
1042.34/576.43	c cleaning 8161 clauses out of 16325 with flag 10142/663365
1051.53/581.02	c cleaning 7080 clauses out of 14164 with flag 22333/669365
1062.50/586.44	c cleaning 7040 clauses out of 14084 with flag 36559/676365
1074.88/592.65	c cleaning 7521 clauses out of 15044 with flag 52919/684365
1089.26/599.70	c cleaning 8260 clauses out of 16523 with flag 71317/693365
1105.50/607.71	c cleaning 9129 clauses out of 18262 with flag 91728/703364
1122.91/616.45	c cleaning 10064 clauses out of 20133 with flag 114149/714364
1142.73/626.26	c cleaning 11032 clauses out of 22069 with flag 138514/726364
1164.00/636.74	c cleaning 12016 clauses out of 24038 with flag 165008/739365
1186.41/647.99	c cleaning 13008 clauses out of 26022 with flag 193555/753365
1212.34/660.71	c cleaning 14007 clauses out of 28013 with flag 224281/768364
1239.64/674.20	c cleaning 15002 clauses out of 30006 with flag 257017/784364
1268.73/688.68	c cleaning 16000 clauses out of 32004 with flag 291843/801364
1302.77/706.35	c cleaning 17000 clauses out of 34004 with flag 328741/819364
1336.06/722.92	c cleaning 17999 clauses out of 36004 with flag 367652/838364
1346.06/727.96	c And the winner is solver0
1347.50/729.03	c Got one! Elapsed wall clock time (in seconds):728.91
1347.50/729.03	o -3848
1356.22/733.47	c cleaning 14550 clauses out of 29099 with flag 10354/849458
1366.10/738.39	c cleaning 10272 clauses out of 20549 with flag 22571/855458
1377.29/743.93	c cleaning 8638 clauses out of 17277 with flag 36846/862458
1389.77/750.19	c cleaning 8318 clauses out of 16639 with flag 53236/870458
1403.97/757.26	c cleaning 8659 clauses out of 17322 with flag 71743/879459
1420.05/765.24	c cleaning 9330 clauses out of 18663 with flag 92371/889459
1437.93/774.14	c cleaning 10164 clauses out of 20333 with flag 115052/900459
1457.63/783.95	c cleaning 11084 clauses out of 22168 with flag 139785/912458
1479.15/794.64	c cleaning 12040 clauses out of 24084 with flag 166629/925458
1501.54/805.88	c cleaning 13023 clauses out of 26045 with flag 195580/939459
1527.41/818.64	c cleaning 14011 clauses out of 28021 with flag 226484/954458
1555.09/832.39	c cleaning 15005 clauses out of 30010 with flag 259648/970458
1585.35/847.18	c cleaning 16001 clauses out of 32006 with flag 294657/987459
1617.04/862.83	c cleaning 17002 clauses out of 34005 with flag 331972/1005459
1651.06/879.69	c cleaning 18000 clauses out of 36003 with flag 371426/1024459
1687.26/897.68	c cleaning 19002 clauses out of 38003 with flag 412948/1044459
1725.33/916.55	c cleaning 19997 clauses out of 40001 with flag 456805/1065459
1769.14/939.68	c cleaning 21001 clauses out of 42004 with flag 502568/1087459
1800.01/955.00	c >>>>>>>>>> Solver number 0 (169 answers) <<<<<<<<<<<<<<<<<<
1800.01/955.00	c starts		: 11106
1800.01/955.00	c conflicts		: 1104534
1800.01/955.00	c decisions		: 1429270
1800.01/955.00	c propagations		: 388045022
1800.01/955.00	c inspects		: 2889015893
1800.01/955.00	c shortcuts		: 0
1800.01/955.00	c learnt literals	: 0
1800.01/955.00	c learnt binary clauses	: 0
1800.01/955.00	c learnt ternary clauses	: 123
1800.01/955.00	c learnt constraints	: 1104534
1800.01/955.00	c ignored constraints	: 0
1800.01/955.00	c root simplifications	: 0
1800.01/955.00	c removed literals (reason simplification)	: 342417734
1800.01/955.00	c reason swapping (by a shorter reason)	: 0
1800.01/955.00	c Calls to reduceDB	: 114
1800.01/955.00	c Number of update (reduction) of LBD	: 2919
1800.01/955.00	c Imported unit clauses	: 0
1800.01/955.00	c number of reductions to clauses (during analyze)	: 0
1800.01/955.00	c number of learned constraints concerned by reduction	: 0
1800.01/955.00	c number of learning phase by resolution	: 0
1800.01/955.00	c number of learning phase by cutting planes	: 0
1800.01/955.00	c speed (assignments/second)	: 811860.623051656
1800.01/955.00	c non guided choices	0
1800.01/955.02	c learnt constraints type 
1800.01/955.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38078
1800.01/955.02	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.01/955.02	c starts		: 180
1800.01/955.02	c conflicts		: 2030
1800.01/955.02	c decisions		: 6723
1800.01/955.02	c propagations		: 1327749
1800.01/955.02	c inspects		: 333314030
1800.01/955.02	c shortcuts		: 0
1800.01/955.02	c learnt literals	: 0
1800.01/955.02	c learnt binary clauses	: 0
1800.01/955.02	c learnt ternary clauses	: 0
1800.01/955.02	c learnt constraints	: 1908
1800.01/955.02	c ignored constraints	: 0
1800.01/955.02	c root simplifications	: 0
1800.01/955.02	c removed literals (reason simplification)	: 0
1800.01/955.02	c reason swapping (by a shorter reason)	: 0
1800.01/955.02	c Calls to reduceDB	: 0
1800.01/955.02	c Number of update (reduction) of LBD	: 0
1800.01/955.02	c Imported unit clauses	: 0
1800.01/955.02	c number of reductions to clauses (during analyze)	: 0
1800.01/955.02	c number of learned constraints concerned by reduction	: 0
1800.01/955.02	c number of learning phase by resolution	: 0
1800.01/955.02	c number of learning phase by cutting planes	: 0
1800.01/955.02	c speed (assignments/second)	: 5875.619534817857
1800.01/955.02	c non guided choices	0
1800.01/955.02	c learnt constraints type 
1800.01/955.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1908
1800.01/955.02	s SATISFIABLE
1800.01/955.02	c Found 170 solution(s)
1800.01/955.02	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 
1800.01/955.02	c objective function=-3848
1800.01/955.02	c Total wall clock time (in seconds): 954.901

Verifier Data 

OK	-3848

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-4119381-1467254719/watcher-4119381-1467254719 -o /tmp/evaluation-result-4119381-1467254719/solver-4119381-1467254719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6245 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119381-1467254719.opb 

pid=10438
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: 4.07 4.08 3.96 4/197 10441
/proc/meminfo: memFree=27225728/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10441/stat : 10441 (java) D 10438 10441 6228 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 4491827 9515008 176 33554432000 1073741824 1073778376 140735210815312 140735210798040 211458802576 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2323 179 136 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.07 4.08 3.96 4/197 10441
/proc/meminfo: memFree=27225728/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 4409 0 1 0 8 0 0 0 20 0 18 0 4491827 9787879424 6041 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2389619 6041 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200209 s]
/proc/loadavg: 4.07 4.08 3.96 4/197 10441
/proc/meminfo: memFree=27225728/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 4616 0 1 0 22 1 0 0 20 0 18 0 4491827 9787879424 7228 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2389619 7228 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 4.07 4.08 3.96 4/197 10441
/proc/meminfo: memFree=27225728/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 5386 0 1 0 47 1 0 0 20 0 18 0 4491827 9787879424 8374 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2389619 8374 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700175 s]
/proc/loadavg: 4.07 4.08 3.96 4/197 10441
/proc/meminfo: memFree=27225728/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9558476 CPUtime=1.19 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 9505 0 1 0 117 2 0 0 20 0 18 0 4491827 9787879424 13530 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2389619 13530 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9558476

[startup+1.50077 s]
/proc/loadavg: 3.98 4.06 3.96 3/216 10463
/proc/meminfo: memFree=27170080/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 10422 0 1 0 211 6 0 0 20 0 19 0 4491827 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2456183 18345 2267 9 0 2446860 0
[pid=10441/tid=10443] ppid=10438 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/10441/task/10443/stat : 10443 (java) S 10438 10441 6228 0 -1 4202560 2431 0 1 0 78 2 0 0 20 0 19 0 4491827 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219662885752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10444] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10444/stat : 10444 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219624377256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10445] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10445/stat : 10445 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219623324712 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10446] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10446/stat : 10446 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219622271656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10447] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10447/stat : 10447 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219621219112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10448] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10448/stat : 10448 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219620166056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10449] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10449/stat : 10449 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219619113512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10450] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10450/stat : 10450 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219618060456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10451] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10451/stat : 10451 (java) S 10438 10441 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219617007912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10452] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10452/stat : 10452 (java) S 10438 10441 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219486542696 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10453] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10453/stat : 10453 (java) S 10438 10441 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219485489016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10454] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10454/stat : 10454 (java) S 10438 10441 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219484435848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10455] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10455/stat : 10455 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491832 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219483384592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10456] ppid=10438 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/10441/task/10456/stat : 10456 (java) S 10438 10441 6228 0 -1 4202560 3991 0 0 0 57 0 0 0 20 0 19 0 4491833 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219482331448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10457] ppid=10438 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/10441/task/10457/stat : 10457 (java) S 10438 10441 6228 0 -1 4202560 2659 0 0 0 44 0 0 0 20 0 19 0 4491833 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219481278904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10458] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10458/stat : 10458 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491833 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219480226040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10459] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10459/stat : 10459 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491833 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140219479173704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10462] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10462/stat : 10462 (java) S 10438 10441 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4491910 10060525568 18345 33554432000 1073741824 1073778376 140735210815312 140218334176552 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 3.98 4.06 3.96 4/216 10469
/proc/meminfo: memFree=27150656/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 11355 0 1 0 260 12 0 0 20 0 19 0 4491827 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2456183 25536 2274 9 0 2446860 0
[pid=10441/tid=10443] ppid=10438 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/10441/task/10443/stat : 10443 (java) S 10438 10441 6228 0 -1 4202560 2434 0 1 0 81 2 0 0 20 0 19 0 4491827 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219662885752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10444] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10444/stat : 10444 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219624377256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10445] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10445/stat : 10445 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219623324712 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10446] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10446/stat : 10446 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219622271656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10447] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10447/stat : 10447 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219621219112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10448] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10448/stat : 10448 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219620166056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10449] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10449/stat : 10449 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219619113512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10450] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10450/stat : 10450 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219618060456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10451] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10451/stat : 10451 (java) S 10438 10441 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219617007912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10452] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10452/stat : 10452 (java) S 10438 10441 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219486542696 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10453] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10453/stat : 10453 (java) S 10438 10441 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219485489016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10454] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10454/stat : 10454 (java) S 10438 10441 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219484435848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10455] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10455/stat : 10455 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491832 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219483384592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10456] ppid=10438 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/10441/task/10456/stat : 10456 (java) S 10438 10441 6228 0 -1 4202560 3996 0 0 0 72 0 0 0 20 0 19 0 4491833 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219482331448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10457] ppid=10438 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/10441/task/10457/stat : 10457 (java) S 10438 10441 6228 0 -1 4202560 3552 0 0 0 61 0 0 0 20 0 19 0 4491833 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219481278904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10458] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10458/stat : 10458 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491833 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219480226040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10459] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10459/stat : 10459 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491833 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140219479173704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10462] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10462/stat : 10462 (java) S 10438 10441 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4491910 10060525568 25536 33554432000 1073741824 1073778376 140735210815312 140218334176552 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 9824732

[startup+6.30077 s]
/proc/loadavg: 3.98 4.06 3.96 3/216 10493
/proc/meminfo: memFree=27074384/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 11985 0 1 0 282 21 0 0 20 0 19 0 4491827 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2456183 43942 2287 9 0 2446860 0
[pid=10441/tid=10443] ppid=10438 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/10441/task/10443/stat : 10443 (java) S 10438 10441 6228 0 -1 4202560 2445 0 1 0 86 2 0 0 20 0 19 0 4491827 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219662885752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10444] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10444/stat : 10444 (java) S 10438 10441 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219624377256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10445] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10445/stat : 10445 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219623324712 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10446] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10446/stat : 10446 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219622271656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10447] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10447/stat : 10447 (java) S 10438 10441 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219621219112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10448] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10448/stat : 10448 (java) S 10438 10441 6228 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219620166056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10449] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10449/stat : 10449 (java) S 10438 10441 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219619113512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10450] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10450/stat : 10450 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219618060456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10451] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10451/stat : 10451 (java) S 10438 10441 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4491829 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219617007912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10452] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10452/stat : 10452 (java) S 10438 10441 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219486542696 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10453] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10453/stat : 10453 (java) S 10438 10441 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219485489016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10454] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10454/stat : 10454 (java) S 10438 10441 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4491830 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219484435848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10455] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10455/stat : 10455 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491832 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219483384592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10456] ppid=10438 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/10441/task/10456/stat : 10456 (java) S 10438 10441 6228 0 -1 4202560 3996 0 0 0 74 0 0 0 20 0 19 0 4491833 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219482331448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10457] ppid=10438 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/10441/task/10457/stat : 10457 (java) S 10438 10441 6228 0 -1 4202560 4052 0 0 0 65 0 0 0 20 0 19 0 4491833 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219481278904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10458] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10458/stat : 10458 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491833 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219480226040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10459] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10459/stat : 10459 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4491833 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140219479173704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10462] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10462/stat : 10462 (java) S 10438 10441 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4491910 10060525568 43942 33554432000 1073741824 1073778376 140735210815312 140218334176552 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 9824732
heavy processes:

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

[pid=10441/tid=10444] ppid=10438 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/10441/task/10444/stat : 10444 (java) S 10438 10441 6228 0 -1 4202560 1131 0 0 0 255 41 0 0 20 0 22 0 4491829 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219624377256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10445] ppid=10438 vsize=9824732 CPUtime=3.17 cores=1,3,5,7
/proc/10441/task/10445/stat : 10445 (java) S 10438 10441 6228 0 -1 4202560 1170 0 0 0 268 49 0 0 20 0 22 0 4491829 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219623324712 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10446] ppid=10438 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/10441/task/10446/stat : 10446 (java) S 10438 10441 6228 0 -1 4202560 1217 0 0 0 296 40 0 0 20 0 22 0 4491829 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219622271656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10447] ppid=10438 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/10441/task/10447/stat : 10447 (java) S 10438 10441 6228 0 -1 4202560 1379 0 0 0 288 43 0 0 20 0 22 0 4491829 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219621219112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10448] ppid=10438 vsize=9824732 CPUtime=3.43 cores=1,3,5,7
/proc/10441/task/10448/stat : 10448 (java) S 10438 10441 6228 0 -1 4202560 1372 0 0 0 304 39 0 0 20 0 22 0 4491829 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219620166056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10449] ppid=10438 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/10441/task/10449/stat : 10449 (java) S 10438 10441 6228 0 -1 4202560 1048 0 0 0 292 34 0 0 20 0 22 0 4491829 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219619113512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10450] ppid=10438 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/10441/task/10450/stat : 10450 (java) S 10438 10441 6228 0 -1 4202560 1072 0 0 0 270 38 0 0 20 0 22 0 4491829 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219618060456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10451] ppid=10438 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/10441/task/10451/stat : 10451 (java) S 10438 10441 6228 0 -1 4202560 1503 0 0 0 287 42 0 0 20 0 22 0 4491829 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219617007912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10452] ppid=10438 vsize=9824732 CPUtime=5.74 cores=1,3,5,7
/proc/10441/task/10452/stat : 10452 (java) S 10438 10441 6228 0 -1 4202560 3100 0 0 0 565 9 0 0 20 0 22 0 4491830 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219486542696 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10453] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10453/stat : 10453 (java) S 10438 10441 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4491830 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219485489016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10454] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10454/stat : 10454 (java) S 10438 10441 6228 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 4491830 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219484435848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10455] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10455/stat : 10455 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4491832 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219483384592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10456] ppid=10438 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/10441/task/10456/stat : 10456 (java) S 10438 10441 6228 0 -1 4202560 4095 0 0 0 124 0 0 0 20 0 22 0 4491833 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219482331448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10457] ppid=10438 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/10441/task/10457/stat : 10457 (java) S 10438 10441 6228 0 -1 4202560 7540 0 0 0 135 0 0 0 20 0 22 0 4491833 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219481278904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10458] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10458/stat : 10458 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4491833 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219480226040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10459] ppid=10438 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/10441/task/10459/stat : 10459 (java) S 10438 10441 6228 0 -1 4202560 51 0 0 0 11 16 0 0 20 0 22 0 4491833 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219479173704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10922] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10922/stat : 10922 (java) S 10438 10441 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4539530 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140218334176296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=11089] ppid=10438 vsize=9824732 CPUtime=151.88 cores=1,3,5,7
/proc/10441/task/11089/stat : 11089 (java) R 10438 10441 6228 0 -1 4202560 6 0 0 0 15186 2 0 0 20 0 22 0 4564731 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140218333114128 140219492545045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=11090] ppid=10438 vsize=9824732 CPUtime=151.88 cores=1,3,5,7
/proc/10441/task/11090/stat : 11090 (java) R 10438 10441 6228 0 -1 4202560 15 0 0 0 15186 2 0 0 20 0 22 0 4564731 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219478118336 140219491876817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=11091] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/11091/stat : 11091 (java) S 10438 10441 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4564731 10060525568 1041850 33554432000 1073741824 1073778376 140735210815312 140219477067432 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1656.47
Current children cumulated vsize (KiB) 9824732

[startup+942.301 s]
/proc/loadavg: 4.02 4.09 4.00 5/220 11105
/proc/meminfo: memFree=22651864/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9824732 CPUtime=1774.53 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 32522 0 1 0 176752 701 0 0 20 0 22 0 4491827 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2456183 1106876 2303 9 0 2446860 0
[pid=10441/tid=10443] ppid=10438 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/10441/task/10443/stat : 10443 (java) S 10438 10441 6228 0 -1 4202560 2481 0 1 0 209 6 0 0 20 0 22 0 4491827 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219662885752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10444] ppid=10438 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/10441/task/10444/stat : 10444 (java) S 10438 10441 6228 0 -1 4202560 1205 0 0 0 283 46 0 0 20 0 22 0 4491829 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219624377256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10445] ppid=10438 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/10441/task/10445/stat : 10445 (java) S 10438 10441 6228 0 -1 4202560 1220 0 0 0 289 51 0 0 20 0 22 0 4491829 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219623324712 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10446] ppid=10438 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/10441/task/10446/stat : 10446 (java) S 10438 10441 6228 0 -1 4202560 1256 0 0 0 310 43 0 0 20 0 22 0 4491829 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219622271656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10447] ppid=10438 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/10441/task/10447/stat : 10447 (java) S 10438 10441 6228 0 -1 4202560 1424 0 0 0 304 47 0 0 20 0 22 0 4491829 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219621219112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10448] ppid=10438 vsize=9824732 CPUtime=3.65 cores=1,3,5,7
/proc/10441/task/10448/stat : 10448 (java) S 10438 10441 6228 0 -1 4202560 1436 0 0 0 322 43 0 0 20 0 22 0 4491829 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219620166056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=10449] ppid=10438 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/10441/task/10449/stat : 10449 (java) S 10438 10441 6228 0 -1 4202560 1094 0 0 0 310 37 0 0 20 0 22 0 4491829 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219619113512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10450] ppid=10438 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/10441/task/10450/stat : 10450 (java) S 10438 10441 6228 0 -1 4202560 1161 0 0 0 297 43 0 0 20 0 22 0 4491829 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219618060456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10451] ppid=10438 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/10441/task/10451/stat : 10451 (java) S 10438 10441 6228 0 -1 4202560 1563 0 0 0 309 44 0 0 20 0 22 0 4491829 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219617007912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10452] ppid=10438 vsize=9824732 CPUtime=8.56 cores=1,3,5,7
/proc/10441/task/10452/stat : 10452 (java) S 10438 10441 6228 0 -1 4202560 3586 0 0 0 847 9 0 0 20 0 22 0 4491830 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219486542696 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10453] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10453/stat : 10453 (java) S 10438 10441 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4491830 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219485489016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10454] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10454/stat : 10454 (java) S 10438 10441 6228 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 4491830 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219484435848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10455] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10455/stat : 10455 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4491832 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219483384592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10456] ppid=10438 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/10441/task/10456/stat : 10456 (java) S 10438 10441 6228 0 -1 4202560 4095 0 0 0 124 0 0 0 20 0 22 0 4491833 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219482331448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10457] ppid=10438 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/10441/task/10457/stat : 10457 (java) S 10438 10441 6228 0 -1 4202560 7540 0 0 0 135 0 0 0 20 0 22 0 4491833 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219481278904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10458] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10458/stat : 10458 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4491833 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219480226040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10459] ppid=10438 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/10441/task/10459/stat : 10459 (java) S 10438 10441 6228 0 -1 4202560 55 0 0 0 12 17 0 0 20 0 22 0 4491833 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219479173704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10922] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10922/stat : 10922 (java) S 10438 10441 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4539530 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140218334176296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=11089] ppid=10438 vsize=9824732 CPUtime=208.56 cores=1,3,5,7
/proc/10441/task/11089/stat : 11089 (java) R 10438 10441 6228 0 -1 4202560 7 0 0 0 20853 3 0 0 20 0 22 0 4564731 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140218333114128 140219492981308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=11090] ppid=10438 vsize=9824732 CPUtime=208.55 cores=1,3,5,7
/proc/10441/task/11090/stat : 11090 (java) R 10438 10441 6228 0 -1 4202560 18 0 0 0 20852 3 0 0 20 0 22 0 4564731 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219478118024 140219492703296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=11091] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/11091/stat : 11091 (java) S 10438 10441 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4564731 10060525568 1106876 33554432000 1073741824 1073778376 140735210815312 140219477067432 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.53
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+955.001 s]
/proc/loadavg: 4.66 4.22 4.04 5/220 11128
/proc/meminfo: memFree=22650676/32872528 swapFree=480236/529292
[pid=10441] ppid=10438 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/10441/stat : 10441 (java) S 10438 10441 6228 0 -1 4202496 32541 0 1 0 179298 702 0 0 20 0 22 0 4491827 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140735210806448 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10441/statm: 2456183 1106890 2303 9 0 2446860 0
[pid=10441/tid=10443] ppid=10438 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/10441/task/10443/stat : 10443 (java) S 10438 10441 6228 0 -1 4202560 2481 0 1 0 209 6 0 0 20 0 22 0 4491827 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219662885752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10444] ppid=10438 vsize=9824732 CPUtime=3.33 cores=1,3,5,7
/proc/10441/task/10444/stat : 10444 (java) S 10438 10441 6228 0 -1 4202560 1205 0 0 0 287 46 0 0 20 0 22 0 4491829 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219624377256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10445] ppid=10438 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/10441/task/10445/stat : 10445 (java) S 10438 10441 6228 0 -1 4202560 1220 0 0 0 293 51 0 0 20 0 22 0 4491829 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219623324712 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10446] ppid=10438 vsize=9824732 CPUtime=3.56 cores=1,3,5,7
/proc/10441/task/10446/stat : 10446 (java) S 10438 10441 6228 0 -1 4202560 1273 0 0 0 313 43 0 0 20 0 22 0 4491829 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219622271656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10447] ppid=10438 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/10441/task/10447/stat : 10447 (java) S 10438 10441 6228 0 -1 4202560 1424 0 0 0 306 47 0 0 20 0 22 0 4491829 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219621219112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10448] ppid=10438 vsize=9824732 CPUtime=3.67 cores=1,3,5,7
/proc/10441/task/10448/stat : 10448 (java) S 10438 10441 6228 0 -1 4202560 1437 0 0 0 324 43 0 0 20 0 22 0 4491829 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219620166056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10449] ppid=10438 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/10441/task/10449/stat : 10449 (java) S 10438 10441 6228 0 -1 4202560 1094 0 0 0 311 37 0 0 20 0 22 0 4491829 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219619113512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10450] ppid=10438 vsize=9824732 CPUtime=3.45 cores=1,3,5,7
/proc/10441/task/10450/stat : 10450 (java) S 10438 10441 6228 0 -1 4202560 1161 0 0 0 302 43 0 0 20 0 22 0 4491829 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219618060456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10451] ppid=10438 vsize=9824732 CPUtime=3.55 cores=1,3,5,7
/proc/10441/task/10451/stat : 10451 (java) S 10438 10441 6228 0 -1 4202560 1563 0 0 0 311 44 0 0 20 0 22 0 4491829 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219617007912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10452] ppid=10438 vsize=9824732 CPUtime=8.56 cores=1,3,5,7
/proc/10441/task/10452/stat : 10452 (java) S 10438 10441 6228 0 -1 4202560 3586 0 0 0 847 9 0 0 20 0 22 0 4491830 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219486542696 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10453] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10453/stat : 10453 (java) S 10438 10441 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4491830 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219485489016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10454] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10454/stat : 10454 (java) S 10438 10441 6228 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 4491830 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219484435848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=10455] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10455/stat : 10455 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4491832 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219483384592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10456] ppid=10438 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/10441/task/10456/stat : 10456 (java) S 10438 10441 6228 0 -1 4202560 4095 0 0 0 124 0 0 0 20 0 22 0 4491833 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219482331448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10457] ppid=10438 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/10441/task/10457/stat : 10457 (java) S 10438 10441 6228 0 -1 4202560 7540 0 0 0 135 0 0 0 20 0 22 0 4491833 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219481278904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=10458] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10458/stat : 10458 (java) S 10438 10441 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4491833 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219480226040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10459] ppid=10438 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/10441/task/10459/stat : 10459 (java) S 10438 10441 6228 0 -1 4202560 55 0 0 0 12 18 0 0 20 0 22 0 4491833 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219479173704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10441/tid=10922] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/10922/stat : 10922 (java) S 10438 10441 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4539530 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140218334176296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10441/tid=11089] ppid=10438 vsize=9824732 CPUtime=221.18 cores=1,3,5,7
/proc/10441/task/11089/stat : 11089 (java) R 10438 10441 6228 0 -1 4202560 7 0 0 0 22115 3 0 0 20 0 22 0 4564731 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140218333121824 140219492708639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10441/tid=11090] ppid=10438 vsize=9824732 CPUtime=221.17 cores=1,3,5,7
/proc/10441/task/11090/stat : 11090 (java) R 10438 10441 6228 0 -1 4202560 19 0 0 0 22114 3 0 0 20 0 22 0 4564731 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219478119456 140219492244065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10441/tid=11091] ppid=10438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10441/task/11091/stat : 11091 (java) S 10438 10441 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4564731 10060525568 1106890 33554432000 1073741824 1073778376 140735210815312 140219477067432 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 10441 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# 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.0100098
#  lost CPU user time (s): 0.0100098
#  lost CPU system time (s): 0

Real time (s): 955.049
CPU time (s): 1800.34
CPU user time (s): 1793.08
CPU system time (s): 7.2599
CPU usage (%): 188.508
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 7.2599
maximum resident set size= 4427676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32576
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27870
involuntary context switches= 26182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78412 second user time and 7.81181 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 04:45:19
IDJOB=4119381
IDBENCH=111716
IDSOLVER=2543
FILE ID=node141/4119381-1467254719
RUNJOBID= node141-1467246696-6245
PBS_JOBID= 20004482
Free space on /tmp= 71704 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_bern35-18.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119381-1467254719/watcher-4119381-1467254719 -o /tmp/evaluation-result-4119381-1467254719/solver-4119381-1467254719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6245 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119381-1467254719.opb

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

MD5SUM BENCH= 9269fbcc08c2d216b9ebcd8d0ff90bb2
RANDOM SEED=1551691604

node141.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.448
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	: 5332.89
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.448
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.448
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.448
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.448
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.448
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	: 5339.30
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.448
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.53
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.448
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27226256 kB
Buffers:          137160 kB
Cached:           723384 kB
SwapCached:            0 kB
Active:          3665432 kB
Inactive:         675312 kB
Active(anon):    3481280 kB
Inactive(anon):     1360 kB
Active(file):     184152 kB
Inactive(file):   673952 kB
Unevictable:      529292 kB
Mlocked:          480236 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               460 kB
Writeback:             0 kB
AnonPages:       3812012 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             609244 kB
SReclaimable:      53196 kB
SUnreclaim:       556048 kB
KernelStack:        1808 kB
PageTables:        11244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4592108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3160064 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= 71700 MiB
End job on node141 at 2016-06-30 05:01:14