Trace number 4109068

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)43 1800.07 1797.55

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-iis-bupa-cov.opb
MD5SUM7fb5c1a630b78d8604b800edf1958e29
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables341
Total number of constraints4803
Number of constraints which are clauses4803
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 constraint7
Maximum length of a constraint8
Number of terms in the objective function 341
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 341
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 341
Number of bits of the biggest sum of numbers9
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version PB16.v20160501
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Glucose 2.1 dynamic restart strategy
0.06/0.13	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.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-4109068-1466293611.opb
0.06/0.13	c reading problem ... 
0.06/0.13	c  objective function found
0.43/0.38	c ... done. Wall clock time 0.245s.
0.43/0.38	c declared #vars     341
0.43/0.38	c #constraints  4803
0.43/0.38	c constraints type 
0.43/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4803
0.43/0.38	c 4803 constraints processed.
0.43/0.38	c objective function length is 341 literals
0.43/0.39	c SATISFIABLE
0.43/0.39	c OPTIMIZING...
0.43/0.39	c Got one! Elapsed wall clock time (in seconds):0.255
0.43/0.39	o 48
0.64/0.41	c Got one! Elapsed wall clock time (in seconds):0.273
0.64/0.41	o 47
0.64/0.45	c Got one! Elapsed wall clock time (in seconds):0.314
0.64/0.45	o 46
0.91/0.52	c Got one! Elapsed wall clock time (in seconds):0.384
0.91/0.52	o 45
1.43/0.90	c cleaning 2921 clauses out of 5856 with flag 12595/5856
1.87/1.31	c cleaning 4462 clauses out of 8932 with flag 27610/11853
2.37/1.86	c cleaning 5733 clauses out of 11470 with flag 46815/18853
2.97/2.42	c cleaning 6862 clauses out of 13736 with flag 68332/26852
3.68/3.10	c cleaning 7937 clauses out of 15876 with flag 90580/35854
4.48/3.90	c cleaning 8959 clauses out of 17937 with flag 115215/45852
5.38/4.83	c cleaning 9980 clauses out of 19979 with flag 142468/56853
6.38/5.83	c cleaning 10995 clauses out of 21999 with flag 173204/68853
7.58/7.00	c cleaning 11995 clauses out of 24004 with flag 206128/81853
8.78/8.26	c cleaning 13005 clauses out of 26009 with flag 240117/95853
10.08/9.58	c cleaning 14000 clauses out of 28004 with flag 275734/110853
11.58/11.03	c cleaning 15001 clauses out of 30004 with flag 317949/126853
12.98/12.44	c cleaning 16001 clauses out of 32002 with flag 361417/143852
14.48/13.97	c cleaning 16998 clauses out of 34001 with flag 407343/161852
16.19/15.69	c cleaning 18001 clauses out of 36003 with flag 455652/180852
18.19/17.70	c cleaning 18998 clauses out of 38002 with flag 505425/200852
20.58/20.00	c cleaning 20000 clauses out of 40004 with flag 557806/221852
22.88/22.32	c cleaning 20997 clauses out of 42004 with flag 611489/243852
25.28/24.78	c cleaning 22001 clauses out of 44008 with flag 668898/266853
27.98/27.43	c cleaning 22999 clauses out of 46006 with flag 728044/290852
31.18/30.69	c cleaning 23998 clauses out of 48009 with flag 789552/315854
33.98/33.41	c Got one! Elapsed wall clock time (in seconds):33.276
33.98/33.41	o 44
34.53/33.96	c cleaning 25623 clauses out of 51263 with flag 12353/343106
35.04/34.45	c cleaning 15810 clauses out of 31640 with flag 26828/349106
35.54/34.92	c cleaning 11401 clauses out of 22830 with flag 43952/356106
36.04/35.41	c cleaning 9704 clauses out of 19429 with flag 63997/364106
36.54/35.94	c cleaning 9346 clauses out of 18726 with flag 86731/373107
37.14/36.54	c cleaning 9683 clauses out of 19380 with flag 112085/383107
37.84/37.25	c cleaning 10348 clauses out of 20696 with flag 139788/394106
38.74/38.19	c cleaning 11166 clauses out of 22349 with flag 169794/406107
39.84/39.27	c cleaning 12083 clauses out of 24183 with flag 201801/419107
40.95/40.38	c cleaning 13039 clauses out of 26099 with flag 235913/433106
42.25/41.70	c cleaning 14022 clauses out of 28060 with flag 272715/448106
43.66/43.01	c cleaning 15010 clauses out of 30039 with flag 312922/464107
45.05/44.41	c cleaning 16012 clauses out of 32028 with flag 355795/481106
46.55/45.91	c cleaning 16996 clauses out of 34016 with flag 399439/499106
48.15/47.58	c cleaning 18004 clauses out of 36020 with flag 445349/518106
50.05/49.48	c cleaning 19004 clauses out of 38016 with flag 493403/538106
51.85/51.25	c cleaning 20001 clauses out of 40015 with flag 544447/559109
54.15/53.51	c cleaning 21002 clauses out of 42013 with flag 599923/581108
56.35/55.71	c cleaning 21998 clauses out of 44009 with flag 660370/604106
58.55/57.95	c cleaning 23005 clauses out of 46011 with flag 721835/628106
61.55/60.98	c cleaning 23996 clauses out of 48006 with flag 784319/653106
65.05/64.41	c cleaning 25006 clauses out of 50012 with flag 851239/679108
65.95/65.32	c Got one! Elapsed wall clock time (in seconds):65.187
65.95/65.32	o 43
66.45/65.82	c cleaning 19406 clauses out of 38838 with flag 13457/692940
66.85/66.28	c cleaning 12710 clauses out of 25434 with flag 28776/698942
67.35/66.75	c cleaning 9850 clauses out of 19722 with flag 45845/705940
67.95/67.36	c cleaning 8932 clauses out of 17874 with flag 65531/713942
68.55/67.92	c cleaning 8971 clauses out of 17941 with flag 88021/722941
69.25/68.61	c cleaning 9485 clauses out of 18971 with flag 113774/732942
69.95/69.36	c cleaning 10242 clauses out of 20485 with flag 142934/743941
70.65/70.08	c cleaning 11118 clauses out of 22243 with flag 173584/755941
71.55/70.97	c cleaning 12058 clauses out of 24124 with flag 206542/768940
72.55/71.96	c cleaning 13028 clauses out of 26066 with flag 241574/782940
73.65/73.01	c cleaning 14014 clauses out of 28038 with flag 278539/797940
74.75/74.14	c cleaning 15009 clauses out of 30025 with flag 317931/813941
76.15/75.51	c cleaning 15993 clauses out of 32015 with flag 361247/830940
77.65/77.08	c cleaning 17007 clauses out of 34023 with flag 408098/848941
79.35/78.79	c cleaning 17999 clauses out of 36015 with flag 457635/867940
81.35/80.71	c cleaning 19003 clauses out of 38016 with flag 509128/887940
83.25/82.64	c cleaning 20004 clauses out of 40013 with flag 561401/908940
85.06/84.49	c cleaning 20999 clauses out of 42009 with flag 619684/930940
87.18/86.57	c cleaning 22003 clauses out of 44010 with flag 678753/953940
89.58/88.90	c cleaning 23000 clauses out of 46007 with flag 738918/977940
91.99/91.37	c cleaning 24002 clauses out of 48007 with flag 801329/1002940
94.48/93.80	c cleaning 24996 clauses out of 50006 with flag 865840/1028941
97.59/96.99	c cleaning 26003 clauses out of 52010 with flag 935065/1055941
100.28/99.60	c cleaning 26999 clauses out of 54006 with flag 1002753/1083940
102.88/102.20	c cleaning 27994 clauses out of 56007 with flag 1073151/1112940
106.29/105.65	c cleaning 29002 clauses out of 58014 with flag 1148115/1142941
110.38/109.77	c cleaning 30001 clauses out of 60011 with flag 1224905/1173940
114.18/113.58	c cleaning 30997 clauses out of 62011 with flag 1302562/1205941
118.28/117.60	c cleaning 32004 clauses out of 64014 with flag 1384712/1238941
122.58/121.93	c cleaning 33006 clauses out of 66011 with flag 1470546/1272942
127.58/126.96	c cleaning 33994 clauses out of 68004 with flag 1560100/1307941
131.98/131.34	c cleaning 34998 clauses out of 70009 with flag 1653151/1343940
136.68/136.03	c cleaning 35999 clauses out of 72011 with flag 1748792/1380940
141.18/140.52	c cleaning 36999 clauses out of 74013 with flag 1847131/1418941
145.58/144.95	c cleaning 38002 clauses out of 76014 with flag 1948693/1457941
150.05/149.33	c cleaning 39006 clauses out of 78013 with flag 2052868/1497942
154.45/153.77	c cleaning 39996 clauses out of 80005 with flag 2159618/1538940
159.65/158.93	c cleaning 40992 clauses out of 82009 with flag 2271805/1580940
164.85/164.13	c cleaning 42007 clauses out of 84019 with flag 2381295/1623942
170.35/169.65	c cleaning 43005 clauses out of 86013 with flag 2494822/1667943
176.55/175.83	c cleaning 43994 clauses out of 88005 with flag 2614460/1712940
182.75/182.04	c cleaning 45002 clauses out of 90016 with flag 2732996/1758945
188.65/187.98	c cleaning 46000 clauses out of 92010 with flag 2852239/1805941
195.25/194.52	c cleaning 46998 clauses out of 94009 with flag 2975474/1853940
201.85/201.15	c cleaning 48003 clauses out of 96011 with flag 3102358/1902940
209.35/208.60	c cleaning 48995 clauses out of 98009 with flag 3233446/1952941
216.65/215.94	c cleaning 50002 clauses out of 100016 with flag 3366478/2003943
224.48/223.76	c cleaning 50999 clauses out of 102011 with flag 3501225/2055940
232.58/231.89	c cleaning 51998 clauses out of 104012 with flag 3639856/2108940
239.68/239.00	c cleaning 53000 clauses out of 106015 with flag 3777616/2162941
247.99/247.29	c cleaning 54004 clauses out of 108014 with flag 3917651/2217940
259.09/258.33	c cleaning 55004 clauses out of 110010 with flag 4061309/2273940
271.29/270.54	c cleaning 55999 clauses out of 112006 with flag 4208678/2330940
281.40/280.62	c cleaning 56996 clauses out of 114008 with flag 4358801/2388941
292.09/291.34	c cleaning 58000 clauses out of 116012 with flag 4515831/2447941
303.70/302.92	c cleaning 58999 clauses out of 118011 with flag 4671784/2507940
315.16/314.33	c cleaning 60002 clauses out of 120013 with flag 4829085/2568941
324.16/323.40	c cleaning 61002 clauses out of 122010 with flag 4995859/2630940
334.96/334.10	c cleaning 61999 clauses out of 124008 with flag 5160852/2693940
345.28/344.46	c cleaning 63001 clauses out of 126010 with flag 5323454/2757941
356.37/355.53	c cleaning 64000 clauses out of 128009 with flag 5492504/2822941
366.37/365.57	c cleaning 64995 clauses out of 130008 with flag 5664670/2888940
376.47/375.64	c cleaning 66001 clauses out of 132014 with flag 5836317/2955941
389.18/388.39	c cleaning 67002 clauses out of 134012 with flag 6008244/3023940
401.38/400.50	c cleaning 67994 clauses out of 136010 with flag 6182046/3092940
415.28/414.34	c cleaning 69003 clauses out of 138019 with flag 6360079/3162943
427.58/426.70	c cleaning 70000 clauses out of 140013 with flag 6540893/3233940
441.58/440.65	c cleaning 71002 clauses out of 142013 with flag 6732068/3305940
455.09/454.14	c cleaning 72002 clauses out of 144011 with flag 6923102/3378940
467.89/466.97	c cleaning 72999 clauses out of 146014 with flag 7117417/3452945
481.59/480.65	c cleaning 73998 clauses out of 148010 with flag 7312616/3527940
495.09/494.06	c cleaning 75000 clauses out of 150014 with flag 7507460/3603942
509.18/508.18	c cleaning 76006 clauses out of 152016 with flag 7700814/3680944
523.48/522.43	c cleaning 76997 clauses out of 154006 with flag 7905191/3758940
538.38/537.33	c cleaning 77999 clauses out of 156009 with flag 8110595/3837940
554.78/553.74	c cleaning 79002 clauses out of 158011 with flag 8323858/3917941
572.38/571.31	c cleaning 79997 clauses out of 160008 with flag 8533380/3998940
589.29/588.17	c cleaning 80995 clauses out of 162012 with flag 8741086/4080941
605.49/604.32	c cleaning 82003 clauses out of 164017 with flag 8955699/4163941
621.89/620.80	c cleaning 83007 clauses out of 166017 with flag 9175587/4247944
639.50/638.37	c cleaning 83993 clauses out of 168006 with flag 9393451/4332940
656.60/655.46	c cleaning 84999 clauses out of 170013 with flag 9612407/4418940
674.52/673.30	c cleaning 85998 clauses out of 172014 with flag 9834153/4505940
694.51/693.29	c cleaning 87005 clauses out of 174017 with flag 10060303/4593941
714.51/713.24	c cleaning 88003 clauses out of 176011 with flag 10290520/4682940
734.11/732.86	c cleaning 89002 clauses out of 178009 with flag 10513724/4772941
754.41/753.19	c cleaning 90001 clauses out of 180007 with flag 10743970/4863941
774.76/773.38	c cleaning 90992 clauses out of 182005 with flag 10984071/4955940
797.05/795.64	c cleaning 91998 clauses out of 184016 with flag 11225692/5048943
817.66/816.30	c cleaning 93006 clauses out of 186015 with flag 11473719/5142940
836.56/835.20	c cleaning 93995 clauses out of 188010 with flag 11716636/5237941
854.81/853.29	c cleaning 94994 clauses out of 190015 with flag 11961302/5333941
874.21/872.60	c cleaning 96003 clauses out of 192020 with flag 12206447/5430940
894.11/892.54	c cleaning 96996 clauses out of 194018 with flag 12455980/5528941
914.21/912.69	c cleaning 98007 clauses out of 196021 with flag 12710104/5627940
935.21/933.55	c cleaning 99002 clauses out of 198014 with flag 12975009/5727940
957.31/955.68	c cleaning 99997 clauses out of 200013 with flag 13237677/5828941
980.02/978.30	c cleaning 101002 clauses out of 202015 with flag 13489410/5930940
1004.22/1002.59	c cleaning 102004 clauses out of 204015 with flag 13757731/6033942
1027.19/1025.40	c cleaning 103001 clauses out of 206009 with flag 14026547/6137940
1050.68/1048.82	c cleaning 103996 clauses out of 208009 with flag 14303814/6242941
1074.19/1072.38	c cleaning 105001 clauses out of 210013 with flag 14570242/6348941
1104.39/1102.59	c cleaning 106000 clauses out of 212011 with flag 14839141/6455940
1132.66/1130.76	c cleaning 107002 clauses out of 214011 with flag 15118381/6563940
1162.27/1160.39	c cleaning 107995 clauses out of 216009 with flag 15394168/6672940
1189.07/1187.15	c cleaning 109001 clauses out of 218015 with flag 15665350/6782941
1216.05/1214.00	c cleaning 109999 clauses out of 220013 with flag 15938241/6893940
1243.97/1242.00	c cleaning 111006 clauses out of 222014 with flag 16213087/7005940
1271.96/1269.94	c cleaning 111988 clauses out of 224009 with flag 16493732/7118941
1306.68/1304.64	c cleaning 112995 clauses out of 226020 with flag 16780457/7232940
1340.37/1338.24	c cleaning 114006 clauses out of 228026 with flag 17066329/7347941
1372.57/1370.42	c cleaning 115003 clauses out of 230021 with flag 17353120/7463942
1408.09/1405.90	c cleaning 116002 clauses out of 232016 with flag 17640790/7580940
1445.05/1442.82	c cleaning 116998 clauses out of 234015 with flag 17931001/7698941
1479.96/1477.77	c cleaning 118007 clauses out of 236018 with flag 18235113/7817942
1516.86/1514.65	c cleaning 119003 clauses out of 238009 with flag 18536694/7937940
1554.44/1552.17	c cleaning 120000 clauses out of 240006 with flag 18843235/8058940
1590.93/1588.69	c cleaning 120996 clauses out of 242007 with flag 19155732/8180941
1623.22/1620.97	c cleaning 121994 clauses out of 244010 with flag 19465741/8303940
1654.03/1651.63	c cleaning 123004 clauses out of 246017 with flag 19773032/8427941
1691.93/1689.50	c cleaning 124004 clauses out of 248012 with flag 20083495/8552940
1734.05/1731.52	c cleaning 125002 clauses out of 250009 with flag 20401128/8678941
1772.25/1769.78	c cleaning 125988 clauses out of 252007 with flag 20719925/8805941
1800.07/1797.51	c starts		: 10
1800.07/1797.51	c conflicts		: 8905545
1800.07/1797.51	c decisions		: 16485564
1800.07/1797.51	c propagations		: 193506345
1800.07/1797.51	c inspects		: 38891488633
1800.07/1797.51	c shortcuts		: 0
1800.07/1797.51	c learnt literals	: 0
1800.07/1797.51	c learnt binary clauses	: 0
1800.07/1797.51	c learnt ternary clauses	: 0
1800.07/1797.51	c learnt constraints	: 8905545
1800.07/1797.51	c ignored constraints	: 0
1800.07/1797.51	c root simplifications	: 0
1800.07/1797.51	c removed literals (reason simplification)	: 0
1800.07/1797.51	c reason swapping (by a shorter reason)	: 0
1800.07/1797.51	c Calls to reduceDB	: 166
1800.07/1797.51	c Number of update (reduction) of LBD	: 1812804
1800.07/1797.51	c Imported unit clauses	: 0
1800.07/1797.51	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.51	c number of learned constraints concerned by reduction	: 0
1800.07/1797.51	c number of learning phase by resolution	: 0
1800.07/1797.51	c number of learning phase by cutting planes	: 0
1800.07/1797.51	c speed (assignments/second)	: 107675.38688139459
1800.07/1797.51	c non guided choices	0
1800.07/1797.54	c learnt constraints type 
1800.07/1797.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 225623
1800.07/1797.54	s SATISFIABLE
1800.07/1797.54	c Found 6 solution(s)
1800.07/1797.54	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 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 
1800.07/1797.54	c objective function=43
1800.07/1797.54	c Total wall clock time (in seconds): 1797.412

