Trace number 4103888

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)62541951 1800.06 1797.76

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUMc3570b707fa12d3d9c0d2ae31848c1b3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark46355055
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65313511
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4103888-1466254390.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.26/0.25	c ... done. Wall clock time 0.134s.
0.26/0.25	c declared #vars     2574
0.26/0.25	c #constraints  726
0.26/0.25	c constraints type 
0.26/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33
0.26/0.25	c org.sat4j.specs.Constr$1 => 15
0.26/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 491
0.26/0.25	c org.sat4j.minisat.constraints.cnf.UnitClause => 15
0.26/0.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 84
0.26/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 88
0.26/0.25	c 726 constraints processed.
0.26/0.25	c objective function length is 1254 literals
0.83/0.40	c SATISFIABLE
0.83/0.40	c OPTIMIZING...
0.83/0.40	c Got one! Elapsed wall clock time (in seconds):0.282
0.83/0.40	o 80632023
0.83/0.46	c Got one! Elapsed wall clock time (in seconds):0.34
0.83/0.46	o 78333023
1.07/0.56	c Got one! Elapsed wall clock time (in seconds):0.445
1.07/0.56	o 78017455
1.07/0.58	c Got one! Elapsed wall clock time (in seconds):0.459
1.07/0.58	o 77591623
1.07/0.59	c Got one! Elapsed wall clock time (in seconds):0.469
1.07/0.59	o 71732407
1.22/0.60	c Got one! Elapsed wall clock time (in seconds):0.479
1.22/0.60	o 71577527
1.22/0.61	c Got one! Elapsed wall clock time (in seconds):0.488
1.22/0.61	o 71103207
1.22/0.61	c Got one! Elapsed wall clock time (in seconds):0.495
1.22/0.61	o 68279727
1.22/0.62	c Got one! Elapsed wall clock time (in seconds):0.505
1.22/0.62	o 68176327
1.22/0.63	c Got one! Elapsed wall clock time (in seconds):0.511
1.22/0.63	o 67296327
1.22/0.64	c Got one! Elapsed wall clock time (in seconds):0.519
1.22/0.64	o 67232615
1.22/0.65	c Got one! Elapsed wall clock time (in seconds):0.531
1.22/0.65	o 66936318
1.22/0.65	c Got one! Elapsed wall clock time (in seconds):0.535
1.22/0.65	o 66649703
1.22/0.66	c Got one! Elapsed wall clock time (in seconds):0.539
1.22/0.66	o 66445983
1.22/0.66	c Got one! Elapsed wall clock time (in seconds):0.546
1.22/0.66	o 66342583
1.22/0.67	c Got one! Elapsed wall clock time (in seconds):0.549
1.22/0.67	o 65462583
2.36/1.52	c cleaning 2989 clauses out of 5985 with flag 25407/5985
3.33/2.40	c cleaning 4495 clauses out of 8995 with flag 57023/11984
4.34/3.43	c cleaning 5746 clauses out of 11500 with flag 95230/18984
5.45/4.52	c cleaning 6874 clauses out of 13754 with flag 133703/26984
6.77/5.81	c cleaning 7935 clauses out of 15881 with flag 180699/35985
8.17/7.26	c cleaning 8965 clauses out of 17945 with flag 230336/45984
9.97/9.00	c cleaning 9985 clauses out of 19980 with flag 288585/56984
11.67/10.76	c cleaning 10996 clauses out of 21996 with flag 346124/68985
13.57/12.66	c cleaning 11997 clauses out of 24003 with flag 408070/81988
15.67/14.77	c cleaning 13001 clauses out of 26003 with flag 474161/95985
17.87/16.96	c cleaning 13998 clauses out of 28002 with flag 522569/110985
20.48/19.56	c cleaning 14992 clauses out of 30003 with flag 570322/126984
23.38/22.44	c cleaning 16005 clauses out of 32011 with flag 622561/143984
26.17/25.28	c cleaning 16993 clauses out of 34006 with flag 681018/161984
29.37/28.50	c cleaning 18003 clauses out of 36014 with flag 741921/180985
33.27/32.31	c cleaning 19002 clauses out of 38011 with flag 804783/200985
36.87/35.91	c cleaning 20005 clauses out of 40010 with flag 870876/221986
40.48/39.59	c cleaning 21003 clauses out of 42006 with flag 930721/243987
45.38/44.49	c cleaning 22001 clauses out of 44001 with flag 993415/266985
51.28/50.35	c cleaning 22996 clauses out of 45999 with flag 1058429/290984
56.88/55.98	c cleaning 23995 clauses out of 48003 with flag 1123648/315984
63.48/62.57	c cleaning 25004 clauses out of 50008 with flag 1195677/341984
69.87/68.91	c cleaning 26003 clauses out of 52005 with flag 1267259/368985
76.98/76.08	c cleaning 26999 clauses out of 54002 with flag 1340136/396985
84.73/83.72	c cleaning 28000 clauses out of 56005 with flag 1415696/425987
92.33/91.36	c cleaning 28995 clauses out of 58003 with flag 1497648/455985
99.82/98.86	c cleaning 29998 clauses out of 60008 with flag 1621548/486985
106.92/105.95	c cleaning 30995 clauses out of 62011 with flag 1772933/518986
114.72/113.78	c cleaning 31998 clauses out of 64016 with flag 1926934/551986
122.22/121.24	c cleaning 32999 clauses out of 66016 with flag 2107460/585984
130.22/129.21	c cleaning 34008 clauses out of 68017 with flag 2265748/620984
136.33/135.37	c Got one! Elapsed wall clock time (in seconds):135.253
136.33/135.37	o 65450615
136.43/135.41	c Got one! Elapsed wall clock time (in seconds):135.288
136.43/135.41	o 65313511
136.43/135.42	c Got one! Elapsed wall clock time (in seconds):135.304
136.43/135.42	o 65297583
136.43/135.43	c Got one! Elapsed wall clock time (in seconds):135.31
136.43/135.43	o 65156519
136.43/135.44	c Got one! Elapsed wall clock time (in seconds):135.321
136.43/135.44	o 64937399
136.43/135.44	c Got one! Elapsed wall clock time (in seconds):135.324
136.43/135.44	o 64733679
136.43/135.45	c Got one! Elapsed wall clock time (in seconds):135.332
136.43/135.45	o 64722679
136.43/135.45	c Got one! Elapsed wall clock time (in seconds):135.336
136.43/135.45	o 63750279
136.43/135.48	c Got one! Elapsed wall clock time (in seconds):135.365
136.43/135.48	o 63699415
136.43/135.49	c Got one! Elapsed wall clock time (in seconds):135.369
136.43/135.49	o 63670375
136.43/135.49	c Got one! Elapsed wall clock time (in seconds):135.377
136.43/135.49	o 63434271
136.57/135.50	c Got one! Elapsed wall clock time (in seconds):135.382
136.57/135.50	o 63183383
136.57/135.50	c Got one! Elapsed wall clock time (in seconds):135.386
136.57/135.50	o 63035631
136.57/135.51	c Got one! Elapsed wall clock time (in seconds):135.392
136.57/135.51	o 62760543
136.57/135.52	c Got one! Elapsed wall clock time (in seconds):135.397
136.57/135.52	o 62541951
138.28/137.22	c cleaning 35076 clauses out of 70184 with flag 24313/657159
139.79/138.73	c cleaning 20542 clauses out of 41110 with flag 50680/663161
141.29/140.23	c cleaning 13776 clauses out of 27566 with flag 89988/670159
142.79/141.79	c cleaning 10891 clauses out of 21790 with flag 137293/678159
144.10/143.01	c cleaning 9936 clauses out of 19898 with flag 174337/687158
145.49/144.45	c cleaning 9972 clauses out of 19962 with flag 209507/697158
147.09/146.06	c cleaning 10489 clauses out of 20990 with flag 248074/708158
148.69/147.69	c cleaning 11245 clauses out of 22501 with flag 293386/720158
150.50/149.48	c cleaning 12124 clauses out of 24257 with flag 343134/733159
152.80/151.70	c cleaning 13058 clauses out of 26132 with flag 404916/747158
155.11/154.06	c cleaning 14024 clauses out of 28075 with flag 466793/762159
158.00/156.91	c cleaning 15015 clauses out of 30051 with flag 543767/778159
159.80/158.73	c cleaning 16018 clauses out of 32035 with flag 596659/795158
162.10/161.08	c cleaning 17002 clauses out of 34019 with flag 649997/813160
165.00/163.97	c cleaning 18002 clauses out of 36016 with flag 709675/832159
167.60/166.59	c cleaning 19005 clauses out of 38013 with flag 769687/852158
170.30/169.25	c cleaning 19992 clauses out of 40010 with flag 834812/873160
173.00/171.97	c cleaning 21003 clauses out of 42016 with flag 898498/895158
176.40/175.34	c cleaning 22006 clauses out of 44014 with flag 960442/918159
180.30/179.26	c cleaning 22998 clauses out of 46007 with flag 1030779/942158
183.92/182.88	c cleaning 24002 clauses out of 48009 with flag 1112494/967158
187.33/186.28	c cleaning 24997 clauses out of 50007 with flag 1187876/993158
190.63/189.57	c cleaning 26003 clauses out of 52010 with flag 1264046/1020158
194.53/193.43	c cleaning 27004 clauses out of 54007 with flag 1349816/1048158
198.63/197.50	c cleaning 27999 clauses out of 56004 with flag 1448170/1077159
203.43/202.36	c cleaning 28996 clauses out of 58004 with flag 1550741/1107158
208.33/207.28	c cleaning 30002 clauses out of 60008 with flag 1668261/1138158
213.33/212.29	c cleaning 30996 clauses out of 62007 with flag 1796138/1170159
218.53/217.40	c cleaning 32002 clauses out of 64011 with flag 1930060/1203159
224.13/223.07	c cleaning 32994 clauses out of 66008 with flag 2032296/1237158
229.63/228.56	c cleaning 34001 clauses out of 68014 with flag 2145182/1272158
236.43/235.35	c cleaning 34996 clauses out of 70016 with flag 2242097/1308161
242.63/241.54	c cleaning 36003 clauses out of 72018 with flag 2354825/1345159
249.43/248.30	c cleaning 36999 clauses out of 74014 with flag 2461466/1383158
257.03/255.96	c cleaning 38001 clauses out of 76018 with flag 2578416/1422161
263.93/262.82	c cleaning 38999 clauses out of 78014 with flag 2688744/1462158
270.83/269.73	c cleaning 39999 clauses out of 80015 with flag 2804682/1503158
277.83/276.71	c cleaning 40999 clauses out of 82016 with flag 2922644/1545158
285.18/284.00	c cleaning 42004 clauses out of 84018 with flag 3045707/1588159
292.79/291.67	c cleaning 43004 clauses out of 86013 with flag 3181245/1632158
299.98/298.87	c cleaning 44002 clauses out of 88010 with flag 3325013/1677159
308.49/307.31	c cleaning 44999 clauses out of 90008 with flag 3481848/1723159
317.58/316.47	c cleaning 46002 clauses out of 92009 with flag 3636183/1770159
327.48/326.33	c cleaning 46997 clauses out of 94006 with flag 3801988/1818158
338.58/337.48	c cleaning 48001 clauses out of 96009 with flag 3966529/1867158
351.58/350.48	c cleaning 48999 clauses out of 98009 with flag 4123983/1917159
361.38/360.29	c cleaning 50006 clauses out of 100011 with flag 4319023/1968160
372.39/371.24	c cleaning 50995 clauses out of 102004 with flag 4500000/2020159
383.19/382.04	c cleaning 52001 clauses out of 104009 with flag 4670888/2073159
393.29/392.18	c cleaning 53002 clauses out of 106009 with flag 4834917/2127160
403.65/402.45	c cleaning 53999 clauses out of 108006 with flag 5016487/2182159
417.65/416.47	c cleaning 55001 clauses out of 110008 with flag 5204455/2238160
430.45/429.22	c cleaning 55989 clauses out of 112005 with flag 5367681/2295158
445.45/444.29	c cleaning 56999 clauses out of 114017 with flag 5533762/2353159
458.45/457.29	c cleaning 57999 clauses out of 116018 with flag 5718104/2412159
473.05/471.82	c cleaning 58999 clauses out of 118018 with flag 5904728/2472158
483.75/482.50	c cleaning 60006 clauses out of 120021 with flag 6108068/2533160
497.45/496.26	c cleaning 60998 clauses out of 122014 with flag 6322068/2595159
510.14/508.98	c cleaning 61999 clauses out of 124015 with flag 6560407/2658158
524.34/523.11	c cleaning 63003 clauses out of 126018 with flag 6794596/2722160
538.05/536.85	c cleaning 64006 clauses out of 128013 with flag 7020516/2787158
555.73/554.48	c cleaning 64992 clauses out of 130007 with flag 7212014/2853158
572.93/571.67	c cleaning 65999 clauses out of 132015 with flag 7407711/2920158
589.73/588.40	c cleaning 67002 clauses out of 134018 with flag 7602320/2988160
602.82/601.50	c cleaning 68006 clauses out of 136016 with flag 7823619/3057160
618.43/617.16	c cleaning 68998 clauses out of 138008 with flag 8033137/3127158
637.14/635.86	c cleaning 69998 clauses out of 140010 with flag 8219733/3198158
654.03/652.75	c cleaning 71000 clauses out of 142012 with flag 8445999/3270158
672.84/671.58	c cleaning 71999 clauses out of 144014 with flag 8679409/3343160
690.94/689.67	c cleaning 73008 clauses out of 146019 with flag 8923964/3417164
709.22/707.89	c cleaning 73998 clauses out of 148006 with flag 9182683/3492159
733.43/732.07	c cleaning 75002 clauses out of 150008 with flag 9418293/3568159
749.44/748.02	c cleaning 75998 clauses out of 152006 with flag 9685656/3645159
769.43/768.06	c cleaning 76998 clauses out of 154007 with flag 9927635/3723158
789.24/787.81	c cleaning 78002 clauses out of 156009 with flag 10188130/3802158
810.83/809.48	c cleaning 78999 clauses out of 158008 with flag 10457488/3882159
835.35/833.93	c cleaning 80000 clauses out of 160010 with flag 10688370/3963160
863.34/861.92	c cleaning 81001 clauses out of 162009 with flag 10916224/4045159
886.04/884.58	c cleaning 82002 clauses out of 164007 with flag 11159377/4128158
911.84/910.39	c cleaning 82997 clauses out of 166005 with flag 11399268/4212158
936.43/934.97	c cleaning 83996 clauses out of 168008 with flag 11692159/4297158
961.04/959.58	c cleaning 84996 clauses out of 170012 with flag 11985096/4383158
980.24/978.72	c cleaning 86005 clauses out of 172018 with flag 12361926/4470160
1003.54/1002.09	c cleaning 87005 clauses out of 174011 with flag 12628488/4558158
1025.59/1023.91	c cleaning 87994 clauses out of 176006 with flag 12895482/4647158
1045.29/1043.63	c cleaning 89003 clauses out of 178014 with flag 13194837/4737160
1068.50/1066.88	c cleaning 90000 clauses out of 180009 with flag 13493442/4828158
1096.21/1094.53	c cleaning 91000 clauses out of 182009 with flag 13777173/4920158
1124.60/1122.95	c cleaning 92001 clauses out of 184009 with flag 14029479/5013158
1155.51/1153.82	c cleaning 92998 clauses out of 186010 with flag 14330725/5107160
1178.15/1176.31	c cleaning 94000 clauses out of 188010 with flag 14696090/5202158
1208.55/1206.72	c cleaning 94993 clauses out of 190010 with flag 14993075/5298158
1238.95/1237.16	c cleaning 96005 clauses out of 192018 with flag 15335192/5395159
1267.65/1265.85	c cleaning 96997 clauses out of 194012 with flag 15629839/5493158
1297.05/1295.28	c cleaning 98002 clauses out of 196016 with flag 15933019/5592159
1324.35/1322.48	c cleaning 98999 clauses out of 198013 with flag 16262509/5692158
1353.06/1351.19	c cleaning 100002 clauses out of 200015 with flag 16577293/5793159
1377.08/1375.14	c cleaning 101002 clauses out of 202013 with flag 16947950/5895159
1402.77/1400.88	c cleaning 102004 clauses out of 204010 with flag 17316161/5998158
1437.18/1435.25	c cleaning 102996 clauses out of 206006 with flag 17660305/6102158
1463.79/1461.76	c cleaning 104006 clauses out of 208013 with flag 17993906/6207161
1486.89/1484.83	c cleaning 104996 clauses out of 210005 with flag 18307323/6313159
1510.80/1508.71	c cleaning 106001 clauses out of 212008 with flag 18677088/6420158
1546.51/1544.42	c cleaning 106995 clauses out of 214007 with flag 19041173/6528158
1583.12/1580.93	c cleaning 107995 clauses out of 216012 with flag 19426287/6637158
1615.43/1613.22	c cleaning 109003 clauses out of 218018 with flag 19823477/6747159
1644.33/1642.17	c cleaning 110004 clauses out of 220019 with flag 20189019/6858163
1669.13/1666.93	c cleaning 111000 clauses out of 222010 with flag 20567983/6970158
1702.95/1700.62	c cleaning 111997 clauses out of 224010 with flag 20974514/7083158
1733.05/1730.75	c cleaning 113004 clauses out of 226016 with flag 21361868/7197161
1769.06/1766.74	c cleaning 114002 clauses out of 228009 with flag 21712258/7312158
1800.06/1797.70	c starts		: 1753
1800.06/1797.70	c conflicts		: 7418083
1800.06/1797.70	c decisions		: 12735328
1800.06/1797.70	c propagations		: 1005179455
1800.06/1797.70	c inspects		: 23929400062
1800.06/1797.70	c shortcuts		: 0
1800.06/1797.70	c learnt literals	: 0
1800.06/1797.70	c learnt binary clauses	: 34
1800.06/1797.70	c learnt ternary clauses	: 163
1800.06/1797.70	c learnt constraints	: 7418084
1800.06/1797.70	c ignored constraints	: 0
1800.06/1797.70	c root simplifications	: 0
1800.06/1797.70	c removed literals (reason simplification)	: 0
1800.06/1797.70	c reason swapping (by a shorter reason)	: 0
1800.06/1797.70	c Calls to reduceDB	: 142
1800.06/1797.70	c Number of update (reduction) of LBD	: 1763358
1800.06/1797.70	c Imported unit clauses	: 0
1800.06/1797.70	c number of reductions to clauses (during analyze)	: 0
1800.06/1797.70	c number of learned constraints concerned by reduction	: 0
1800.06/1797.70	c number of learning phase by resolution	: 0
1800.06/1797.70	c number of learning phase by cutting planes	: 0
1800.06/1797.70	c speed (assignments/second)	: 559228.999831983
1800.06/1797.70	c non guided choices	155
1800.06/1797.73	c learnt constraints type 
1800.06/1797.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 34
1800.06/1797.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 219899
1800.06/1797.73	s SATISFIABLE
1800.06/1797.73	c Found 31 solution(s)
1800.06/1797.74	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 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 
1800.06/1797.74	c objective function=62541951
1800.06/1797.74	c Total wall clock time (in seconds): 1797.624

