Trace number 4085177

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)22 1800.81 1796.37

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM374deb5d477559ba9c51d0ad1d758624
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark3.84142
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables2112
Total number of constraints5020
Number of constraints which are clauses4128
Number of constraints which are cardinality constraints (but not clauses)216
Number of constraints which are nor clauses,nor cardinality constraints676
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 288
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 288
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 288
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4085177-1465222150.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.50/0.36	c ... done. Wall clock time 0.244s.
0.50/0.36	c declared #vars     2112
0.50/0.36	c #constraints  5120
0.50/0.36	c constraints type 
0.50/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3840
0.50/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 416
0.50/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 288
0.50/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 576
0.50/0.36	c 5120 constraints processed.
0.50/0.36	c objective function length is 288 literals
0.74/0.45	c SATISFIABLE
0.74/0.45	c OPTIMIZING...
0.74/0.45	c Got one! Elapsed wall clock time (in seconds):0.336
0.74/0.45	o 50
0.74/0.47	c Got one! Elapsed wall clock time (in seconds):0.357
0.74/0.47	o 25
0.74/0.49	c Got one! Elapsed wall clock time (in seconds):0.371
0.74/0.49	o 24
1.41/0.80	c Got one! Elapsed wall clock time (in seconds):0.681
1.41/0.80	o 23
2.13/1.56	c cleaning 2889 clauses out of 5785 with flag 25186/5785
3.29/2.64	c cleaning 4448 clauses out of 8899 with flag 60260/11788
4.49/3.80	c cleaning 5720 clauses out of 11448 with flag 112123/18785
5.80/5.16	c cleaning 6859 clauses out of 13731 with flag 161199/26788
7.43/6.72	c cleaning 7926 clauses out of 15868 with flag 221974/35784
9.12/8.44	c cleaning 8955 clauses out of 17942 with flag 288804/45784
11.02/10.37	c cleaning 9986 clauses out of 19987 with flag 367281/56784
13.15/12.45	c cleaning 10979 clauses out of 22003 with flag 453500/68786
15.34/14.64	c cleaning 11997 clauses out of 24023 with flag 543616/81785
17.84/17.19	c cleaning 13001 clauses out of 26026 with flag 650822/95785
20.64/19.99	c cleaning 13990 clauses out of 28028 with flag 763486/110788
23.64/22.98	c cleaning 15000 clauses out of 30035 with flag 882148/126785
26.84/26.16	c cleaning 16007 clauses out of 32034 with flag 1027881/143784
29.95/29.28	c cleaning 16992 clauses out of 34027 with flag 1187529/161784
33.35/32.61	c cleaning 18008 clauses out of 36040 with flag 1355568/180789
36.85/36.12	c cleaning 19008 clauses out of 38027 with flag 1543566/200784
40.54/39.84	c cleaning 19989 clauses out of 40020 with flag 1745353/221785
44.57/43.84	c cleaning 21003 clauses out of 42032 with flag 1941611/243786
49.07/47.98	c cleaning 21991 clauses out of 44028 with flag 2149856/266785
53.39/52.28	c cleaning 23010 clauses out of 46036 with flag 2370851/290784
57.90/56.78	c cleaning 23990 clauses out of 48026 with flag 2606565/315784
62.70/61.51	c cleaning 25017 clauses out of 50037 with flag 2851006/341785
67.40/66.26	c cleaning 26004 clauses out of 52020 with flag 3067008/368785
72.30/71.16	c cleaning 26975 clauses out of 54015 with flag 3290667/396784
77.53/76.36	c cleaning 28006 clauses out of 56040 with flag 3524752/425784
82.76/81.59	c cleaning 29007 clauses out of 58034 with flag 3806555/455784
88.16/86.93	c cleaning 29997 clauses out of 60030 with flag 4089846/486787
94.06/92.85	c cleaning 31008 clauses out of 62030 with flag 4380221/518784
100.06/98.84	c cleaning 31991 clauses out of 64021 with flag 4665807/551784
106.27/105.07	c cleaning 33006 clauses out of 66030 with flag 4978395/585784
112.87/111.68	c cleaning 34005 clauses out of 68023 with flag 5313562/620784
119.67/118.47	c cleaning 34996 clauses out of 70019 with flag 5709379/656785
126.87/125.65	c cleaning 36009 clauses out of 72022 with flag 6130587/693784
134.38/133.14	c cleaning 36987 clauses out of 74014 with flag 6557904/731785
142.47/141.24	c cleaning 37995 clauses out of 76027 with flag 6988113/770785
150.47/149.25	c cleaning 39001 clauses out of 78032 with flag 7459400/810785
158.43/157.19	c cleaning 40003 clauses out of 80031 with flag 7913248/851785
166.93/165.62	c cleaning 41004 clauses out of 82027 with flag 8422694/893784
175.43/174.16	c cleaning 41989 clauses out of 84024 with flag 8852748/936785
184.43/183.17	c cleaning 43009 clauses out of 86033 with flag 9301410/980784
193.73/192.41	c cleaning 43998 clauses out of 88024 with flag 9793168/1025784
202.76/201.45	c cleaning 44981 clauses out of 90023 with flag 10293645/1071784
212.15/210.84	c cleaning 46017 clauses out of 92046 with flag 10827951/1118788
221.96/220.65	c cleaning 47013 clauses out of 94025 with flag 11327605/1166784
232.26/230.90	c cleaning 47983 clauses out of 96011 with flag 11843336/1215784
242.66/241.35	c cleaning 49008 clauses out of 98030 with flag 12405941/1265786
253.61/252.29	c cleaning 50006 clauses out of 100020 with flag 12965557/1316784
264.42/263.04	c cleaning 50980 clauses out of 102017 with flag 13507396/1368787
275.12/273.70	c cleaning 52007 clauses out of 104034 with flag 14070387/1421784
285.41/284.09	c cleaning 52979 clauses out of 106027 with flag 14589558/1475784
296.12/294.70	c cleaning 54012 clauses out of 108048 with flag 15168359/1530784
307.33/305.94	c cleaning 55011 clauses out of 110037 with flag 15789966/1586785
318.02/316.60	c cleaning 55995 clauses out of 112025 with flag 16361752/1643785
329.42/328.03	c cleaning 57009 clauses out of 114028 with flag 16962342/1701784
341.30/339.86	c cleaning 57990 clauses out of 116019 with flag 17635759/1760784
354.20/352.75	c cleaning 58994 clauses out of 118031 with flag 18292660/1820786
367.10/365.66	c cleaning 60015 clauses out of 120036 with flag 18952287/1881785
379.93/378.49	c cleaning 61002 clauses out of 122020 with flag 19615344/1943784
394.02/392.52	c cleaning 61996 clauses out of 124018 with flag 20290640/2006784
408.23/406.70	c cleaning 62999 clauses out of 126021 with flag 21049422/2070784
422.23/420.78	c cleaning 63984 clauses out of 128020 with flag 21795813/2135784
436.66/435.07	c cleaning 65013 clauses out of 130036 with flag 22529541/2201784
451.16/449.55	c cleaning 65987 clauses out of 132022 with flag 23247244/2268784
465.46/463.85	c cleaning 67002 clauses out of 134036 with flag 24024127/2336785
480.66/479.01	c cleaning 68016 clauses out of 136033 with flag 24740181/2405785
496.26/494.63	c cleaning 68982 clauses out of 138016 with flag 25466267/2475784
511.86/510.24	c cleaning 69999 clauses out of 140035 with flag 26250596/2546785
527.83/526.04	c cleaning 71004 clauses out of 142035 with flag 27025392/2618784
545.73/543.91	c cleaning 71994 clauses out of 144030 with flag 27913642/2691784
563.54/561.75	c cleaning 73009 clauses out of 146033 with flag 28798122/2765784
581.24/579.40	c cleaning 74007 clauses out of 148025 with flag 29569907/2840787
598.65/596.85	c cleaning 74997 clauses out of 150017 with flag 30304757/2916786
617.49/615.53	c cleaning 76003 clauses out of 152017 with flag 31119087/2993784
637.49/635.58	c cleaning 77003 clauses out of 154013 with flag 31943653/3071784
655.70/653.78	c cleaning 77990 clauses out of 156010 with flag 32779710/3150784
675.61/673.60	c cleaning 78974 clauses out of 158021 with flag 33761762/3230785
695.32/693.30	c cleaning 80002 clauses out of 160045 with flag 34697875/3311784
715.20/713.01	c cleaning 81011 clauses out of 162043 with flag 35643264/3393784
736.61/734.49	c cleaning 81987 clauses out of 164032 with flag 36593352/3476784
756.81/754.61	c cleaning 83021 clauses out of 166046 with flag 37473549/3560785
779.01/776.84	c cleaning 83994 clauses out of 168023 with flag 38444418/3645784
800.48/798.15	c cleaning 85008 clauses out of 170029 with flag 39446529/3731785
822.99/820.65	c cleaning 86000 clauses out of 172021 with flag 40356018/3818786
847.49/845.14	c cleaning 86984 clauses out of 174019 with flag 41392550/3906785
870.97/868.48	c cleaning 87983 clauses out of 176034 with flag 42332893/3995784
894.27/891.77	c cleaning 89009 clauses out of 178051 with flag 43319539/4085784
918.07/915.54	c cleaning 90004 clauses out of 180047 with flag 44280230/4176789
943.28/940.76	c cleaning 91003 clauses out of 182037 with flag 45317568/4268784
970.59/967.96	c cleaning 92007 clauses out of 184040 with flag 46367295/4361790
997.90/995.29	c cleaning 92988 clauses out of 186027 with flag 47449643/4455784
1025.21/1022.58	c cleaning 94020 clauses out of 188041 with flag 48629258/4550787
1052.12/1049.33	c cleaning 94983 clauses out of 190019 with flag 49750278/4646786
1079.93/1077.19	c cleaning 95997 clauses out of 192034 with flag 50887121/4743784
1105.94/1103.13	c cleaning 97003 clauses out of 194036 with flag 52007778/4841784
1125.44/1122.57	c Got one! Elapsed wall clock time (in seconds):1122.454
1125.44/1122.57	o 22
1127.07/1124.16	c cleaning 84482 clauses out of 168989 with flag 36610/4913740
1128.28/1125.40	c cleaning 45229 clauses out of 90506 with flag 78831/4919739
1129.58/1126.62	c cleaning 26123 clauses out of 52277 with flag 124718/4926739
1130.88/1127.90	c cleaning 17055 clauses out of 34154 with flag 180738/4934739
1132.28/1129.33	c cleaning 13048 clauses out of 26101 with flag 232496/4943741
1133.89/1130.91	c cleaning 11508 clauses out of 23052 with flag 285505/4953740
1135.58/1132.61	c cleaning 11242 clauses out of 22543 with flag 339937/4964739
1137.48/1134.56	c cleaning 11650 clauses out of 23303 with flag 402636/4976741
1139.58/1136.68	c cleaning 12311 clauses out of 24651 with flag 479209/4989739
1141.88/1138.96	c cleaning 13170 clauses out of 26344 with flag 560802/5003743
1144.28/1141.38	c cleaning 14073 clauses out of 28170 with flag 643358/5018739
1146.88/1143.99	c cleaning 15037 clauses out of 30097 with flag 740258/5034739
1149.68/1146.73	c cleaning 16012 clauses out of 32060 with flag 853566/5051739
1152.59/1149.65	c cleaning 17014 clauses out of 34050 with flag 968052/5069741
1155.68/1152.74	c cleaning 18015 clauses out of 36035 with flag 1084759/5088740
1158.98/1156.06	c cleaning 19003 clauses out of 38023 with flag 1233146/5108743
1162.58/1159.62	c cleaning 20003 clauses out of 40016 with flag 1389135/5129739
1166.28/1163.35	c cleaning 20999 clauses out of 42013 with flag 1545277/5151739
1170.38/1167.40	c cleaning 21994 clauses out of 44014 with flag 1689132/5174739
1174.59/1171.52	c cleaning 23003 clauses out of 46023 with flag 1814572/5198742
1178.78/1175.70	c cleaning 23999 clauses out of 48017 with flag 1984671/5223739
1183.18/1180.11	c cleaning 25008 clauses out of 50019 with flag 2158105/5249740
1187.68/1184.70	c cleaning 25985 clauses out of 52012 with flag 2345471/5276741
1192.48/1189.47	c cleaning 27000 clauses out of 54026 with flag 2552889/5304740
1197.79/1194.72	c cleaning 27999 clauses out of 56025 with flag 2771806/5333739
1203.08/1200.09	c cleaning 28983 clauses out of 58026 with flag 3048020/5363739
1208.79/1205.75	c cleaning 30003 clauses out of 60043 with flag 3274574/5394739
1214.58/1211.54	c cleaning 30996 clauses out of 62042 with flag 3512478/5426741
1220.68/1217.66	c cleaning 32008 clauses out of 64044 with flag 3785259/5459739
1227.08/1224.08	c cleaning 33012 clauses out of 66036 with flag 4051018/5493739
1233.63/1230.56	c cleaning 34006 clauses out of 68025 with flag 4344306/5528740
1240.52/1237.48	c cleaning 34978 clauses out of 70017 with flag 4641814/5564739
1247.23/1244.17	c cleaning 36003 clauses out of 72038 with flag 4972554/5601739
1254.24/1251.16	c cleaning 37003 clauses out of 74036 with flag 5302718/5639740
1261.74/1258.61	c cleaning 37988 clauses out of 76034 with flag 5647344/5678741
1269.04/1265.91	c cleaning 39016 clauses out of 78045 with flag 5957729/5718740
1276.44/1273.36	c cleaning 39996 clauses out of 80028 with flag 6297263/5759739
1284.58/1281.48	c cleaning 41007 clauses out of 82033 with flag 6668815/5801740
1292.98/1289.88	c cleaning 41992 clauses out of 84025 with flag 7024441/5844739
1301.58/1298.42	c cleaning 43009 clauses out of 86033 with flag 7384863/5888741
1310.38/1307.26	c cleaning 43999 clauses out of 88025 with flag 7754472/5933742
1319.58/1316.43	c cleaning 44992 clauses out of 90023 with flag 8114267/5979739
1328.39/1325.27	c cleaning 45999 clauses out of 92033 with flag 8463202/6026742
1337.89/1334.74	c cleaning 46992 clauses out of 94031 with flag 8804291/6074739
1347.85/1344.66	c cleaning 48012 clauses out of 96041 with flag 9172297/6123741
1358.14/1354.96	c cleaning 49003 clauses out of 98026 with flag 9546311/6173739
1368.64/1365.43	c cleaning 50006 clauses out of 100023 with flag 9987214/6224739
1379.04/1375.80	c cleaning 51008 clauses out of 102018 with flag 10426625/6276740
1390.14/1386.97	c cleaning 51996 clauses out of 104010 with flag 10895449/6329740
1401.13/1397.88	c cleaning 52981 clauses out of 106013 with flag 11361466/6383739
1412.63/1409.35	c cleaning 54012 clauses out of 108034 with flag 11802912/6438741
1424.03/1420.71	c cleaning 55002 clauses out of 110019 with flag 12235244/6494739
1435.54/1432.25	c cleaning 55989 clauses out of 112018 with flag 12668827/6551740
1448.13/1444.86	c cleaning 56998 clauses out of 114029 with flag 13171119/6609740
1460.99/1457.64	c cleaning 58003 clauses out of 116030 with flag 13680672/6668739
1473.18/1469.84	c cleaning 58980 clauses out of 118028 with flag 14188676/6728740
1486.19/1482.81	c cleaning 60002 clauses out of 120047 with flag 14718469/6789739
1499.49/1496.18	c cleaning 60998 clauses out of 122045 with flag 15236734/6851740
1513.88/1510.48	c cleaning 62013 clauses out of 124046 with flag 15780928/6914739
1527.97/1524.53	c cleaning 62995 clauses out of 126034 with flag 16355197/6978740
1542.27/1538.89	c cleaning 64019 clauses out of 128040 with flag 16939357/7043741
1557.88/1554.49	c cleaning 65007 clauses out of 130025 with flag 17513938/7109745
1573.65/1570.15	c cleaning 66001 clauses out of 132012 with flag 18129920/7176739
1589.15/1585.62	c cleaning 67002 clauses out of 134012 with flag 18733063/7244741
1605.25/1601.75	c cleaning 67999 clauses out of 136009 with flag 19361342/7313740
1620.90/1617.37	c cleaning 68984 clauses out of 138010 with flag 20003639/7383740
1636.70/1633.15	c cleaning 70005 clauses out of 140025 with flag 20641569/7454739
1653.31/1649.78	c cleaning 71006 clauses out of 142022 with flag 21227122/7526741
1671.08/1667.47	c cleaning 71980 clauses out of 144017 with flag 21890832/7599742
1689.37/1685.71	c cleaning 73006 clauses out of 146034 with flag 22547546/7673739
1707.58/1703.94	c cleaning 73999 clauses out of 148028 with flag 23219638/7748739
1725.88/1722.20	c cleaning 74998 clauses out of 150029 with flag 23852138/7824739
1744.83/1741.19	c cleaning 75999 clauses out of 152033 with flag 24537150/7901741
1765.03/1761.34	c cleaning 77002 clauses out of 154031 with flag 25278209/7979739
1784.83/1781.17	c cleaning 77993 clauses out of 156028 with flag 25987616/8058739
1800.08/1796.31	c starts		: 14007
1800.08/1796.31	c conflicts		: 8122251
1800.08/1796.31	c decisions		: 30379815
1800.08/1796.31	c propagations		: 2171924935
1800.08/1796.31	c inspects		: 16739479103
1800.08/1796.31	c shortcuts		: 0
1800.08/1796.31	c learnt literals	: 44
1800.08/1796.31	c learnt binary clauses	: 312
1800.08/1796.31	c learnt ternary clauses	: 454
1800.08/1796.31	c learnt constraints	: 8122207
1800.08/1796.31	c ignored constraints	: 0
1800.08/1796.31	c root simplifications	: 0
1800.08/1796.31	c removed literals (reason simplification)	: 0
1800.08/1796.31	c reason swapping (by a shorter reason)	: 0
1800.08/1796.31	c Calls to reduceDB	: 169
1800.08/1796.31	c Number of update (reduction) of LBD	: 5001690
1800.08/1796.31	c Imported unit clauses	: 0
1800.08/1796.31	c number of reductions to clauses (during analyze)	: 0
1800.08/1796.31	c number of learned constraints concerned by reduction	: 0
1800.08/1796.31	c number of learning phase by resolution	: 0
1800.08/1796.31	c number of learning phase by cutting planes	: 0
1800.08/1796.31	c speed (assignments/second)	: 1209350.7060079302
1800.08/1796.31	c non guided choices	1785
1800.08/1796.34	c learnt constraints type 
1800.08/1796.34	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 312
1800.08/1796.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 141233
1800.08/1796.34	s SATISFIABLE
1800.08/1796.34	c Found 5 solution(s)
1800.08/1796.35	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 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 x1449 x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 x1469 x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 x1523 x1524 x1525 x1526 x1527 x1528 x1529 x1530 x1531 x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 x1547 x1548 x1549 x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 x1572 x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 x1637 x1638 x1639 x1640 x1641 x1642 x1643 x1644 x1645 x1646 x1647 x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 x1675 x1676 x1677 x1678 x1679 x1680 x1681 x1682 x1683 x1684 x1685 x1686 x1687 x1688 x1689 x1690 x1691 x1692 x1693 x1694 x1695 x1696 x1697 x1698 x1699 x1700 x1701 x1702 x1703 x1704 x1705 x1706 x1707 x1708 x1709 x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 x1738 x1739 x1740 x1741 x1742 x1743 x1744 x1745 x1746 x1747 x1748 x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 x1761 x1762 x1763 x1764 x1765 x1766 x1767 x1768 x1769 x1770 x1771 x1772 x1773 x1774 x1775 x1776 x1777 x1778 x1779 x1780 x1781 x1782 x1783 x1784 x1785 x1786 x1787 x1788 x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 x1797 x1798 x1799 x1800 x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 x2111 -x2112 
1800.08/1796.35	c objective function=22
1800.08/1796.35	c Total wall clock time (in seconds): 1796.231

