Trace number 4118099

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)-18054 1800.07 967.726

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.opb
MD5SUM6ab956c2ae4d9f4d2728c8a679422c33
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-25180
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 25446
Biggest coefficient in the objective function 6510
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 2177172
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 6510
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 2177172
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)25396
Sum of products size (including duplicates)82976
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.01/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.01/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.15	c See www.sat4j.org for details.
0.01/0.15	c version PB16.v20160501
0.01/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.15	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.15	c java.vm.version	19.1-b02
0.01/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.15	c sun.arch.data.model	64
0.01/0.15	c java.version		1.6.0_24
0.01/0.15	c os.name		Linux
0.01/0.15	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.15	c os.arch		amd64
0.01/0.15	c Free memory 		501472288
0.01/0.15	c Max memory 		7480803328
0.01/0.15	c Total memory 		504102912
0.01/0.15	c Number of processors 	16
0.01/0.18	c Pseudo Boolean Optimization by upper bound
0.01/0.18	c ManyCore solver with 2 solvers running in parallel
0.01/0.18	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.01/0.18	c --- Begin Solver configuration ---
0.01/0.18	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38c5c3ac
0.01/0.18	c Learn all clauses as in MiniSAT
0.01/0.18	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.01/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.01/0.18	c Expensive reason simplification
0.01/0.18	c Glucose 2.1 dynamic restart strategy
0.01/0.18	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.01/0.18	c timeout=2147483s
0.01/0.18	c DB Simplification allowed=false
0.01/0.18	c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3
0.01/0.18	c --- End Solver configuration ---
0.01/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.01/0.18	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.01/0.18	c --- Begin Solver configuration ---
0.01/0.18	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2dcb25f1
0.01/0.18	c Learn all clauses as in MiniSAT
0.01/0.18	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.01/0.18	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.01/0.18	c No reason simplification
0.01/0.18	c Armin Biere (Picosat) restarts strategy
0.01/0.18	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.01/0.18	c timeout=2147483s
0.01/0.18	c DB Simplification allowed=false
0.01/0.18	c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3
0.01/0.18	c --- End Solver configuration ---
0.01/0.18	c solving HOME/instance-4118099-1467220953.opb
0.01/0.18	c reading problem ... 
0.01/0.19	c  objective function found
15.97/15.35	c ... done. Wall clock time 15.167s.
15.97/15.35	c declared #vars     50
15.97/15.35	c internal #vars     25446
15.97/15.35	c #constraints  50792
15.97/15.35	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
15.97/15.35	c constraints type 
15.97/15.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25396
15.97/15.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 25396
15.97/15.35	c 50792 constraints processed.
15.97/15.35	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
15.97/15.35	c constraints type 
15.97/15.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 25396
15.97/15.35	c org.sat4j.pb.constraints.pb.MaxWatchPb => 25396
15.97/15.35	c 50792 constraints processed.
15.97/15.35	c objective function length is 25446 literals
16.72/15.54	c And the winner is solver0
16.82/15.87	c SATISFIABLE
16.82/15.87	c OPTIMIZING...
16.82/15.87	c Got one! Elapsed wall clock time (in seconds):15.683
16.82/15.87	o 0
17.84/16.13	c And the winner is solver0
18.03/16.52	c Got one! Elapsed wall clock time (in seconds):16.334
18.03/16.52	o -333
18.28/16.66	c And the winner is solver0
18.52/17.07	c Got one! Elapsed wall clock time (in seconds):16.885
18.52/17.07	o -666
18.59/17.14	c And the winner is solver0
18.75/17.60	c Got one! Elapsed wall clock time (in seconds):17.419
18.75/17.60	o -1279
18.76/17.68	c And the winner is solver0
18.90/18.13	c Got one! Elapsed wall clock time (in seconds):17.951
18.90/18.13	o -1629
19.00/18.22	c And the winner is solver0
19.37/18.67	c Got one! Elapsed wall clock time (in seconds):18.484
19.37/18.67	o -1892
19.43/18.73	c And the winner is solver0
19.49/19.20	c Got one! Elapsed wall clock time (in seconds):19.017
19.49/19.20	o -2736
19.67/19.34	c And the winner is solver0
19.85/19.73	c Got one! Elapsed wall clock time (in seconds):19.55
19.85/19.73	o -2905
19.97/19.86	c And the winner is solver0
20.19/20.27	c Got one! Elapsed wall clock time (in seconds):20.084
20.19/20.27	o -3103
20.35/20.38	c And the winner is solver0
20.57/20.83	c Got one! Elapsed wall clock time (in seconds):20.651
20.57/20.83	o -3382
20.57/20.90	c And the winner is solver0
20.68/21.37	c Got one! Elapsed wall clock time (in seconds):21.185
20.68/21.37	o -3580
20.71/21.44	c And the winner is solver0
20.82/21.90	c Got one! Elapsed wall clock time (in seconds):21.719
20.82/21.90	o -4412
21.68/22.20	c And the winner is solver0
21.71/22.44	c Got one! Elapsed wall clock time (in seconds):22.253
21.71/22.44	o -4610
21.80/22.55	c And the winner is solver0
21.91/22.97	c Got one! Elapsed wall clock time (in seconds):22.788
21.91/22.97	o -4738
22.36/23.28	c And the winner is solver0
22.52/23.50	c Got one! Elapsed wall clock time (in seconds):23.322
22.52/23.50	o -4949
22.67/23.67	c And the winner is solver0
22.82/24.04	c Got one! Elapsed wall clock time (in seconds):23.857
22.82/24.04	o -4996
22.90/24.12	c And the winner is solver0
22.97/24.57	c Got one! Elapsed wall clock time (in seconds):24.391
22.97/24.57	o -5640
23.18/24.76	c And the winner is solver0
23.33/25.11	c Got one! Elapsed wall clock time (in seconds):24.925
23.33/25.11	o -6435
24.83/25.76	c And the winner is solver0
24.99/26.17	c Got one! Elapsed wall clock time (in seconds):25.99
24.99/26.17	o -6584
26.06/26.65	c And the winner is solver0
26.18/26.71	c Got one! Elapsed wall clock time (in seconds):26.525
26.18/26.71	o -6677
26.34/26.84	c And the winner is solver0
26.46/27.24	c Got one! Elapsed wall clock time (in seconds):27.059
26.46/27.25	o -6815
26.54/27.39	c And the winner is solver0
26.75/27.78	c Got one! Elapsed wall clock time (in seconds):27.593
26.75/27.78	o -7379
29.59/29.01	c And the winner is solver0
35.32/34.78	c Got one! Elapsed wall clock time (in seconds):34.594
35.32/34.78	o -7527
37.16/35.53	c And the winner is solver0
37.24/35.81	c Got one! Elapsed wall clock time (in seconds):35.628
37.24/35.81	o -7676
37.78/36.15	c And the winner is solver0
37.90/36.34	c Got one! Elapsed wall clock time (in seconds):36.161
37.90/36.34	o -7759
38.17/36.56	c And the winner is solver0
38.32/36.88	c Got one! Elapsed wall clock time (in seconds):36.693
38.32/36.88	o -7907
38.53/37.00	c And the winner is solver0
38.55/37.41	c Got one! Elapsed wall clock time (in seconds):37.23
38.55/37.41	o -7990
38.71/37.51	c And the winner is solver0
38.74/37.95	c Got one! Elapsed wall clock time (in seconds):37.766
38.74/37.95	o -9009
43.17/40.06	c And the winner is solver0
43.32/40.49	c Got one! Elapsed wall clock time (in seconds):40.303
43.32/40.49	o -9190
45.71/41.77	c And the winner is solver0
45.89/42.02	c Got one! Elapsed wall clock time (in seconds):41.837
45.89/42.02	o -9273
48.21/43.05	c And the winner is solver0
48.30/43.10	c Got one! Elapsed wall clock time (in seconds):42.921
48.30/43.10	o -9785
56.88/47.46	c And the winner is solver0
59.62/50.19	c Got one! Elapsed wall clock time (in seconds):50.009
59.62/50.19	o -9896
64.64/52.50	c And the winner is solver0
69.74/57.43	c Got one! Elapsed wall clock time (in seconds):57.251
69.74/57.43	o -10179
72.25/58.74	c And the winner is solver0
78.20/64.68	c Got one! Elapsed wall clock time (in seconds):64.495
78.20/64.68	o -10240
79.10/65.11	c And the winner is solver0
79.14/65.21	c Got one! Elapsed wall clock time (in seconds):65.029
79.14/65.21	o -10273
79.48/65.42	c And the winner is solver0
79.55/65.75	c Got one! Elapsed wall clock time (in seconds):65.564
79.55/65.75	o -10301
79.82/65.90	c And the winner is solver0
79.85/66.28	c Got one! Elapsed wall clock time (in seconds):66.098
79.85/66.28	o -10490
80.05/66.40	c And the winner is solver0
80.07/66.82	c Got one! Elapsed wall clock time (in seconds):66.633
80.07/66.82	o -10523
80.20/66.91	c And the winner is solver0
80.26/67.35	c Got one! Elapsed wall clock time (in seconds):67.167
80.26/67.35	o -10556
80.32/67.45	c And the winner is solver0
80.45/67.88	c Got one! Elapsed wall clock time (in seconds):67.702
80.45/67.88	o -11914
104.18/79.69	c And the winner is solver0
107.06/82.47	c Got one! Elapsed wall clock time (in seconds):82.292
107.06/82.47	o -11926
112.51/85.24	c And the winner is solver0
117.07/89.72	c Got one! Elapsed wall clock time (in seconds):89.533
117.07/89.72	o -12510
146.63/104.28	c And the winner is solver0
152.18/109.79	c Got one! Elapsed wall clock time (in seconds):109.61
152.18/109.79	o -13248
161.81/114.66	c cleaning 5422 clauses out of 10844 with flag 2026/10844
173.02/120.06	c And the winner is solver0
176.84/123.88	c Got one! Elapsed wall clock time (in seconds):123.702
176.84/123.88	o -13260
189.28/130.11	c And the winner is solver0
189.79/130.67	c Got one! Elapsed wall clock time (in seconds):130.489
189.79/130.67	o -13490
216.79/143.95	c cleaning 5329 clauses out of 10660 with flag 6003/16082
235.80/153.48	c And the winner is solver0
235.93/153.71	c Got one! Elapsed wall clock time (in seconds):153.529
235.93/153.71	o -13533
240.91/156.09	c And the winner is solver0
245.88/160.90	c Got one! Elapsed wall clock time (in seconds):160.721
245.88/160.90	o -13621
249.23/162.60	c And the winner is solver0
254.45/167.85	c Got one! Elapsed wall clock time (in seconds):167.67
254.45/167.85	o -13623
255.55/168.42	c And the winner is solver0
255.61/168.89	c Got one! Elapsed wall clock time (in seconds):168.704
255.61/168.89	o -13630
255.99/169.15	c And the winner is solver0
256.14/169.42	c Got one! Elapsed wall clock time (in seconds):169.239
256.14/169.42	o -13648
256.46/169.62	c And the winner is solver0
256.53/169.96	c Got one! Elapsed wall clock time (in seconds):169.773
256.53/169.96	o -13655
256.58/170.03	c And the winner is solver0
256.73/170.49	c Got one! Elapsed wall clock time (in seconds):170.307
256.73/170.49	o -13660
256.75/170.56	c And the winner is solver0
256.92/171.03	c Got one! Elapsed wall clock time (in seconds):170.844
256.92/171.03	o -13667
257.02/171.10	c And the winner is solver0
257.11/171.56	c Got one! Elapsed wall clock time (in seconds):171.38
257.11/171.56	o -14590
282.16/184.08	c And the winner is solver0
284.32/186.13	c Got one! Elapsed wall clock time (in seconds):185.943
284.32/186.13	o -14602
294.00/191.04	c cleaning 5917 clauses out of 11833 with flag 2007/22584
308.05/198.06	c And the winner is solver0
308.97/198.97	c Got one! Elapsed wall clock time (in seconds):198.782
308.97/198.97	o -14613
322.03/205.58	c And the winner is solver0
322.20/206.00	c Got one! Elapsed wall clock time (in seconds):205.819
322.20/206.00	o -14742
350.76/220.13	c cleaning 5721 clauses out of 11444 with flag 6005/28112
413.04/251.19	c cleaning 5860 clauses out of 11722 with flag 18003/34111
439.64/264.43	c And the winner is solver0
439.64/264.55	c Got one! Elapsed wall clock time (in seconds):264.364
439.64/264.55	o -14792
472.92/281.09	c cleaning 5555 clauses out of 11110 with flag 6002/39359
473.32/281.27	c And the winner is solver0
478.77/286.70	c Got one! Elapsed wall clock time (in seconds):286.516
478.77/286.70	o -14940
502.53/298.67	c And the winner is solver0
505.48/301.54	c Got one! Elapsed wall clock time (in seconds):301.359
505.48/301.54	o -14944
516.71/307.13	c And the winner is solver0
518.44/308.88	c Got one! Elapsed wall clock time (in seconds):308.698
518.44/308.88	o -14979
521.08/310.22	c And the winner is solver0
526.89/316.03	c Got one! Elapsed wall clock time (in seconds):315.847
526.89/316.03	o -14983
526.98/316.13	c And the winner is solver0
527.14/316.56	c Got one! Elapsed wall clock time (in seconds):316.382
527.14/316.56	o -14990
527.17/316.66	c And the winner is solver0
527.38/317.10	c Got one! Elapsed wall clock time (in seconds):316.916
527.38/317.10	o -15831
546.60/326.69	c cleaning 5621 clauses out of 11241 with flag 4005/45045
577.70/342.26	c And the winner is solver0
581.79/346.34	c Got one! Elapsed wall clock time (in seconds):346.155
581.79/346.34	o -15849
592.64/351.84	c And the winner is solver0
593.48/352.67	c Got one! Elapsed wall clock time (in seconds):352.492
593.48/352.67	o -15852
600.94/356.48	c And the winner is solver0
603.49/358.92	c Got one! Elapsed wall clock time (in seconds):358.734
603.49/358.92	o -15860
604.48/359.38	c And the winner is solver0
610.47/365.26	c Got one! Elapsed wall clock time (in seconds):365.082
610.47/365.26	o -15863
610.72/365.49	c And the winner is solver0
610.96/365.80	c Got one! Elapsed wall clock time (in seconds):365.618
610.96/365.80	o -15874
611.12/365.90	c And the winner is solver0
611.21/366.33	c Got one! Elapsed wall clock time (in seconds):366.152
611.21/366.33	o -17071
628.09/374.88	c cleaning 6302 clauses out of 12607 with flag 4003/52032
689.29/405.32	c cleaning 6150 clauses out of 12305 with flag 16003/58032
761.82/441.37	c cleaning 6577 clauses out of 13155 with flag 30003/65032
852.80/486.47	c cleaning 7287 clauses out of 14578 with flag 46003/73032
859.80/489.99	c And the winner is solver0
861.30/491.58	c Got one! Elapsed wall clock time (in seconds):491.401
861.30/491.58	o -17077
913.53/517.56	c cleaning 6497 clauses out of 12998 with flag 10220/78739
952.36/536.90	c And the winner is solver0
955.84/540.39	c Got one! Elapsed wall clock time (in seconds):540.207
955.84/540.39	o -17091
977.54/551.17	c cleaning 5968 clauses out of 11942 with flag 4146/84180
1008.72/566.65	c And the winner is solver0
1009.91/567.93	c Got one! Elapsed wall clock time (in seconds):567.751
1009.91/567.93	o -17092
1044.25/584.85	c cleaning 5775 clauses out of 11549 with flag 6282/89755
1052.86/589.00	c And the winner is solver0
1059.61/595.84	c Got one! Elapsed wall clock time (in seconds):595.658
1059.61/595.84	o -17094
1063.06/597.60	c And the winner is solver0
1067.98/602.54	c Got one! Elapsed wall clock time (in seconds):602.357
1067.98/602.54	o -17105
1069.25/603.20	c And the winner is solver0
1069.35/603.58	c Got one! Elapsed wall clock time (in seconds):603.393
1069.35/603.58	o -17945
1115.99/626.59	c cleaning 5989 clauses out of 11983 with flag 10005/95964
1176.08/656.02	c cleaning 5995 clauses out of 11992 with flag 22001/101962
1256.75/696.23	c cleaning 6498 clauses out of 12997 with flag 36001/108962
1350.77/743.23	c cleaning 7248 clauses out of 14499 with flag 52001/116962
1450.70/791.94	c cleaning 8121 clauses out of 16252 with flag 70003/125963
1452.50/792.85	c And the winner is solver0
1453.91/794.35	c Got one! Elapsed wall clock time (in seconds):794.168
1453.91/794.35	o -17968
1508.82/821.52	c cleaning 6662 clauses out of 13331 with flag 10004/131163
1579.43/856.46	c cleaning 6333 clauses out of 12668 with flag 22002/137162
1660.96/897.04	c cleaning 6667 clauses out of 13336 with flag 36004/144163
1702.43/917.37	c And the winner is solver0
1706.83/921.85	c Got one! Elapsed wall clock time (in seconds):921.668
1706.83/921.85	o -18054
1725.81/931.42	c cleaning 5956 clauses out of 11915 with flag 4003/149409
1794.47/964.96	c cleaning 5978 clauses out of 11960 with flag 16005/155410
1800.07/967.70	c >>>>>>>>>> Solver number 0 (78 answers) <<<<<<<<<<<<<<<<<<
1800.07/967.70	c starts		: 79
1800.07/967.70	c conflicts		: 155832
1800.07/967.70	c decisions		: 159372
1800.07/967.70	c propagations		: 245773767
1800.07/967.70	c inspects		: 866374485
1800.07/967.70	c shortcuts		: 0
1800.07/967.70	c learnt literals	: 0
1800.07/967.70	c learnt binary clauses	: 0
1800.07/967.70	c learnt ternary clauses	: 0
1800.07/967.70	c learnt constraints	: 155831
1800.07/967.70	c ignored constraints	: 0
1800.07/967.70	c root simplifications	: 0
1800.07/967.70	c removed literals (reason simplification)	: 471931850
1800.07/967.70	c reason swapping (by a shorter reason)	: 0
1800.07/967.70	c Calls to reduceDB	: 24
1800.07/967.70	c Number of update (reduction) of LBD	: 155
1800.07/967.70	c Imported unit clauses	: 0
1800.07/967.70	c number of reductions to clauses (during analyze)	: 0
1800.07/967.70	c number of learned constraints concerned by reduction	: 0
1800.07/967.70	c number of learning phase by resolution	: 0
1800.07/967.70	c number of learning phase by cutting planes	: 0
1800.07/967.70	c speed (assignments/second)	: 258087.37368592937
1800.07/967.70	c non guided choices	0
1800.07/967.71	c learnt constraints type 
1800.07/967.71	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 6403
1800.07/967.71	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/967.71	c starts		: 79
1800.07/967.71	c conflicts		: 141
1800.07/967.71	c decisions		: 3748
1800.07/967.71	c propagations		: 1977035
1800.07/967.71	c inspects		: 13430055
1800.07/967.71	c shortcuts		: 0
1800.07/967.71	c learnt literals	: 0
1800.07/967.71	c learnt binary clauses	: 0
1800.07/967.71	c learnt ternary clauses	: 0
1800.07/967.71	c learnt constraints	: 70
1800.07/967.71	c ignored constraints	: 0
1800.07/967.71	c root simplifications	: 0
1800.07/967.71	c removed literals (reason simplification)	: 0
1800.07/967.71	c reason swapping (by a shorter reason)	: 0
1800.07/967.71	c Calls to reduceDB	: 0
1800.07/967.71	c Number of update (reduction) of LBD	: 0
1800.07/967.71	c Imported unit clauses	: 0
1800.07/967.71	c number of reductions to clauses (during analyze)	: 0
1800.07/967.71	c number of learned constraints concerned by reduction	: 0
1800.07/967.71	c number of learning phase by resolution	: 0
1800.07/967.71	c number of learning phase by cutting planes	: 0
1800.07/967.71	c speed (assignments/second)	: 43152.570118956675
1800.07/967.71	c non guided choices	0
1800.07/967.71	c learnt constraints type 
1800.07/967.71	c org.sat4j.pb.constraints.pb.MaxWatchPb => 70
1800.07/967.71	s SATISFIABLE
1800.07/967.71	c Found 78 solution(s)
1800.07/967.71	v -x1 -x2 x3 x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 
1800.07/967.71	c objective function=-18054
1800.07/967.71	c Total wall clock time (in seconds): 967.525