Verifier Data 

OK	62541951

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-4103888-1466254390/watcher-4103888-1466254390 -o /tmp/evaluation-result-4103888-1466254390/solver-4103888-1466254390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103888-1466254390.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.40 2.32 2.28 3/194 8924
/proc/meminfo: memFree=29923480/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/8924/stat : 8924 (java) R 8921 8924 6916 0 -1 4202496 442 0 0 0 0 0 0 0 20 0 1 0 27485846 9379840 97 33554432000 1073741824 1073778376 140734348309968 140734348307096 259103169789 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2290 113 86 9 0 38 0

[startup+0.100166 s]
/proc/loadavg: 2.40 2.32 2.28 3/194 8924
/proc/meminfo: memFree=29923480/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 4453 0 1 0 8 1 0 0 20 0 18 0 27485846 9787879424 5580 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2389619 5580 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20023 s]
/proc/loadavg: 2.40 2.32 2.28 3/194 8924
/proc/meminfo: memFree=29923480/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 5042 0 1 0 25 1 0 0 20 0 18 0 27485846 9787879424 7040 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2389619 7040 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300262 s]
/proc/loadavg: 2.40 2.32 2.28 3/194 8924
/proc/meminfo: memFree=29923480/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 9237 0 1 0 51 2 0 0 20 0 19 0 27485846 9856040960 12527 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2406260 12527 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040

