Trace number 4118224

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)-81 1800.82 899.68

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
MD5SUM36efb62283908685a57ace0d721a5bbe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables223
Total number of constraints386
Number of constraints which are clauses193
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints193
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 223
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2376
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2376
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
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-4118224-1467223907.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.23/0.20	c ... done. Wall clock time 0.081s.
0.23/0.20	c declared #vars     223
0.23/0.20	c #constraints  386
0.23/0.20	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.20	c constraints type 
0.23/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 193
0.23/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 193
0.23/0.20	c 386 constraints processed.
0.23/0.20	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.20	c constraints type 
0.23/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 193
0.23/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPb => 193
0.23/0.20	c 386 constraints processed.
0.23/0.20	c objective function length is 223 literals
0.23/0.21	c And the winner is solver1
0.24/0.70	c SATISFIABLE
0.24/0.70	c OPTIMIZING...
0.24/0.70	c Got one! Elapsed wall clock time (in seconds):0.586
0.24/0.71	o -73
0.96/0.90	c And the winner is solver0
1.26/1.21	c Got one! Elapsed wall clock time (in seconds):1.094
1.26/1.21	o -74
2.66/1.68	c cleaning 2954 clauses out of 5917 with flag 10527/5917
4.01/2.05	c cleaning 4482 clauses out of 8964 with flag 23715/11918
5.15/2.51	c cleaning 5741 clauses out of 11482 with flag 38515/18918
6.01/2.93	c And the winner is solver0
6.11/3.21	c Got one! Elapsed wall clock time (in seconds):3.096
6.11/3.21	o -75
6.93/3.69	c cleaning 8591 clauses out of 17181 with flag 10552/30358
8.21/4.24	c cleaning 7295 clauses out of 14590 with flag 23540/36358
9.40/4.88	c cleaning 7147 clauses out of 14294 with flag 38231/43357
10.86/5.57	c cleaning 7573 clauses out of 15147 with flag 55533/51357
12.45/6.32	c cleaning 8285 clauses out of 16576 with flag 76200/60359
14.32/7.22	c cleaning 9142 clauses out of 18289 with flag 99466/70357
16.54/8.31	c cleaning 10069 clauses out of 20147 with flag 125854/81357
19.41/9.70	c cleaning 11040 clauses out of 22079 with flag 154823/93358
21.81/10.93	c cleaning 12013 clauses out of 24038 with flag 184868/106357
24.29/12.20	c cleaning 13007 clauses out of 26025 with flag 217526/120357
26.88/13.43	c cleaning 14005 clauses out of 28019 with flag 253637/135358
29.67/14.84	c cleaning 15003 clauses out of 30014 with flag 294753/151358
33.34/16.64	c cleaning 16000 clauses out of 32011 with flag 332409/168358
36.95/18.47	c cleaning 17005 clauses out of 34011 with flag 376375/186358
37.95/18.94	c And the winner is solver0
38.11/19.22	c Got one! Elapsed wall clock time (in seconds):19.102
38.11/19.22	o -77
39.06/19.78	c cleaning 14696 clauses out of 29396 with flag 10716/198748
40.46/20.46	c cleaning 10346 clauses out of 20700 with flag 23312/204748
41.74/21.09	c cleaning 8668 clauses out of 17354 with flag 38726/211748
43.13/21.75	c cleaning 8339 clauses out of 16686 with flag 56869/219748
44.73/22.54	c cleaning 8667 clauses out of 17347 with flag 77027/228748
46.53/23.49	c cleaning 9335 clauses out of 18680 with flag 99337/238748
48.99/24.55	c cleaning 10168 clauses out of 20345 with flag 122401/249748
51.39/25.77	c cleaning 11088 clauses out of 22177 with flag 148099/261748
54.38/27.25	c cleaning 12043 clauses out of 24089 with flag 176678/274748
58.04/29.01	c cleaning 13019 clauses out of 26047 with flag 207487/288749
61.65/30.87	c cleaning 14009 clauses out of 28027 with flag 240851/303748
66.05/33.07	c cleaning 15007 clauses out of 30020 with flag 276125/319750
71.11/35.50	c cleaning 16001 clauses out of 32011 with flag 314833/336748
76.30/38.13	c cleaning 17006 clauses out of 34011 with flag 356412/354749
81.90/40.96	c cleaning 18003 clauses out of 36006 with flag 396508/373750
88.41/44.16	c cleaning 19000 clauses out of 38002 with flag 437079/393749
95.59/47.74	c cleaning 20001 clauses out of 40002 with flag 479400/414749
102.79/51.35	c cleaning 20999 clauses out of 42000 with flag 524613/436748
103.80/51.86	c And the winner is solver0
104.03/52.23	c Got one! Elapsed wall clock time (in seconds):52.114
104.03/52.23	o -78
104.22/52.30	c And the winner is solver0
104.27/52.73	c Got one! Elapsed wall clock time (in seconds):52.616
104.27/52.73	o -80
104.61/52.93	c cleaning 13464 clauses out of 26932 with flag 2116/442679
105.60/53.49	c cleaning 9731 clauses out of 19469 with flag 14426/448680
106.83/54.06	c cleaning 8361 clauses out of 16737 with flag 28857/455679
108.21/54.75	c cleaning 8187 clauses out of 16377 with flag 45675/463680
109.81/55.53	c cleaning 8589 clauses out of 17190 with flag 64635/472680
111.61/56.41	c cleaning 9294 clauses out of 18600 with flag 85872/482679
113.61/57.48	c cleaning 10148 clauses out of 20307 with flag 109088/493680
116.01/58.70	c cleaning 11079 clauses out of 22158 with flag 133961/505679
118.81/60.08	c cleaning 12037 clauses out of 24079 with flag 161401/518679
122.08/61.67	c cleaning 13020 clauses out of 26042 with flag 191413/532679
125.88/63.53	c cleaning 14008 clauses out of 28022 with flag 223323/547679
130.07/65.67	c cleaning 15002 clauses out of 30014 with flag 257943/563679
134.67/67.90	c cleaning 16004 clauses out of 32014 with flag 295159/580681
139.31/70.29	c cleaning 17001 clauses out of 34009 with flag 333027/598680
144.71/72.91	c cleaning 18003 clauses out of 36007 with flag 374112/617679
150.11/75.69	c cleaning 19001 clauses out of 38005 with flag 418163/637680
156.17/78.67	c cleaning 19997 clauses out of 40006 with flag 463818/658682
163.17/82.18	c cleaning 21000 clauses out of 42006 with flag 510065/680679
170.83/85.91	c cleaning 22002 clauses out of 44006 with flag 557949/703679
178.81/89.94	c cleaning 22999 clauses out of 46004 with flag 608916/727679
185.65/93.37	c cleaning 24000 clauses out of 48007 with flag 664113/752681
191.84/96.48	c cleaning 25001 clauses out of 50005 with flag 722307/778679
199.11/100.03	c cleaning 26000 clauses out of 52004 with flag 782269/805679
206.75/103.86	c cleaning 26997 clauses out of 54004 with flag 844446/833679
214.56/107.74	c cleaning 27997 clauses out of 56007 with flag 909317/862679
222.21/111.56	c cleaning 28999 clauses out of 58011 with flag 975941/892680
231.28/116.08	c cleaning 29999 clauses out of 60012 with flag 1047904/923680
241.49/121.19	c cleaning 31004 clauses out of 62013 with flag 1124899/955680
249.94/125.31	c And the winner is solver0
250.15/125.76	c Got one! Elapsed wall clock time (in seconds):125.641
250.15/125.76	o -81
252.42/126.96	c cleaning 32753 clauses out of 65505 with flag 10981/990176
254.22/127.81	c cleaning 19365 clauses out of 38751 with flag 24401/996175
255.42/128.45	c cleaning 13185 clauses out of 26386 with flag 39384/1003175
256.62/129.07	c cleaning 10598 clauses out of 21203 with flag 55968/1011177
258.27/129.81	c cleaning 9793 clauses out of 19604 with flag 75350/1020176
259.86/130.60	c cleaning 9900 clauses out of 19810 with flag 97368/1030175
261.66/131.52	c cleaning 10449 clauses out of 20911 with flag 121266/1041176
263.66/132.54	c cleaning 11229 clauses out of 22461 with flag 147023/1053175
265.66/133.58	c cleaning 12112 clauses out of 24232 with flag 174108/1066175
268.26/134.83	c cleaning 13058 clauses out of 26121 with flag 203851/1080176
271.30/136.31	c cleaning 14029 clauses out of 28063 with flag 237522/1095176
274.70/138.04	c cleaning 15017 clauses out of 30037 with flag 273263/1111179
278.50/139.99	c cleaning 16004 clauses out of 32016 with flag 311392/1128175
282.77/142.02	c cleaning 17007 clauses out of 34013 with flag 350322/1146176
287.18/144.25	c cleaning 18000 clauses out of 36005 with flag 392082/1165175
292.10/146.98	c cleaning 18999 clauses out of 38005 with flag 436900/1185175
297.30/149.51	c cleaning 19998 clauses out of 40006 with flag 485271/1206175
303.72/152.71	c cleaning 21003 clauses out of 42009 with flag 534985/1228176
310.12/155.98	c cleaning 21998 clauses out of 44005 with flag 585523/1251175
317.14/159.41	c cleaning 22998 clauses out of 46007 with flag 639800/1275175
325.20/163.49	c cleaning 23999 clauses out of 48009 with flag 691720/1300175
334.43/168.05	c cleaning 25004 clauses out of 50011 with flag 745021/1326176
344.09/172.82	c cleaning 25994 clauses out of 52006 with flag 802024/1353175
346.11/173.83	c cleaning 0 clauses out of 7195 with flag 0/7200
353.46/177.37	c cleaning 27002 clauses out of 54012 with flag 859741/1381175
363.28/182.14	c cleaning 28002 clauses out of 56010 with flag 919978/1410175
374.32/187.62	c cleaning 29000 clauses out of 58009 with flag 984531/1440176
385.14/193.02	c cleaning 29997 clauses out of 60008 with flag 1048588/1471175
397.60/199.22	c cleaning 31003 clauses out of 62011 with flag 1116112/1503175
408.65/204.78	c cleaning 31998 clauses out of 64009 with flag 1194838/1536176
420.86/210.86	c cleaning 33000 clauses out of 66010 with flag 1280077/1570175
434.94/217.83	c cleaning 34000 clauses out of 68011 with flag 1372613/1605176
446.60/223.67	c cleaning 35001 clauses out of 70010 with flag 1452428/1641175
460.23/230.42	c cleaning 36005 clauses out of 72009 with flag 1528123/1678175
477.31/239.20	c cleaning 36999 clauses out of 74004 with flag 1605880/1716175
494.20/247.64	c cleaning 37995 clauses out of 76005 with flag 1686046/1755175
511.87/256.43	c cleaning 39004 clauses out of 78010 with flag 1768877/1795175
532.76/266.85	c cleaning 40002 clauses out of 80006 with flag 1854146/1836175
552.20/276.54	c cleaning 41002 clauses out of 82005 with flag 1941331/1878176
573.09/286.90	c cleaning 41997 clauses out of 84002 with flag 2031646/1921175
591.15/295.94	c cleaning 42998 clauses out of 86006 with flag 2123906/1965176
607.57/304.12	c cleaning 43997 clauses out of 88007 with flag 2221218/2010175
625.45/313.02	c cleaning 45001 clauses out of 90010 with flag 2319761/2056175
643.55/322.09	c cleaning 46000 clauses out of 92010 with flag 2425115/2103176
664.23/332.34	c cleaning 46998 clauses out of 94009 with flag 2539646/2151175
680.72/340.51	c cleaning 48005 clauses out of 96013 with flag 2644482/2200177
699.37/349.89	c cleaning 48999 clauses out of 98006 with flag 2756794/2250175
726.86/363.54	c cleaning 50002 clauses out of 100007 with flag 2864414/2301175
759.59/380.15	c cleaning 51003 clauses out of 102006 with flag 2971798/2353176
791.51/396.06	c cleaning 52001 clauses out of 104002 with flag 3079898/2406175
830.82/415.66	c cleaning 52998 clauses out of 106002 with flag 3191061/2460176
866.35/433.34	c cleaning 53999 clauses out of 108004 with flag 3302879/2515176
904.49/452.36	c cleaning 54999 clauses out of 110005 with flag 3416733/2571176
938.63/469.34	c cleaning 55994 clauses out of 112006 with flag 3534657/2628176
974.58/487.24	c cleaning 57003 clauses out of 114011 with flag 3652753/2686175
1014.30/507.03	c cleaning 58004 clauses out of 116009 with flag 3772295/2745176
1057.05/528.81	c cleaning 59002 clauses out of 118005 with flag 3893783/2805176
1096.02/548.28	c cleaning 59999 clauses out of 120003 with flag 4017696/2866176
1138.94/569.63	c cleaning 61000 clauses out of 122005 with flag 4145123/2928177
1176.49/588.34	c cleaning 61995 clauses out of 124003 with flag 4273421/2991175
1218.24/609.13	c cleaning 62998 clauses out of 126008 with flag 4402702/3055175
1249.96/624.91	c cleaning 64001 clauses out of 128011 with flag 4541771/3120176
1281.31/640.54	c cleaning 65002 clauses out of 130011 with flag 4681687/3186177
1315.22/657.42	c cleaning 65996 clauses out of 132008 with flag 4825017/3253176
1345.57/672.58	c cleaning 66997 clauses out of 134011 with flag 4970290/3321175
1381.90/690.64	c cleaning 68004 clauses out of 136014 with flag 5121738/3390175
1415.83/707.55	c cleaning 69003 clauses out of 138011 with flag 5275598/3460176
1438.44/719.19	c cleaning 0 clauses out of 13197 with flag 0/13202
1453.74/726.74	c cleaning 70000 clauses out of 140007 with flag 5435590/3531175
1491.88/745.71	c cleaning 70998 clauses out of 142008 with flag 5591291/3603176
1535.87/767.64	c cleaning 72006 clauses out of 144011 with flag 5747666/3676177
1587.96/793.56	c cleaning 72997 clauses out of 146004 with flag 5898689/3750176
1634.19/816.56	c cleaning 73999 clauses out of 148007 with flag 6061212/3825176
1685.57/842.10	c cleaning 74998 clauses out of 150007 with flag 6233010/3901175
1736.56/867.52	c cleaning 76003 clauses out of 152009 with flag 6390578/3978175
1800.07/899.60	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.07/899.60	c starts		: 24974
1800.07/899.60	c conflicts		: 4056175
1800.07/899.60	c decisions		: 5596431
1800.07/899.60	c propagations		: 49874482
1800.07/899.60	c inspects		: 12607002444
1800.07/899.60	c shortcuts		: 0
1800.07/899.60	c learnt literals	: 0
1800.07/899.60	c learnt binary clauses	: 242
1800.07/899.60	c learnt ternary clauses	: 578
1800.07/899.60	c learnt constraints	: 4056175
1800.07/899.60	c ignored constraints	: 0
1800.07/899.60	c root simplifications	: 0
1800.07/899.60	c removed literals (reason simplification)	: 20986533
1800.07/899.60	c reason swapping (by a shorter reason)	: 0
1800.07/899.60	c Calls to reduceDB	: 137
1800.07/899.60	c Number of update (reduction) of LBD	: 82702
1800.07/899.60	c Imported unit clauses	: 0
1800.07/899.60	c number of reductions to clauses (during analyze)	: 0
1800.07/899.60	c number of learned constraints concerned by reduction	: 0
1800.07/899.60	c number of learning phase by resolution	: 0
1800.07/899.60	c number of learning phase by cutting planes	: 0
1800.07/899.60	c speed (assignments/second)	: 55484.460296075944
1800.07/899.60	c non guided choices	0
1800.07/899.63	c learnt constraints type 
1800.07/899.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 242
1800.07/899.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 153764
1800.07/899.63	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.07/899.63	c starts		: 77
1800.07/899.63	c conflicts		: 14809
1800.07/899.63	c decisions		: 16916
1800.07/899.63	c propagations		: 298218
1800.07/899.63	c inspects		: 924264501
1800.07/899.63	c shortcuts		: 0
1800.07/899.63	c learnt literals	: 0
1800.07/899.63	c learnt binary clauses	: 0
1800.07/899.63	c learnt ternary clauses	: 13
1800.07/899.63	c learnt constraints	: 14804
1800.07/899.63	c ignored constraints	: 0
1800.07/899.63	c root simplifications	: 0
1800.07/899.63	c removed literals (reason simplification)	: 0
1800.07/899.63	c reason swapping (by a shorter reason)	: 0
1800.07/899.63	c Calls to reduceDB	: 2
1800.07/899.63	c Number of update (reduction) of LBD	: 0
1800.07/899.63	c Imported unit clauses	: 0
1800.07/899.63	c number of reductions to clauses (during analyze)	: 0
1800.07/899.63	c number of learned constraints concerned by reduction	: 0
1800.07/899.63	c number of learning phase by resolution	: 0
1800.07/899.63	c number of learning phase by cutting planes	: 0
1800.07/899.63	c speed (assignments/second)	: 385.3588001100959
1800.07/899.63	c non guided choices	0
1800.07/899.64	c learnt constraints type 
1800.07/899.65	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6
1800.07/899.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14798
1800.07/899.65	s SATISFIABLE
1800.07/899.65	c Found 7 solution(s)
1800.07/899.65	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 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 
1800.07/899.65	c objective function=-81
1800.07/899.65	c Total wall clock time (in seconds): 899.536

