Trace number 4119526

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-2664 1800.71 1771.34

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.opb
MD5SUMd41edbb8c3bdc22fe52bd96881b995e1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2666
Best CPU time to get the best result obtained on this benchmark1800.07
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 3677
Biggest coefficient in the objective function 926
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 187616
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 926
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 187616
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)3652
Sum of products size (including duplicates)11734
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.06/0.31	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.06/0.31	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.31	c See www.sat4j.org for details.
0.06/0.32	c version PB16.v20160501
0.06/0.32	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.32	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.32	c java.vm.version	19.1-b02
0.06/0.32	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.32	c sun.arch.data.model	64
0.06/0.32	c java.version		1.6.0_24
0.06/0.32	c os.name		Linux
0.06/0.32	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.32	c os.arch		amd64
0.06/0.32	c Free memory 		501472288
0.06/0.32	c Max memory 		7480803328
0.06/0.32	c Total memory 		504102912
0.06/0.32	c Number of processors 	8
0.06/0.35	c Pseudo Boolean Optimization by upper bound
0.06/0.35	c --- Begin Solver configuration ---
0.06/0.35	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.06/0.35	c Learn all clauses as in MiniSAT
0.06/0.35	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.35	c No reason simplification
0.06/0.35	c Glucose 2.1 dynamic restart strategy
0.06/0.35	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.06/0.35	c timeout=2147483s
0.06/0.35	c DB Simplification allowed=false
0.06/0.35	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.06/0.35	c --- End Solver configuration ---
0.06/0.35	c solving HOME/instance-4119526-1467261080.opb
0.06/0.35	c reading problem ... 
0.06/0.36	c  objective function found
0.92/0.81	c ... done. Wall clock time 0.458s.
0.92/0.81	c declared #vars     25
0.92/0.81	c internal #vars     3677
0.92/0.81	c #constraints  7304
0.92/0.81	c constraints type 
0.92/0.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3652
0.92/0.81	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3652
0.92/0.81	c 7304 constraints processed.
0.92/0.81	c objective function length is 3677 literals
0.92/0.86	c SATISFIABLE
0.92/0.86	c OPTIMIZING...
0.92/0.86	c Got one! Elapsed wall clock time (in seconds):0.511
0.92/0.86	o 0
1.17/0.93	c Got one! Elapsed wall clock time (in seconds):0.583
1.17/0.93	o -276
1.47/1.00	c Got one! Elapsed wall clock time (in seconds):0.648
1.47/1.00	o -506
1.47/1.02	c Got one! Elapsed wall clock time (in seconds):0.67
1.47/1.02	o -855
1.47/1.05	c Got one! Elapsed wall clock time (in seconds):0.699
1.47/1.05	o -1016
1.47/1.07	c Got one! Elapsed wall clock time (in seconds):0.718
1.47/1.07	o -1126
1.47/1.08	c Got one! Elapsed wall clock time (in seconds):0.729
1.47/1.08	o -1450
1.78/1.10	c Got one! Elapsed wall clock time (in seconds):0.754
1.78/1.10	o -1662
1.78/1.12	c Got one! Elapsed wall clock time (in seconds):0.77
1.78/1.12	o -1676
1.78/1.13	c Got one! Elapsed wall clock time (in seconds):0.784
1.78/1.13	o -1923
1.78/1.17	c Got one! Elapsed wall clock time (in seconds):0.817
1.78/1.17	o -1939
1.78/1.19	c Got one! Elapsed wall clock time (in seconds):0.837
1.78/1.19	o -2010
1.91/1.23	c Got one! Elapsed wall clock time (in seconds):0.88
1.91/1.23	o -2075
1.91/1.25	c Got one! Elapsed wall clock time (in seconds):0.901
1.91/1.25	o -2089
1.91/1.26	c Got one! Elapsed wall clock time (in seconds):0.914
1.91/1.26	o -2094
1.91/1.27	c Got one! Elapsed wall clock time (in seconds):0.919
1.91/1.27	o -2107
1.91/1.28	c Got one! Elapsed wall clock time (in seconds):0.929
1.91/1.28	o -2200
2.01/1.35	c Got one! Elapsed wall clock time (in seconds):1.002
2.01/1.35	o -2209
2.01/1.39	c Got one! Elapsed wall clock time (in seconds):1.044
2.01/1.39	o -2213
2.11/1.42	c Got one! Elapsed wall clock time (in seconds):1.066
2.11/1.42	o -2233
2.11/1.43	c Got one! Elapsed wall clock time (in seconds):1.084
2.11/1.43	o -2257
2.22/1.60	c Got one! Elapsed wall clock time (in seconds):1.246
2.22/1.60	o -2260
2.32/1.66	c Got one! Elapsed wall clock time (in seconds):1.314
2.32/1.66	o -2264
2.42/1.71	c Got one! Elapsed wall clock time (in seconds):1.362
2.42/1.71	o -2269
2.52/1.84	c Got one! Elapsed wall clock time (in seconds):1.494
2.52/1.84	o -2275
3.03/2.34	c Got one! Elapsed wall clock time (in seconds):1.99
3.03/2.34	o -2280
3.12/2.49	c Got one! Elapsed wall clock time (in seconds):2.14
3.12/2.49	o -2285
3.22/2.56	c Got one! Elapsed wall clock time (in seconds):2.208
3.22/2.56	o -2288
3.22/2.57	c Got one! Elapsed wall clock time (in seconds):2.217
3.22/2.57	o -2325
3.32/2.61	c Got one! Elapsed wall clock time (in seconds):2.264
3.32/2.61	o -2329
3.32/2.68	c Got one! Elapsed wall clock time (in seconds):2.334
3.32/2.68	o -2349
3.52/2.89	c Got one! Elapsed wall clock time (in seconds):2.54
3.52/2.89	o -2366
3.61/2.93	c Got one! Elapsed wall clock time (in seconds):2.58
3.61/2.93	o -2367
4.42/3.78	c Got one! Elapsed wall clock time (in seconds):3.428
4.42/3.78	o -2391
6.33/5.42	c Got one! Elapsed wall clock time (in seconds):5.069
6.33/5.42	o -2403
6.63/5.78	c Got one! Elapsed wall clock time (in seconds):5.432
6.63/5.78	o -2411
7.86/6.92	c cleaning 5199 clauses out of 10397 with flag 4001/10397
8.08/7.18	c Got one! Elapsed wall clock time (in seconds):6.825
8.08/7.18	o -2416
8.48/7.52	c Got one! Elapsed wall clock time (in seconds):7.169
8.48/7.52	o -2433
9.08/8.19	c Got one! Elapsed wall clock time (in seconds):7.836
9.08/8.19	o -2451
9.68/8.72	c Got one! Elapsed wall clock time (in seconds):8.374
9.68/8.72	o -2453
9.68/8.79	c Got one! Elapsed wall clock time (in seconds):8.443
9.68/8.79	o -2481
9.79/8.86	c Got one! Elapsed wall clock time (in seconds):8.512
9.79/8.86	o -2486
9.97/8.97	c Got one! Elapsed wall clock time (in seconds):8.621
9.97/8.97	o -2495
11.37/10.33	c Got one! Elapsed wall clock time (in seconds):9.976
11.37/10.33	o -2502
11.97/10.90	c cleaning 6299 clauses out of 12597 with flag 2001/17796
15.18/14.16	c cleaning 6149 clauses out of 12298 with flag 14001/23796
15.99/14.87	c Got one! Elapsed wall clock time (in seconds):14.516
15.99/14.87	o -2512
18.09/16.99	c cleaning 5719 clauses out of 11438 with flag 8011/29085
20.29/19.17	c Got one! Elapsed wall clock time (in seconds):18.82
20.29/19.17	o -2514
21.00/19.76	c cleaning 5517 clauses out of 11036 with flag 2001/34402
24.20/22.92	c cleaning 5760 clauses out of 11519 with flag 14001/40402
24.80/23.52	c Got one! Elapsed wall clock time (in seconds):23.172
24.80/23.52	o -2528
26.99/25.65	c cleaning 5483 clauses out of 10965 with flag 8002/45608
27.09/25.70	c Got one! Elapsed wall clock time (in seconds):25.351
27.09/25.70	o -2534
27.59/26.22	c Got one! Elapsed wall clock time (in seconds):25.868
27.59/26.22	o -2538
27.59/26.29	c Got one! Elapsed wall clock time (in seconds):25.943
27.59/26.29	o -2562
27.69/26.30	c Got one! Elapsed wall clock time (in seconds):25.95
27.69/26.30	o -2565
27.69/26.31	c Got one! Elapsed wall clock time (in seconds):25.955
27.69/26.31	o -2567
27.69/26.34	c Got one! Elapsed wall clock time (in seconds):25.99
27.69/26.34	o -2570
27.69/26.37	c Got one! Elapsed wall clock time (in seconds):26.015
27.69/26.37	o -2579
27.69/26.39	c Got one! Elapsed wall clock time (in seconds):26.035
27.69/26.39	o -2590
27.80/26.46	c Got one! Elapsed wall clock time (in seconds):26.108
27.80/26.46	o -2601
27.80/26.47	c Got one! Elapsed wall clock time (in seconds):26.12
27.80/26.47	o -2603
27.80/26.49	c Got one! Elapsed wall clock time (in seconds):26.141
27.80/26.49	o -2604
29.91/28.52	c cleaning 5550 clauses out of 11110 with flag 8016/51236
33.10/31.63	c cleaning 5780 clauses out of 11560 with flag 20016/57236
36.81/35.23	c cleaning 6389 clauses out of 12781 with flag 34018/64237
41.27/39.54	c cleaning 7194 clauses out of 14392 with flag 50018/72237
46.16/44.37	c cleaning 8097 clauses out of 16198 with flag 68018/81237
51.60/49.51	c cleaning 9048 clauses out of 18100 with flag 88016/91236
57.59/55.41	c cleaning 10023 clauses out of 20052 with flag 110016/102236
64.35/62.13	c cleaning 11015 clauses out of 22029 with flag 134016/114236
71.68/69.32	c cleaning 12007 clauses out of 24014 with flag 160016/127236
79.90/77.43	c cleaning 12998 clauses out of 26008 with flag 188284/141237
84.98/82.47	c Got one! Elapsed wall clock time (in seconds):82.124
84.98/82.47	o -2626
87.95/85.38	c cleaning 13560 clauses out of 27127 with flag 10014/155354
91.20/88.54	c cleaning 9781 clauses out of 19567 with flag 22014/161354
94.76/92.09	c cleaning 8386 clauses out of 16786 with flag 36014/168354
98.80/96.00	c cleaning 8195 clauses out of 16400 with flag 52014/176354
103.42/100.51	c cleaning 8596 clauses out of 17205 with flag 70014/185354
105.02/102.14	c Got one! Elapsed wall clock time (in seconds):101.789
105.02/102.14	o -2628
106.12/103.28	c cleaning 7035 clauses out of 14082 with flag 4001/190827
109.53/106.53	c cleaning 6524 clauses out of 13047 with flag 16001/196827
113.27/110.24	c cleaning 6760 clauses out of 13523 with flag 30001/203827
117.61/114.54	c cleaning 7381 clauses out of 14763 with flag 46001/211827
122.38/119.25	c cleaning 8190 clauses out of 16382 with flag 64001/220827
124.01/120.87	c Got one! Elapsed wall clock time (in seconds):120.516
124.01/120.87	o -2640
125.11/121.95	c cleaning 6677 clauses out of 13355 with flag 4002/225990
128.22/125.05	c cleaning 6334 clauses out of 12679 with flag 16081/231991
128.64/125.42	c Got one! Elapsed wall clock time (in seconds):125.065
128.64/125.42	o -2655
131.05/127.85	c cleaning 6018 clauses out of 12039 with flag 10238/237685
131.15/127.98	c Got one! Elapsed wall clock time (in seconds):127.625
131.15/127.98	o -2656
131.55/128.31	c Got one! Elapsed wall clock time (in seconds):127.964
131.55/128.31	o -2663
134.18/130.94	c cleaning 5983 clauses out of 11971 with flag 10173/243635
137.20/133.98	c cleaning 5991 clauses out of 11989 with flag 22311/249636
140.73/137.48	c cleaning 6493 clauses out of 12997 with flag 36404/256635
144.86/141.50	c cleaning 7251 clauses out of 14504 with flag 52418/264635
148.93/145.59	c Got one! Elapsed wall clock time (in seconds):145.242
148.93/145.59	o -2664
151.90/148.44	c cleaning 10008 clauses out of 20020 with flag 10041/277402
155.01/151.53	c cleaning 8003 clauses out of 16012 with flag 22162/283402
158.78/155.26	c cleaning 7498 clauses out of 15008 with flag 36560/290401
162.92/159.32	c cleaning 7751 clauses out of 15511 with flag 52822/298402
167.69/164.04	c cleaning 8380 clauses out of 16760 with flag 71437/307402
173.07/169.36	c cleaning 9187 clauses out of 18380 with flag 91810/317402
179.19/175.39	c cleaning 10093 clauses out of 20193 with flag 114290/328402
185.99/182.04	c cleaning 11049 clauses out of 22099 with flag 138794/340401
193.44/189.31	c cleaning 12019 clauses out of 24050 with flag 165218/353401
201.57/197.36	c cleaning 13016 clauses out of 26031 with flag 193964/367401
210.30/205.88	c cleaning 14007 clauses out of 28016 with flag 224370/382402
219.08/214.44	c cleaning 15005 clauses out of 30009 with flag 256452/398402
228.31/223.47	c cleaning 15998 clauses out of 32003 with flag 290507/415401
238.31/233.27	c cleaning 17003 clauses out of 34005 with flag 326698/433401
249.40/244.01	c cleaning 17998 clauses out of 36003 with flag 365253/452402
260.14/254.69	c cleaning 19000 clauses out of 38005 with flag 405253/472402
272.02/266.21	c cleaning 20000 clauses out of 40004 with flag 447251/493401
284.43/278.60	c cleaning 20998 clauses out of 42004 with flag 491757/515401
297.61/291.42	c cleaning 22001 clauses out of 44007 with flag 537803/538402
310.59/304.29	c cleaning 23001 clauses out of 46006 with flag 585803/562402
325.80/319.19	c cleaning 24000 clauses out of 48004 with flag 635983/587401
341.46/334.59	c cleaning 24999 clauses out of 50004 with flag 688276/613401
358.26/351.03	c cleaning 25998 clauses out of 52006 with flag 742636/640402
375.76/368.29	c cleaning 27000 clauses out of 54008 with flag 799264/668402
394.24/386.42	c cleaning 28000 clauses out of 56007 with flag 857464/697401
413.57/405.50	c cleaning 29003 clauses out of 58008 with flag 918670/727402
433.57/425.28	c cleaning 29999 clauses out of 60004 with flag 981857/758401
454.76/446.15	c cleaning 31002 clauses out of 62006 with flag 1046475/790402
475.97/467.01	c cleaning 32000 clauses out of 64004 with flag 1112878/823402
497.28/488.06	c cleaning 33000 clauses out of 66004 with flag 1182090/857402
519.60/510.00	c cleaning 33998 clauses out of 68004 with flag 1252721/892402
542.61/532.62	c cleaning 35001 clauses out of 70005 with flag 1324991/928401
565.18/554.85	c cleaning 36003 clauses out of 72005 with flag 1399216/965402
589.91/579.15	c cleaning 36999 clauses out of 74002 with flag 1475581/1003402
617.20/605.99	c cleaning 37999 clauses out of 76003 with flag 1556142/1042402
645.36/633.63	c cleaning 38999 clauses out of 78003 with flag 1636918/1082401
672.56/660.47	c cleaning 39999 clauses out of 80005 with flag 1719982/1123402
700.65/687.95	c cleaning 40997 clauses out of 82006 with flag 1804521/1165402
729.95/716.87	c cleaning 42004 clauses out of 84009 with flag 1891246/1208402
761.72/748.16	c cleaning 43000 clauses out of 86005 with flag 1980742/1252402
792.07/778.05	c cleaning 43997 clauses out of 88004 with flag 2071624/1297401
821.85/807.27	c cleaning 44999 clauses out of 90008 with flag 2163907/1343402
851.93/836.80	c cleaning 46001 clauses out of 92008 with flag 2258213/1390401
879.90/864.19	c cleaning 47004 clauses out of 94008 with flag 2354759/1438402
908.82/892.55	c cleaning 48000 clauses out of 96004 with flag 2453126/1487402
937.25/920.48	c cleaning 48998 clauses out of 98004 with flag 2553213/1537402
966.07/948.63	c cleaning 49998 clauses out of 100005 with flag 2655211/1588401
995.62/977.47	c cleaning 51004 clauses out of 102007 with flag 2759211/1640401
1029.48/1010.77	c cleaning 52001 clauses out of 104004 with flag 2865214/1693402
1062.76/1043.61	c cleaning 53000 clauses out of 106002 with flag 2973563/1747401
1097.74/1077.60	c cleaning 54001 clauses out of 108002 with flag 3083733/1802401
1134.81/1114.24	c cleaning 54998 clauses out of 110001 with flag 3196359/1858401
1173.01/1152.01	c cleaning 56000 clauses out of 112003 with flag 3311033/1915401
1213.18/1191.75	c cleaning 57000 clauses out of 114004 with flag 3427523/1973402
1254.45/1232.40	c cleaning 57997 clauses out of 116003 with flag 3545814/2032401
1295.52/1272.98	c cleaning 59001 clauses out of 118007 with flag 3666186/2092402
1335.87/1312.76	c cleaning 59998 clauses out of 120005 with flag 3788739/2153401
1379.01/1355.30	c cleaning 61002 clauses out of 122007 with flag 3913583/2215401
1422.11/1397.89	c cleaning 61997 clauses out of 124005 with flag 4041293/2278401
1476.49/1451.67	c cleaning 62997 clauses out of 126009 with flag 4174764/2342402
1531.13/1505.78	c cleaning 64003 clauses out of 128011 with flag 4308533/2407401
1586.01/1559.92	c cleaning 65000 clauses out of 130009 with flag 4445593/2473402
1645.09/1618.21	c cleaning 66000 clauses out of 132008 with flag 4585833/2540401
1703.61/1676.07	c cleaning 67004 clauses out of 134009 with flag 4725067/2608402
1763.40/1735.12	c cleaning 67998 clauses out of 136004 with flag 4869282/2677401
1800.06/1771.30	c starts		: 1626
1800.06/1771.30	c conflicts		: 2720158
1800.06/1771.30	c decisions		: 2754858
1800.06/1771.30	c propagations		: 604621711
1800.06/1771.30	c inspects		: 14612688333
1800.06/1771.30	c shortcuts		: 0
1800.06/1771.30	c learnt literals	: 0
1800.06/1771.30	c learnt binary clauses	: 0
1800.06/1771.30	c learnt ternary clauses	: 11
1800.06/1771.30	c learnt constraints	: 2720157
1800.06/1771.30	c ignored constraints	: 0
1800.06/1771.30	c root simplifications	: 0
1800.06/1771.30	c removed literals (reason simplification)	: 0
1800.06/1771.30	c reason swapping (by a shorter reason)	: 0
1800.06/1771.30	c Calls to reduceDB	: 99
1800.06/1771.30	c Number of update (reduction) of LBD	: 3462
1800.06/1771.30	c Imported unit clauses	: 0
1800.06/1771.30	c number of reductions to clauses (during analyze)	: 0
1800.06/1771.30	c number of learned constraints concerned by reduction	: 0
1800.06/1771.30	c number of learning phase by resolution	: 0
1800.06/1771.30	c number of learning phase by cutting planes	: 0
1800.06/1771.30	c speed (assignments/second)	: 341501.9621819644
1800.06/1771.30	c non guided choices	0
1800.06/1771.33	c learnt constraints type 
1800.06/1771.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 110763
1800.06/1771.33	s SATISFIABLE
1800.06/1771.33	c Found 65 solution(s)
1800.06/1771.33	v -x1 x2 x3 -x4 -x5 x6 x7 x8 -x9 -x10 -x11 -x12 x13 x14 x15 x16 x17 x18 x19 x20 -x21 x22 x23 -x24 x25 
1800.06/1771.33	c objective function=-2664
1800.06/1771.33	c Total wall clock time (in seconds): 1770.979