Verifier Data 

OK	-18054

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-4118099-1467220953/watcher-4118099-1467220953 -o /tmp/evaluation-result-4118099-1467220953/solver-4118099-1467220953 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6737 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118099-1467220953.opb 

pid=11750
running on 8 cores: 0-3,8-11

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


[startup+0 s]
/proc/loadavg: 3.46 3.67 3.69 3/282 11753
/proc/meminfo: memFree=24883244/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=24328 CPUtime=0 cores=0-3,8-11
/proc/11753/stat : 11753 (runsolver) D 11750 11753 6721 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 3048156 24911872 151 33554432000 4194304 4338465 140735782693600 140735782691240 216808639671 0 0 4096 24578 18446744071579943789 0 0 17 9 0 0 0 0 0
/proc/11753/statm: 6082 151 105 36 0 2655 0

[startup+0.100094 s]
/proc/loadavg: 3.46 3.67 3.69 3/282 11753
/proc/meminfo: memFree=24883244/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=9431420 CPUtime=0.01 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 3050 0 1 0 1 0 0 0 20 0 17 0 3048156 9657774080 3671 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2357855 3671 1652 9 0 2348556 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9431420

[startup+0.200324 s]
/proc/loadavg: 3.46 3.67 3.69 3/282 11753
/proc/meminfo: memFree=24883244/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=9896436 CPUtime=0.14 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 4564 0 1 0 13 1 0 0 20 0 23 0 3048156 10133950464 6665 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2474109 6665 2169 9 0 2464786 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 9896436