Verifier Data 

OK	-81

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-4118224-1467223907/watcher-4118224-1467223907 -o /tmp/evaluation-result-4118224-1467223907/solver-4118224-1467223907 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118224-1467223907.opb 

pid=10486
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.21 4.21 4.10 4/197 10489
/proc/meminfo: memFree=25305156/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/10489/stat : 10489 (java) R 10486 10489 5267 0 -1 4202496 422 0 0 0 0 0 0 0 20 0 1 0 3341848 9445376 92 33554432000 1073741824 1073778376 140735530690176 140735530687304 239863897382 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2306 93 74 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 4.21 4.21 4.10 4/197 10489
/proc/meminfo: memFree=25305156/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 4428 0 1 0 8 1 0 0 20 0 18 0 3341848 9787879424 6048 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2389619 6048 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200231 s]
/proc/loadavg: 4.21 4.21 4.10 4/197 10489
/proc/meminfo: memFree=25305156/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 4669 0 1 0 22 1 0 0 20 0 18 0 3341848 9787879424 7271 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2389619 7271 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300344 s]
/proc/loadavg: 4.21 4.21 4.10 4/197 10489
/proc/meminfo: memFree=25305156/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 4741 0 1 0 23 1 0 0 20 0 19 0 3341848 10060525568 7844 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2456183 7844 2220 9 0 2446860 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732