Verifier Data 

OK	-2664

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

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

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


[startup+0 s]
/proc/loadavg: 2.43 2.31 2.21 3/171 8285
/proc/meminfo: memFree=28356596/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/8285/stat : 8285 (java) D 8282 8285 6707 0 -1 4202496 156 0 1 0 0 0 0 0 20 0 1 0 5134018 278528 33 33554432000 1073741824 1073778376 140735663278640 140735663275816 260181159207 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/8285/statm: 68 33 25 9 0 25 0

[startup+0.100212 s]
/proc/loadavg: 2.43 2.31 2.21 3/171 8285
/proc/meminfo: memFree=28356596/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/8285/stat : 8285 (java) D 8282 8285 6707 0 -1 4202496 1144 0 19 0 0 0 0 0 20 0 1 0 5134018 23793664 814 33554432000 1073741824 1073778376 140733752722144 140733752712136 139940179801808 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 5809 814 608 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.20032 s]
/proc/loadavg: 2.43 2.31 2.21 3/171 8285
/proc/meminfo: memFree=28356596/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9092432 CPUtime=0.02 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 3010 0 27 0 1 1 0 0 20 0 11 0 5134018 9310650368 3148 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2273108 3148 1642 9 0 2263809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432

[startup+0.300306 s]
/proc/loadavg: 2.43 2.31 2.21 3/171 8285
/proc/meminfo: memFree=28356596/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 3436 0 27 0 4 2 0 0 20 0 18 0 5134018 9787879424 4083 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2389619 4084 1786 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476

