Trace number 4118059

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)-45635 1800.37 1009.33

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-41.opb
MD5SUM1829fd9dd9ff0bce901a022db20a6d74
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-82163
Best CPU time to get the best result obtained on this benchmark1800.08
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 33318
Biggest coefficient in the objective function 17543
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 6339040
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 17543
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 6339040
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)33263
Sum of products size (including duplicates)108859
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118059-1467219299.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
33.98/33.03	c ... done. Wall clock time 32.91s.
33.98/33.03	c declared #vars     55
33.98/33.03	c internal #vars     33318
33.98/33.03	c #constraints  66526
33.98/33.03	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
33.98/33.03	c constraints type 
33.98/33.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33263
33.98/33.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33263
33.98/33.03	c 66526 constraints processed.
33.98/33.03	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
33.98/33.03	c constraints type 
33.98/33.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 33263
33.98/33.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 33263
33.98/33.03	c 66526 constraints processed.
33.98/33.03	c objective function length is 33318 literals
34.61/33.22	c And the winner is solver0
34.68/33.54	c SATISFIABLE
34.68/33.54	c OPTIMIZING...
34.68/33.54	c Got one! Elapsed wall clock time (in seconds):33.426
34.68/33.54	o 0
35.11/33.75	c And the winner is solver0
35.46/34.12	c Got one! Elapsed wall clock time (in seconds):34.002
35.46/34.12	o -780
35.64/34.29	c And the winner is solver0
36.00/34.68	c Got one! Elapsed wall clock time (in seconds):34.565
36.00/34.68	o -1560
36.32/34.83	c And the winner is solver0
36.48/35.23	c Got one! Elapsed wall clock time (in seconds):35.11
36.48/35.23	o -3005
36.59/35.32	c And the winner is solver0
36.66/35.77	c Got one! Elapsed wall clock time (in seconds):35.654
36.66/35.77	o -3822
36.68/35.89	c And the winner is solver0
36.92/36.32	c Got one! Elapsed wall clock time (in seconds):36.197
36.92/36.32	o -4450
36.92/36.39	c And the winner is solver0
37.05/36.86	c Got one! Elapsed wall clock time (in seconds):36.74
37.05/36.86	o -6453
37.37/37.09	c And the winner is solver0
37.69/37.45	c Got one! Elapsed wall clock time (in seconds):37.33
37.69/37.45	o -6821
38.01/37.63	c And the winner is solver0
38.13/37.99	c Got one! Elapsed wall clock time (in seconds):37.874
38.13/37.99	o -7307
38.40/38.15	c And the winner is solver0
38.53/38.59	c Got one! Elapsed wall clock time (in seconds):38.472
38.53/38.59	o -7970
38.55/38.67	c And the winner is solver0
38.69/39.13	c Got one! Elapsed wall clock time (in seconds):39.015
38.69/39.13	o -8456
38.77/39.23	c And the winner is solver0
38.86/39.68	c Got one! Elapsed wall clock time (in seconds):39.557
38.86/39.68	o -10432
39.51/40.03	c And the winner is solver0
39.60/40.22	c Got one! Elapsed wall clock time (in seconds):40.101
39.60/40.22	o -10918
39.70/40.38	c And the winner is solver0
39.88/40.76	c Got one! Elapsed wall clock time (in seconds):40.646
39.88/40.76	o -11144
40.70/41.20	c And the winner is solver0
40.96/41.31	c Got one! Elapsed wall clock time (in seconds):41.192
40.96/41.31	o -11659
41.09/41.49	c And the winner is solver0
41.30/41.86	c Got one! Elapsed wall clock time (in seconds):41.736
41.30/41.86	o -11813
41.54/42.01	c And the winner is solver0
41.59/42.40	c Got one! Elapsed wall clock time (in seconds):42.279
41.59/42.40	o -12013
41.75/42.57	c And the winner is solver0
41.91/42.94	c Got one! Elapsed wall clock time (in seconds):42.822
41.91/42.94	o -12511
41.99/43.05	c And the winner is solver0
42.10/43.48	c Got one! Elapsed wall clock time (in seconds):43.365
42.10/43.48	o -13380
42.28/43.60	c And the winner is solver0
42.31/44.03	c Got one! Elapsed wall clock time (in seconds):43.909
42.31/44.03	o -16210
46.16/45.88	c And the winner is solver0
46.35/46.07	c Got one! Elapsed wall clock time (in seconds):45.952
46.35/46.07	o -16377
49.89/47.86	c And the winner is solver0
59.35/57.13	c Got one! Elapsed wall clock time (in seconds):57.014
59.35/57.13	o -16541
60.43/57.61	c And the winner is solver0
60.43/57.68	c Got one! Elapsed wall clock time (in seconds):57.56
60.43/57.68	o -17150
61.68/58.33	c And the winner is solver0
61.76/58.72	c Got one! Elapsed wall clock time (in seconds):58.603
61.76/58.72	o -17274
62.26/59.09	c And the winner is solver0
62.47/59.26	c Got one! Elapsed wall clock time (in seconds):59.146
62.47/59.26	o -17883
62.71/59.48	c And the winner is solver0
62.89/59.81	c Got one! Elapsed wall clock time (in seconds):59.689
62.89/59.81	o -19040
63.22/60.04	c And the winner is solver0
63.33/60.35	c Got one! Elapsed wall clock time (in seconds):60.233
63.33/60.35	o -21170
69.31/63.31	c And the winner is solver0
69.31/63.40	c Got one! Elapsed wall clock time (in seconds):63.277
69.31/63.40	o -21546
74.64/66.08	c And the winner is solver0
74.83/66.44	c Got one! Elapsed wall clock time (in seconds):66.322
74.83/66.44	o -21554
75.52/66.82	c And the winner is solver0
75.59/66.98	c Got one! Elapsed wall clock time (in seconds):66.866
75.59/66.98	o -21803
75.80/67.20	c And the winner is solver0
76.01/67.53	c Got one! Elapsed wall clock time (in seconds):67.41
76.01/67.53	o -22035
76.10/67.66	c And the winner is solver0
76.25/68.07	c Got one! Elapsed wall clock time (in seconds):67.954
76.25/68.07	o -22155
76.49/68.22	c And the winner is solver0
76.56/68.62	c Got one! Elapsed wall clock time (in seconds):68.497
76.56/68.62	o -25270
100.84/80.79	c And the winner is solver0
101.05/81.16	c Got one! Elapsed wall clock time (in seconds):81.045
101.05/81.16	o -26100
117.17/89.26	c And the winner is solver0
123.03/95.07	c Got one! Elapsed wall clock time (in seconds):94.955
123.03/95.07	o -26192
127.35/97.32	c And the winner is solver0
127.42/97.62	c Got one! Elapsed wall clock time (in seconds):97.502
127.42/97.62	o -26312
130.34/99.17	c And the winner is solver0
130.49/99.67	c Got one! Elapsed wall clock time (in seconds):99.546
130.49/99.67	o -26826
142.54/105.77	c And the winner is solver0
147.70/110.87	c Got one! Elapsed wall clock time (in seconds):110.755
147.70/110.87	o -27372
154.03/114.04	c And the winner is solver0
161.68/121.64	c Got one! Elapsed wall clock time (in seconds):121.519
161.68/121.64	o -28208
165.96/123.84	c And the winner is solver0
174.79/132.61	c Got one! Elapsed wall clock time (in seconds):132.488
174.79/132.61	o -28284
177.00/133.79	c And the winner is solver0
177.22/134.17	c Got one! Elapsed wall clock time (in seconds):134.053
177.22/134.17	o -28475
177.63/134.45	c And the winner is solver0
177.76/134.71	c Got one! Elapsed wall clock time (in seconds):134.596
177.76/134.71	o -28595
178.09/134.93	c And the winner is solver0
178.18/135.26	c Got one! Elapsed wall clock time (in seconds):135.139
178.18/135.26	o -31753
223.73/158.00	c cleaning 5033 clauses out of 10068 with flag 6001/10068
224.54/158.49	c And the winner is solver0
224.76/158.81	c Got one! Elapsed wall clock time (in seconds):158.686
224.76/158.81	o -31884
246.02/169.49	c And the winner is solver0
246.88/170.20	c Got one! Elapsed wall clock time (in seconds):170.083
246.88/170.20	o -31902
258.44/176.06	c And the winner is solver0
263.50/181.06	c Got one! Elapsed wall clock time (in seconds):180.943
263.50/181.06	o -31920
268.39/183.61	c And the winner is solver0
277.01/192.28	c Got one! Elapsed wall clock time (in seconds):192.159
277.01/192.28	o -32446
331.89/219.73	c cleaning 5800 clauses out of 11601 with flag 8003/16634
362.17/234.84	c And the winner is solver0
363.32/235.96	c Got one! Elapsed wall clock time (in seconds):235.844
363.32/235.96	o -32828
386.80/247.74	c And the winner is solver0
394.25/255.12	c Got one! Elapsed wall clock time (in seconds):255.002
394.25/255.12	o -32842
408.18/262.14	c And the winner is solver0
410.13/264.07	c Got one! Elapsed wall clock time (in seconds):263.95
410.13/264.07	o -32870
416.59/267.33	c And the winner is solver0
422.22/272.97	c Got one! Elapsed wall clock time (in seconds):272.853
422.22/272.97	o -33019
426.50/275.13	c And the winner is solver0
433.22/281.88	c Got one! Elapsed wall clock time (in seconds):281.758
433.22/281.88	o -34318
461.98/296.48	c And the winner is solver0
467.17/301.58	c Got one! Elapsed wall clock time (in seconds):301.456
467.17/301.58	o -34583
480.03/308.09	c And the winner is solver0
482.62/310.52	c Got one! Elapsed wall clock time (in seconds):310.406
482.62/310.52	o -34628
490.74/314.66	c And the winner is solver0
495.60/319.48	c Got one! Elapsed wall clock time (in seconds):319.36
495.60/319.48	o -35151
499.25/321.34	c And the winner is solver0
506.39/328.43	c Got one! Elapsed wall clock time (in seconds):328.314
506.39/328.43	o -35388
508.27/329.42	c And the winner is solver0
516.21/337.39	c Got one! Elapsed wall clock time (in seconds):337.271
516.21/337.39	o -35421
517.43/338.05	c And the winner is solver0
525.80/346.35	c Got one! Elapsed wall clock time (in seconds):346.228
525.80/346.35	o -35462
526.08/346.54	c And the winner is solver0
526.19/346.89	c Got one! Elapsed wall clock time (in seconds):346.771
526.19/346.89	o -38810
553.06/360.55	c cleaning 8331 clauses out of 16662 with flag 4001/27495
642.60/405.26	c cleaning 7163 clauses out of 14332 with flag 16003/33496
730.63/449.17	c And the winner is solver0
733.32/451.76	c Got one! Elapsed wall clock time (in seconds):451.639
733.32/451.76	o -38852
796.20/483.11	c And the winner is solver0
796.29/483.31	c Got one! Elapsed wall clock time (in seconds):483.19
796.29/483.31	o -38903
812.02/491.26	c cleaning 9021 clauses out of 18044 with flag 2048/44371
814.61/492.55	c And the winner is solver0
814.83/492.85	c Got one! Elapsed wall clock time (in seconds):492.736
814.83/492.85	o -38926
827.24/499.27	c And the winner is solver0
830.71/502.69	c Got one! Elapsed wall clock time (in seconds):502.573
830.71/502.69	o -39063
897.64/536.12	c cleaning 7465 clauses out of 14932 with flag 10003/50280
1002.91/588.63	c cleaning 6729 clauses out of 13466 with flag 22001/56279
1053.79/613.91	c And the winner is solver0
1056.29/616.50	c Got one! Elapsed wall clock time (in seconds):616.378
1056.29/616.50	o -39093
1099.34/637.98	c cleaning 6268 clauses out of 12540 with flag 6131/62082
1159.81/668.02	c And the winner is solver0
1159.93/668.10	c Got one! Elapsed wall clock time (in seconds):667.986
1159.93/668.10	o -39105
1187.26/681.82	c And the winner is solver0
1192.49/687.06	c Got one! Elapsed wall clock time (in seconds):686.941
1192.49/687.06	o -40028
1206.37/694.03	c cleaning 6281 clauses out of 12567 with flag 2002/68377
1306.16/743.96	c cleaning 6143 clauses out of 12287 with flag 14004/74378
1394.74/788.12	c And the winner is solver0
1396.50/789.84	c Got one! Elapsed wall clock time (in seconds):789.718
1396.50/789.84	o -40187
1411.59/797.50	c cleaning 5997 clauses out of 11999 with flag 2022/80233
1512.31/847.94	c And the winner is solver0
1518.15/853.71	c Got one! Elapsed wall clock time (in seconds):853.595
1518.15/853.71	o -41319
1580.78/885.01	c And the winner is solver0
1584.39/888.63	c Got one! Elapsed wall clock time (in seconds):888.508
1584.39/888.63	o -41804
1618.53/905.79	c cleaning 8516 clauses out of 17035 with flag 4005/91266
1620.53/906.80	c And the winner is solver0
1621.29/907.33	c Got one! Elapsed wall clock time (in seconds):907.212
1621.29/907.33	o -42155
1636.79/915.13	c And the winner is solver0
1638.32/916.68	c Got one! Elapsed wall clock time (in seconds):916.562
1638.32/916.68	o -42175
1646.19/920.61	c And the winner is solver0
1651.60/926.04	c Got one! Elapsed wall clock time (in seconds):925.926
1651.60/926.04	o -42329
1653.88/927.21	c And the winner is solver0
1662.08/935.41	c Got one! Elapsed wall clock time (in seconds):935.296
1662.08/935.41	o -42402
1664.80/936.80	c And the winner is solver0
1672.70/944.79	c Got one! Elapsed wall clock time (in seconds):944.667
1672.70/944.79	o -42413
1673.72/945.36	c And the winner is solver0
1673.94/945.83	c Got one! Elapsed wall clock time (in seconds):945.714
1673.94/945.83	o -42425
1674.24/946.04	c And the winner is solver0
1674.42/946.38	c Got one! Elapsed wall clock time (in seconds):946.262
1674.42/946.38	o -45635
1730.29/974.60	c cleaning 7271 clauses out of 14545 with flag 8001/97292
1800.06/1009.30	c >>>>>>>>>> Solver number 0 (76 answers) <<<<<<<<<<<<<<<<<<
1800.06/1009.30	c starts		: 77
1800.06/1009.30	c conflicts		: 101563
1800.06/1009.30	c decisions		: 105495
1800.06/1009.30	c propagations		: 191720373
1800.06/1009.30	c inspects		: 658992284
1800.06/1009.30	c shortcuts		: 0
1800.06/1009.30	c learnt literals	: 0
1800.06/1009.30	c learnt binary clauses	: 0
1800.06/1009.30	c learnt ternary clauses	: 0
1800.06/1009.30	c learnt constraints	: 101562
1800.06/1009.30	c ignored constraints	: 0
1800.06/1009.30	c root simplifications	: 0
1800.06/1009.30	c removed literals (reason simplification)	: 426044034
1800.06/1009.30	c reason swapping (by a shorter reason)	: 0
1800.06/1009.30	c Calls to reduceDB	: 13
1800.06/1009.30	c Number of update (reduction) of LBD	: 230
1800.06/1009.30	c Imported unit clauses	: 0
1800.06/1009.30	c number of reductions to clauses (during analyze)	: 0
1800.06/1009.30	c number of learned constraints concerned by reduction	: 0
1800.06/1009.30	c number of learning phase by resolution	: 0
1800.06/1009.30	c number of learning phase by cutting planes	: 0
1800.06/1009.30	c speed (assignments/second)	: 196392.9541655057
1800.06/1009.30	c non guided choices	0
1800.06/1009.31	c learnt constraints type 
1800.06/1009.31	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11545
1800.06/1009.31	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.06/1009.31	c starts		: 77
1800.06/1009.31	c conflicts		: 113
1800.06/1009.31	c decisions		: 4009
1800.06/1009.31	c propagations		: 2454919
1800.06/1009.31	c inspects		: 14446117
1800.06/1009.31	c shortcuts		: 0
1800.06/1009.31	c learnt literals	: 0
1800.06/1009.31	c learnt binary clauses	: 0
1800.06/1009.31	c learnt ternary clauses	: 0
1800.06/1009.31	c learnt constraints	: 39
1800.06/1009.31	c ignored constraints	: 0
1800.06/1009.31	c root simplifications	: 0
1800.06/1009.31	c removed literals (reason simplification)	: 0
1800.06/1009.31	c reason swapping (by a shorter reason)	: 0
1800.06/1009.31	c Calls to reduceDB	: 0
1800.06/1009.31	c Number of update (reduction) of LBD	: 0
1800.06/1009.31	c Imported unit clauses	: 0
1800.06/1009.31	c number of reductions to clauses (during analyze)	: 0
1800.06/1009.31	c number of learned constraints concerned by reduction	: 0
1800.06/1009.31	c number of learning phase by resolution	: 0
1800.06/1009.31	c number of learning phase by cutting planes	: 0
1800.06/1009.31	c speed (assignments/second)	: 39043.816400534386
1800.06/1009.31	c non guided choices	0
1800.06/1009.31	c learnt constraints type 
1800.06/1009.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 39
1800.06/1009.31	s SATISFIABLE
1800.06/1009.31	c Found 76 solution(s)
1800.06/1009.31	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 x55 
1800.06/1009.31	c objective function=-45635
1800.06/1009.31	c Total wall clock time (in seconds): 1009.196