[startup+0.700319 s]
/proc/loadavg: 4.21 4.21 4.10 4/197 10489
/proc/meminfo: memFree=25305156/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 4741 0 1 0 23 1 0 0 20 0 19 0 3341848 10060525568 7844 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2456183 7844 2220 9 0 2446860 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732

[startup+1.50076 s]
/proc/loadavg: 4.21 4.21 4.10 3/216 10514
/proc/meminfo: memFree=25251256/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 16513 0 1 0 228 6 0 0 20 0 22 0 3341848 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2456183 30854 2266 9 0 2446860 0
[pid=10489/tid=10491] ppid=10486 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/10489/task/10491/stat : 10491 (java) S 10486 10489 5267 0 -1 4202560 2412 0 1 0 18 0 0 0 20 0 22 0 3341849 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722489566072 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10492] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10492/stat : 10492 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341850 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722332732328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10493] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10493/stat : 10493 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341850 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722331679784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10494] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10494/stat : 10494 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341851 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722330626728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10495] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10495/stat : 10495 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341851 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722329574184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10496] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10496/stat : 10496 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341851 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722328521128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10497] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10497/stat : 10497 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341851 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722327468584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10498] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10498/stat : 10498 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341851 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722326415528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10499] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10499/stat : 10499 (java) S 10486 10489 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3341851 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722325362984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10500] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10500/stat : 10500 (java) S 10486 10489 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722313165672 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10501] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10501/stat : 10501 (java) S 10486 10489 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722312111992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10502] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10502/stat : 10502 (java) S 10486 10489 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722311058824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10503] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10503/stat : 10503 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722310007568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10504] ppid=10486 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/10489/task/10504/stat : 10504 (java) R 10486 10489 5267 0 -1 4202560 7022 0 0 0 60 2 0 0 20 0 22 0 3341854 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722308941832 139722492469509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10505] ppid=10486 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/10489/task/10505/stat : 10505 (java) S 10486 10489 5267 0 -1 4202560 5697 0 0 0 57 0 0 0 20 0 22 0 3341854 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722307901880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10506] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10506/stat : 10506 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722306849016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10507] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10507/stat : 10507 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341855 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722305796680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10514] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10514/stat : 10514 (java) S 10486 10489 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341920 10060525568 30854 33554432000 1073741824 1073778376 140735530690176 139722303689512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9824732