[startup+0.300208 s]
/proc/loadavg: 3.46 3.67 3.69 3/282 11753
/proc/meminfo: memFree=24883244/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=9896436 CPUtime=0.3 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 4967 0 1 0 29 1 0 0 20 0 23 0 3048156 10133950464 7533 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2474109 7533 2227 9 0 2464786 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9896436

[startup+0.700279 s]
/proc/loadavg: 3.46 3.67 3.69 3/282 11753
/proc/meminfo: memFree=24883244/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=9896436 CPUtime=1 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 6569 0 1 0 99 1 0 0 20 0 23 0 3048156 10133950464 11688 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2474109 11688 2246 9 0 2464786 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 9896436

[startup+1.50095 s]
/proc/loadavg: 3.46 3.67 3.69 5/305 11776
/proc/meminfo: memFree=24830972/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=9896436 CPUtime=1.99 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 9196 0 1 0 197 2 0 0 20 0 23 0 3048156 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2474109 17216 2251 9 0 2464786 0
[pid=11753/tid=11755] ppid=11750 vsize=9896436 CPUtime=1.4 cores=0-3,8-11
/proc/11753/task/11755/stat : 11755 (java) R 11750 11753 6721 0 -1 4202560 2445 0 1 0 138 2 0 0 20 0 23 0 3048163 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140144019566288 140143860541332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11756/stat : 11756 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143981067176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11757] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11757/stat : 11757 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143980014632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11758] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11758/stat : 11758 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143978961576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11759] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11759/stat : 11759 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143860116264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11760] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11760/stat : 11760 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143859063208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11761] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11761/stat : 11761 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143858010664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11762] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11762/stat : 11762 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143856957608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11763] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11763/stat : 11763 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143855905064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11764] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11764/stat : 11764 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143854853032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11765] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11765/stat : 11765 (java) S 11750 11753 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143853800488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11766] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11766/stat : 11766 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143852747432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=11753/tid=11767] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11767/stat : 11767 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143851694888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11768] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11768/stat : 11768 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140143850641832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11753/tid=11769] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11769/stat : 11769 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048165 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140142960396776 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11770] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11770/stat : 11770 (java) S 11750 11753 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 3048166 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140142959342584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11771] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11771/stat : 11771 (java) S 11750 11753 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 3048166 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140142958289928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11772] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11772/stat : 11772 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048168 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140142957239184 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11773] ppid=11750 vsize=9896436 CPUtime=0.24 cores=0-3,8-11
/proc/11753/task/11773/stat : 11773 (java) S 11750 11753 6721 0 -1 4202560 3002 0 0 0 24 0 0 0 20 0 23 0 3048168 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140142956186552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11774] ppid=11750 vsize=9896436 CPUtime=0.31 cores=0-3,8-11
/proc/11753/task/11774/stat : 11774 (java) S 11750 11753 6721 0 -1 4202560 2469 0 0 0 31 0 0 0 20 0 23 0 3048168 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140142955133496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11775] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11775/stat : 11775 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048168 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140142954081144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11776] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11776/stat : 11776 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048168 10133950464 17216 33554432000 1073741824 1073778376 140736907214608 140142953028296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9896436