Verifier Data 

OK	-45635

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-4118059-1467219299/watcher-4118059-1467219299 -o /tmp/evaluation-result-4118059-1467219299/solver-4118059-1467219299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118059-1467219299.opb 

pid=8545
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.31 4.31 4.05 4/197 8548
/proc/meminfo: memFree=26284944/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/8548/stat : 8548 (java) R 8545 8548 5962 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 2881137 278528 33 33554432000 1073741824 1073778376 140733354007168 140733193719224 225435544871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8548/statm: 68 33 25 9 0 25 0

[startup+0.100168 s]
/proc/loadavg: 4.31 4.31 4.05 4/197 8548
/proc/meminfo: memFree=26284944/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 2881137 9787879424 6048 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2389619 6048 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200342 s]
/proc/loadavg: 4.31 4.31 4.05 4/197 8548
/proc/meminfo: memFree=26284944/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 4625 0 1 0 21 1 0 0 20 0 18 0 2881137 9787879424 7245 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2389619 7245 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300356 s]
/proc/loadavg: 4.31 4.31 4.05 4/197 8548
/proc/meminfo: memFree=26284944/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 5436 0 1 0 45 2 0 0 20 0 18 0 2881137 9787879424 8326 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2389619 8326 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700194 s]
/proc/loadavg: 4.31 4.31 4.05 4/197 8548
/proc/meminfo: memFree=26284944/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9558476 CPUtime=1.15 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 9075 0 1 0 113 2 0 0 20 0 18 0 2881137 9787879424 13563 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2389619 13563 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9558476