[startup+3.10091 s]
/proc/loadavg: 4.21 4.21 4.10 5/219 10517
/proc/meminfo: memFree=25104840/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9824732 CPUtime=6.11 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 22261 0 1 0 595 16 0 0 20 0 19 0 3341848 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2456183 58871 2285 9 0 2446860 0
[pid=10489/tid=10491] ppid=10486 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/10489/task/10491/stat : 10491 (java) S 10486 10489 5267 0 -1 4202560 2412 0 1 0 18 0 0 0 20 0 19 0 3341849 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722489566072 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10492] ppid=10486 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10489/task/10492/stat : 10492 (java) S 10486 10489 5267 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 3341850 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722332732328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10493] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10493/stat : 10493 (java) S 10486 10489 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3341850 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722331679784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10494] ppid=10486 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10489/task/10494/stat : 10494 (java) S 10486 10489 5267 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 3341851 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722330626728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10495] ppid=10486 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/10489/task/10495/stat : 10495 (java) S 10486 10489 5267 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 3341851 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722329574184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10496] ppid=10486 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10489/task/10496/stat : 10496 (java) S 10486 10489 5267 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 3341851 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722328521128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10497] ppid=10486 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10489/task/10497/stat : 10497 (java) S 10486 10489 5267 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 3341851 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722327468584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10498] ppid=10486 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10489/task/10498/stat : 10498 (java) S 10486 10489 5267 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 3341851 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722326415528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10499] ppid=10486 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/10489/task/10499/stat : 10499 (java) S 10486 10489 5267 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 19 0 3341851 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722325362984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10500] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10500/stat : 10500 (java) S 10486 10489 5267 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 3341852 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722313165672 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10501] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10501/stat : 10501 (java) S 10486 10489 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3341852 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722312111992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10502] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10502/stat : 10502 (java) S 10486 10489 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3341852 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722311058824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10503] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10503/stat : 10503 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341854 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722310007568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10504] ppid=10486 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/10489/task/10504/stat : 10504 (java) S 10486 10489 5267 0 -1 4202560 7026 0 0 0 83 2 0 0 20 0 19 0 3341854 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722308954424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10505] ppid=10486 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/10489/task/10505/stat : 10505 (java) S 10486 10489 5267 0 -1 4202560 11232 0 0 0 112 2 0 0 20 0 19 0 3341854 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722307901880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10506] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10506/stat : 10506 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341854 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722306849016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10507] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10507/stat : 10507 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3341855 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722305796680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10514] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10514/stat : 10514 (java) S 10486 10489 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3341920 10060525568 58871 33554432000 1073741824 1073778376 140735530690176 139722303689512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 9824732