[startup+3.10092 s]
/proc/loadavg: 3.46 3.67 3.69 3/305 11776
/proc/meminfo: memFree=24811780/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=9896436 CPUtime=3.76 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 9596 0 1 0 374 2 0 0 20 0 23 0 3048156 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2474109 22880 2252 9 0 2464786 0
[pid=11753/tid=11755] ppid=11750 vsize=9896436 CPUtime=3 cores=0-3,8-11
/proc/11753/task/11755/stat : 11755 (java) R 11750 11753 6721 0 -1 4202560 2457 0 1 0 298 2 0 0 20 0 23 0 3048163 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140144019572856 140143860541579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11756/stat : 11756 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143981067176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11757] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11757/stat : 11757 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143980014632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11758] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11758/stat : 11758 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143978961576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11759] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11759/stat : 11759 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143860116264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11760] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11760/stat : 11760 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143859063208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11761] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11761/stat : 11761 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143858010664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11762] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11762/stat : 11762 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143856957608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11763] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11763/stat : 11763 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143855905064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11764] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11764/stat : 11764 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143854853032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11765] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11765/stat : 11765 (java) S 11750 11753 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143853800488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11766] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11766/stat : 11766 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143852747432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=11753/tid=11767] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11767/stat : 11767 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143851694888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11768] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11768/stat : 11768 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140143850641832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11753/tid=11769] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11769/stat : 11769 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048165 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140142960396776 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11770] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11770/stat : 11770 (java) S 11750 11753 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 3048166 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140142959342584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11771] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11771/stat : 11771 (java) S 11750 11753 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 3048166 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140142958289928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11772] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11772/stat : 11772 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048168 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140142957239184 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11773] ppid=11750 vsize=9896436 CPUtime=0.33 cores=0-3,8-11
/proc/11753/task/11773/stat : 11773 (java) S 11750 11753 6721 0 -1 4202560 3008 0 0 0 33 0 0 0 20 0 23 0 3048168 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140142956186552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11774] ppid=11750 vsize=9896436 CPUtime=0.4 cores=0-3,8-11
/proc/11753/task/11774/stat : 11774 (java) S 11750 11753 6721 0 -1 4202560 2851 0 0 0 40 0 0 0 20 0 23 0 3048168 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140142955133496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11775] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11775/stat : 11775 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048168 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140142954081144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11776] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11776/stat : 11776 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048168 10133950464 22880 33554432000 1073741824 1073778376 140736907214608 140142953028296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9896436