[startup+1.50078 s]
/proc/loadavg: 4.31 4.31 4.05 4/215 8566
/proc/meminfo: memFree=26231104/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9558476 CPUtime=2.03 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 9365 0 1 0 201 2 0 0 20 0 18 0 2881137 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2389619 17193 2251 9 0 2380296 0
[pid=8548/tid=8550] ppid=8545 vsize=9558476 CPUtime=1.47 cores=1,3,5,7
/proc/8548/task/8550/stat : 8550 (java) R 8545 8548 5962 0 -1 4202560 2422 0 1 0 145 2 0 0 20 0 18 0 2881138 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111354801872 140111178525734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8551] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8551/stat : 8551 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111316302376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8552] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8552/stat : 8552 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111315249576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8553] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8553/stat : 8553 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111314196776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8554] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8554/stat : 8554 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111313143976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8555] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8555/stat : 8555 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111312092200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8556] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8556/stat : 8556 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111311039400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8557] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8557/stat : 8557 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111309986600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8558] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8558/stat : 8558 (java) S 8545 8548 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111308933800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8559] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8559/stat : 8559 (java) S 8545 8548 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2881140 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111178099176 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8560] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8560/stat : 8560 (java) S 8545 8548 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2881141 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111177045240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8561] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8561/stat : 8561 (java) S 8545 8548 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2881141 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111175992328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8562] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8562/stat : 8562 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111174940816 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8563] ppid=8545 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/8548/task/8563/stat : 8563 (java) S 8545 8548 5962 0 -1 4202560 1995 0 0 0 21 0 0 0 20 0 18 0 2881143 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111173888952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8564] ppid=8545 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/8548/task/8564/stat : 8564 (java) S 8545 8548 5962 0 -1 4202560 3684 0 0 0 32 0 0 0 20 0 18 0 2881143 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111172836152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8565] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8565/stat : 8565 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111171783544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8566] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8566/stat : 8566 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 17193 33554432000 1073741824 1073778376 140733354007168 140111170730952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9558476