Verifier Data 

OK	43

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-4109068-1466293611/watcher-4109068-1466293611 -o /tmp/evaluation-result-4109068-1466293611/solver-4109068-1466293611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466289489-7476 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109068-1466293611.opb 

pid=8233
running on 4 cores: 0,2,4,6

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.14 2.25 2.27 4/194 8236
/proc/meminfo: memFree=25037764/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/8236/stat : 8236 (java) D 8233 8236 7460 0 -1 4202496 157 0 0 0 0 0 0 0 20 0 1 0 31409533 278528 33 33554432000 1073741824 1073778376 140735887829184 140735887826360 217401355559 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/8236/statm: 68 33 25 9 0 25 0

[startup+0.100096 s]
/proc/loadavg: 2.14 2.25 2.27 4/194 8236
/proc/meminfo: memFree=25037764/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 3598 0 1 0 5 1 0 0 20 0 18 0 31409533 9787879424 4730 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2389619 4731 1789 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476

[startup+0.200291 s]
/proc/loadavg: 2.14 2.25 2.27 4/194 8236
/proc/meminfo: memFree=25037764/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 4733 0 1 0 21 1 0 0 20 0 18 0 31409533 9787879424 6320 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2389619 6320 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300268 s]
/proc/loadavg: 2.14 2.25 2.27 4/194 8236
/proc/meminfo: memFree=25037764/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 5678 0 1 0 42 1 0 0 20 0 18 0 31409533 9787879424 8366 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2389619 8366 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.7002 s]
/proc/loadavg: 2.14 2.25 2.27 4/194 8236
/proc/meminfo: memFree=25037764/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9625040 CPUtime=1.15 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 8286 0 1 0 113 2 0 0 20 0 19 0 31409533 9856040960 13813 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2406260 13813 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.14 2.25 2.27 4/213 8255
/proc/meminfo: memFree=24987536/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 9173 0 1 0 204 3 0 0 20 0 19 0 31409533 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2406260 14878 2267 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 7460 0 -1 4202560 2471 0 1 0 142 2 0 0 20 0 19 0 31409535 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362818674400 140362758969861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362757413416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362756360616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362755307816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362754255016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362657774632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362656721832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362655669032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 7460 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362654616232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 7460 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362642418152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 7460 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362641364216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362640311304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362639259792 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 7460 0 -1 4202560 2268 0 0 0 26 0 0 0 20 0 19 0 31409541 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362638207928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 7460 0 -1 4202560 3163 0 0 0 31 0 0 0 20 0 19 0 31409541 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362637155128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362636102520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362635049928 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409572 9856040960 14878 33554432000 1073741824 1073778376 140737079251936 140362633995432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.14 2.25 2.27 4/213 8255
/proc/meminfo: memFree=24983936/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9625040 CPUtime=3.68 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 9176 0 1 0 365 3 0 0 20 0 19 0 31409533 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2406260 15902 2267 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 7460 0 -1 4202560 2474 0 1 0 302 2 0 0 20 0 19 0 31409535 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362818683176 140362759140824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362757413416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362756360616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362755307816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362754255016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362657774632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362656721832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362655669032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 7460 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362654616232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 7460 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362642418152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 7460 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362641364216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362640311304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362639259792 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 7460 0 -1 4202560 2268 0 0 0 27 0 0 0 20 0 19 0 31409541 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362638207928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 7460 0 -1 4202560 3163 0 0 0 33 0 0 0 20 0 19 0 31409541 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362637155128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362636102520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362635049928 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409572 9856040960 15902 33554432000 1073741824 1073778376 140737079251936 140362633995432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.13 2.25 2.27 4/213 8255
/proc/meminfo: memFree=24973448/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9625040 CPUtime=6.88 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 9183 0 1 0 685 3 0 0 20 0 19 0 31409533 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2406260 18440 2268 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 7460 0 -1 4202560 2480 0 1 0 621 2 0 0 20 0 19 0 31409535 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362818674384 140362758969856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362757413416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362756360616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362755307816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362754255016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362657774632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362656721832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362655669032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 7460 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31409536 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362654616232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 7460 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362642418152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 7460 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362641364216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362640311304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362639259792 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 7460 0 -1 4202560 2268 0 0 0 27 0 0 0 20 0 19 0 31409541 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362638207928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 7460 0 -1 4202560 3163 0 0 0 33 0 0 0 20 0 19 0 31409541 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362637155128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362636102520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 7460 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362635049928 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409572 9856040960 18440 33554432000 1073741824 1073778376 140737079251936 140362633995432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9625040


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