[startup+6.30095 s]
/proc/loadavg: 3.43 3.66 3.69 4/307 11779
/proc/meminfo: memFree=24783724/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=9896436 CPUtime=6.97 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 9609 0 1 0 694 3 0 0 20 0 23 0 3048156 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2474109 27770 2253 9 0 2464786 0
[pid=11753/tid=11755] ppid=11750 vsize=9896436 CPUtime=6.19 cores=0-3,8-11
/proc/11753/task/11755/stat : 11755 (java) R 11750 11753 6721 0 -1 4202560 2469 0 1 0 617 2 0 0 20 0 23 0 3048163 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140144019566336 140143860541598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11756/stat : 11756 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143981067176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11757] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11757/stat : 11757 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143980014632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11758] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11758/stat : 11758 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143978961576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11759] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11759/stat : 11759 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143860116264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11760] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11760/stat : 11760 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143859063208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11761] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11761/stat : 11761 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143858010664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11762] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11762/stat : 11762 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143856957608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11763] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11763/stat : 11763 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143855905064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11764] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11764/stat : 11764 (java) S 11750 11753 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143854853032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11765] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11765/stat : 11765 (java) S 11750 11753 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 23 0 3048164 10133950464 27770 33554432000 1073741824 1073778376 140736907214608 140143853800488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11766] ppid=11750 vsize=9896436 CPUtime=0 cores=0-3,8-11

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