[startup+3.10088 s]
/proc/loadavg: 4.31 4.31 4.05 4/215 8566
/proc/meminfo: memFree=26214100/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9558476 CPUtime=3.79 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 9527 0 1 0 376 3 0 0 20 0 18 0 2881137 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2389619 21841 2251 9 0 2380296 0
[pid=8548/tid=8550] ppid=8545 vsize=9558476 CPUtime=3.06 cores=1,3,5,7
/proc/8548/task/8550/stat : 8550 (java) R 8545 8548 5962 0 -1 4202560 2433 0 1 0 304 2 0 0 20 0 18 0 2881138 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111354810536 140111178525482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8551] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8551/stat : 8551 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111316302376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8552] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8552/stat : 8552 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111315249576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8553] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8553/stat : 8553 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111314196776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8554] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8554/stat : 8554 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111313143976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8555] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8555/stat : 8555 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111312092200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8556] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8556/stat : 8556 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111311039400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8557] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8557/stat : 8557 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111309986600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8558] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8558/stat : 8558 (java) S 8545 8548 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111308933800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8559] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8559/stat : 8559 (java) S 8545 8548 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2881140 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111178099176 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8560] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8560/stat : 8560 (java) S 8545 8548 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2881141 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111177045240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8561] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8561/stat : 8561 (java) S 8545 8548 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2881141 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111175992328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8562] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8562/stat : 8562 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111174940816 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8563] ppid=8545 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/8548/task/8563/stat : 8563 (java) S 8545 8548 5962 0 -1 4202560 2133 0 0 0 29 0 0 0 20 0 18 0 2881143 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111173888952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8564] ppid=8545 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/8548/task/8564/stat : 8564 (java) S 8545 8548 5962 0 -1 4202560 3697 0 0 0 40 0 0 0 20 0 18 0 2881143 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111172836152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8565] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8565/stat : 8565 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111171783544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8566] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8566/stat : 8566 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 21841 33554432000 1073741824 1073778376 140733354007168 140111170730952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9558476