[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409572 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362633995432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.84
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.37 1.48 1.85 2/188 8355
/proc/meminfo: memFree=29486028/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9625040 CPUtime=1784.86 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 13186 0 1 0 178423 63 0 0 20 0 19 0 31409533 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2406260 116605 2282 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1776.98 cores=0,2,4,6
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 7460 0 -1 4202560 2546 0 1 0 177668 30 0 0 20 0 19 0 31409535 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362818674368 140362758969876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 7460 0 -1 4202560 269 0 0 0 26 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362757413416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 7460 0 -1 4202560 496 0 0 0 25 5 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362756360616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 7460 0 -1 4202560 310 0 0 0 23 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362755307816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 7460 0 -1 4202560 538 0 0 0 24 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362754255016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 7460 0 -1 4202560 579 0 0 0 20 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362657774632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 7460 0 -1 4202560 336 0 0 0 25 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362656721832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 7460 0 -1 4202560 236 0 0 0 26 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362655669032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 7460 0 -1 4202560 317 0 0 0 24 5 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362654616232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 7460 0 -1 4202560 84 0 0 0 0 2 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362642418152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 7460 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362641364216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 7460 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362640311304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362639259792 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 7460 0 -1 4202560 2393 0 0 0 29 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362638207928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 7460 0 -1 4202560 3721 0 0 0 39 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362637155128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362636102520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 7460 0 -1 4202560 104 0 0 0 28 29 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362635049928 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409572 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362633995432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.86
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 1.35 1.48 1.84 2/188 8355
/proc/meminfo: memFree=29486036/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 13186 0 1 0 179944 63 0 0 20 0 19 0 31409533 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2406260 116605 2282 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1792.15 cores=0,2,4,6
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 7460 0 -1 4202560 2546 0 1 0 179185 30 0 0 20 0 19 0 31409535 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362818674368 140362758954388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 7460 0 -1 4202560 269 0 0 0 26 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362757413416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 7460 0 -1 4202560 496 0 0 0 25 5 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362756360616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 7460 0 -1 4202560 310 0 0 0 23 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362755307816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 7460 0 -1 4202560 538 0 0 0 24 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362754255016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 7460 0 -1 4202560 579 0 0 0 20 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362657774632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 7460 0 -1 4202560 336 0 0 0 25 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362656721832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 7460 0 -1 4202560 236 0 0 0 26 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362655669032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 7460 0 -1 4202560 317 0 0 0 24 5 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362654616232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 7460 0 -1 4202560 84 0 0 0 0 2 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362642418152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 7460 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362641364216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 7460 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362640311304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362639259792 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 7460 0 -1 4202560 2393 0 0 0 29 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362638207928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 7460 0 -1 4202560 3721 0 0 0 39 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362637155128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362636102520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 7460 0 -1 4202560 104 0 0 0 29 30 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362635049928 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409572 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362633995432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 8236 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.51 s]
/proc/loadavg: 1.35 1.48 1.84 2/188 8355
/proc/meminfo: memFree=29486036/32872528 swapFree=1534436/1655032
[pid=8236] ppid=8233 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/8236/stat : 8236 (java) S 8233 8236 7460 0 -1 4202496 13186 0 1 0 179944 63 0 0 20 0 19 0 31409533 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140737079243072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8236/statm: 2406260 116605 2282 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1792.15 cores=0,2,4,6
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 7460 0 -1 4202560 2546 0 1 0 179185 30 0 0 20 0 19 0 31409535 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362818674368 140362758954388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 7460 0 -1 4202560 269 0 0 0 26 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362757413416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 7460 0 -1 4202560 496 0 0 0 25 5 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362756360616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 7460 0 -1 4202560 310 0 0 0 23 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362755307816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 7460 0 -1 4202560 538 0 0 0 24 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362754255016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 7460 0 -1 4202560 579 0 0 0 20 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362657774632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 7460 0 -1 4202560 336 0 0 0 25 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362656721832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 7460 0 -1 4202560 236 0 0 0 26 4 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362655669032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 7460 0 -1 4202560 317 0 0 0 24 5 0 0 20 0 19 0 31409536 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362654616232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 7460 0 -1 4202560 84 0 0 0 0 2 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362642418152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 7460 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362641364216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 7460 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31409538 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362640311304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362639259792 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 7460 0 -1 4202560 2393 0 0 0 29 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362638207928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 7460 0 -1 4202560 3721 0 0 0 39 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362637155128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 7460 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362636102520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 7460 0 -1 4202560 104 0 0 0 29 30 0 0 20 0 19 0 31409541 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362635049928 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 7460 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31409572 9856040960 116605 33554432000 1073741824 1073778376 140737079251936 140362633995432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8236 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=979121
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=102832
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.55
CPU time (s): 1800.07
CPU user time (s): 1799.44
CPU system time (s): 0.63
CPU usage (%): 100.14
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 1.10283
maximum resident set size= 468344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13227
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38566
involuntary context switches= 6324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5301 second user time and 14.2368 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-19 01:46:51
IDJOB=4109068
IDBENCH=89845
IDSOLVER=2546
FILE ID=node122/4109068-1466293611
RUNJOBID= node122-1466289489-7476
PBS_JOBID= 19918275
Free space on /tmp= 71076 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-bupa-cov.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109068-1466293611/watcher-4109068-1466293611 -o /tmp/evaluation-result-4109068-1466293611/solver-4109068-1466293611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466289489-7476 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4109068-1466293611.opb

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

MD5SUM BENCH= 7fb5c1a630b78d8604b800edf1958e29
RANDOM SEED=1250676681

node122.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.769
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	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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.769
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.769
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.53
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.769
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.769
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.769
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25037928 kB
Buffers:          166232 kB
Cached:          1024472 kB
SwapCached:            0 kB
Active:          5002404 kB
Inactive:         394464 kB
Active(anon):    4199096 kB
Inactive(anon):     9916 kB
Active(file):     803308 kB
Inactive(file):   384548 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1388 kB
Writeback:             0 kB
AnonPages:       5869876 kB
Mapped:            21232 kB
Shmem:               204 kB
Slab:             632360 kB
SReclaimable:      76096 kB
SUnreclaim:       556264 kB
KernelStack:        1600 kB
PageTables:        15432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6221660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4282368 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= 71744 MiB
End job on node122 at 2016-06-19 02:16:49