[pid=11753/tid=12349] ppid=11750 vsize=10162692 CPUtime=20.24 cores=0-3,8-11
/proc/11753/task/12349/stat : 12349 (java) R 11750 11753 6721 0 -1 4202560 12 0 0 0 2024 0 0 0 20 0 27 0 3140345 10406596608 623614 33554432000 1073741824 1073778376 140736907214608 140142951972040 140143861291600 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=12350] ppid=11750 vsize=10162692 CPUtime=20.24 cores=0-3,8-11
/proc/11753/task/12350/stat : 12350 (java) R 11750 11753 6721 0 -1 4202560 9 0 0 0 2024 0 0 0 20 0 27 0 3140345 10406596608 623614 33554432000 1073741824 1073778376 140736907214608 140142950920008 140143861209687 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=12351] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/12351/stat : 12351 (java) S 11750 11753 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3140345 10406596608 623614 33554432000 1073741824 1073778376 140736907214608 140142949868840 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1746.71
Current children cumulated vsize (KiB) 10162692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+967.701 s]
/proc/loadavg: 3.72 3.67 3.64 5/311 12364
/proc/meminfo: memFree=22291996/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=10162692 CPUtime=1798.6 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 36443 0 1 0 178684 1176 0 0 20 0 27 0 3048156 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2540673 669732 2303 9 0 2531350 0
[pid=11753/tid=11755] ppid=11750 vsize=10162692 CPUtime=18.03 cores=0-3,8-11
/proc/11753/task/11755/stat : 11755 (java) S 11750 11753 6721 0 -1 4202560 2550 0 1 0 1797 6 0 0 20 0 27 0 3048163 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140144019575672 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=10162692 CPUtime=2.43 cores=0-3,8-11
/proc/11753/task/11756/stat : 11756 (java) S 11750 11753 6721 0 -1 4202560 1221 0 0 0 171 72 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143981067176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11753/tid=11757] ppid=11750 vsize=10162692 CPUtime=2.57 cores=0-3,8-11
/proc/11753/task/11757/stat : 11757 (java) S 11750 11753 6721 0 -1 4202560 1468 0 0 0 188 69 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143980014632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11758] ppid=11750 vsize=10162692 CPUtime=2.72 cores=0-3,8-11
/proc/11753/task/11758/stat : 11758 (java) S 11750 11753 6721 0 -1 4202560 1094 0 0 0 195 77 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143978961576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11759] ppid=11750 vsize=10162692 CPUtime=2.75 cores=0-3,8-11
/proc/11753/task/11759/stat : 11759 (java) S 11750 11753 6721 0 -1 4202560 1636 0 0 0 196 79 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143860116264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11753/tid=11760] ppid=11750 vsize=10162692 CPUtime=2.64 cores=0-3,8-11
/proc/11753/task/11760/stat : 11760 (java) S 11750 11753 6721 0 -1 4202560 1726 0 0 0 188 76 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143859063208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11761] ppid=11750 vsize=10162692 CPUtime=2.43 cores=0-3,8-11
/proc/11753/task/11761/stat : 11761 (java) S 11750 11753 6721 0 -1 4202560 1143 0 0 0 180 63 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143858010664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11762] ppid=11750 vsize=10162692 CPUtime=2.7 cores=0-3,8-11
/proc/11753/task/11762/stat : 11762 (java) S 11750 11753 6721 0 -1 4202560 1767 0 0 0 201 69 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143856957608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11763] ppid=11750 vsize=10162692 CPUtime=2.73 cores=0-3,8-11
/proc/11753/task/11763/stat : 11763 (java) S 11750 11753 6721 0 -1 4202560 1168 0 0 0 189 84 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143855905064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11764] ppid=11750 vsize=10162692 CPUtime=2.79 cores=0-3,8-11
/proc/11753/task/11764/stat : 11764 (java) S 11750 11753 6721 0 -1 4202560 1124 0 0 0 192 87 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143854853032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11765] ppid=11750 vsize=10162692 CPUtime=2.18 cores=0-3,8-11
/proc/11753/task/11765/stat : 11765 (java) S 11750 11753 6721 0 -1 4202560 1369 0 0 0 159 59 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143853800488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11766] ppid=11750 vsize=10162692 CPUtime=2.49 cores=0-3,8-11
/proc/11753/task/11766/stat : 11766 (java) S 11750 11753 6721 0 -1 4202560 1185 0 0 0 169 80 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143852747432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=11753/tid=11767] ppid=11750 vsize=10162692 CPUtime=2.76 cores=0-3,8-11
/proc/11753/task/11767/stat : 11767 (java) S 11750 11753 6721 0 -1 4202560 1308 0 0 0 201 75 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143851694888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11768] ppid=11750 vsize=10162692 CPUtime=2.25 cores=0-3,8-11
/proc/11753/task/11768/stat : 11768 (java) S 11750 11753 6721 0 -1 4202560 923 0 0 0 161 64 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143850641832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=11753/tid=11769] ppid=11750 vsize=10162692 CPUtime=4.47 cores=0-3,8-11
/proc/11753/task/11769/stat : 11769 (java) S 11750 11753 6721 0 -1 4202560 2820 0 0 0 443 4 0 0 20 0 27 0 3048165 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142960396776 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11770] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11770/stat : 11770 (java) S 11750 11753 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3048166 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142959342584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11771] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11771/stat : 11771 (java) S 11750 11753 6721 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 27 0 3048166 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142958289928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11772] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11772/stat : 11772 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142957239184 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11773] ppid=11750 vsize=10162692 CPUtime=1.37 cores=0-3,8-11
/proc/11753/task/11773/stat : 11773 (java) S 11750 11753 6721 0 -1 4202560 4042 0 0 0 137 0 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142956186552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11774] ppid=11750 vsize=10162692 CPUtime=1.47 cores=0-3,8-11
/proc/11753/task/11774/stat : 11774 (java) S 11750 11753 6721 0 -1 4202560 6341 0 0 0 145 2 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142955133496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11775] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11775/stat : 11775 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142954081144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11776] ppid=11750 vsize=10162692 CPUtime=0.29 cores=0-3,8-11
/proc/11753/task/11776/stat : 11776 (java) S 11750 11753 6721 0 -1 4202560 56 0 0 0 16 13 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142953028296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11753/tid=11783] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11783/stat : 11783 (java) S 11750 11753 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 3049698 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142948816424 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=12349] ppid=11750 vsize=10162692 CPUtime=45.4 cores=0-3,8-11
/proc/11753/task/12349/stat : 12349 (java) R 11750 11753 6721 0 -1 4202560 12 0 0 0 4540 0 0 0 20 0 27 0 3140345 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142951965072 140143861291616 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=12350] ppid=11750 vsize=10162692 CPUtime=45.39 cores=0-3,8-11
/proc/11753/task/12350/stat : 12350 (java) R 11750 11753 6721 0 -1 4202560 12 0 0 0 4539 0 0 0 20 0 27 0 3140345 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142950919888 140143861464203 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=12351] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/12351/stat : 12351 (java) S 11750 11753 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3140345 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142949868840 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 10162692

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