[startup+6.30085 s]
/proc/loadavg: 4.29 4.30 4.05 5/215 8566
/proc/meminfo: memFree=26180424/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9558476 CPUtime=7.02 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 9543 0 1 0 699 3 0 0 20 0 18 0 2881137 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2389619 28471 2253 9 0 2380296 0
[pid=8548/tid=8550] ppid=8545 vsize=9558476 CPUtime=6.26 cores=1,3,5,7
/proc/8548/task/8550/stat : 8550 (java) R 8545 8548 5962 0 -1 4202560 2447 0 1 0 624 2 0 0 20 0 18 0 2881138 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111354802016 140111178525762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8551] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8551/stat : 8551 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111316302376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8552] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8552/stat : 8552 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111315249576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8553] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8553/stat : 8553 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111314196776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8554] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8554/stat : 8554 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111313143976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8555] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8555/stat : 8555 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111312092200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8556] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8556/stat : 8556 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111311039400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8557] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8557/stat : 8557 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111309986600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8558] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8558/stat : 8558 (java) S 8545 8548 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2881139 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111308933800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8559] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8559/stat : 8559 (java) S 8545 8548 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2881140 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111178099176 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8560] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8560/stat : 8560 (java) S 8545 8548 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2881141 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111177045240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8561] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8561/stat : 8561 (java) S 8545 8548 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2881141 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111175992328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8562] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8562/stat : 8562 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111174940816 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8563] ppid=8545 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/8548/task/8563/stat : 8563 (java) S 8545 8548 5962 0 -1 4202560 2133 0 0 0 30 0 0 0 20 0 18 0 2881143 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111173888952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8564] ppid=8545 vsize=9558476 CPUtime=0.42 cores=1,3,5,7
/proc/8548/task/8564/stat : 8564 (java) S 8545 8548 5962 0 -1 4202560 3698 0 0 0 42 0 0 0 20 0 18 0 2881143 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111172836152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8565] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8565/stat : 8565 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111171783544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8566] ppid=8545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8566/stat : 8566 (java) S 8545 8548 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 2881143 9787879424 28471 33554432000 1073741824 1073778376 140733354007168 140111170730952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 9558476

