Trace number 4102029

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)916 1800.09 1784.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM6db31fd4066996ff4f309d723fc2c237
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark914
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 904
Optimality of the best value was proved YES
Number of variables1800
Total number of constraints215
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)215
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint72
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4102029-1466228088.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.28/0.29	c ... done. Wall clock time 0.174s.
0.28/0.29	c declared #vars     1800
0.28/0.29	c #constraints  340
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
0.28/0.29	c org.sat4j.minisat.constraints.cnf.UnitClauses => 5
0.28/0.29	c org.sat4j.specs.Constr$1 => 5
0.28/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 210
0.28/0.29	c 340 constraints processed.
0.28/0.29	c objective function length is 1800 literals
1.26/0.65	c SATISFIABLE
1.26/0.65	c OPTIMIZING...
1.26/0.65	c Got one! Elapsed wall clock time (in seconds):0.538
1.26/0.65	o 1036
1.80/0.98	c cleaning 2865 clauses out of 5741 with flag 15548/5741
2.36/1.46	c cleaning 4435 clauses out of 8875 with flag 48700/11740
2.56/1.61	c Got one! Elapsed wall clock time (in seconds):1.497
2.56/1.61	o 998
2.78/1.81	c Got one! Elapsed wall clock time (in seconds):1.702
2.78/1.81	o 982
2.89/1.99	c cleaning 5290 clauses out of 10605 with flag 12833/17905
3.53/2.55	c cleaning 5639 clauses out of 11314 with flag 54964/23904
3.76/2.76	c Got one! Elapsed wall clock time (in seconds):2.651
3.76/2.76	o 978
3.76/2.78	c Got one! Elapsed wall clock time (in seconds):2.671
3.76/2.78	o 976
4.11/3.06	c cleaning 5437 clauses out of 10937 with flag 20120/29166
4.71/3.60	c cleaning 5747 clauses out of 11501 with flag 61716/35167
4.71/3.68	c Got one! Elapsed wall clock time (in seconds):3.567
4.71/3.68	o 960
5.16/4.03	c cleaning 5411 clauses out of 10853 with flag 27822/40266
5.73/4.58	c cleaning 5713 clauses out of 11444 with flag 71290/46268
6.42/5.23	c cleaning 6354 clauses out of 12731 with flag 121704/53268
6.73/5.52	c Got one! Elapsed wall clock time (in seconds):5.41
6.73/5.52	o 942
6.97/5.71	c cleaning 5887 clauses out of 11824 with flag 15355/58715
7.47/6.29	c cleaning 5957 clauses out of 11940 with flag 64142/64718
8.17/6.90	c cleaning 6457 clauses out of 12979 with flag 117343/71714
8.88/7.66	c cleaning 7244 clauses out of 14523 with flag 178620/79715
9.80/8.52	c cleaning 8125 clauses out of 16280 with flag 250039/88716
10.80/9.51	c cleaning 9063 clauses out of 18153 with flag 336041/98714
11.90/10.69	c cleaning 10034 clauses out of 20093 with flag 434601/109717
13.30/12.00	c cleaning 11021 clauses out of 22058 with flag 540198/121716
14.80/13.51	c cleaning 12005 clauses out of 24035 with flag 660203/134714
16.51/15.25	c cleaning 13000 clauses out of 26031 with flag 806017/148715
18.41/17.15	c cleaning 13997 clauses out of 28032 with flag 957276/163716
20.51/19.25	c cleaning 15002 clauses out of 30034 with flag 1121723/179715
22.72/21.45	c cleaning 15995 clauses out of 32033 with flag 1296362/196716
25.12/23.89	c cleaning 16996 clauses out of 34036 with flag 1490029/214714
27.73/26.50	c cleaning 18001 clauses out of 36040 with flag 1697783/233714
30.62/29.36	c cleaning 18997 clauses out of 38039 with flag 1919359/253714
33.82/32.58	c cleaning 20000 clauses out of 40043 with flag 2157371/274715
37.26/35.95	c cleaning 20993 clauses out of 42042 with flag 2414879/296714
40.86/39.53	c cleaning 22008 clauses out of 44049 with flag 2693357/319714
44.66/43.34	c cleaning 23007 clauses out of 46042 with flag 2990802/343715
49.06/47.71	c cleaning 23967 clauses out of 48036 with flag 3332975/368716
53.58/52.23	c cleaning 24997 clauses out of 50067 with flag 3690372/394714
58.38/57.07	c cleaning 26024 clauses out of 52070 with flag 4080266/421714
63.48/62.11	c cleaning 27012 clauses out of 54047 with flag 4468369/449715
69.03/67.65	c cleaning 28000 clauses out of 56034 with flag 4883621/478714
74.83/73.45	c cleaning 29000 clauses out of 58034 with flag 5325198/508714
81.32/79.97	c cleaning 29992 clauses out of 60034 with flag 5780998/539714
88.34/86.81	c cleaning 30991 clauses out of 62044 with flag 6264274/571716
91.44/89.98	c Got one! Elapsed wall clock time (in seconds):89.863
91.44/89.98	o 940
92.57/91.01	c cleaning 26050 clauses out of 52144 with flag 71043/592807
93.57/92.00	c cleaning 16018 clauses out of 32093 with flag 161271/598806
94.57/93.02	c cleaning 11499 clauses out of 23075 with flag 273109/605806
95.47/93.90	c cleaning 9773 clauses out of 19576 with flag 368301/613806
96.47/94.91	c cleaning 9378 clauses out of 18804 with flag 475852/622807
97.66/96.05	c cleaning 9683 clauses out of 19425 with flag 591494/632806
98.65/97.07	c Got one! Elapsed wall clock time (in seconds):96.96
98.65/97.07	o 934
99.36/97.75	c cleaning 11880 clauses out of 23813 with flag 63655/646877
100.06/98.48	c cleaning 8953 clauses out of 17933 with flag 148920/652877
100.76/99.17	c cleaning 7953 clauses out of 15980 with flag 223576/659877
101.56/99.99	c cleaning 7990 clauses out of 16027 with flag 308480/667877
102.56/100.96	c cleaning 8513 clauses out of 17037 with flag 410532/676877
103.66/102.00	c cleaning 9225 clauses out of 18525 with flag 521181/686878
104.86/103.24	c cleaning 10126 clauses out of 20300 with flag 643912/697878
106.35/104.68	c cleaning 11077 clauses out of 22175 with flag 786401/709879
107.95/106.26	c cleaning 12044 clauses out of 24096 with flag 939019/722877
109.65/107.99	c cleaning 13007 clauses out of 26053 with flag 1108506/736878
111.65/109.94	c cleaning 14002 clauses out of 28046 with flag 1291396/751878
113.86/112.11	c cleaning 15007 clauses out of 30043 with flag 1497519/767877
116.37/114.53	c cleaning 15997 clauses out of 32036 with flag 1716114/784877
118.97/117.10	c cleaning 17009 clauses out of 34039 with flag 1949617/802877
121.77/119.92	c cleaning 17988 clauses out of 36030 with flag 2202168/821877
124.86/123.00	c cleaning 18993 clauses out of 38044 with flag 2473473/841879
128.24/126.30	c cleaning 20015 clauses out of 40049 with flag 2763974/862877
130.65/128.78	c Got one! Elapsed wall clock time (in seconds):128.67
130.65/128.78	o 916
131.54/129.66	c cleaning 20524 clauses out of 41084 with flag 67950/883927
132.34/130.44	c cleaning 13236 clauses out of 26561 with flag 147730/889928
133.14/131.24	c cleaning 10156 clauses out of 20324 with flag 228726/896927
134.04/132.14	c cleaning 9071 clauses out of 18170 with flag 325059/904929
135.04/133.14	c cleaning 9027 clauses out of 18097 with flag 426943/913927
136.18/134.23	c cleaning 9524 clauses out of 19071 with flag 539023/923928
137.48/135.50	c cleaning 10257 clauses out of 20547 with flag 668465/934928
138.87/136.95	c cleaning 11138 clauses out of 22289 with flag 805811/946927
140.47/138.54	c cleaning 12058 clauses out of 24151 with flag 961978/959927
142.27/140.32	c cleaning 13026 clauses out of 26095 with flag 1140798/973929
145.01/143.01	c cleaning 14019 clauses out of 28067 with flag 1380076/988927
148.31/146.36	c cleaning 14993 clauses out of 30050 with flag 1671978/1004929
152.29/150.21	c cleaning 16027 clauses out of 32061 with flag 2025756/1021933
156.39/154.39	c cleaning 16998 clauses out of 34028 with flag 2397303/1039927
161.01/158.83	c cleaning 17998 clauses out of 36031 with flag 2811823/1058928
164.02/161.84	c cleaning 19008 clauses out of 38032 with flag 3071360/1078927
167.41/165.19	c cleaning 20000 clauses out of 40024 with flag 3355021/1099927
171.02/168.71	c cleaning 20992 clauses out of 42024 with flag 3657205/1121927
174.72/172.48	c cleaning 21997 clauses out of 44033 with flag 3974873/1144928
179.00/176.62	c cleaning 22998 clauses out of 46035 with flag 4319227/1168927
183.40/181.02	c cleaning 24002 clauses out of 48037 with flag 4686231/1193927
188.25/185.80	c cleaning 25008 clauses out of 50036 with flag 5084476/1219928
193.35/190.97	c cleaning 26003 clauses out of 52030 with flag 5501937/1246930
199.12/196.63	c cleaning 26994 clauses out of 54024 with flag 5949055/1274927
204.82/202.36	c cleaning 27966 clauses out of 56030 with flag 6415766/1303927
211.20/208.66	c cleaning 29013 clauses out of 58065 with flag 6909748/1333928
218.11/215.58	c cleaning 30020 clauses out of 60053 with flag 7422635/1364929
225.40/222.73	c cleaning 30998 clauses out of 62031 with flag 7955506/1396927
232.97/230.22	c cleaning 31982 clauses out of 64037 with flag 8527026/1429931
240.98/238.25	c cleaning 33008 clauses out of 66051 with flag 9137878/1463927
249.26/246.42	c cleaning 34003 clauses out of 68043 with flag 9745102/1498927
257.69/254.90	c cleaning 35004 clauses out of 70040 with flag 10397783/1534927
266.89/264.01	c cleaning 36006 clauses out of 72036 with flag 11088004/1571927
276.12/273.25	c cleaning 37007 clauses out of 74031 with flag 11774467/1609928
286.31/283.35	c cleaning 37992 clauses out of 76023 with flag 12538623/1648927
296.68/293.63	c cleaning 38995 clauses out of 78031 with flag 13309703/1688927
307.59/304.41	c cleaning 40016 clauses out of 80036 with flag 14102185/1729927
318.73/315.59	c cleaning 40962 clauses out of 82021 with flag 14943494/1771928
330.70/327.48	c cleaning 42029 clauses out of 84060 with flag 15823944/1814929
343.28/339.93	c cleaning 42987 clauses out of 86029 with flag 16713085/1858927
356.44/353.08	c cleaning 44015 clauses out of 88045 with flag 17645992/1903930
370.00/366.59	c cleaning 45004 clauses out of 90031 with flag 18600191/1949931
383.96/380.48	c cleaning 45991 clauses out of 92023 with flag 19575222/1996927
399.32/395.78	c cleaning 46986 clauses out of 94032 with flag 20598844/2044927
414.39/410.76	c cleaning 48009 clauses out of 96046 with flag 21668759/2093927
430.46/426.80	c cleaning 49010 clauses out of 98037 with flag 22774536/2143927
447.70/443.98	c cleaning 50002 clauses out of 100028 with flag 23910526/2194928
465.17/461.29	c cleaning 50982 clauses out of 102029 with flag 25080753/2246931
489.57/485.40	c cleaning 51964 clauses out of 104044 with flag 26423470/2299928
513.32/509.09	c cleaning 52982 clauses out of 106080 with flag 27963159/2353928
532.95/528.54	c cleaning 54019 clauses out of 108098 with flag 29318820/2408928
553.20/548.75	c cleaning 55007 clauses out of 110079 with flag 30607865/2464928
574.28/569.76	c cleaning 56024 clauses out of 112071 with flag 31943253/2521927
596.41/591.70	c cleaning 57013 clauses out of 114050 with flag 33304434/2579930
618.91/614.06	c cleaning 57992 clauses out of 116034 with flag 34716221/2638927
642.12/637.11	c cleaning 59006 clauses out of 118042 with flag 36171447/2698927
667.05/661.95	c cleaning 59985 clauses out of 120037 with flag 37697304/2759928
691.92/686.68	c cleaning 60994 clauses out of 122051 with flag 39281120/2821927
721.42/715.99	c cleaning 62030 clauses out of 124060 with flag 41061668/2884930
748.08/742.49	c cleaning 62997 clauses out of 126027 with flag 42693929/2948927
776.51/770.72	c cleaning 63999 clauses out of 128032 with flag 44377655/3013929
807.09/801.11	c cleaning 65012 clauses out of 130033 with flag 46149800/3079929
837.24/831.14	c cleaning 66010 clauses out of 132020 with flag 47960323/3146928
867.82/861.59	c cleaning 66988 clauses out of 134013 with flag 49769312/3214931
900.41/893.93	c cleaning 67999 clauses out of 136022 with flag 51662503/3283928
931.42/924.74	c cleaning 69003 clauses out of 138024 with flag 53568710/3353929
966.06/959.16	c cleaning 70012 clauses out of 140023 with flag 55558633/3424931
1003.55/996.39	c cleaning 70929 clauses out of 142008 with flag 57828820/3496928
1057.23/1049.66	c cleaning 72001 clauses out of 144080 with flag 60662430/3569929
1092.01/1084.06	c cleaning 73015 clauses out of 146079 with flag 62867171/3643929
1130.33/1122.13	c cleaning 74005 clauses out of 148064 with flag 65021405/3718929
1169.75/1161.31	c cleaning 75007 clauses out of 150057 with flag 67237459/3794927
1209.87/1201.14	c cleaning 76010 clauses out of 152050 with flag 69471503/3871927
1253.44/1244.32	c cleaning 77013 clauses out of 154041 with flag 71794950/3949928
1297.12/1287.69	c cleaning 77998 clauses out of 156027 with flag 74161702/4028927
1341.59/1331.76	c cleaning 78989 clauses out of 158031 with flag 76590456/4108929
1386.63/1376.31	c cleaning 79993 clauses out of 160040 with flag 79049930/4189927
1435.15/1424.39	c cleaning 80998 clauses out of 162047 with flag 81609398/4271927
1484.14/1472.75	c cleaning 82006 clauses out of 164052 with flag 84212793/4354930
1534.88/1522.97	c cleaning 83011 clauses out of 166044 with flag 86853146/4438928
1585.20/1572.62	c cleaning 84005 clauses out of 168032 with flag 89521469/4523927
1637.72/1624.58	c cleaning 85011 clauses out of 170028 with flag 92236795/4609928
1692.93/1679.07	c cleaning 85988 clauses out of 172016 with flag 94998314/4696927
1748.25/1733.88	c cleaning 86988 clauses out of 174028 with flag 97856898/4784927
1800.09/1784.90	c starts		: 31749
1800.09/1784.90	c conflicts		: 4868224
1800.09/1784.90	c decisions		: 23538185
1800.09/1784.90	c propagations		: 384780283
1800.09/1784.90	c inspects		: 28922685012
1800.09/1784.90	c shortcuts		: 0
1800.09/1784.90	c learnt literals	: 0
1800.09/1784.90	c learnt binary clauses	: 0
1800.09/1784.90	c learnt ternary clauses	: 0
1800.09/1784.90	c learnt constraints	: 4868224
1800.09/1784.90	c ignored constraints	: 0
1800.09/1784.90	c root simplifications	: 0
1800.09/1784.90	c removed literals (reason simplification)	: 0
1800.09/1784.90	c reason swapping (by a shorter reason)	: 0
1800.09/1784.90	c Calls to reduceDB	: 144
1800.09/1784.90	c Number of update (reduction) of LBD	: 2498114
1800.09/1784.90	c Imported unit clauses	: 0
1800.09/1784.90	c number of reductions to clauses (during analyze)	: 0
1800.09/1784.90	c number of learned constraints concerned by reduction	: 0
1800.09/1784.90	c number of learning phase by resolution	: 0
1800.09/1784.90	c number of learning phase by cutting planes	: 0
1800.09/1784.90	c speed (assignments/second)	: 215611.0347169456
1800.09/1784.90	c non guided choices	0
1800.09/1784.93	c learnt constraints type 
1800.09/1784.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 170338
1800.09/1784.93	s SATISFIABLE
1800.09/1784.93	c Found 10 solution(s)
1800.09/1784.94	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 
1800.09/1784.94	c objective function=916
1800.09/1784.94	c Total wall clock time (in seconds): 1784.825