[startup+0.700301 s]
/proc/loadavg: 2.43 2.31 2.21 3/171 8285
/proc/meminfo: memFree=28356596/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9558476 CPUtime=0.81 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 6899 0 29 0 78 3 0 0 20 0 18 0 5134018 9787879424 9277 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2389619 9277 2242 9 0 2380296 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 9558476

[startup+1.50086 s]
/proc/loadavg: 2.39 2.31 2.21 5/213 8332
/proc/meminfo: memFree=28241888/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 10994 0 29 0 217 5 0 0 20 0 19 0 5134018 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2406260 20640 2272 9 0 2396937 0
[pid=8285/tid=8297] ppid=8282 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/8285/task/8297/stat : 8297 (java) R 8282 8285 6707 0 -1 4202560 2473 0 6 0 120 3 0 0 20 0 19 0 5134029 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940175474840 139940047852383 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0
[pid=8285/tid=8299] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8299/stat : 8299 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940019485096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8300] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8300/stat : 8300 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940018432552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8301] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8301/stat : 8301 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940017379496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8302] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8302/stat : 8302 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940016326952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8304] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8304/stat : 8304 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940015274920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8307] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8307/stat : 8307 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940014222376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8310] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8310/stat : 8310 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940013169320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8312] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8312/stat : 8312 (java) S 8282 8285 6707 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139940012116776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8316] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8316/stat : 8316 (java) S 8282 8285 6707 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5134036 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939999705448 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8317] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8317/stat : 8317 (java) S 8282 8285 6707 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939998651768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8319] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8319/stat : 8319 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939997598600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8321] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8321/stat : 8321 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939996547344 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8322] ppid=8282 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8285/task/8322/stat : 8322 (java) S 8282 8285 6707 0 -1 4202560 2907 0 1 0 41 0 0 0 20 0 19 0 5134044 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939995495224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8324] ppid=8282 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/8285/task/8324/stat : 8324 (java) S 8282 8285 6707 0 -1 4202560 4364 0 1 0 52 2 0 0 20 0 19 0 5134044 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939994442680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8326] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8326/stat : 8326 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939993389816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8328] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8328/stat : 8328 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939992337480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8332] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8332/stat : 8332 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134101 9856040960 20640 33554432000 1073741824 1073778376 140733752722144 139939991282728 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.39 2.31 2.21 3/213 8332
/proc/meminfo: memFree=28165120/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 11023 0 29 0 377 5 0 0 20 0 19 0 5134018 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2406260 34465 2272 9 0 2396937 0
[pid=8285/tid=8297] ppid=8282 vsize=9625040 CPUtime=2.83 cores=1,3,5,7
/proc/8285/task/8297/stat : 8297 (java) R 8282 8285 6707 0 -1 4202560 2501 0 6 0 280 3 0 0 20 0 19 0 5134029 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940175474992 139940048017792 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0
[pid=8285/tid=8299] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8299/stat : 8299 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940019485096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8300] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8300/stat : 8300 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940018432552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8301] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8301/stat : 8301 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940017379496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8302] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8302/stat : 8302 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940016326952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8304] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8304/stat : 8304 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940015274920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8307] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8307/stat : 8307 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940014222376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8310] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8310/stat : 8310 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940013169320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8312] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8312/stat : 8312 (java) S 8282 8285 6707 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139940012116776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8316] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8316/stat : 8316 (java) S 8282 8285 6707 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5134036 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939999705448 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8317] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8317/stat : 8317 (java) S 8282 8285 6707 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939998651768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8319] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8319/stat : 8319 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939997598600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8321] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8321/stat : 8321 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939996547344 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8322] ppid=8282 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8285/task/8322/stat : 8322 (java) S 8282 8285 6707 0 -1 4202560 2907 0 1 0 41 0 0 0 20 0 19 0 5134044 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939995495224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8324] ppid=8282 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/8285/task/8324/stat : 8324 (java) S 8282 8285 6707 0 -1 4202560 4364 0 1 0 53 2 0 0 20 0 19 0 5134044 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939994442680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8326] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8326/stat : 8326 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939993389816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8328] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8328/stat : 8328 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939992337480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8332] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8332/stat : 8332 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134101 9856040960 34465 33554432000 1073741824 1073778376 140733752722144 139939991282728 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.36 2.30 2.21 3/213 8332
/proc/meminfo: memFree=28008188/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9625040 CPUtime=7.23 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 12487 0 29 0 712 11 0 0 20 0 19 0 5134018 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2406260 50184 2287 9 0 2396937 0
[pid=8285/tid=8297] ppid=8282 vsize=9625040 CPUtime=6 cores=1,3,5,7
/proc/8285/task/8297/stat : 8297 (java) R 8282 8285 6707 0 -1 4202560 2517 0 6 0 596 4 0 0 20 0 19 0 5134029 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940175481208 139940047907838 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0
[pid=8285/tid=8299] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8299/stat : 8299 (java) S 8282 8285 6707 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940019485096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8300] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8300/stat : 8300 (java) S 8282 8285 6707 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940018432552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8301] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8301/stat : 8301 (java) S 8282 8285 6707 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940017379496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8302] ppid=8282 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8285/task/8302/stat : 8302 (java) S 8282 8285 6707 0 -1 4202560 27 0 0 0 0 1 0 0 20 0 19 0 5134032 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940016326952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8304] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8304/stat : 8304 (java) S 8282 8285 6707 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940015274920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8307] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8307/stat : 8307 (java) S 8282 8285 6707 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940014222376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8310] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8310/stat : 8310 (java) S 8282 8285 6707 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940013169320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8312] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8312/stat : 8312 (java) S 8282 8285 6707 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5134032 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139940012116776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8316] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8316/stat : 8316 (java) S 8282 8285 6707 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5134036 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939999705448 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8317] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8317/stat : 8317 (java) S 8282 8285 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939998651768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8319] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8319/stat : 8319 (java) S 8282 8285 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939997598600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8321] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8321/stat : 8321 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939996547344 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8322] ppid=8282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/8285/task/8322/stat : 8322 (java) S 8282 8285 6707 0 -1 4202560 4249 0 1 0 47 2 0 0 20 0 19 0 5134044 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939995495224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8324] ppid=8282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/8285/task/8324/stat : 8324 (java) S 8282 8285 6707 0 -1 4202560 4376 0 1 0 59 2 0 0 20 0 19 0 5134044 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939994442680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8326] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8326/stat : 8326 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939993389816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8328] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8328/stat : 8328 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939992337480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8332] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8332/stat : 8332 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134101 9856040960 50184 33554432000 1073741824 1073778376 140733752722144 139939991282728 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 9625040


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