[startup+12.7009 s]
/proc/loadavg: 4.19 4.28 4.04 4/215 8566
/proc/meminfo: memFree=26159624/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9558476 CPUtime=13.43 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 9553 0 1 0 1339 4 0 0 20 0 18 0 2881137 9787879424 33591 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2389619 33591 2253 9 0 2380296 0

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


[startup+1002.3 s]
/proc/loadavg: 3.15 3.29 3.60 5/217 8927
/proc/meminfo: memFree=25171640/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9824732 CPUtime=1785.96 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 22947 0 1 0 178216 380 0 0 20 0 22 0 2881137 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2456183 580218 2303 9 0 2446860 0
[pid=8548/tid=8550] ppid=8545 vsize=9824732 CPUtime=36.42 cores=1,3,5,7
/proc/8548/task/8550/stat : 8550 (java) S 8545 8548 5962 0 -1 4202560 2541 0 1 0 3634 8 0 0 20 0 22 0 2881138 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111354811256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8551] ppid=8545 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/8548/task/8551/stat : 8551 (java) S 8545 8548 5962 0 -1 4202560 441 0 0 0 128 18 0 0 20 0 22 0 2881139 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111316302376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8552] ppid=8545 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/8548/task/8552/stat : 8552 (java) S 8545 8548 5962 0 -1 4202560 653 0 0 0 122 18 0 0 20 0 22 0 2881139 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111315249576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8553] ppid=8545 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/8548/task/8553/stat : 8553 (java) S 8545 8548 5962 0 -1 4202560 488 0 0 0 129 21 0 0 20 0 22 0 2881139 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111314196776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8554] ppid=8545 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/8548/task/8554/stat : 8554 (java) S 8545 8548 5962 0 -1 4202560 667 0 0 0 139 23 0 0 20 0 22 0 2881139 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111313143976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8555] ppid=8545 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/8548/task/8555/stat : 8555 (java) S 8545 8548 5962 0 -1 4202560 719 0 0 0 144 20 0 0 20 0 22 0 2881139 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111312092200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8556] ppid=8545 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/8548/task/8556/stat : 8556 (java) S 8545 8548 5962 0 -1 4202560 431 0 0 0 130 15 0 0 20 0 22 0 2881139 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111311039400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8557] ppid=8545 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/8548/task/8557/stat : 8557 (java) S 8545 8548 5962 0 -1 4202560 334 0 0 0 140 17 0 0 20 0 22 0 2881139 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111309986600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8558] ppid=8545 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/8548/task/8558/stat : 8558 (java) S 8545 8548 5962 0 -1 4202560 742 0 0 0 131 24 0 0 20 0 22 0 2881139 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111308933800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8559] ppid=8545 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/8548/task/8559/stat : 8559 (java) S 8545 8548 5962 0 -1 4202560 2498 0 0 0 381 9 0 0 20 0 22 0 2881140 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111178099176 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8560] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8560/stat : 8560 (java) S 8545 8548 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2881141 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111177045240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8561] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8561/stat : 8561 (java) S 8545 8548 5962 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 22 0 2881141 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111175992328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8562] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8562/stat : 8562 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2881143 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111174940816 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8563] ppid=8545 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/8548/task/8563/stat : 8563 (java) S 8545 8548 5962 0 -1 4202560 4024 0 0 0 109 0 0 0 20 0 22 0 2881143 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111173888952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8564] ppid=8545 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/8548/task/8564/stat : 8564 (java) S 8545 8548 5962 0 -1 4202560 6008 0 0 0 176 0 0 0 20 0 22 0 2881143 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111172836152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8565] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8565/stat : 8565 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2881143 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111171783544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8566] ppid=8545 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/8548/task/8566/stat : 8566 (java) S 8545 8548 5962 0 -1 4202560 58 0 0 0 14 23 0 0 20 0 22 0 2881143 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111170730952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8570] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8570/stat : 8570 (java) S 8545 8548 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2884446 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111166518056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8924] ppid=8545 vsize=9824732 CPUtime=54.8 cores=1,3,5,7
/proc/8548/task/8924/stat : 8924 (java) R 8545 8548 5962 0 -1 4202560 3 0 0 0 5480 0 0 0 20 0 22 0 2975780 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111169674336 140111179543260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8925] ppid=8545 vsize=9824732 CPUtime=54.8 cores=1,3,5,7
/proc/8548/task/8925/stat : 8925 (java) R 8545 8548 5962 0 -1 4202560 15 0 0 0 5480 0 0 0 20 0 22 0 2975780 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111167569360 140111179446198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8926] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8926/stat : 8926 (java) S 8545 8548 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2975781 10060525568 580218 33554432000 1073741824 1073778376 140733354007168 140111168623912 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.96
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1009.3 s]
/proc/loadavg: 3.22 3.30 3.61 4/217 8927
/proc/meminfo: memFree=25105980/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 23063 0 1 0 179620 386 0 0 20 0 22 0 2881137 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2456183 596597 2303 9 0 2446860 0
[pid=8548/tid=8550] ppid=8545 vsize=9824732 CPUtime=36.42 cores=1,3,5,7
/proc/8548/task/8550/stat : 8550 (java) S 8545 8548 5962 0 -1 4202560 2541 0 1 0 3634 8 0 0 20 0 22 0 2881138 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111354811256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8551] ppid=8545 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/8548/task/8551/stat : 8551 (java) S 8545 8548 5962 0 -1 4202560 469 0 0 0 132 20 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111316302376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8552] ppid=8545 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/8548/task/8552/stat : 8552 (java) S 8545 8548 5962 0 -1 4202560 660 0 0 0 123 19 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111315249576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8553] ppid=8545 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/8548/task/8553/stat : 8553 (java) S 8545 8548 5962 0 -1 4202560 496 0 0 0 130 21 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111314196776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8554] ppid=8545 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/8548/task/8554/stat : 8554 (java) S 8545 8548 5962 0 -1 4202560 678 0 0 0 140 24 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111313143976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8555] ppid=8545 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/8548/task/8555/stat : 8555 (java) S 8545 8548 5962 0 -1 4202560 730 0 0 0 145 21 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111312092200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8556] ppid=8545 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/8548/task/8556/stat : 8556 (java) S 8545 8548 5962 0 -1 4202560 463 0 0 0 133 17 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111311039400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8557] ppid=8545 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/8548/task/8557/stat : 8557 (java) S 8545 8548 5962 0 -1 4202560 342 0 0 0 142 17 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111309986600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8558] ppid=8545 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/8548/task/8558/stat : 8558 (java) S 8545 8548 5962 0 -1 4202560 752 0 0 0 133 24 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111308933800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8559] ppid=8545 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/8548/task/8559/stat : 8559 (java) S 8545 8548 5962 0 -1 4202560 2498 0 0 0 381 9 0 0 20 0 22 0 2881140 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111178099176 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8560] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8560/stat : 8560 (java) S 8545 8548 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2881141 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111177045240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8561] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8561/stat : 8561 (java) S 8545 8548 5962 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 22 0 2881141 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111175992328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8562] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8562/stat : 8562 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111174940816 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8563] ppid=8545 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/8548/task/8563/stat : 8563 (java) S 8545 8548 5962 0 -1 4202560 4024 0 0 0 109 0 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111173888952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8564] ppid=8545 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/8548/task/8564/stat : 8564 (java) S 8545 8548 5962 0 -1 4202560 6008 0 0 0 176 0 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111172836152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8565] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8565/stat : 8565 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111171783544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8566] ppid=8545 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/8548/task/8566/stat : 8566 (java) S 8545 8548 5962 0 -1 4202560 58 0 0 0 15 23 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111170730952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8570] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8570/stat : 8570 (java) S 8545 8548 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2884446 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111166518056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8924] ppid=8545 vsize=9824732 CPUtime=61.74 cores=1,3,5,7
/proc/8548/task/8924/stat : 8924 (java) R 8545 8548 5962 0 -1 4202560 3 0 0 0 6174 0 0 0 20 0 22 0 2975780 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111169674336 140111179153770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8925] ppid=8545 vsize=9824732 CPUtime=61.74 cores=1,3,5,7
/proc/8548/task/8925/stat : 8925 (java) R 8545 8548 5962 0 -1 4202560 16 0 0 0 6174 0 0 0 20 0 22 0 2975780 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111167569360 140111179446347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8926] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8926/stat : 8926 (java) S 8545 8548 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2975781 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111168623912 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 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 8548 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1009.3 s]
/proc/loadavg: 3.22 3.30 3.61 4/217 8927
/proc/meminfo: memFree=25105980/32872528 swapFree=1499084/1695308
[pid=8548] ppid=8545 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/8548/stat : 8548 (java) S 8545 8548 5962 0 -1 4202496 23063 0 1 0 179620 386 0 0 20 0 22 0 2881137 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140733353998304 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8548/statm: 2456183 596597 2303 9 0 2446860 0
[pid=8548/tid=8550] ppid=8545 vsize=9824732 CPUtime=36.42 cores=1,3,5,7
/proc/8548/task/8550/stat : 8550 (java) S 8545 8548 5962 0 -1 4202560 2541 0 1 0 3634 8 0 0 20 0 22 0 2881138 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111354811256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8551] ppid=8545 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/8548/task/8551/stat : 8551 (java) S 8545 8548 5962 0 -1 4202560 469 0 0 0 132 20 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111316302376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8552] ppid=8545 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/8548/task/8552/stat : 8552 (java) S 8545 8548 5962 0 -1 4202560 660 0 0 0 123 19 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111315249576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8553] ppid=8545 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/8548/task/8553/stat : 8553 (java) S 8545 8548 5962 0 -1 4202560 496 0 0 0 130 21 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111314196776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8554] ppid=8545 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/8548/task/8554/stat : 8554 (java) S 8545 8548 5962 0 -1 4202560 678 0 0 0 140 24 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111313143976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8555] ppid=8545 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/8548/task/8555/stat : 8555 (java) S 8545 8548 5962 0 -1 4202560 730 0 0 0 145 21 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111312092200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8556] ppid=8545 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/8548/task/8556/stat : 8556 (java) S 8545 8548 5962 0 -1 4202560 463 0 0 0 133 17 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111311039400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8557] ppid=8545 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/8548/task/8557/stat : 8557 (java) S 8545 8548 5962 0 -1 4202560 342 0 0 0 142 17 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111309986600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8558] ppid=8545 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/8548/task/8558/stat : 8558 (java) S 8545 8548 5962 0 -1 4202560 752 0 0 0 133 24 0 0 20 0 22 0 2881139 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111308933800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8559] ppid=8545 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/8548/task/8559/stat : 8559 (java) S 8545 8548 5962 0 -1 4202560 2498 0 0 0 381 9 0 0 20 0 22 0 2881140 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111178099176 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8560] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8560/stat : 8560 (java) S 8545 8548 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2881141 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111177045240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8561] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8561/stat : 8561 (java) S 8545 8548 5962 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 22 0 2881141 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111175992328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8548/tid=8562] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8562/stat : 8562 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111174940816 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8563] ppid=8545 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/8548/task/8563/stat : 8563 (java) S 8545 8548 5962 0 -1 4202560 4024 0 0 0 109 0 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111173888952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8564] ppid=8545 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/8548/task/8564/stat : 8564 (java) S 8545 8548 5962 0 -1 4202560 6008 0 0 0 176 0 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111172836152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8548/tid=8565] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8565/stat : 8565 (java) S 8545 8548 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111171783544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8566] ppid=8545 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/8548/task/8566/stat : 8566 (java) S 8545 8548 5962 0 -1 4202560 58 0 0 0 15 23 0 0 20 0 22 0 2881143 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111170730952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8570] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8570/stat : 8570 (java) S 8545 8548 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2884446 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111166518056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8924] ppid=8545 vsize=9824732 CPUtime=61.74 cores=1,3,5,7
/proc/8548/task/8924/stat : 8924 (java) R 8545 8548 5962 0 -1 4202560 3 0 0 0 6174 0 0 0 20 0 22 0 2975780 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111169674336 140111179153770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8548/tid=8925] ppid=8545 vsize=9824732 CPUtime=61.74 cores=1,3,5,7
/proc/8548/task/8925/stat : 8925 (java) R 8545 8548 5962 0 -1 4202560 16 0 0 0 6174 0 0 0 20 0 22 0 2975780 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111167569360 140111179446347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8548/tid=8926] ppid=8545 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8548/task/8926/stat : 8926 (java) S 8545 8548 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2975781 10060525568 596597 33554432000 1073741824 1073778376 140733354007168 140111168623912 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 1009.33
CPU time (s): 1800.37
CPU user time (s): 1796.28
CPU system time (s): 4.09138
CPU usage (%): 178.373
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.28
system time used= 4.09138
maximum resident set size= 3261112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23103
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29916
involuntary context switches= 16503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19106 second user time and 8.59669 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-29 18:54:59
IDJOB=4118059
IDBENCH=111440
IDSOLVER=2543
FILE ID=node137/4118059-1467219299
RUNJOBID= node137-1467212962-6647
PBS_JOBID= 19997573
Free space on /tmp= 71692 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_bern55-41.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118059-1467219299/watcher-4118059-1467219299 -o /tmp/evaluation-result-4118059-1467219299/solver-4118059-1467219299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118059-1467219299.opb

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

MD5SUM BENCH= 1829fd9dd9ff0bce901a022db20a6d74
RANDOM SEED=1498343284

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26285588 kB
Buffers:           94548 kB
Cached:          1788904 kB
SwapCached:            0 kB
Active:          2470880 kB
Inactive:        1675860 kB
Active(anon):    2265820 kB
Inactive(anon):      164 kB
Active(file):     205060 kB
Inactive(file):  1675696 kB
Unevictable:     1695308 kB
Mlocked:         1499084 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1256 kB
Writeback:             0 kB
AnonPages:       3896992 kB
Mapped:            22628 kB
Shmem:               204 kB
Slab:             608284 kB
SReclaimable:      52428 kB
SUnreclaim:       555856 kB
KernelStack:        1816 kB
PageTables:        11832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4417844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2301952 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= 71692 MiB
End job on node137 at 2016-06-29 19:11:48