Verifier Data 

OK	916

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-4102029-1466228088/watcher-4102029-1466228088 -o /tmp/evaluation-result-4102029-1466228088/solver-4102029-1466228088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15533 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4102029-1466228088.opb 

pid=19401
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.62 2.34 2.23 2/194 19404
/proc/meminfo: memFree=29528700/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/19404/stat : 19404 (java) D 19401 19404 15516 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 24855404 2560000 46 33554432000 1073741824 1073778376 140735769536496 140735769533624 270698376487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 892 47 37 9 0 30 0

[startup+0.100059 s]
/proc/loadavg: 2.62 2.34 2.23 2/194 19404
/proc/meminfo: memFree=29528700/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 4411 0 1 0 8 1 0 0 20 0 18 0 24855404 9787879424 6041 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2389619 6041 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200225 s]
/proc/loadavg: 2.62 2.34 2.23 2/194 19404
/proc/meminfo: memFree=29528700/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 4999 0 1 0 27 1 0 0 20 0 18 0 24855404 9787879424 6899 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2389619 6899 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300245 s]
/proc/loadavg: 2.62 2.34 2.23 2/194 19404
/proc/meminfo: memFree=29528700/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 7872 0 1 0 54 1 0 0 20 0 18 0 24855404 9787879424 10992 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2389619 10992 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700192 s]
/proc/loadavg: 2.62 2.34 2.23 2/194 19404
/proc/meminfo: memFree=29528700/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 12452 0 1 0 141 2 0 0 20 0 19 0 24855404 9856040960 14205 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2406260 14205 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.57 2.33 2.23 3/213 19423
/proc/meminfo: memFree=29478724/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9625040 CPUtime=2.46 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 15259 0 1 0 244 2 0 0 20 0 19 0 24855404 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2406260 16038 2263 9 0 2396937 0
[pid=19404/tid=19406] ppid=19401 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/19404/task/19406/stat : 19406 (java) R 19401 19404 15516 0 -1 4202560 2424 0 1 0 145 1 0 0 20 0 19 0 24855405 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955392884432 139955217719572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19404/tid=19407] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19407/stat : 19407 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955354384936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19408] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19408/stat : 19408 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955353332136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19409] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19409/stat : 19409 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955352279336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19404/tid=19410] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19410/stat : 19410 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955351226536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19411] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19411/stat : 19411 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955350174760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19412] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19412/stat : 19412 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955349121960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19413] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19413/stat : 19413 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955348069160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19414] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19414/stat : 19414 (java) S 19401 19404 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955347016360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19415] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19415/stat : 19415 (java) S 19401 19404 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955217099240 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19416] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19416/stat : 19416 (java) S 19401 19404 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955216045304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19417] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19417/stat : 19417 (java) S 19401 19404 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955214992392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19418] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19418/stat : 19418 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855410 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955213940880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19419] ppid=19401 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/19404/task/19419/stat : 19419 (java) S 19401 19404 15516 0 -1 4202560 3667 0 0 0 42 0 0 0 20 0 19 0 24855411 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955212889016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19420] ppid=19401 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/19404/task/19420/stat : 19420 (java) S 19401 19404 15516 0 -1 4202560 7891 0 0 0 55 0 0 0 20 0 19 0 24855411 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955211836216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19421] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19421/stat : 19421 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955210783608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19422] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19422/stat : 19422 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955209731016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19423] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19423/stat : 19423 (java) S 19401 19404 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24855435 9856040960 16038 33554432000 1073741824 1073778376 140735769536496 139955208676520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.57 2.33 2.23 3/213 19423
/proc/meminfo: memFree=29461472/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9625040 CPUtime=4.21 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 15381 0 1 0 418 3 0 0 20 0 19 0 24855404 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2406260 22694 2263 9 0 2396937 0
[pid=19404/tid=19406] ppid=19401 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/19404/task/19406/stat : 19406 (java) R 19401 19404 15516 0 -1 4202560 2439 0 1 0 304 2 0 0 20 0 19 0 24855405 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955392891416 139955217917714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19407] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19407/stat : 19407 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955354384936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19408] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19408/stat : 19408 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955353332136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19409] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19409/stat : 19409 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955352279336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19404/tid=19410] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19410/stat : 19410 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955351226536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19411] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19411/stat : 19411 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955350174760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19412] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19412/stat : 19412 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955349121960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19413] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19413/stat : 19413 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955348069160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19414] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19414/stat : 19414 (java) S 19401 19404 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955347016360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19415] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19415/stat : 19415 (java) S 19401 19404 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955217099240 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19416] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19416/stat : 19416 (java) S 19401 19404 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955216045304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19417] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19417/stat : 19417 (java) S 19401 19404 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955214992392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19418] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19418/stat : 19418 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855410 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955213940880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19419] ppid=19401 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/19404/task/19419/stat : 19419 (java) S 19401 19404 15516 0 -1 4202560 3667 0 0 0 46 0 0 0 20 0 19 0 24855411 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955212889016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19420] ppid=19401 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/19404/task/19420/stat : 19420 (java) S 19401 19404 15516 0 -1 4202560 7998 0 0 0 65 0 0 0 20 0 19 0 24855411 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955211836216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19421] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19421/stat : 19421 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955210783608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19422] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19422/stat : 19422 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955209731016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19423] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19423/stat : 19423 (java) S 19401 19404 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24855435 9856040960 22694 33554432000 1073741824 1073778376 140735769536496 139955208676520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 9625040