[startup+967.701 s]
/proc/loadavg: 3.72 3.67 3.64 5/311 12364
/proc/meminfo: memFree=22291996/32872528 swapFree=8828/8828
[pid=11753] ppid=11750 vsize=10162692 CPUtime=1798.6 cores=0-3,8-11
/proc/11753/stat : 11753 (java) S 11750 11753 6721 0 -1 4202496 36443 0 1 0 178684 1176 0 0 20 0 27 0 3048156 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140736907205744 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0
/proc/11753/statm: 2540673 669732 2303 9 0 2531350 0
[pid=11753/tid=11755] ppid=11750 vsize=10162692 CPUtime=18.03 cores=0-3,8-11
/proc/11753/task/11755/stat : 11755 (java) S 11750 11753 6721 0 -1 4202560 2550 0 1 0 1797 6 0 0 20 0 27 0 3048163 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140144019575672 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=10162692 CPUtime=2.43 cores=0-3,8-11
/proc/11753/task/11756/stat : 11756 (java) S 11750 11753 6721 0 -1 4202560 1221 0 0 0 171 72 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143981067176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11753/tid=11757] ppid=11750 vsize=10162692 CPUtime=2.57 cores=0-3,8-11
/proc/11753/task/11757/stat : 11757 (java) S 11750 11753 6721 0 -1 4202560 1468 0 0 0 188 69 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143980014632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11758] ppid=11750 vsize=10162692 CPUtime=2.72 cores=0-3,8-11
/proc/11753/task/11758/stat : 11758 (java) S 11750 11753 6721 0 -1 4202560 1094 0 0 0 195 77 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143978961576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11759] ppid=11750 vsize=10162692 CPUtime=2.75 cores=0-3,8-11
/proc/11753/task/11759/stat : 11759 (java) S 11750 11753 6721 0 -1 4202560 1636 0 0 0 196 79 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143860116264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11753/tid=11760] ppid=11750 vsize=10162692 CPUtime=2.64 cores=0-3,8-11
/proc/11753/task/11760/stat : 11760 (java) S 11750 11753 6721 0 -1 4202560 1726 0 0 0 188 76 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143859063208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11761] ppid=11750 vsize=10162692 CPUtime=2.43 cores=0-3,8-11
/proc/11753/task/11761/stat : 11761 (java) S 11750 11753 6721 0 -1 4202560 1143 0 0 0 180 63 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143858010664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11762] ppid=11750 vsize=10162692 CPUtime=2.7 cores=0-3,8-11
/proc/11753/task/11762/stat : 11762 (java) S 11750 11753 6721 0 -1 4202560 1767 0 0 0 201 69 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143856957608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11763] ppid=11750 vsize=10162692 CPUtime=2.73 cores=0-3,8-11
/proc/11753/task/11763/stat : 11763 (java) S 11750 11753 6721 0 -1 4202560 1168 0 0 0 189 84 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143855905064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11764] ppid=11750 vsize=10162692 CPUtime=2.79 cores=0-3,8-11
/proc/11753/task/11764/stat : 11764 (java) S 11750 11753 6721 0 -1 4202560 1124 0 0 0 192 87 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143854853032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11765] ppid=11750 vsize=10162692 CPUtime=2.18 cores=0-3,8-11
/proc/11753/task/11765/stat : 11765 (java) S 11750 11753 6721 0 -1 4202560 1369 0 0 0 159 59 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143853800488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11766] ppid=11750 vsize=10162692 CPUtime=2.49 cores=0-3,8-11
/proc/11753/task/11766/stat : 11766 (java) S 11750 11753 6721 0 -1 4202560 1185 0 0 0 169 80 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143852747432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=11753/tid=11767] ppid=11750 vsize=10162692 CPUtime=2.76 cores=0-3,8-11
/proc/11753/task/11767/stat : 11767 (java) S 11750 11753 6721 0 -1 4202560 1308 0 0 0 201 75 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143851694888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11768] ppid=11750 vsize=10162692 CPUtime=2.25 cores=0-3,8-11
/proc/11753/task/11768/stat : 11768 (java) S 11750 11753 6721 0 -1 4202560 923 0 0 0 161 64 0 0 20 0 27 0 3048164 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140143850641832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=11753/tid=11769] ppid=11750 vsize=10162692 CPUtime=4.47 cores=0-3,8-11
/proc/11753/task/11769/stat : 11769 (java) S 11750 11753 6721 0 -1 4202560 2820 0 0 0 443 4 0 0 20 0 27 0 3048165 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142960396776 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11753/tid=11770] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11770/stat : 11770 (java) S 11750 11753 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3048166 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142959342584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11771] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11771/stat : 11771 (java) S 11750 11753 6721 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 27 0 3048166 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142958289928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=11772] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11772/stat : 11772 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142957239184 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=11753/tid=11773] ppid=11750 vsize=10162692 CPUtime=1.37 cores=0-3,8-11
/proc/11753/task/11773/stat : 11773 (java) S 11750 11753 6721 0 -1 4202560 4042 0 0 0 137 0 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142956186552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11753/tid=11774] ppid=11750 vsize=10162692 CPUtime=1.47 cores=0-3,8-11
/proc/11753/task/11774/stat : 11774 (java) S 11750 11753 6721 0 -1 4202560 6341 0 0 0 145 2 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142955133496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11775] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11775/stat : 11775 (java) S 11750 11753 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142954081144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=11776] ppid=11750 vsize=10162692 CPUtime=0.29 cores=0-3,8-11
/proc/11753/task/11776/stat : 11776 (java) S 11750 11753 6721 0 -1 4202560 56 0 0 0 16 13 0 0 20 0 27 0 3048168 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142953028296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11753/tid=11783] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/11783/stat : 11783 (java) S 11750 11753 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 3049698 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142948816424 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=12349] ppid=11750 vsize=10162692 CPUtime=45.4 cores=0-3,8-11
/proc/11753/task/12349/stat : 12349 (java) R 11750 11753 6721 0 -1 4202560 12 0 0 0 4540 0 0 0 20 0 27 0 3140345 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142951965072 140143861291616 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0
[pid=11753/tid=12350] ppid=11750 vsize=10162692 CPUtime=45.39 cores=0-3,8-11
/proc/11753/task/12350/stat : 12350 (java) R 11750 11753 6721 0 -1 4202560 12 0 0 0 4539 0 0 0 20 0 27 0 3140345 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142950919888 140143861464203 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=11753/tid=12351] ppid=11750 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/11753/task/12351/stat : 12351 (java) S 11750 11753 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3140345 10406596608 669732 33554432000 1073741824 1073778376 140736907214608 140142949868840 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 10162692

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11753 and gives
#  childrusage.ru_utime.tv_sec=1786
#  childrusage.ru_utime.tv_usec=499410
#  childrusage.ru_stime.tv_sec=11
#  childrusage.ru_stime.tv_usec=930186
# CPU time returned by wait4() is 1798.43
# while last known CPU time is 1798.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 967.726
CPU time (s): 1800.07
CPU user time (s): 1788.47
CPU system time (s): 11.6
CPU usage (%): 186.01
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.5
system time used= 11.9302
maximum resident set size= 3281408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36477
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30687
involuntary context switches= 16626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.24375 second user time and 10.3054 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-29 19:22:34
IDJOB=4118099
IDBENCH=111450
IDSOLVER=2543
FILE ID=node132/4118099-1467220953
RUNJOBID= node132-1467209088-6737
PBS_JOBID= 19997577
Free space on /tmp= 71536 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118099-1467220953/watcher-4118099-1467220953 -o /tmp/evaluation-result-4118099-1467220953/solver-4118099-1467220953 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6737 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118099-1467220953.opb

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

MD5SUM BENCH= 6ab956c2ae4d9f4d2728c8a679422c33
RANDOM SEED=1764354329

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        24883632 kB
Buffers:          102844 kB
Cached:          3842320 kB
SwapCached:            0 kB
Active:          3351508 kB
Inactive:        3844508 kB
Active(anon):    3253132 kB
Inactive(anon):      168 kB
Active(file):      98376 kB
Inactive(file):  3844340 kB
Unevictable:        8828 kB
Mlocked:            8828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1084 kB
Writeback:             0 kB
AnonPages:       3269564 kB
Mapped:            22308 kB
Shmem:               216 kB
Slab:             630972 kB
SReclaimable:      71872 kB
SUnreclaim:       559100 kB
KernelStack:        2600 kB
PageTables:        11016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3552500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3198976 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= 71536 MiB
End job on node132 at 2016-06-29 19:38:41