[pid=8285/tid=8317] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8317/stat : 8317 (java) S 8282 8285 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 434828 33554432000 1073741824 1073778376 140733752722144 139939998651768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8319] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8319/stat : 8319 (java) S 8282 8285 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 434828 33554432000 1073741824 1073778376 140733752722144 139939997598600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8321] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8321/stat : 8321 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 434828 33554432000 1073741824 1073778376 140733752722144 139939996547344 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8322] ppid=8282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/8285/task/8322/stat : 8322 (java) S 8282 8285 6707 0 -1 4202560 4260 0 1 0 59 2 0 0 20 0 19 0 5134044 9856040960 434828 33554432000 1073741824 1073778376 140733752722144 139939995495224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8324] ppid=8282 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/8285/task/8324/stat : 8324 (java) S 8282 8285 6707 0 -1 4202560 4388 0 1 0 72 2 0 0 20 0 19 0 5134044 9856040960 434828 33554432000 1073741824 1073778376 140733752722144 139939994442680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8326] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8326/stat : 8326 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 434828 33554432000 1073741824 1073778376 140733752722144 139939993389816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8328] ppid=8282 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/8285/task/8328/stat : 8328 (java) S 8282 8285 6707 0 -1 4202560 94 0 0 0 21 29 0 0 20 0 19 0 5134044 9856040960 434828 33554432000 1073741824 1073778376 140733752722144 139939992337480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8332] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8332/stat : 8332 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134101 9856040960 434828 33554432000 1073741824 1073778376 140733752722144 139939991282728 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1689.72
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.43 2.39 2.31 3/214 8439
/proc/meminfo: memFree=26398544/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9625040 CPUtime=1750.54 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 30471 0 29 0 174661 393 0 0 20 0 19 0 5134018 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2406260 417483 2300 9 0 2396937 0
[pid=8285/tid=8297] ppid=8282 vsize=9625040 CPUtime=1706.28 cores=1,3,5,7
/proc/8285/task/8297/stat : 8297 (java) R 8282 8285 6707 0 -1 4202560 2815 0 6 0 170595 33 0 0 20 0 19 0 5134029 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940175482184 139940047847866 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0
[pid=8285/tid=8299] ppid=8282 vsize=9625040 CPUtime=4.64 cores=1,3,5,7
/proc/8285/task/8299/stat : 8299 (java) S 8282 8285 6707 0 -1 4202560 2097 0 0 0 418 46 0 0 20 0 19 0 5134032 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940019485096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8300] ppid=8282 vsize=9625040 CPUtime=4.98 cores=1,3,5,7
/proc/8285/task/8300/stat : 8300 (java) S 8282 8285 6707 0 -1 4202560 1762 0 0 0 448 50 0 0 20 0 19 0 5134032 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940018432552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8301] ppid=8282 vsize=9625040 CPUtime=4.55 cores=1,3,5,7
/proc/8285/task/8301/stat : 8301 (java) S 8282 8285 6707 0 -1 4202560 1675 0 0 0 411 44 0 0 20 0 19 0 5134032 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940017379496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8302] ppid=8282 vsize=9625040 CPUtime=4.72 cores=1,3,5,7
/proc/8285/task/8302/stat : 8302 (java) S 8282 8285 6707 0 -1 4202560 1886 0 0 0 429 43 0 0 20 0 19 0 5134032 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940016326952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8304] ppid=8282 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/8285/task/8304/stat : 8304 (java) S 8282 8285 6707 0 -1 4202560 1651 0 0 0 413 49 0 0 20 0 19 0 5134032 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940015274920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8307] ppid=8282 vsize=9625040 CPUtime=4.37 cores=1,3,5,7
/proc/8285/task/8307/stat : 8307 (java) S 8282 8285 6707 0 -1 4202560 1545 0 0 0 401 36 0 0 20 0 19 0 5134032 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940014222376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8310] ppid=8282 vsize=9625040 CPUtime=4.76 cores=1,3,5,7
/proc/8285/task/8310/stat : 8310 (java) S 8282 8285 6707 0 -1 4202560 1456 0 0 0 436 40 0 0 20 0 19 0 5134032 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940013169320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8312] ppid=8282 vsize=9625040 CPUtime=4.61 cores=1,3,5,7
/proc/8285/task/8312/stat : 8312 (java) S 8282 8285 6707 0 -1 4202560 2118 0 0 0 419 42 0 0 20 0 19 0 5134032 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139940012116776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8316] ppid=8282 vsize=9625040 CPUtime=5.42 cores=1,3,5,7
/proc/8285/task/8316/stat : 8316 (java) S 8282 8285 6707 0 -1 4202560 3483 0 0 0 535 7 0 0 20 0 19 0 5134036 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939999705448 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8317] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8317/stat : 8317 (java) S 8282 8285 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939998651768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8319] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8319/stat : 8319 (java) S 8282 8285 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939997598600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8321] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8321/stat : 8321 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939996547344 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8322] ppid=8282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/8285/task/8322/stat : 8322 (java) S 8282 8285 6707 0 -1 4202560 4260 0 1 0 59 2 0 0 20 0 19 0 5134044 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939995495224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8324] ppid=8282 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/8285/task/8324/stat : 8324 (java) S 8282 8285 6707 0 -1 4202560 4388 0 1 0 72 2 0 0 20 0 19 0 5134044 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939994442680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8326] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8326/stat : 8326 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939993389816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8328] ppid=8282 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/8285/task/8328/stat : 8328 (java) S 8282 8285 6707 0 -1 4202560 98 0 0 0 22 30 0 0 20 0 19 0 5134044 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939992337480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8332] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8332/stat : 8332 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134101 9856040960 417483 33554432000 1073741824 1073778376 140733752722144 139939991282728 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1750.54
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.3 s]
/proc/loadavg: 2.38 2.38 2.31 4/214 8441
/proc/meminfo: memFree=26521068/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 30500 0 29 0 179612 394 0 0 20 0 19 0 5134018 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2406260 389173 2300 9 0 2396937 0
[pid=8285/tid=8297] ppid=8282 vsize=9625040 CPUtime=1754.94 cores=1,3,5,7
/proc/8285/task/8297/stat : 8297 (java) R 8282 8285 6707 0 -1 4202560 2822 0 6 0 175460 34 0 0 20 0 19 0 5134029 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940175482096 139940047906667 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0
[pid=8285/tid=8299] ppid=8282 vsize=9625040 CPUtime=4.73 cores=1,3,5,7
/proc/8285/task/8299/stat : 8299 (java) S 8282 8285 6707 0 -1 4202560 2097 0 0 0 427 46 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940019485096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8300] ppid=8282 vsize=9625040 CPUtime=5.13 cores=1,3,5,7
/proc/8285/task/8300/stat : 8300 (java) S 8282 8285 6707 0 -1 4202560 1762 0 0 0 463 50 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940018432552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8301] ppid=8282 vsize=9625040 CPUtime=4.64 cores=1,3,5,7
/proc/8285/task/8301/stat : 8301 (java) S 8282 8285 6707 0 -1 4202560 1675 0 0 0 420 44 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940017379496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8302] ppid=8282 vsize=9625040 CPUtime=4.8 cores=1,3,5,7
/proc/8285/task/8302/stat : 8302 (java) S 8282 8285 6707 0 -1 4202560 1886 0 0 0 437 43 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940016326952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8304] ppid=8282 vsize=9625040 CPUtime=4.7 cores=1,3,5,7
/proc/8285/task/8304/stat : 8304 (java) S 8282 8285 6707 0 -1 4202560 1651 0 0 0 421 49 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940015274920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8307] ppid=8282 vsize=9625040 CPUtime=4.44 cores=1,3,5,7
/proc/8285/task/8307/stat : 8307 (java) S 8282 8285 6707 0 -1 4202560 1545 0 0 0 408 36 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940014222376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8310] ppid=8282 vsize=9625040 CPUtime=4.84 cores=1,3,5,7
/proc/8285/task/8310/stat : 8310 (java) S 8282 8285 6707 0 -1 4202560 1456 0 0 0 444 40 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940013169320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8312] ppid=8282 vsize=9625040 CPUtime=4.69 cores=1,3,5,7
/proc/8285/task/8312/stat : 8312 (java) S 8282 8285 6707 0 -1 4202560 2133 0 0 0 427 42 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940012116776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8316] ppid=8282 vsize=9625040 CPUtime=5.56 cores=1,3,5,7
/proc/8285/task/8316/stat : 8316 (java) S 8282 8285 6707 0 -1 4202560 3488 0 0 0 549 7 0 0 20 0 19 0 5134036 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939999705448 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8317] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8317/stat : 8317 (java) S 8282 8285 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939998651768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8319] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8319/stat : 8319 (java) S 8282 8285 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939997598600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8321] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8321/stat : 8321 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939996547344 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8322] ppid=8282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/8285/task/8322/stat : 8322 (java) S 8282 8285 6707 0 -1 4202560 4260 0 1 0 59 2 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939995495224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8324] ppid=8282 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/8285/task/8324/stat : 8324 (java) S 8282 8285 6707 0 -1 4202560 4388 0 1 0 72 2 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939994442680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8326] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8326/stat : 8326 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939993389816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8328] ppid=8282 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/8285/task/8328/stat : 8328 (java) S 8282 8285 6707 0 -1 4202560 100 0 0 0 23 31 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939992337480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8332] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8332/stat : 8332 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134101 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939991282728 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8285 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1771.3 s]
/proc/loadavg: 2.38 2.38 2.31 4/214 8441
/proc/meminfo: memFree=26521068/32872528 swapFree=1633136/1796656
[pid=8285] ppid=8282 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/8285/stat : 8285 (java) S 8282 8285 6707 0 -1 4202496 30500 0 29 0 179612 394 0 0 20 0 19 0 5134018 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 140733752713280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0
/proc/8285/statm: 2406260 389173 2300 9 0 2396937 0
[pid=8285/tid=8297] ppid=8282 vsize=9625040 CPUtime=1754.94 cores=1,3,5,7
/proc/8285/task/8297/stat : 8297 (java) R 8282 8285 6707 0 -1 4202560 2822 0 6 0 175460 34 0 0 20 0 19 0 5134029 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940175482096 139940047906667 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0
[pid=8285/tid=8299] ppid=8282 vsize=9625040 CPUtime=4.73 cores=1,3,5,7
/proc/8285/task/8299/stat : 8299 (java) S 8282 8285 6707 0 -1 4202560 2097 0 0 0 427 46 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940019485096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8300] ppid=8282 vsize=9625040 CPUtime=5.13 cores=1,3,5,7
/proc/8285/task/8300/stat : 8300 (java) S 8282 8285 6707 0 -1 4202560 1762 0 0 0 463 50 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940018432552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8301] ppid=8282 vsize=9625040 CPUtime=4.64 cores=1,3,5,7
/proc/8285/task/8301/stat : 8301 (java) S 8282 8285 6707 0 -1 4202560 1675 0 0 0 420 44 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940017379496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8302] ppid=8282 vsize=9625040 CPUtime=4.8 cores=1,3,5,7
/proc/8285/task/8302/stat : 8302 (java) S 8282 8285 6707 0 -1 4202560 1886 0 0 0 437 43 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940016326952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8304] ppid=8282 vsize=9625040 CPUtime=4.7 cores=1,3,5,7
/proc/8285/task/8304/stat : 8304 (java) S 8282 8285 6707 0 -1 4202560 1651 0 0 0 421 49 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940015274920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8307] ppid=8282 vsize=9625040 CPUtime=4.44 cores=1,3,5,7
/proc/8285/task/8307/stat : 8307 (java) S 8282 8285 6707 0 -1 4202560 1545 0 0 0 408 36 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940014222376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8285/tid=8310] ppid=8282 vsize=9625040 CPUtime=4.84 cores=1,3,5,7
/proc/8285/task/8310/stat : 8310 (java) S 8282 8285 6707 0 -1 4202560 1456 0 0 0 444 40 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940013169320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8312] ppid=8282 vsize=9625040 CPUtime=4.69 cores=1,3,5,7
/proc/8285/task/8312/stat : 8312 (java) S 8282 8285 6707 0 -1 4202560 2133 0 0 0 427 42 0 0 20 0 19 0 5134032 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139940012116776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8316] ppid=8282 vsize=9625040 CPUtime=5.56 cores=1,3,5,7
/proc/8285/task/8316/stat : 8316 (java) S 8282 8285 6707 0 -1 4202560 3488 0 0 0 549 7 0 0 20 0 19 0 5134036 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939999705448 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8317] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8317/stat : 8317 (java) S 8282 8285 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939998651768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8319] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8319/stat : 8319 (java) S 8282 8285 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5134039 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939997598600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8321] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8321/stat : 8321 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939996547344 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8285/tid=8322] ppid=8282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/8285/task/8322/stat : 8322 (java) S 8282 8285 6707 0 -1 4202560 4260 0 1 0 59 2 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939995495224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8324] ppid=8282 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/8285/task/8324/stat : 8324 (java) S 8282 8285 6707 0 -1 4202560 4388 0 1 0 72 2 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939994442680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8326] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8326/stat : 8326 (java) S 8282 8285 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939993389816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8285/tid=8328] ppid=8282 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/8285/task/8328/stat : 8328 (java) S 8282 8285 6707 0 -1 4202560 100 0 0 0 23 31 0 0 20 0 19 0 5134044 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939992337480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8285/tid=8332] ppid=8282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8285/task/8332/stat : 8332 (java) S 8282 8285 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5134101 9856040960 389173 33554432000 1073741824 1073778376 140733752722144 139939991282728 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1771.34
CPU time (s): 1800.71
CPU user time (s): 1796.3
CPU system time (s): 4.40733
CPU usage (%): 101.658
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.3
system time used= 4.40733
maximum resident set size= 2272892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30536
page faults= 29
swaps= 0
block input operations= 19344
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46827
involuntary context switches= 41515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9713 second user time and 12.7831 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-30 06:31:20
IDJOB=4119526
IDBENCH=111752
IDSOLVER=2546
FILE ID=node123/4119526-1467261080
RUNJOBID= node123-1467261080-8266
PBS_JOBID= 20004468
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= d41edbb8c3bdc22fe52bd96881b995e1
RANDOM SEED=258221804

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.387
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.387
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.54
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.387
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.387
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.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		: 2666.387
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:        28357528 kB
Buffers:          158568 kB
Cached:          1802020 kB
SwapCached:            0 kB
Active:           182828 kB
Inactive:        1791652 kB
Active(anon):      16252 kB
Inactive(anon):        0 kB
Active(file):     166576 kB
Inactive(file):  1791652 kB
Unevictable:     1796656 kB
Mlocked:         1633136 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               908 kB
Writeback:             0 kB
AnonPages:       1810288 kB
Mapped:            14064 kB
Shmem:               204 kB
Slab:             609192 kB
SReclaimable:      53428 kB
SUnreclaim:       555764 kB
KernelStack:        1448 kB
PageTables:         6936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1896008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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= 71728 MiB
End job on node123 at 2016-06-30 07:00:51