[startup+0.700301 s]
/proc/loadavg: 2.40 2.32 2.28 3/194 8924
/proc/meminfo: memFree=29923480/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 10441 0 1 0 148 3 0 0 20 0 19 0 27485846 9856040960 15479 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2406260 15479 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.40 2.32 2.28 3/213 8943
/proc/meminfo: memFree=29870332/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9625040 CPUtime=2.36 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 10470 0 1 0 233 3 0 0 20 0 19 0 27485846 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2406260 15441 2260 9 0 2396937 0
[pid=8924/tid=8926] ppid=8921 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) R 8921 8924 6916 0 -1 4202560 2491 0 1 0 144 1 0 0 20 0 19 0 27485846 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140416105558496 140415978230400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415949335080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8928] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8921 8924 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415948282280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8929] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415947229480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8930] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415946176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8931] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415945124904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8932] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415944072104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8933] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415943019304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8934] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8921 8924 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415941966504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8935] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8921 8924 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415929768424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8921 8924 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415928714488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8937] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8921 8924 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415927661576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8938] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415926610064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8939] ppid=8921 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8921 8924 6916 0 -1 4202560 2425 0 0 0 43 0 0 0 20 0 19 0 27485852 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415925558200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8921 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8921 8924 6916 0 -1 4202560 4276 0 0 0 43 0 0 0 20 0 19 0 27485852 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415924505400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8941] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415923452792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8942] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415922400200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) S 8921 8924 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27485872 9856040960 15441 33554432000 1073741824 1073778376 140734348309968 140415921345704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.37 2.31 2.28 3/213 8943
/proc/meminfo: memFree=29868160/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 10558 0 1 0 400 3 0 0 20 0 19 0 27485846 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2406260 16503 2264 9 0 2396937 0
[pid=8924/tid=8926] ppid=8921 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) R 8921 8924 6916 0 -1 4202560 2494 0 1 0 304 1 0 0 20 0 19 0 27485846 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140416105558472 140415978327111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415949335080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8928] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8921 8924 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415948282280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8929] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415947229480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8930] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415946176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8931] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415945124904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8932] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415944072104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8933] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415943019304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8934] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8921 8924 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415941966504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8935] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8921 8924 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415929768424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8921 8924 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415928714488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8937] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8921 8924 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415927661576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8938] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415926610064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8939] ppid=8921 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8921 8924 6916 0 -1 4202560 2502 0 0 0 48 0 0 0 20 0 19 0 27485852 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415925558200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8921 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8921 8924 6916 0 -1 4202560 4284 0 0 0 45 0 0 0 20 0 19 0 27485852 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415924505400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8941] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415923452792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8942] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415922400200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) S 8921 8924 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27485872 9856040960 16503 33554432000 1073741824 1073778376 140734348309968 140415921345704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.37 2.31 2.28 3/213 8943
/proc/meminfo: memFree=29862172/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9625040 CPUtime=7.27 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 10570 0 1 0 724 3 0 0 20 0 19 0 27485846 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2406260 17886 2265 9 0 2396937 0
[pid=8924/tid=8926] ppid=8921 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) R 8921 8924 6916 0 -1 4202560 2498 0 1 0 622 2 0 0 20 0 19 0 27485846 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140416105549520 140415978344192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415949335080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8928] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8921 8924 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415948282280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8929] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415947229480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8930] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415946176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8931] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415945124904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8932] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415944072104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8933] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415943019304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8934] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8921 8924 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27485848 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415941966504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8935] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8921 8924 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415929768424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8921 8924 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415928714488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8937] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8921 8924 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415927661576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8938] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415926610064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8939] ppid=8921 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8921 8924 6916 0 -1 4202560 2508 0 0 0 52 0 0 0 20 0 19 0 27485852 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415925558200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8921 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8921 8924 6916 0 -1 4202560 4285 0 0 0 46 0 0 0 20 0 19 0 27485852 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415924505400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8941] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415923452792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8942] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8921 8924 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415922400200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) S 8921 8924 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27485872 9856040960 17886 33554432000 1073741824 1073778376 140734348309968 140415921345704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 9625040


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