[startup+6.30091 s]
/proc/loadavg: 4.03 4.17 4.09 5/219 10520
/proc/meminfo: memFree=24684212/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9824732 CPUtime=12.45 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 23072 0 1 0 1215 30 0 0 20 0 22 0 3341848 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2456183 156624 2285 9 0 2446860 0
[pid=10489/tid=10491] ppid=10486 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/10489/task/10491/stat : 10491 (java) S 10486 10489 5267 0 -1 4202560 2412 0 1 0 18 0 0 0 20 0 22 0 3341849 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722489566072 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10492] ppid=10486 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/10489/task/10492/stat : 10492 (java) S 10486 10489 5267 0 -1 4202560 50 0 0 0 3 3 0 0 20 0 22 0 3341850 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722332732328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10493] ppid=10486 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/10489/task/10493/stat : 10493 (java) S 10486 10489 5267 0 -1 4202560 46 0 0 0 4 1 0 0 20 0 22 0 3341850 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722331679784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10494] ppid=10486 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/10489/task/10494/stat : 10494 (java) S 10486 10489 5267 0 -1 4202560 44 0 0 0 3 3 0 0 20 0 22 0 3341851 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722330626728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10495] ppid=10486 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/10489/task/10495/stat : 10495 (java) S 10486 10489 5267 0 -1 4202560 64 0 0 0 6 3 0 0 20 0 22 0 3341851 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722329574184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10496] ppid=10486 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/10489/task/10496/stat : 10496 (java) S 10486 10489 5267 0 -1 4202560 64 0 0 0 4 2 0 0 20 0 22 0 3341851 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722328521128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10497] ppid=10486 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/10489/task/10497/stat : 10497 (java) S 10486 10489 5267 0 -1 4202560 33 0 0 0 2 2 0 0 20 0 22 0 3341851 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722327468584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10498] ppid=10486 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/10489/task/10498/stat : 10498 (java) S 10486 10489 5267 0 -1 4202560 41 0 0 0 2 1 0 0 20 0 22 0 3341851 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722326415528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10499] ppid=10486 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/10489/task/10499/stat : 10499 (java) S 10486 10489 5267 0 -1 4202560 40 0 0 0 5 3 0 0 20 0 22 0 3341851 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722325362984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10500] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10500/stat : 10500 (java) S 10486 10489 5267 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722313165672 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10501] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10501/stat : 10501 (java) S 10486 10489 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722312111992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10502] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10502/stat : 10502 (java) S 10486 10489 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722311058824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10503] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10503/stat : 10503 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722310007568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10504] ppid=10486 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/10489/task/10504/stat : 10504 (java) S 10486 10489 5267 0 -1 4202560 7026 0 0 0 86 2 0 0 20 0 22 0 3341854 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722308954424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10505] ppid=10486 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/10489/task/10505/stat : 10505 (java) S 10486 10489 5267 0 -1 4202560 11232 0 0 0 113 2 0 0 20 0 22 0 3341854 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722307901880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10506] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10506/stat : 10506 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722306849016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10507] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10507/stat : 10507 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341855 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722305796680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10514] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10514/stat : 10514 (java) S 10486 10489 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341920 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722303689512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10518] ppid=10486 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/10489/task/10518/stat : 10518 (java) R 10486 10489 5267 0 -1 4202560 7 0 0 0 296 0 0 0 20 0 22 0 3342170 10060525568 156624 33554432000 1073741824 1073778376 140735530690176 139722304733328 139722349887340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10519] ppid=10486 vsize=9824732 CPUtime=2.98 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.20 4.24 4.18 5/219 10627
/proc/meminfo: memFree=23042160/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9824732 CPUtime=1645.85 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 34749 0 1 0 164395 190 0 0 20 0 22 0 3341848 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2456183 567693 2295 9 0 2446860 0
[pid=10489/tid=10491] ppid=10486 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/10489/task/10491/stat : 10491 (java) S 10486 10489 5267 0 -1 4202560 2419 0 1 0 20 3 0 0 20 0 22 0 3341849 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722489566072 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10492] ppid=10486 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/10489/task/10492/stat : 10492 (java) S 10486 10489 5267 0 -1 4202560 328 0 0 0 179 12 0 0 20 0 22 0 3341850 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722332732328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10493] ppid=10486 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/10489/task/10493/stat : 10493 (java) S 10486 10489 5267 0 -1 4202560 374 0 0 0 184 9 0 0 20 0 22 0 3341850 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722331679784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10494] ppid=10486 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/10489/task/10494/stat : 10494 (java) S 10486 10489 5267 0 -1 4202560 443 0 0 0 178 13 0 0 20 0 22 0 3341851 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722330626728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10495] ppid=10486 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/10489/task/10495/stat : 10495 (java) S 10486 10489 5267 0 -1 4202560 401 0 0 0 205 13 0 0 20 0 22 0 3341851 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722329574184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10496] ppid=10486 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/10489/task/10496/stat : 10496 (java) S 10486 10489 5267 0 -1 4202560 397 0 0 0 190 11 0 0 20 0 22 0 3341851 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722328521128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10497] ppid=10486 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/10489/task/10497/stat : 10497 (java) S 10486 10489 5267 0 -1 4202560 387 0 0 0 190 11 0 0 20 0 22 0 3341851 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722327468584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10498] ppid=10486 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/10489/task/10498/stat : 10498 (java) S 10486 10489 5267 0 -1 4202560 383 0 0 0 182 12 0 0 20 0 22 0 3341851 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722326415528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10499] ppid=10486 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/10489/task/10499/stat : 10499 (java) S 10486 10489 5267 0 -1 4202560 361 0 0 0 184 12 0 0 20 0 22 0 3341851 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722325362984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10500] ppid=10486 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/10489/task/10500/stat : 10500 (java) S 10486 10489 5267 0 -1 4202560 1956 0 0 0 338 13 0 0 20 0 22 0 3341852 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722313165672 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10501] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10501/stat : 10501 (java) S 10486 10489 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722312111992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10502] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10502/stat : 10502 (java) S 10486 10489 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722311058824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10503] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10503/stat : 10503 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722310007568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10504] ppid=10486 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/10489/task/10504/stat : 10504 (java) S 10486 10489 5267 0 -1 4202560 12194 0 0 0 164 3 0 0 20 0 22 0 3341854 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722308954424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10505] ppid=10486 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/10489/task/10505/stat : 10505 (java) S 10486 10489 5267 0 -1 4202560 11739 0 0 0 143 2 0 0 20 0 22 0 3341854 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722307901880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10506] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10506/stat : 10506 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722306849016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10507] ppid=10486 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/10489/task/10507/stat : 10507 (java) S 10486 10489 5267 0 -1 4202560 47 0 0 0 11 22 0 0 20 0 22 0 3341855 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722305796680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10514] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10514/stat : 10514 (java) S 10486 10489 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341920 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722303689512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10606] ppid=10486 vsize=9824732 CPUtime=689.34 cores=1,3,5,7
/proc/10489/task/10606/stat : 10606 (java) R 10486 10489 5267 0 -1 4202560 85 0 0 0 68921 13 0 0 20 0 22 0 3354425 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722301582608 139722349901548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10607] ppid=10486 vsize=9824732 CPUtime=689.35 cores=1,3,5,7
/proc/10489/task/10607/stat : 10607 (java) R 10486 10489 5267 0 -1 4202560 639 0 0 0 68921 14 0 0 20 0 22 0 3354425 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722304739856 139722350239368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10608] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10608/stat : 10608 (java) S 10486 10489 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3354425 10060525568 567693 33554432000 1073741824 1073778376 140735530690176 139722302637608 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1645.85
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.26 4.25 4.19 5/218 10628
/proc/meminfo: memFree=22524848/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9824732 CPUtime=1766.27 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 35288 0 1 0 176422 205 0 0 20 0 22 0 3341848 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2456183 657635 2295 9 0 2446860 0
[pid=10489/tid=10491] ppid=10486 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/10489/task/10491/stat : 10491 (java) S 10486 10489 5267 0 -1 4202560 2420 0 1 0 21 3 0 0 20 0 22 0 3341849 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722489566072 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10492] ppid=10486 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/10489/task/10492/stat : 10492 (java) S 10486 10489 5267 0 -1 4202560 401 0 0 0 188 13 0 0 20 0 22 0 3341850 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722332732328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10493] ppid=10486 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/10489/task/10493/stat : 10493 (java) S 10486 10489 5267 0 -1 4202560 389 0 0 0 193 10 0 0 20 0 22 0 3341850 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722331679784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10494] ppid=10486 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/10489/task/10494/stat : 10494 (java) S 10486 10489 5267 0 -1 4202560 465 0 0 0 187 14 0 0 20 0 22 0 3341851 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722330626728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10495] ppid=10486 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/10489/task/10495/stat : 10495 (java) S 10486 10489 5267 0 -1 4202560 441 0 0 0 219 14 0 0 20 0 22 0 3341851 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722329574184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10496] ppid=10486 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/10489/task/10496/stat : 10496 (java) S 10486 10489 5267 0 -1 4202560 439 0 0 0 205 13 0 0 20 0 22 0 3341851 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722328521128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10497] ppid=10486 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/10489/task/10497/stat : 10497 (java) S 10486 10489 5267 0 -1 4202560 420 0 0 0 208 11 0 0 20 0 22 0 3341851 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722327468584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10498] ppid=10486 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/10489/task/10498/stat : 10498 (java) S 10486 10489 5267 0 -1 4202560 415 0 0 0 191 13 0 0 20 0 22 0 3341851 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722326415528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10499] ppid=10486 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/10489/task/10499/stat : 10499 (java) S 10486 10489 5267 0 -1 4202560 389 0 0 0 193 13 0 0 20 0 22 0 3341851 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722325362984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10500] ppid=10486 vsize=9824732 CPUtime=3.52 cores=1,3,5,7
/proc/10489/task/10500/stat : 10500 (java) S 10486 10489 5267 0 -1 4202560 2054 0 0 0 338 14 0 0 20 0 22 0 3341852 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722313165672 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10501] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10501/stat : 10501 (java) S 10486 10489 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722312111992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10502] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10502/stat : 10502 (java) S 10486 10489 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722311058824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10503] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10503/stat : 10503 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722310007568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10504] ppid=10486 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/10489/task/10504/stat : 10504 (java) S 10486 10489 5267 0 -1 4202560 12194 0 0 0 164 3 0 0 20 0 22 0 3341854 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722308954424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10505] ppid=10486 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/10489/task/10505/stat : 10505 (java) S 10486 10489 5267 0 -1 4202560 11739 0 0 0 143 2 0 0 20 0 22 0 3341854 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722307901880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10506] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10506/stat : 10506 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722306849016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10507] ppid=10486 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/10489/task/10507/stat : 10507 (java) S 10486 10489 5267 0 -1 4202560 51 0 0 0 12 23 0 0 20 0 22 0 3341855 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722305796680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10514] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10514/stat : 10514 (java) S 10486 10489 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341920 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722303689512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10606] ppid=10486 vsize=9824732 CPUtime=749.05 cores=1,3,5,7
/proc/10489/task/10606/stat : 10606 (java) R 10486 10489 5267 0 -1 4202560 95 0 0 0 74891 14 0 0 20 0 22 0 3354425 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722301582608 139722349887340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10607] ppid=10486 vsize=9824732 CPUtime=749.05 cores=1,3,5,7
/proc/10489/task/10607/stat : 10607 (java) R 10486 10489 5267 0 -1 4202560 780 0 0 0 74886 19 0 0 20 0 22 0 3354425 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722304741680 139722349955286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10608] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10608/stat : 10608 (java) S 10486 10489 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3354425 10060525568 657635 33554432000 1073741824 1073778376 140735530690176 139722302637608 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1766.27
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.601 s]
/proc/loadavg: 4.12 4.22 4.18 5/219 10630
/proc/meminfo: memFree=22332672/32872528 swapFree=1459092/1655316
[pid=10489] ppid=10486 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/10489/stat : 10489 (java) S 10486 10489 5267 0 -1 4202496 35411 0 1 0 179800 207 0 0 20 0 22 0 3341848 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 140735530681312 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10489/statm: 2456183 653820 2295 9 0 2446860 0
[pid=10489/tid=10491] ppid=10486 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/10489/task/10491/stat : 10491 (java) S 10486 10489 5267 0 -1 4202560 2420 0 1 0 21 3 0 0 20 0 22 0 3341849 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722489566072 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10492] ppid=10486 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/10489/task/10492/stat : 10492 (java) S 10486 10489 5267 0 -1 4202560 418 0 0 0 190 13 0 0 20 0 22 0 3341850 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722332732328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10493] ppid=10486 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/10489/task/10493/stat : 10493 (java) S 10486 10489 5267 0 -1 4202560 392 0 0 0 197 10 0 0 20 0 22 0 3341850 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722331679784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10494] ppid=10486 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/10489/task/10494/stat : 10494 (java) S 10486 10489 5267 0 -1 4202560 470 0 0 0 190 14 0 0 20 0 22 0 3341851 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722330626728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10495] ppid=10486 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/10489/task/10495/stat : 10495 (java) S 10486 10489 5267 0 -1 4202560 442 0 0 0 221 14 0 0 20 0 22 0 3341851 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722329574184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10496] ppid=10486 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/10489/task/10496/stat : 10496 (java) S 10486 10489 5267 0 -1 4202560 445 0 0 0 210 13 0 0 20 0 22 0 3341851 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722328521128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10497] ppid=10486 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/10489/task/10497/stat : 10497 (java) S 10486 10489 5267 0 -1 4202560 421 0 0 0 210 11 0 0 20 0 22 0 3341851 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722327468584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10498] ppid=10486 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/10489/task/10498/stat : 10498 (java) S 10486 10489 5267 0 -1 4202560 423 0 0 0 194 13 0 0 20 0 22 0 3341851 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722326415528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10499] ppid=10486 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/10489/task/10499/stat : 10499 (java) S 10486 10489 5267 0 -1 4202560 389 0 0 0 195 13 0 0 20 0 22 0 3341851 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722325362984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10500] ppid=10486 vsize=9824732 CPUtime=4.4 cores=1,3,5,7
/proc/10489/task/10500/stat : 10500 (java) S 10486 10489 5267 0 -1 4202560 2134 0 0 0 425 15 0 0 20 0 22 0 3341852 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722313165672 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10501] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10501/stat : 10501 (java) S 10486 10489 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722312111992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10502] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10502/stat : 10502 (java) S 10486 10489 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3341852 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722311058824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10503] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10503/stat : 10503 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722310007568 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10504] ppid=10486 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/10489/task/10504/stat : 10504 (java) S 10486 10489 5267 0 -1 4202560 12194 0 0 0 164 3 0 0 20 0 22 0 3341854 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722308954424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10505] ppid=10486 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/10489/task/10505/stat : 10505 (java) S 10486 10489 5267 0 -1 4202560 11739 0 0 0 143 2 0 0 20 0 22 0 3341854 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722307901880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10506] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10506/stat : 10506 (java) S 10486 10489 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3341854 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722306849016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10507] ppid=10486 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/10489/task/10507/stat : 10507 (java) S 10486 10489 5267 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 3341855 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722305796680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10489/tid=10514] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10514/stat : 10514 (java) S 10486 10489 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3341920 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722303689512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10489/tid=10606] ppid=10486 vsize=9824732 CPUtime=765.4 cores=1,3,5,7
/proc/10489/task/10606/stat : 10606 (java) R 10486 10489 5267 0 -1 4202560 96 0 0 0 76526 14 0 0 20 0 22 0 3354425 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722301581808 139722350458136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10489/tid=10607] ppid=10486 vsize=9824732 CPUtime=765.4 cores=1,3,5,7
/proc/10489/task/10607/stat : 10607 (java) R 10486 10489 5267 0 -1 4202560 781 0 0 0 76521 19 0 0 20 0 22 0 3354425 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722304740368 139722349886864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10489/tid=10608] ppid=10486 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10489/task/10608/stat : 10608 (java) S 10486 10489 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3354425 10060525568 653820 33554432000 1073741824 1073778376 140735530690176 139722302637608 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 10489 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 899.68
CPU time (s): 1800.82
CPU user time (s): 1798.32
CPU system time (s): 2.50262
CPU usage (%): 200.162
Max. virtual memory (cumulated for all children) (KiB): 9825944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.32
system time used= 2.50262
maximum resident set size= 2961452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35452
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26220
involuntary context switches= 41299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59315 second user time and 7.57285 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-29 20:11:47
IDJOB=4118224
IDBENCH=111470
IDSOLVER=2543
FILE ID=node136/4118224-1467223907
RUNJOBID= node136-1467208983-5284
PBS_JOBID= 19997574
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118224-1467223907/watcher-4118224-1467223907 -o /tmp/evaluation-result-4118224-1467223907/solver-4118224-1467223907 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118224-1467223907.opb

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

MD5SUM BENCH= 36efb62283908685a57ace0d721a5bbe
RANDOM SEED=1056193849

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25306064 kB
Buffers:          149104 kB
Cached:          1750632 kB
SwapCached:            0 kB
Active:          3472640 kB
Inactive:        1680488 kB
Active(anon):    3256224 kB
Inactive(anon):        0 kB
Active(file):     216416 kB
Inactive(file):  1680488 kB
Unevictable:     1655316 kB
Mlocked:         1459092 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       4902584 kB
Mapped:            22216 kB
Shmem:               204 kB
Slab:             609768 kB
SReclaimable:      53888 kB
SUnreclaim:       555880 kB
KernelStack:        1808 kB
PageTables:        14420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5204744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3295232 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= 71644 MiB
End job on node136 at 2016-06-29 20:26:46