[startup+6.30089 s]
/proc/loadavg: 2.57 2.33 2.23 3/213 19423
/proc/meminfo: memFree=29423724/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9625040 CPUtime=7.57 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 15412 0 1 0 754 3 0 0 20 0 19 0 24855404 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2406260 33939 2264 9 0 2396937 0
[pid=19404/tid=19406] ppid=19401 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/19404/task/19406/stat : 19406 (java) R 19401 19404 15516 0 -1 4202560 2464 0 1 0 622 2 0 0 20 0 19 0 24855405 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955392885040 139955217817408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19407] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19407/stat : 19407 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955354384936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19408] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19408/stat : 19408 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955353332136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19409] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19409/stat : 19409 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955352279336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19404/tid=19410] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19410/stat : 19410 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955351226536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19411] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19411/stat : 19411 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955350174760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19412] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19412/stat : 19412 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955349121960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19413] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19413/stat : 19413 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955348069160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19414] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19414/stat : 19414 (java) S 19401 19404 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24855407 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955347016360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19415] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19415/stat : 19415 (java) S 19401 19404 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955217099240 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19416] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19416/stat : 19416 (java) S 19401 19404 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955216045304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19417] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19417/stat : 19417 (java) S 19401 19404 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955214992392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19418] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19418/stat : 19418 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855410 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955213940880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19419] ppid=19401 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/19404/task/19419/stat : 19419 (java) S 19401 19404 15516 0 -1 4202560 3667 0 0 0 60 0 0 0 20 0 19 0 24855411 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955212889016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19420] ppid=19401 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/19404/task/19420/stat : 19420 (java) S 19401 19404 15516 0 -1 4202560 8003 0 0 0 68 0 0 0 20 0 19 0 24855411 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955211836216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19421] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19421/stat : 19421 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955210783608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19422] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19422/stat : 19422 (java) S 19401 19404 15516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955209731016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19423] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19423/stat : 19423 (java) S 19401 19404 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24855435 9856040960 33939 33554432000 1073741824 1073778376 140735769536496 139955208676520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 9625040


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