Verifier Data 

OK	22

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-4085177-1465222150/watcher-4085177-1465222150 -o /tmp/evaluation-result-4085177-1465222150/solver-4085177-1465222150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5889 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085177-1465222150.opb 

pid=7935
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.37 2.26 2.19 4/194 7938
/proc/meminfo: memFree=30355300/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 104147559 95129600 927 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 23225 927 703 9 0 16769 0
[pid=7938/tid=7939] ppid=7935 vsize=94176 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 2 0 104147559 96436224 935 33554432000 1073741824 1073778376 140736811530752 140323514154536 214528199783 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100118 s]
/proc/loadavg: 2.37 2.26 2.19 4/194 7938
/proc/meminfo: memFree=30355300/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 4391 0 1 0 9 1 0 0 20 0 18 0 104147559 9787879424 6020 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2389619 6020 2125 9 0 2380296 0
[pid=7938/tid=7939] ppid=7935 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2380 0 1 0 6 1 0 0 20 0 18 0 104147559 9787879424 6020 33554432000 1073741824 1073778376 140736811530752 140323514157984 18446744073699066235 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.20032 s]
/proc/loadavg: 2.37 2.26 2.19 4/194 7938
/proc/meminfo: memFree=30355300/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 4946 0 1 0 25 2 0 0 20 0 18 0 104147559 9787879424 7465 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2389619 7465 2215 9 0 2380296 0
[pid=7938/tid=7939] ppid=7935 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2402 0 1 0 16 1 0 0 20 0 18 0 104147559 9787879424 7465 33554432000 1073741824 1073778376 140736811530752 140323514137320 140323376446055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300347 s]
/proc/loadavg: 2.37 2.26 2.19 4/194 7938
/proc/meminfo: memFree=30355300/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 6002 0 1 0 48 2 0 0 20 0 18 0 104147559 9787879424 10427 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2389619 10427 2233 9 0 2380296 0
[pid=7938/tid=7939] ppid=7935 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2409 0 1 0 26 1 0 0 20 0 18 0 104147559 9787879424 10427 33554432000 1073741824 1073778376 140736811530752 140323514137320 140323376396388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700244 s]
/proc/loadavg: 2.37 2.26 2.19 4/194 7938
/proc/meminfo: memFree=30355300/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 7593 0 1 0 123 2 0 0 20 0 19 0 104147559 9856040960 13404 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2406260 13404 2257 9 0 2396937 0
[pid=7938/tid=7939] ppid=7935 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2423 0 1 0 65 2 0 0 20 0 19 0 104147559 9856040960 13404 33554432000 1073741824 1073778376 140736811530752 140323514159744 140323376987031 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.37 2.26 2.19 4/213 7957
/proc/meminfo: memFree=30307648/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9625040 CPUtime=2.13 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 8550 0 1 0 210 3 0 0 20 0 19 0 104147559 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2406260 13936 2262 9 0 2396937 0
[pid=7938/tid=7939] ppid=7935 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2425 0 1 0 145 2 0 0 20 0 19 0 104147559 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323514159440 140323376996290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7941] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7941/stat : 7941 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323503221544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7942] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7942/stat : 7942 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323502168744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7943] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7943/stat : 7943 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323501116456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7938/tid=7944] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7944/stat : 7944 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323500063656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7945] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7945/stat : 7945 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323499010344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7946] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7946/stat : 7946 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323497957544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7947] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7947/stat : 7947 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323496905256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7948] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7948/stat : 7948 (java) S 7935 7938 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323495852456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7949] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7949/stat : 7949 (java) S 7935 7938 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104147561 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323337612008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7950] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7950/stat : 7950 (java) S 7935 7938 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323336558072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7951] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7951/stat : 7951 (java) S 7935 7938 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323335505672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7952] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7952/stat : 7952 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323334454160 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7953] ppid=7935 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/7938/task/7953/stat : 7953 (java) S 7935 7938 5873 0 -1 4202560 2199 0 0 0 34 0 0 0 20 0 19 0 104147564 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323333400760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7954] ppid=7935 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/7938/task/7954/stat : 7954 (java) S 7935 7938 5873 0 -1 4202560 2649 0 0 0 27 0 0 0 20 0 19 0 104147564 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323332347960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7955] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7955/stat : 7955 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323331295864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7956] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7956/stat : 7956 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323330243272 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7957] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7957/stat : 7957 (java) S 7935 7938 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104147596 9856040960 13936 33554432000 1073741824 1073778376 140736811530752 140323329189288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.37 2.26 2.19 3/212 7957
/proc/meminfo: memFree=30316904/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 8556 0 1 0 376 3 0 0 20 0 19 0 104147559 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2406260 14452 2266 9 0 2396937 0
[pid=7938/tid=7939] ppid=7935 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2427 0 1 0 305 2 0 0 20 0 19 0 104147559 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323514159624 140323376564001 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7941] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7941/stat : 7941 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323503221544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7942] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7942/stat : 7942 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323502168744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7943] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7943/stat : 7943 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323501116456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7938/tid=7944] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7944/stat : 7944 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323500063656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7945] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7945/stat : 7945 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323499010344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7946] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7946/stat : 7946 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323497957544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7947] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7947/stat : 7947 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323496905256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7948] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7948/stat : 7948 (java) S 7935 7938 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323495852456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7949] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7949/stat : 7949 (java) S 7935 7938 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104147561 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323337612008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7950] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7950/stat : 7950 (java) S 7935 7938 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323336558072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7951] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7951/stat : 7951 (java) S 7935 7938 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323335505672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7952] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7952/stat : 7952 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323334454160 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7953] ppid=7935 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/7938/task/7953/stat : 7953 (java) S 7935 7938 5873 0 -1 4202560 2203 0 0 0 38 0 0 0 20 0 19 0 104147564 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323333400760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7954] ppid=7935 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/7938/task/7954/stat : 7954 (java) S 7935 7938 5873 0 -1 4202560 2649 0 0 0 30 0 0 0 20 0 19 0 104147564 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323332347960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7955] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7955/stat : 7955 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323331295864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7956] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7956/stat : 7956 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323330243272 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7957] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7957/stat : 7957 (java) S 7935 7938 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104147596 9856040960 14452 33554432000 1073741824 1073778376 140736811530752 140323329189288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9625040