[pid=8924/tid=8943] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) S 8921 8924 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27485872 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415921345704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.66
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.31 2.25 2.20 3/213 9075
/proc/meminfo: memFree=29430380/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9625040 CPUtime=1784.66 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 12393 0 1 0 178415 51 0 0 20 0 19 0 27485846 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2406260 91398 2279 9 0 2396937 0
[pid=8924/tid=8926] ppid=8921 vsize=9625040 CPUtime=1777.21 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) R 8921 8924 6916 0 -1 4202560 2560 0 1 0 177685 36 0 0 20 0 19 0 27485846 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140416105549568 140415978230409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8927] ppid=8921 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8921 8924 6916 0 -1 4202560 419 0 0 0 18 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415949335080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8921 8924 6916 0 -1 4202560 323 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415948282280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8929] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8921 8924 6916 0 -1 4202560 80 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415947229480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8930] ppid=8921 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8921 8924 6916 0 -1 4202560 182 0 0 0 15 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415946176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8931] ppid=8921 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8921 8924 6916 0 -1 4202560 79 0 0 0 14 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415945124904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8932] ppid=8921 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8921 8924 6916 0 -1 4202560 183 0 0 0 16 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415944072104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8933] ppid=8921 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8921 8924 6916 0 -1 4202560 154 0 0 0 13 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415943019304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8934] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8921 8924 6916 0 -1 4202560 173 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415941966504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8935] ppid=8921 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8921 8924 6916 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415929768424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8936] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8921 8924 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415928714488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8937] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8921 8924 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415927661576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8938] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415926610064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8939] ppid=8921 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8921 8924 6916 0 -1 4202560 2525 0 0 0 58 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415925558200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8921 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8921 8924 6916 0 -1 4202560 4287 0 0 0 46 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415924505400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8941] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415923452792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8942] ppid=8921 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8921 8924 6916 0 -1 4202560 104 0 0 0 18 23 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415922400200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) S 8921 8924 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27485872 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415921345704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.66
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 2.24 2.24 2.20 3/213 9077
/proc/meminfo: memFree=29430128/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 12393 0 1 0 179955 51 0 0 20 0 19 0 27485846 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2406260 91398 2279 9 0 2396937 0
[pid=8924/tid=8926] ppid=8921 vsize=9625040 CPUtime=1792.57 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) R 8921 8924 6916 0 -1 4202560 2560 0 1 0 179221 36 0 0 20 0 19 0 27485846 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140416105549568 140415978251681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8927] ppid=8921 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8921 8924 6916 0 -1 4202560 419 0 0 0 18 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415949335080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8921 8924 6916 0 -1 4202560 323 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415948282280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8929] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8921 8924 6916 0 -1 4202560 80 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415947229480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8930] ppid=8921 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8921 8924 6916 0 -1 4202560 182 0 0 0 15 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415946176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8931] ppid=8921 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8921 8924 6916 0 -1 4202560 79 0 0 0 14 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415945124904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8932] ppid=8921 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8921 8924 6916 0 -1 4202560 183 0 0 0 16 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415944072104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8933] ppid=8921 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8921 8924 6916 0 -1 4202560 154 0 0 0 13 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415943019304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8934] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8921 8924 6916 0 -1 4202560 173 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415941966504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8935] ppid=8921 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8921 8924 6916 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415929768424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8936] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8921 8924 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415928714488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8937] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8921 8924 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415927661576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8938] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415926610064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8939] ppid=8921 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8921 8924 6916 0 -1 4202560 2525 0 0 0 58 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415925558200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8921 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8921 8924 6916 0 -1 4202560 4287 0 0 0 46 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415924505400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8941] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415923452792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8942] ppid=8921 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8921 8924 6916 0 -1 4202560 104 0 0 0 19 23 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415922400200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) S 8921 8924 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27485872 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415921345704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 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 8924 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.7 s]
/proc/loadavg: 2.24 2.24 2.20 3/213 9077
/proc/meminfo: memFree=29430128/32872528 swapFree=1497824/1644992
[pid=8924] ppid=8921 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8921 8924 6916 0 -1 4202496 12393 0 1 0 179955 51 0 0 20 0 19 0 27485846 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140734348301104 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8924/statm: 2406260 91398 2279 9 0 2396937 0
[pid=8924/tid=8926] ppid=8921 vsize=9625040 CPUtime=1792.57 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) R 8921 8924 6916 0 -1 4202560 2560 0 1 0 179221 36 0 0 20 0 19 0 27485846 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140416105549568 140415978251681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8927] ppid=8921 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8921 8924 6916 0 -1 4202560 419 0 0 0 18 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415949335080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8921 8924 6916 0 -1 4202560 323 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415948282280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8929] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8921 8924 6916 0 -1 4202560 80 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415947229480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8930] ppid=8921 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8921 8924 6916 0 -1 4202560 182 0 0 0 15 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415946176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8931] ppid=8921 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8921 8924 6916 0 -1 4202560 79 0 0 0 14 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415945124904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8932] ppid=8921 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8921 8924 6916 0 -1 4202560 183 0 0 0 16 3 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415944072104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8933] ppid=8921 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8921 8924 6916 0 -1 4202560 154 0 0 0 13 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415943019304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8934] ppid=8921 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8921 8924 6916 0 -1 4202560 173 0 0 0 18 2 0 0 20 0 19 0 27485848 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415941966504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8935] ppid=8921 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8921 8924 6916 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415929768424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8936] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8921 8924 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415928714488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8937] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8921 8924 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27485849 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415927661576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8938] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415926610064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8939] ppid=8921 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8921 8924 6916 0 -1 4202560 2525 0 0 0 58 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415925558200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8921 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8921 8924 6916 0 -1 4202560 4287 0 0 0 46 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415924505400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8941] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8921 8924 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415923452792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8942] ppid=8921 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8921 8924 6916 0 -1 4202560 104 0 0 0 19 23 0 0 20 0 19 0 27485852 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415922400200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8921 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) S 8921 8924 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27485872 9856040960 91398 33554432000 1073741824 1073778376 140734348309968 140415921345704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8924 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=978121
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=930858
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.76
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.51
CPU usage (%): 100.128
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 0.930858
maximum resident set size= 369612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12445
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38389
involuntary context switches= 4000

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9123 second user time and 12.3921 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 14:53:10
IDJOB=4103888
IDBENCH=2496
IDSOLVER=2546
FILE ID=node124/4103888-1466254390
RUNJOBID= node124-1466241833-6933
PBS_JOBID= 19918215
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103888-1466254390/watcher-4103888-1466254390 -o /tmp/evaluation-result-4103888-1466254390/solver-4103888-1466254390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103888-1466254390.opb

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

MD5SUM BENCH= c3570b707fa12d3d9c0d2ae31848c1b3
RANDOM SEED=363863122

node124.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.791
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.58
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.791
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.791
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.791
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.791
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.791
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.791
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.791
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29923744 kB
Buffers:          138008 kB
Cached:           168784 kB
SwapCached:         3080 kB
Active:           320772 kB
Inactive:         221256 kB
Active(anon):     234824 kB
Inactive(anon):     2880 kB
Active(file):      85948 kB
Inactive(file):   218376 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       1884600 kB
Mapped:            17036 kB
Shmem:                 0 kB
Slab:             624876 kB
SReclaimable:      68896 kB
SUnreclaim:       555980 kB
KernelStack:        1760 kB
PageTables:         8072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2008444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    356352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node124 at 2016-06-18 15:23:08