[pid=19404/tid=19423] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19423/stat : 19423 (java) S 19401 19404 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24855435 9856040960 55143 33554432000 1073741824 1073778376 140735769536496 139955208676520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1736.62
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.19 2.22 2.19 3/213 20465
/proc/meminfo: memFree=29837512/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9625040 CPUtime=1797.5 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 31416 0 1 0 179577 173 0 0 20 0 19 0 24855404 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2406260 59951 2288 9 0 2396937 0
[pid=19404/tid=19406] ppid=19401 vsize=9625040 CPUtime=1767.5 cores=1,3,5,7
/proc/19404/task/19406/stat : 19406 (java) R 19401 19404 15516 0 -1 4202560 2841 0 1 0 176719 31 0 0 20 0 19 0 24855405 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955392892224 139955217798066 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19407] ppid=19401 vsize=9625040 CPUtime=2.52 cores=1,3,5,7
/proc/19404/task/19407/stat : 19407 (java) S 19401 19404 15516 0 -1 4202560 1447 0 0 0 236 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955354384936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19408] ppid=19401 vsize=9625040 CPUtime=2.54 cores=1,3,5,7
/proc/19404/task/19408/stat : 19408 (java) S 19401 19404 15516 0 -1 4202560 1571 0 0 0 238 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955353332136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19409] ppid=19401 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/19404/task/19409/stat : 19409 (java) S 19401 19404 15516 0 -1 4202560 1436 0 0 0 224 15 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955352279336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19410] ppid=19401 vsize=9625040 CPUtime=2.46 cores=1,3,5,7
/proc/19404/task/19410/stat : 19410 (java) S 19401 19404 15516 0 -1 4202560 1398 0 0 0 232 14 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955351226536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19411] ppid=19401 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/19404/task/19411/stat : 19411 (java) S 19401 19404 15516 0 -1 4202560 1753 0 0 0 230 18 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955350174760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19412] ppid=19401 vsize=9625040 CPUtime=2.46 cores=1,3,5,7
/proc/19404/task/19412/stat : 19412 (java) S 19401 19404 15516 0 -1 4202560 1729 0 0 0 228 18 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955349121960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19413] ppid=19401 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/19404/task/19413/stat : 19413 (java) S 19401 19404 15516 0 -1 4202560 2418 0 0 0 226 14 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955348069160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19414] ppid=19401 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/19404/task/19414/stat : 19414 (java) S 19401 19404 15516 0 -1 4202560 1909 0 0 0 223 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955347016360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19404/tid=19415] ppid=19401 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/19404/task/19415/stat : 19415 (java) S 19401 19404 15516 0 -1 4202560 1871 0 0 0 400 7 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955217099240 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19416] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19416/stat : 19416 (java) S 19401 19404 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955216045304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19417] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19417/stat : 19417 (java) S 19401 19404 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955214992392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19418] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19418/stat : 19418 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855410 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955213940880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19419] ppid=19401 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/19404/task/19419/stat : 19419 (java) S 19401 19404 15516 0 -1 4202560 3671 0 0 0 65 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955212889016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19420] ppid=19401 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/19404/task/19420/stat : 19420 (java) S 19401 19404 15516 0 -1 4202560 8005 0 0 0 70 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955211836216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19421] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19421/stat : 19421 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955210783608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19422] ppid=19401 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/19404/task/19422/stat : 19422 (java) S 19401 19404 15516 0 -1 4202560 104 0 0 0 32 37 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955209731016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19423] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19423/stat : 19423 (java) S 19401 19404 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24855435 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955208676520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.9 s]
/proc/loadavg: 2.19 2.22 2.19 4/213 20465
/proc/meminfo: memFree=29829320/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 31416 0 1 0 179836 173 0 0 20 0 19 0 24855404 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2406260 59951 2288 9 0 2396937 0
[pid=19404/tid=19406] ppid=19401 vsize=9625040 CPUtime=1770.08 cores=1,3,5,7
/proc/19404/task/19406/stat : 19406 (java) R 19401 19404 15516 0 -1 4202560 2841 0 1 0 176977 31 0 0 20 0 19 0 24855405 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955392892224 139955217807746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19407] ppid=19401 vsize=9625040 CPUtime=2.52 cores=1,3,5,7
/proc/19404/task/19407/stat : 19407 (java) S 19401 19404 15516 0 -1 4202560 1447 0 0 0 236 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955354384936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19408] ppid=19401 vsize=9625040 CPUtime=2.54 cores=1,3,5,7
/proc/19404/task/19408/stat : 19408 (java) S 19401 19404 15516 0 -1 4202560 1571 0 0 0 238 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955353332136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19409] ppid=19401 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/19404/task/19409/stat : 19409 (java) S 19401 19404 15516 0 -1 4202560 1436 0 0 0 224 15 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955352279336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19410] ppid=19401 vsize=9625040 CPUtime=2.46 cores=1,3,5,7
/proc/19404/task/19410/stat : 19410 (java) S 19401 19404 15516 0 -1 4202560 1398 0 0 0 232 14 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955351226536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19411] ppid=19401 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/19404/task/19411/stat : 19411 (java) S 19401 19404 15516 0 -1 4202560 1753 0 0 0 230 18 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955350174760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19412] ppid=19401 vsize=9625040 CPUtime=2.46 cores=1,3,5,7
/proc/19404/task/19412/stat : 19412 (java) S 19401 19404 15516 0 -1 4202560 1729 0 0 0 228 18 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955349121960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19413] ppid=19401 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/19404/task/19413/stat : 19413 (java) S 19401 19404 15516 0 -1 4202560 2418 0 0 0 226 14 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955348069160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19414] ppid=19401 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/19404/task/19414/stat : 19414 (java) S 19401 19404 15516 0 -1 4202560 1909 0 0 0 223 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955347016360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19404/tid=19415] ppid=19401 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/19404/task/19415/stat : 19415 (java) S 19401 19404 15516 0 -1 4202560 1871 0 0 0 400 7 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955217099240 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19416] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19416/stat : 19416 (java) S 19401 19404 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955216045304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19417] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19417/stat : 19417 (java) S 19401 19404 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955214992392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19418] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19418/stat : 19418 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855410 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955213940880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19419] ppid=19401 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/19404/task/19419/stat : 19419 (java) S 19401 19404 15516 0 -1 4202560 3671 0 0 0 65 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955212889016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19420] ppid=19401 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/19404/task/19420/stat : 19420 (java) S 19401 19404 15516 0 -1 4202560 8005 0 0 0 70 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955211836216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19421] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19421/stat : 19421 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955210783608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19422] ppid=19401 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/19404/task/19422/stat : 19422 (java) S 19401 19404 15516 0 -1 4202560 104 0 0 0 32 37 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955209731016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19423] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19423/stat : 19423 (java) S 19401 19404 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24855435 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955208676520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 19404 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1784.9 s]
/proc/loadavg: 2.19 2.22 2.19 4/213 20465
/proc/meminfo: memFree=29829320/32872528 swapFree=1542984/1696284
[pid=19404] ppid=19401 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/19404/stat : 19404 (java) S 19401 19404 15516 0 -1 4202496 31416 0 1 0 179836 173 0 0 20 0 19 0 24855404 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 140735769527632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19404/statm: 2406260 59951 2288 9 0 2396937 0
[pid=19404/tid=19406] ppid=19401 vsize=9625040 CPUtime=1770.08 cores=1,3,5,7
/proc/19404/task/19406/stat : 19406 (java) R 19401 19404 15516 0 -1 4202560 2841 0 1 0 176977 31 0 0 20 0 19 0 24855405 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955392892224 139955217807746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19407] ppid=19401 vsize=9625040 CPUtime=2.52 cores=1,3,5,7
/proc/19404/task/19407/stat : 19407 (java) S 19401 19404 15516 0 -1 4202560 1447 0 0 0 236 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955354384936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19408] ppid=19401 vsize=9625040 CPUtime=2.54 cores=1,3,5,7
/proc/19404/task/19408/stat : 19408 (java) S 19401 19404 15516 0 -1 4202560 1571 0 0 0 238 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955353332136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19409] ppid=19401 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/19404/task/19409/stat : 19409 (java) S 19401 19404 15516 0 -1 4202560 1436 0 0 0 224 15 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955352279336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19410] ppid=19401 vsize=9625040 CPUtime=2.46 cores=1,3,5,7
/proc/19404/task/19410/stat : 19410 (java) S 19401 19404 15516 0 -1 4202560 1398 0 0 0 232 14 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955351226536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19411] ppid=19401 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/19404/task/19411/stat : 19411 (java) S 19401 19404 15516 0 -1 4202560 1753 0 0 0 230 18 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955350174760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19412] ppid=19401 vsize=9625040 CPUtime=2.46 cores=1,3,5,7
/proc/19404/task/19412/stat : 19412 (java) S 19401 19404 15516 0 -1 4202560 1729 0 0 0 228 18 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955349121960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19413] ppid=19401 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/19404/task/19413/stat : 19413 (java) S 19401 19404 15516 0 -1 4202560 2418 0 0 0 226 14 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955348069160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19414] ppid=19401 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/19404/task/19414/stat : 19414 (java) S 19401 19404 15516 0 -1 4202560 1909 0 0 0 223 16 0 0 20 0 19 0 24855407 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955347016360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19404/tid=19415] ppid=19401 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/19404/task/19415/stat : 19415 (java) S 19401 19404 15516 0 -1 4202560 1871 0 0 0 400 7 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955217099240 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19416] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19416/stat : 19416 (java) S 19401 19404 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955216045304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19417] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19417/stat : 19417 (java) S 19401 19404 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24855408 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955214992392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19418] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19418/stat : 19418 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855410 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955213940880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19419] ppid=19401 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/19404/task/19419/stat : 19419 (java) S 19401 19404 15516 0 -1 4202560 3671 0 0 0 65 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955212889016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19420] ppid=19401 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/19404/task/19420/stat : 19420 (java) S 19401 19404 15516 0 -1 4202560 8005 0 0 0 70 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955211836216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19404/tid=19421] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19421/stat : 19421 (java) S 19401 19404 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955210783608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19404/tid=19422] ppid=19401 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/19404/task/19422/stat : 19422 (java) S 19401 19404 15516 0 -1 4202560 104 0 0 0 32 37 0 0 20 0 19 0 24855411 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955209731016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19404/tid=19423] ppid=19401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19404/task/19423/stat : 19423 (java) S 19401 19404 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24855435 9856040960 59951 33554432000 1073741824 1073778376 140735769536496 139955208676520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19404 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=19267
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=170670
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.95
CPU time (s): 1800.09
CPU user time (s): 1798.36
CPU system time (s): 1.73
CPU usage (%): 100.848
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 2.17067
maximum resident set size= 543948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31461
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48787
involuntary context switches= 48284

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.47156 second user time and 14.6548 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 07:34:48
IDJOB=4102029
IDBENCH=1872
IDSOLVER=2546
FILE ID=node125/4102029-1466228088
RUNJOBID= node125-1466206074-15533
PBS_JOBID= 19918152
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102029-1466228088/watcher-4102029-1466228088 -o /tmp/evaluation-result-4102029-1466228088/solver-4102029-1466228088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15533 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4102029-1466228088.opb

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

MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237
RANDOM SEED=1260174491

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29529344 kB
Buffers:          100940 kB
Cached:            96160 kB
SwapCached:          688 kB
Active:           772388 kB
Inactive:         139108 kB
Active(anon):     715448 kB
Inactive(anon):     1040 kB
Active(file):      56940 kB
Inactive(file):   138068 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:               944 kB
Writeback:             0 kB
AnonPages:       2409456 kB
Mapped:            15488 kB
Shmem:                 0 kB
Slab:             601192 kB
SReclaimable:      44648 kB
SUnreclaim:       556544 kB
KernelStack:        1608 kB
PageTables:         9092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2541012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    823296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node125 at 2016-06-18 08:04:33