[startup+6.30072 s]
/proc/loadavg: 2.34 2.26 2.19 3/212 7957
/proc/meminfo: memFree=30311292/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9625040 CPUtime=7.02 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 8561 0 1 0 699 3 0 0 20 0 19 0 104147559 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2406260 15415 2268 9 0 2396937 0
[pid=7938/tid=7939] ppid=7935 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2430 0 1 0 625 2 0 0 20 0 19 0 104147559 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323514159480 140323377082444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7941] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7941/stat : 7941 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323503221544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7942] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7942/stat : 7942 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323502168744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7943] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7943/stat : 7943 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323501116456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7938/tid=7944] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7944/stat : 7944 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323500063656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7945] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7945/stat : 7945 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323499010344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7946] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7946/stat : 7946 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323497957544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7947] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7947/stat : 7947 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323496905256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7948] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7948/stat : 7948 (java) S 7935 7938 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104147560 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323495852456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7949] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7949/stat : 7949 (java) S 7935 7938 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104147561 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323337612008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7950] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7950/stat : 7950 (java) S 7935 7938 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323336558072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7951] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7951/stat : 7951 (java) S 7935 7938 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323335505672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7952] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7952/stat : 7952 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323334454160 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7953] ppid=7935 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/7938/task/7953/stat : 7953 (java) S 7935 7938 5873 0 -1 4202560 2203 0 0 0 38 0 0 0 20 0 19 0 104147564 9856040960 15415 33554432000 1073741824 1073778376 140736811530752 140323333400760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7954] ppid=7935 vsize=9625040 CPUtime=0.33 cores=0,2,4,6

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

/proc/7938/task/7950/stat : 7950 (java) S 7935 7938 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 120444 33554432000 1073741824 1073778376 140736811530752 140323336558072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7951] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7951/stat : 7951 (java) S 7935 7938 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 120444 33554432000 1073741824 1073778376 140736811530752 140323335505672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7952] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7952/stat : 7952 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 120444 33554432000 1073741824 1073778376 140736811530752 140323334454160 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7953] ppid=7935 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/7938/task/7953/stat : 7953 (java) S 7935 7938 5873 0 -1 4202560 2206 0 0 0 43 0 0 0 20 0 19 0 104147564 9856040960 120444 33554432000 1073741824 1073778376 140736811530752 140323333400760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7954] ppid=7935 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/7938/task/7954/stat : 7954 (java) S 7935 7938 5873 0 -1 4202560 10305 0 0 0 86 2 0 0 20 0 19 0 104147564 9856040960 120444 33554432000 1073741824 1073778376 140736811530752 140323332347960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7955] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7955/stat : 7955 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 120444 33554432000 1073741824 1073778376 140736811530752 140323331295864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7956] ppid=7935 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/7938/task/7956/stat : 7956 (java) S 7935 7938 5873 0 -1 4202560 100 0 0 0 30 28 0 0 20 0 19 0 104147564 9856040960 120444 33554432000 1073741824 1073778376 140736811530752 140323330243272 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7957] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7957/stat : 7957 (java) S 7935 7938 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104147596 9856040960 120444 33554432000 1073741824 1073778376 140736811530752 140323329189288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.98
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/213 8068
/proc/meminfo: memFree=29517860/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9625040 CPUtime=1786.03 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 18457 0 1 0 178521 82 0 0 20 0 19 0 104147559 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2406260 119434 2291 9 0 2396937 0
[pid=7938/tid=7939] ppid=7935 vsize=9625040 CPUtime=1781.46 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2516 0 1 0 178115 31 0 0 20 0 19 0 104147559 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323514150592 140323376996825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7941] ppid=7935 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/7938/task/7941/stat : 7941 (java) S 7935 7938 5873 0 -1 4202560 161 0 0 0 31 7 0 0 20 0 19 0 104147560 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323503221544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7942] ppid=7935 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/7938/task/7942/stat : 7942 (java) S 7935 7938 5873 0 -1 4202560 213 0 0 0 30 6 0 0 20 0 19 0 104147560 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323502168744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7943] ppid=7935 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7938/task/7943/stat : 7943 (java) S 7935 7938 5873 0 -1 4202560 318 0 0 0 30 7 0 0 20 0 19 0 104147560 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323501116456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7944] ppid=7935 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7938/task/7944/stat : 7944 (java) S 7935 7938 5873 0 -1 4202560 223 0 0 0 26 6 0 0 20 0 19 0 104147560 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323500063656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7945] ppid=7935 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/7938/task/7945/stat : 7945 (java) S 7935 7938 5873 0 -1 4202560 279 0 0 0 34 8 0 0 20 0 19 0 104147560 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323499010344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7938/tid=7946] ppid=7935 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/7938/task/7946/stat : 7946 (java) S 7935 7938 5873 0 -1 4202560 259 0 0 0 26 5 0 0 20 0 19 0 104147560 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323497957544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7947] ppid=7935 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/7938/task/7947/stat : 7947 (java) S 7935 7938 5873 0 -1 4202560 137 0 0 0 24 5 0 0 20 0 19 0 104147560 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323496905256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7938/tid=7948] ppid=7935 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/7938/task/7948/stat : 7948 (java) S 7935 7938 5873 0 -1 4202560 317 0 0 0 32 8 0 0 20 0 19 0 104147560 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323495852456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7949] ppid=7935 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/7938/task/7949/stat : 7949 (java) S 7935 7938 5873 0 -1 4202560 156 0 0 0 11 2 0 0 20 0 19 0 104147561 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323337612008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7950] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7950/stat : 7950 (java) S 7935 7938 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323336558072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7951] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7951/stat : 7951 (java) S 7935 7938 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323335505672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7952] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7952/stat : 7952 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323334454160 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7953] ppid=7935 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/7938/task/7953/stat : 7953 (java) S 7935 7938 5873 0 -1 4202560 2206 0 0 0 43 0 0 0 20 0 19 0 104147564 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323333400760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7954] ppid=7935 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/7938/task/7954/stat : 7954 (java) S 7935 7938 5873 0 -1 4202560 10305 0 0 0 86 2 0 0 20 0 19 0 104147564 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323332347960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7955] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7955/stat : 7955 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323331295864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7956] ppid=7935 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/7938/task/7956/stat : 7956 (java) S 7935 7938 5873 0 -1 4202560 104 0 0 0 31 29 0 0 20 0 19 0 104147564 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323330243272 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7957] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7957/stat : 7957 (java) S 7935 7938 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104147596 9856040960 119434 33554432000 1073741824 1073778376 140736811530752 140323329189288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.03
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/213 8068
/proc/meminfo: memFree=29542072/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 18460 0 1 0 179926 82 0 0 20 0 19 0 104147559 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2406260 117542 2291 9 0 2396937 0
[pid=7938/tid=7939] ppid=7935 vsize=9625040 CPUtime=1795.44 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2517 0 1 0 179513 31 0 0 20 0 19 0 104147559 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323514158288 140323377003893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7941] ppid=7935 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/7938/task/7941/stat : 7941 (java) S 7935 7938 5873 0 -1 4202560 161 0 0 0 32 7 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323503221544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7942] ppid=7935 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7938/task/7942/stat : 7942 (java) S 7935 7938 5873 0 -1 4202560 213 0 0 0 31 6 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323502168744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7943] ppid=7935 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/7938/task/7943/stat : 7943 (java) S 7935 7938 5873 0 -1 4202560 318 0 0 0 32 7 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323501116456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7944] ppid=7935 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/7938/task/7944/stat : 7944 (java) S 7935 7938 5873 0 -1 4202560 223 0 0 0 27 6 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323500063656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7945] ppid=7935 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7938/task/7945/stat : 7945 (java) S 7935 7938 5873 0 -1 4202560 279 0 0 0 36 8 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323499010344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7938/tid=7946] ppid=7935 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7938/task/7946/stat : 7946 (java) S 7935 7938 5873 0 -1 4202560 259 0 0 0 27 5 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323497957544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7947] ppid=7935 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/7938/task/7947/stat : 7947 (java) S 7935 7938 5873 0 -1 4202560 137 0 0 0 25 5 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323496905256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7948] ppid=7935 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/7938/task/7948/stat : 7948 (java) S 7935 7938 5873 0 -1 4202560 317 0 0 0 34 8 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323495852456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7949] ppid=7935 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/7938/task/7949/stat : 7949 (java) S 7935 7938 5873 0 -1 4202560 158 0 0 0 11 2 0 0 20 0 19 0 104147561 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323337612008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7950] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7950/stat : 7950 (java) S 7935 7938 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323336558072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7951] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7951/stat : 7951 (java) S 7935 7938 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323335505672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7952] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7952/stat : 7952 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323334454160 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7953] ppid=7935 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/7938/task/7953/stat : 7953 (java) S 7935 7938 5873 0 -1 4202560 2206 0 0 0 43 0 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323333400760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7954] ppid=7935 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/7938/task/7954/stat : 7954 (java) S 7935 7938 5873 0 -1 4202560 10305 0 0 0 86 2 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323332347960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7955] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7955/stat : 7955 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323331295864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7956] ppid=7935 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/7938/task/7956/stat : 7956 (java) S 7935 7938 5873 0 -1 4202560 104 0 0 0 32 29 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323330243272 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7957] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7957/stat : 7957 (java) S 7935 7938 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104147596 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323329189288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 7938 sig 9
??? kill -7938 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/213 8068
/proc/meminfo: memFree=29542072/32872528 swapFree=16740/1306504
[pid=7938] ppid=7935 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/7938/stat : 7938 (java) S 7935 7938 5873 0 -1 4202496 18460 0 1 0 179926 82 0 0 20 0 19 0 104147559 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140736811521888 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7938/statm: 2406260 117542 2291 9 0 2396937 0
[pid=7938/tid=7939] ppid=7935 vsize=9625040 CPUtime=1795.44 cores=0,2,4,6
/proc/7938/task/7939/stat : 7939 (java) R 7935 7938 5873 0 -1 4202560 2517 0 1 0 179513 31 0 0 20 0 19 0 104147559 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323514158288 140323377003893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7941] ppid=7935 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/7938/task/7941/stat : 7941 (java) S 7935 7938 5873 0 -1 4202560 161 0 0 0 32 7 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323503221544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7942] ppid=7935 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/7938/task/7942/stat : 7942 (java) S 7935 7938 5873 0 -1 4202560 213 0 0 0 31 6 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323502168744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7943] ppid=7935 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/7938/task/7943/stat : 7943 (java) S 7935 7938 5873 0 -1 4202560 318 0 0 0 32 7 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323501116456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7944] ppid=7935 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/7938/task/7944/stat : 7944 (java) S 7935 7938 5873 0 -1 4202560 223 0 0 0 27 6 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323500063656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7945] ppid=7935 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7938/task/7945/stat : 7945 (java) S 7935 7938 5873 0 -1 4202560 279 0 0 0 36 8 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323499010344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7938/tid=7946] ppid=7935 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7938/task/7946/stat : 7946 (java) S 7935 7938 5873 0 -1 4202560 259 0 0 0 27 5 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323497957544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7947] ppid=7935 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/7938/task/7947/stat : 7947 (java) S 7935 7938 5873 0 -1 4202560 137 0 0 0 25 5 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323496905256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7948] ppid=7935 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/7938/task/7948/stat : 7948 (java) S 7935 7938 5873 0 -1 4202560 317 0 0 0 34 8 0 0 20 0 19 0 104147560 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323495852456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7949] ppid=7935 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/7938/task/7949/stat : 7949 (java) S 7935 7938 5873 0 -1 4202560 158 0 0 0 11 2 0 0 20 0 19 0 104147561 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323337612008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7950] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7950/stat : 7950 (java) S 7935 7938 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323336558072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7951] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7951/stat : 7951 (java) S 7935 7938 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104147562 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323335505672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7952] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7952/stat : 7952 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323334454160 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7953] ppid=7935 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/7938/task/7953/stat : 7953 (java) S 7935 7938 5873 0 -1 4202560 2206 0 0 0 43 0 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323333400760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7938/tid=7954] ppid=7935 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/7938/task/7954/stat : 7954 (java) S 7935 7938 5873 0 -1 4202560 10305 0 0 0 86 2 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323332347960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7955] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7955/stat : 7955 (java) S 7935 7938 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323331295864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7938/tid=7956] ppid=7935 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/7938/task/7956/stat : 7956 (java) S 7935 7938 5873 0 -1 4202560 104 0 0 0 32 29 0 0 20 0 19 0 104147564 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323330243272 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7938/tid=7957] ppid=7935 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7938/task/7957/stat : 7957 (java) S 7935 7938 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104147596 9856040960 117542 33554432000 1073741824 1073778376 140736811530752 140323329189288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1796.37
CPU time (s): 1800.81
CPU user time (s): 1799.5
CPU system time (s): 1.3128
CPU usage (%): 100.247
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 1.3128
maximum resident set size= 621416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18681
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38713
involuntary context switches= 5512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5822 second user time and 11.9742 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-06 16:09:10
IDJOB=4085177
IDBENCH=1850
IDSOLVER=2546
FILE ID=node127/4085177-1465222150
RUNJOBID= node127-1465216773-5889
PBS_JOBID= 19843202
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085177-1465222150/watcher-4085177-1465222150 -o /tmp/evaluation-result-4085177-1465222150/solver-4085177-1465222150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5889 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085177-1465222150.opb

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

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=392956836

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30355200 kB
Buffers:            8228 kB
Cached:            40992 kB
SwapCached:         1760 kB
Active:           468652 kB
Inactive:          26772 kB
Active(anon):     447804 kB
Inactive(anon):      900 kB
Active(file):      20848 kB
Inactive(file):    25872 kB
Unevictable:     1306504 kB
Mlocked:           16740 kB
SwapTotal:      67108856 kB
SwapFree:       67098476 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       1751824 kB
Mapped:            15400 kB
Shmem:                 0 kB
Slab:             566372 kB
SReclaimable:      10116 kB
SUnreclaim:       556256 kB
KernelStack:        1592 kB
PageTables:         7588 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1968452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1716224 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= 71736 MiB
End job on node127 at 2016-06-06 16:39:06