Trace number 4118173

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)1387 1800.02 1784.15

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross10-090.lin.opb
MD5SUM1b0619aeb37ff2955bc888450a57fd1f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1387
Best CPU time to get the best result obtained on this benchmark25.998
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables694
Total number of constraints1687
Number of constraints which are clauses1083
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints603
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 680
Biggest coefficient in the objective function 1646
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 3308
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1646
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3308
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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-4118173-1467224701.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.25/0.26	c ... done. Wall clock time 0.15s.
0.25/0.26	c declared #vars     694
0.25/0.26	c #constraints  1688
0.25/0.26	c constraints type 
0.25/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1083
0.25/0.26	c org.sat4j.specs.Constr$1 => 1
0.25/0.26	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.25/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 603
0.25/0.26	c 1688 constraints processed.
0.25/0.26	c objective function length is 680 literals
0.25/0.28	c SATISFIABLE
0.25/0.28	c OPTIMIZING...
0.25/0.28	c Got one! Elapsed wall clock time (in seconds):0.164
0.25/0.28	o 1515
0.25/0.29	c Got one! Elapsed wall clock time (in seconds):0.182
0.25/0.29	o 1504
0.43/0.31	c Got one! Elapsed wall clock time (in seconds):0.197
0.43/0.31	o 1493
0.43/0.32	c Got one! Elapsed wall clock time (in seconds):0.212
0.43/0.32	o 1489
0.43/0.34	c Got one! Elapsed wall clock time (in seconds):0.227
0.43/0.34	o 1485
0.43/0.36	c Got one! Elapsed wall clock time (in seconds):0.244
0.43/0.36	o 1481
0.43/0.38	c Got one! Elapsed wall clock time (in seconds):0.269
0.43/0.38	o 1477
0.43/0.39	c Got one! Elapsed wall clock time (in seconds):0.282
0.43/0.39	o 1473
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.389
1.03/0.50	o 1467
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.393
1.03/0.50	o 1466
1.03/0.51	c Got one! Elapsed wall clock time (in seconds):0.396
1.03/0.51	o 1462
1.03/0.51	c Got one! Elapsed wall clock time (in seconds):0.4
1.03/0.51	o 1451
1.03/0.52	c Got one! Elapsed wall clock time (in seconds):0.403
1.03/0.52	o 1448
1.03/0.52	c Got one! Elapsed wall clock time (in seconds):0.406
1.03/0.52	o 1445
1.03/0.52	c Got one! Elapsed wall clock time (in seconds):0.409
1.03/0.52	o 1432
1.24/0.65	c Got one! Elapsed wall clock time (in seconds):0.541
1.24/0.65	o 1427
1.24/0.66	c Got one! Elapsed wall clock time (in seconds):0.545
1.24/0.66	o 1424
1.73/1.09	c cleaning 2944 clauses out of 5888 with flag 8493/5888
2.53/1.74	c cleaning 4472 clauses out of 8943 with flag 21302/11887
3.39/2.58	c cleaning 5733 clauses out of 11471 with flag 36167/18887
4.32/3.48	c cleaning 6866 clauses out of 13740 with flag 53176/26889
5.33/4.43	c cleaning 7936 clauses out of 15872 with flag 72018/35887
6.43/5.53	c cleaning 8966 clauses out of 17938 with flag 95681/45889
7.63/6.73	c cleaning 9983 clauses out of 19970 with flag 119503/56887
8.93/8.05	c cleaning 10993 clauses out of 21988 with flag 145236/68888
10.43/9.59	c cleaning 11999 clauses out of 24000 with flag 173104/81893
12.26/11.36	c cleaning 12997 clauses out of 25996 with flag 202603/95888
14.27/13.37	c cleaning 13993 clauses out of 27998 with flag 234553/110887
16.16/15.23	c cleaning 14998 clauses out of 30005 with flag 269573/126887
18.26/17.30	c cleaning 16000 clauses out of 32007 with flag 306595/143887
20.46/19.54	c cleaning 17003 clauses out of 34010 with flag 348840/161890
22.86/21.93	c cleaning 18000 clauses out of 36004 with flag 393490/180887
23.56/22.69	c Got one! Elapsed wall clock time (in seconds):22.574
23.56/22.69	o 1420
24.32/23.38	c cleaning 14797 clauses out of 29610 with flag 11523/192493
25.02/24.06	c cleaning 10399 clauses out of 20813 with flag 25134/198493
25.82/24.86	c cleaning 8704 clauses out of 17414 with flag 40989/205493
26.72/25.73	c cleaning 8353 clauses out of 16710 with flag 59269/213493
27.72/26.70	c cleaning 8673 clauses out of 17356 with flag 79133/222492
28.72/27.73	c cleaning 9340 clauses out of 18685 with flag 100775/232494
30.02/29.04	c cleaning 10168 clauses out of 20343 with flag 124308/243492
31.32/30.32	c cleaning 11081 clauses out of 22175 with flag 149236/255492
32.72/31.74	c cleaning 12044 clauses out of 24094 with flag 176642/268492
32.92/31.99	c Got one! Elapsed wall clock time (in seconds):31.879
32.92/31.99	o 1416
33.31/32.37	c cleaning 8872 clauses out of 17757 with flag 7769/274199
34.02/33.03	c cleaning 7438 clauses out of 14885 with flag 21880/280199
34.73/33.73	c cleaning 7218 clauses out of 14448 with flag 37998/287200
35.44/34.50	c cleaning 7612 clauses out of 15229 with flag 56439/295199
36.44/35.41	c cleaning 8303 clauses out of 16618 with flag 75798/304200
37.34/36.39	c cleaning 9154 clauses out of 18314 with flag 97789/314199
38.54/37.57	c cleaning 10079 clauses out of 20161 with flag 124669/325200
39.44/38.49	c Got one! Elapsed wall clock time (in seconds):38.382
39.44/38.49	o 1415
40.13/39.16	c cleaning 11827 clauses out of 23653 with flag 11470/338771
40.83/39.81	c cleaning 8907 clauses out of 17826 with flag 24640/344771
41.53/40.57	c cleaning 7956 clauses out of 15920 with flag 45144/351772
42.43/41.43	c cleaning 7980 clauses out of 15963 with flag 67878/359771
43.43/42.41	c cleaning 8489 clauses out of 16984 with flag 88254/368772
44.43/43.40	c cleaning 9246 clauses out of 18496 with flag 113024/378773
45.56/44.58	c cleaning 10125 clauses out of 20250 with flag 142952/389773
46.86/45.88	c cleaning 11062 clauses out of 22127 with flag 170681/401775
48.36/47.35	c cleaning 12025 clauses out of 24062 with flag 203244/414772
50.06/49.07	c cleaning 13019 clauses out of 26037 with flag 235605/428772
51.96/50.99	c cleaning 14009 clauses out of 28018 with flag 269745/443772
53.96/52.93	c cleaning 14997 clauses out of 30008 with flag 306889/459771
55.95/54.99	c cleaning 15999 clauses out of 32011 with flag 349386/476771
58.21/57.17	c cleaning 17003 clauses out of 34015 with flag 395352/494774
60.62/59.58	c cleaning 18003 clauses out of 36010 with flag 438574/513772
63.11/62.07	c cleaning 19002 clauses out of 38006 with flag 485153/533771
65.90/64.90	c cleaning 19998 clauses out of 40004 with flag 529879/554771
69.00/67.90	c cleaning 20998 clauses out of 42007 with flag 579424/576772
72.41/71.24	c cleaning 22003 clauses out of 44008 with flag 631675/599771
76.11/74.97	c cleaning 23000 clauses out of 46005 with flag 687774/623771
79.61/78.41	c cleaning 23999 clauses out of 48005 with flag 743703/648771
79.61/78.42	c Got one! Elapsed wall clock time (in seconds):78.313
79.61/78.42	o 1412
80.21/79.06	c cleaning 14550 clauses out of 29110 with flag 13804/653875
80.91/79.73	c cleaning 10277 clauses out of 20559 with flag 27943/659874
81.21/80.02	c Got one! Elapsed wall clock time (in seconds):79.91
81.21/80.02	o 1411
81.41/80.25	c cleaning 7735 clauses out of 15492 with flag 5253/665084
82.20/80.94	c cleaning 6874 clauses out of 13758 with flag 19253/671085
82.90/81.66	c cleaning 6935 clauses out of 13883 with flag 34795/678084
83.70/82.47	c cleaning 7472 clauses out of 14947 with flag 52417/686083
84.70/83.45	c cleaning 8234 clauses out of 16475 with flag 72051/695083
85.80/84.59	c cleaning 9122 clauses out of 18244 with flag 94745/705086
87.11/85.86	c cleaning 10058 clauses out of 20120 with flag 119115/716084
88.50/87.29	c cleaning 11027 clauses out of 22062 with flag 145490/728084
90.10/88.82	c cleaning 12016 clauses out of 24034 with flag 172886/741083
91.99/90.68	c cleaning 13009 clauses out of 26020 with flag 203042/755085
93.89/92.58	c cleaning 14002 clauses out of 28009 with flag 236171/770083
95.68/94.37	c cleaning 14997 clauses out of 30008 with flag 270870/786084
97.78/96.40	c cleaning 15999 clauses out of 32010 with flag 308585/803083
100.08/98.72	c cleaning 17006 clauses out of 34011 with flag 349232/821083
102.78/101.33	c cleaning 17997 clauses out of 36005 with flag 392099/840083
105.47/104.04	c cleaning 19002 clauses out of 38008 with flag 437068/860083
106.77/105.35	c Got one! Elapsed wall clock time (in seconds):105.238
106.77/105.35	o 1410
106.77/105.39	c Got one! Elapsed wall clock time (in seconds):105.277
106.77/105.39	o 1405
107.57/106.16	c cleaning 17551 clauses out of 35110 with flag 12699/876187
108.27/106.86	c cleaning 11777 clauses out of 23559 with flag 27746/882187
109.07/107.61	c cleaning 9386 clauses out of 18783 with flag 44051/889188
109.87/108.47	c cleaning 8693 clauses out of 17395 with flag 64850/897186
110.93/109.41	c cleaning 8846 clauses out of 17702 with flag 87365/906186
111.93/110.40	c cleaning 9424 clauses out of 18856 with flag 110674/916186
113.13/111.67	c cleaning 10208 clauses out of 20432 with flag 135555/927186
114.54/113.04	c cleaning 11109 clauses out of 22224 with flag 161329/939186
115.95/114.47	c cleaning 12058 clauses out of 24116 with flag 192473/952187
117.64/116.17	c cleaning 13029 clauses out of 26058 with flag 223803/966187
119.49/117.94	c cleaning 14005 clauses out of 28029 with flag 258475/981187
121.39/119.83	c cleaning 15005 clauses out of 30024 with flag 293476/997187
123.39/121.82	c cleaning 16005 clauses out of 32019 with flag 334210/1014187
125.59/124.08	c cleaning 17004 clauses out of 34014 with flag 379279/1032187
128.33/126.75	c cleaning 17998 clauses out of 36011 with flag 427444/1051188
131.23/129.64	c cleaning 18999 clauses out of 38012 with flag 483254/1071187
133.93/132.33	c cleaning 20006 clauses out of 40013 with flag 535868/1092187
137.04/135.43	c cleaning 21005 clauses out of 42009 with flag 593361/1114189
140.26/138.64	c cleaning 21997 clauses out of 44001 with flag 651876/1137186
143.56/141.91	c cleaning 22999 clauses out of 46004 with flag 712936/1161186
147.04/145.39	c cleaning 23997 clauses out of 48005 with flag 773476/1186186
151.03/149.31	c cleaning 24998 clauses out of 50008 with flag 842088/1212186
152.63/150.97	c Got one! Elapsed wall clock time (in seconds):150.862
152.63/150.97	o 1404
153.53/151.81	c cleaning 21675 clauses out of 43356 with flag 11478/1230532
154.33/152.61	c cleaning 13835 clauses out of 27682 with flag 24693/1236533
155.13/153.46	c cleaning 10415 clauses out of 20848 with flag 41153/1243534
156.13/154.45	c cleaning 9211 clauses out of 18431 with flag 60637/1251532
157.22/155.45	c cleaning 9105 clauses out of 18220 with flag 81013/1260532
158.32/156.56	c cleaning 9553 clauses out of 19115 with flag 102413/1270532
159.62/157.81	c cleaning 10282 clauses out of 20563 with flag 126677/1281533
161.02/159.24	c cleaning 11137 clauses out of 22280 with flag 152789/1293532
162.62/160.80	c cleaning 12070 clauses out of 24145 with flag 181630/1306534
164.35/162.56	c cleaning 13036 clauses out of 26077 with flag 214099/1320536
166.25/164.48	c cleaning 14015 clauses out of 28038 with flag 249888/1335533
168.45/166.68	c cleaning 15007 clauses out of 30023 with flag 285733/1351533
170.85/169.03	c cleaning 16008 clauses out of 32015 with flag 325349/1368532
172.99/171.14	c cleaning 17000 clauses out of 34008 with flag 364443/1386533
175.49/173.61	c cleaning 17999 clauses out of 36007 with flag 407381/1405532
178.39/176.54	c cleaning 19001 clauses out of 38008 with flag 458767/1425532
178.79/176.92	c Got one! Elapsed wall clock time (in seconds):176.809
178.79/176.92	o 1401
179.09/177.23	c cleaning 12177 clauses out of 24361 with flag 5261/1430886
179.79/177.96	c cleaning 9086 clauses out of 18181 with flag 18584/1436883
180.71/178.81	c cleaning 8041 clauses out of 16095 with flag 35228/1443883
181.61/179.72	c cleaning 8018 clauses out of 16055 with flag 54394/1451884
182.61/180.70	c cleaning 8513 clauses out of 17038 with flag 76244/1460885
183.71/181.81	c cleaning 9260 clauses out of 18523 with flag 99657/1470883
184.90/183.02	c cleaning 10132 clauses out of 20264 with flag 127286/1481884
186.20/184.35	c cleaning 11062 clauses out of 22133 with flag 155031/1493885
187.64/185.71	c cleaning 12033 clauses out of 24070 with flag 184765/1506884
189.24/187.30	c cleaning 13010 clauses out of 26037 with flag 218780/1520884
191.14/189.22	c cleaning 14010 clauses out of 28027 with flag 252865/1535884
193.13/191.21	c cleaning 15005 clauses out of 30017 with flag 290815/1551884
195.27/193.35	c cleaning 16006 clauses out of 32012 with flag 332603/1568884
197.47/195.54	c cleaning 16997 clauses out of 34005 with flag 374420/1586883
200.17/198.20	c cleaning 18002 clauses out of 36008 with flag 418637/1605883
203.00/201.06	c cleaning 19001 clauses out of 38010 with flag 467431/1625887
206.11/204.15	c cleaning 20003 clauses out of 40006 with flag 517102/1646884
209.51/207.50	c cleaning 20999 clauses out of 42002 with flag 570893/1668883
212.84/210.86	c cleaning 22002 clauses out of 44003 with flag 627483/1691883
216.34/214.39	c cleaning 22999 clauses out of 46003 with flag 696267/1715885
220.31/218.30	c cleaning 23999 clauses out of 48003 with flag 758194/1740884
224.81/222.75	c cleaning 25002 clauses out of 50004 with flag 829536/1766884
229.35/227.26	c cleaning 25996 clauses out of 52001 with flag 891971/1793883
233.85/231.74	c cleaning 27000 clauses out of 54005 with flag 959570/1821883
238.60/236.49	c cleaning 28000 clauses out of 56006 with flag 1026302/1850884
243.50/241.37	c cleaning 29000 clauses out of 58005 with flag 1097991/1880883
249.23/247.01	c cleaning 30003 clauses out of 60005 with flag 1194145/1911883
255.40/253.18	c cleaning 31000 clauses out of 62003 with flag 1300483/1943884
262.09/259.86	c cleaning 31998 clauses out of 64003 with flag 1407619/1976884
269.25/267.00	c cleaning 32999 clauses out of 66005 with flag 1526491/2010884
275.64/273.25	c cleaning 34000 clauses out of 68005 with flag 1631853/2045883
281.74/279.35	c cleaning 35002 clauses out of 70006 with flag 1722563/2081884
288.30/285.90	c cleaning 35999 clauses out of 72003 with flag 1813269/2118883
295.85/293.31	c cleaning 37000 clauses out of 74004 with flag 1913055/2156883
303.55/301.02	c cleaning 37995 clauses out of 76004 with flag 2017876/2195883
311.40/308.86	c cleaning 38998 clauses out of 78009 with flag 2122864/2235883
319.57/316.97	c cleaning 40001 clauses out of 80011 with flag 2244231/2276883
327.69/325.07	c cleaning 41004 clauses out of 82011 with flag 2356249/2318884
337.73/335.00	c cleaning 41990 clauses out of 84006 with flag 2502428/2361883
346.56/343.82	c cleaning 43000 clauses out of 86016 with flag 2618140/2405883
355.48/352.74	c cleaning 44005 clauses out of 88017 with flag 2737762/2450884
365.84/363.08	c cleaning 45006 clauses out of 90012 with flag 2859132/2496884
376.91/374.01	c cleaning 46003 clauses out of 92006 with flag 2985899/2543884
388.15/385.23	c cleaning 46992 clauses out of 94003 with flag 3116563/2591884
400.29/397.31	c cleaning 48001 clauses out of 96010 with flag 3256667/2640883
413.57/410.58	c cleaning 49001 clauses out of 98011 with flag 3381526/2690885
425.02/421.93	c cleaning 49994 clauses out of 100012 with flag 3511186/2741887
438.47/435.33	c cleaning 51008 clauses out of 102015 with flag 3688129/2793884
452.64/449.40	c cleaning 51997 clauses out of 104006 with flag 3867037/2846883
468.10/464.85	c cleaning 53005 clauses out of 106009 with flag 4070257/2900883
480.13/476.83	c cleaning 54003 clauses out of 108005 with flag 4212761/2955884
493.64/490.28	c cleaning 55001 clauses out of 110002 with flag 4355564/3011884
507.80/504.30	c cleaning 55995 clauses out of 112003 with flag 4528823/3068886
522.24/518.78	c cleaning 56996 clauses out of 114005 with flag 4704277/3126883
537.34/533.75	c cleaning 58004 clauses out of 116010 with flag 4869825/3185884
552.53/548.86	c cleaning 58998 clauses out of 118006 with flag 5014992/3245884
569.83/566.03	c cleaning 60002 clauses out of 120009 with flag 5208895/3306885
585.49/581.55	c cleaning 61003 clauses out of 122006 with flag 5375671/3368884
601.75/597.71	c cleaning 61994 clauses out of 124002 with flag 5531729/3431883
617.65/613.52	c cleaning 62998 clauses out of 126008 with flag 5697215/3495883
635.03/630.84	c cleaning 64002 clauses out of 128010 with flag 5868217/3560883
652.03/647.79	c cleaning 65005 clauses out of 130009 with flag 6038198/3626884
672.42/668.01	c cleaning 65999 clauses out of 132004 with flag 6242137/3693884
693.93/689.42	c cleaning 66998 clauses out of 134004 with flag 6435741/3761883
716.24/711.64	c cleaning 67998 clauses out of 136007 with flag 6631219/3830884
738.35/733.70	c cleaning 69005 clauses out of 138010 with flag 6895701/3900885
758.94/754.17	c cleaning 69996 clauses out of 140003 with flag 7127101/3971883
782.71/777.84	c cleaning 70999 clauses out of 142008 with flag 7367941/4043884
806.56/801.56	c cleaning 72002 clauses out of 144008 with flag 7575378/4116883
828.78/823.64	c cleaning 73002 clauses out of 146006 with flag 7760779/4190883
852.28/847.04	c cleaning 73994 clauses out of 148004 with flag 7944773/4265883
876.30/870.99	c cleaning 75002 clauses out of 150011 with flag 8163803/4341884
902.11/896.70	c cleaning 75998 clauses out of 152008 with flag 8345897/4418883
929.75/924.16	c cleaning 77000 clauses out of 154011 with flag 8530708/4496884
958.00/952.23	c cleaning 77999 clauses out of 156010 with flag 8721927/4575883
985.37/979.41	c cleaning 79001 clauses out of 158015 with flag 8911242/4655887
1012.13/1006.08	c cleaning 79996 clauses out of 160011 with flag 9123659/4736884
1039.39/1033.18	c cleaning 81001 clauses out of 162014 with flag 9331514/4818883
1068.54/1062.14	c cleaning 82003 clauses out of 164013 with flag 9545146/4901883
1097.82/1091.26	c cleaning 83001 clauses out of 166010 with flag 9784704/4985883
1117.71/1111.05	c Got one! Elapsed wall clock time (in seconds):1110.942
1117.71/1111.05	o 1399
1120.04/1113.38	c cleaning 74743 clauses out of 149505 with flag 11283/5052379
1121.43/1114.73	c cleaning 40374 clauses out of 80762 with flag 24672/5058379
1122.44/1115.79	c cleaning 23691 clauses out of 47387 with flag 40300/5065378
1123.54/1116.81	c cleaning 15844 clauses out of 31700 with flag 57820/5073382
1124.54/1117.85	c cleaning 12415 clauses out of 24852 with flag 78111/5082378
1125.75/1119.04	c cleaning 11211 clauses out of 22438 with flag 101174/5092379
1127.08/1120.31	c cleaning 11102 clauses out of 22227 with flag 127371/5103379
1128.48/1121.76	c cleaning 11555 clauses out of 23124 with flag 155151/5115378
1130.09/1123.32	c cleaning 12283 clauses out of 24570 with flag 183828/5128379
1131.69/1124.92	c cleaning 13143 clauses out of 26286 with flag 214072/5142378
1133.61/1126.85	c cleaning 14070 clauses out of 28143 with flag 248547/5157378
1135.66/1128.89	c cleaning 15033 clauses out of 30075 with flag 285755/5173380
1138.02/1131.17	c cleaning 16010 clauses out of 32040 with flag 324733/5190378
1140.32/1133.47	c cleaning 17009 clauses out of 34030 with flag 364607/5208378
1142.86/1135.96	c cleaning 18005 clauses out of 36022 with flag 405873/5227379
1145.40/1138.44	c cleaning 19002 clauses out of 38017 with flag 447984/5247379
1148.25/1141.21	c cleaning 20004 clauses out of 40015 with flag 493413/5268379
1151.19/1144.14	c cleaning 21000 clauses out of 42010 with flag 553440/5290378
1154.54/1147.48	c cleaning 22000 clauses out of 44011 with flag 614171/5313379
1157.97/1150.82	c cleaning 23002 clauses out of 46010 with flag 679884/5337378
1159.19/1152.06	c Got one! Elapsed wall clock time (in seconds):1151.948
1159.19/1152.06	o 1398
1160.03/1152.88	c cleaning 19084 clauses out of 38182 with flag 11543/5352552
1160.82/1153.69	c cleaning 12545 clauses out of 25097 with flag 25314/5358551
1161.72/1154.50	c cleaning 9769 clauses out of 19554 with flag 40814/5365553
1162.55/1155.40	c cleaning 8886 clauses out of 17783 with flag 58989/5373551
1163.65/1156.48	c cleaning 8944 clauses out of 17898 with flag 79690/5382552
1164.87/1157.66	c cleaning 9473 clauses out of 18953 with flag 101758/5392551
1166.18/1158.91	c cleaning 10237 clauses out of 20480 with flag 125570/5403551
1167.59/1160.36	c cleaning 11122 clauses out of 22243 with flag 169178/5415551
1169.33/1162.00	c cleaning 12061 clauses out of 24121 with flag 201062/5428551
1171.16/1163.83	c cleaning 13027 clauses out of 26060 with flag 236652/5442551
1173.29/1165.95	c cleaning 14017 clauses out of 28034 with flag 271788/5457552
1175.43/1168.08	c cleaning 15006 clauses out of 30016 with flag 310113/5473551
1177.58/1170.17	c cleaning 16003 clauses out of 32011 with flag 352252/5490552
1179.90/1172.45	c cleaning 17003 clauses out of 34009 with flag 396983/5508553
1182.26/1174.80	c cleaning 17996 clauses out of 36005 with flag 442615/5527552
1185.10/1177.51	c cleaning 19001 clauses out of 38008 with flag 489340/5547551
1188.05/1180.45	c cleaning 20002 clauses out of 40008 with flag 544244/5568552
1191.12/1183.46	c cleaning 21002 clauses out of 42005 with flag 601483/5590551
1194.65/1186.95	c cleaning 22000 clauses out of 44003 with flag 661963/5613551
1198.32/1190.51	c cleaning 23002 clauses out of 46004 with flag 718392/5637552
1202.27/1194.40	c cleaning 23999 clauses out of 48001 with flag 778646/5662551
1206.24/1198.38	c cleaning 25003 clauses out of 50005 with flag 838915/5688554
1210.20/1202.26	c cleaning 25999 clauses out of 51999 with flag 898184/5715551
1214.97/1206.93	c cleaning 27000 clauses out of 54000 with flag 962460/5743551
1220.04/1211.94	c cleaning 27995 clauses out of 56001 with flag 1028799/5772552
1224.95/1216.73	c cleaning 29001 clauses out of 58005 with flag 1096716/5802551
1230.07/1221.71	c cleaning 29994 clauses out of 60005 with flag 1166281/5833552
1230.37/1222.03	c Got one! Elapsed wall clock time (in seconds):1221.917
1230.37/1222.03	o 1393
1230.87/1222.54	c cleaning 17881 clauses out of 35767 with flag 6521/5839308
1231.69/1223.36	c cleaning 11936 clauses out of 23887 with flag 19018/5845309
1232.59/1224.24	c cleaning 9470 clauses out of 18949 with flag 33755/5852307
1233.51/1225.20	c cleaning 8731 clauses out of 17479 with flag 50529/5860307
1234.74/1226.33	c cleaning 8871 clauses out of 17749 with flag 69717/5869308
1236.07/1227.68	c cleaning 9430 clauses out of 18877 with flag 91268/5879307
1237.59/1229.12	c cleaning 10218 clauses out of 20447 with flag 115182/5890307
1239.21/1230.74	c cleaning 11114 clauses out of 22230 with flag 141277/5902308
1241.02/1232.54	c cleaning 12055 clauses out of 24118 with flag 168534/5915310
1243.19/1234.61	c cleaning 13029 clauses out of 26061 with flag 198251/5929308
1245.21/1236.63	c cleaning 14014 clauses out of 28031 with flag 229671/5944307
1247.53/1238.90	c cleaning 15008 clauses out of 30018 with flag 264301/5960308
1249.84/1241.21	c cleaning 15996 clauses out of 32009 with flag 301873/5977307
1252.26/1243.61	c cleaning 17005 clauses out of 34014 with flag 342312/5995308
1254.80/1246.13	c cleaning 18005 clauses out of 36011 with flag 386027/6014310
1257.66/1248.90	c cleaning 18997 clauses out of 38004 with flag 443549/6034308
1260.60/1251.86	c cleaning 20000 clauses out of 40006 with flag 494378/6055307
1263.84/1255.03	c cleaning 21001 clauses out of 42007 with flag 547703/6077308
1267.31/1258.50	c cleaning 21998 clauses out of 44006 with flag 603326/6100308
1270.74/1261.85	c cleaning 22996 clauses out of 46008 with flag 666948/6124308
1274.65/1265.77	c cleaning 24005 clauses out of 48012 with flag 731110/6149308
1279.10/1270.16	c cleaning 25000 clauses out of 50006 with flag 792489/6175307
1283.58/1274.52	c cleaning 25997 clauses out of 52006 with flag 865104/6202307
1288.35/1279.28	c cleaning 26996 clauses out of 54009 with flag 969360/6230307
1293.24/1284.01	c cleaning 28003 clauses out of 56013 with flag 1067520/6259307
1298.01/1288.77	c cleaning 29001 clauses out of 58010 with flag 1147549/6289307
1303.39/1294.07	c cleaning 30004 clauses out of 60010 with flag 1225165/6320308
1309.15/1299.79	c cleaning 31000 clauses out of 62010 with flag 1345887/6352312
1315.23/1305.78	c cleaning 32001 clauses out of 64005 with flag 1459450/6385307
1321.32/1311.70	c cleaning 32997 clauses out of 66004 with flag 1559570/6419307
1328.11/1318.41	c cleaning 34002 clauses out of 68007 with flag 1689243/6454307
1334.41/1324.66	c cleaning 35000 clauses out of 70005 with flag 1796718/6490307
1341.44/1331.57	c cleaning 36002 clauses out of 72008 with flag 1900966/6527310
1348.75/1338.78	c cleaning 37002 clauses out of 74005 with flag 2003758/6565309
1356.47/1346.36	c cleaning 38000 clauses out of 76003 with flag 2100212/6604309
1365.61/1355.33	c cleaning 39001 clauses out of 78003 with flag 2189223/6644309
1374.13/1363.71	c cleaning 39994 clauses out of 80002 with flag 2286335/6685309
1382.66/1372.10	c cleaning 40997 clauses out of 82007 with flag 2405812/6727308
1391.45/1380.82	c cleaning 42003 clauses out of 84010 with flag 2514367/6770308
1399.22/1388.43	c cleaning 42999 clauses out of 86007 with flag 2613749/6814308
1408.32/1397.44	c cleaning 43998 clauses out of 88007 with flag 2716838/6859307
1418.51/1407.52	c cleaning 45003 clauses out of 90009 with flag 2818112/6905307
1428.15/1417.00	c cleaning 45998 clauses out of 92008 with flag 2930230/6952309
1439.50/1428.20	c cleaning 46999 clauses out of 94008 with flag 3042765/7000307
1450.70/1439.40	c cleaning 48003 clauses out of 96009 with flag 3169115/7049307
1461.45/1449.94	c cleaning 49001 clauses out of 98008 with flag 3284271/7099309
1474.04/1462.32	c cleaning 50001 clauses out of 100006 with flag 3416376/7150308
1486.29/1474.42	c cleaning 50998 clauses out of 102005 with flag 3544880/7202308
1499.63/1487.68	c cleaning 51998 clauses out of 104007 with flag 3677078/7255308
1513.52/1501.36	c cleaning 53003 clauses out of 106011 with flag 3834403/7309310
1517.77/1505.57	c Got one! Elapsed wall clock time (in seconds):1505.461
1517.77/1505.57	o 1387
1519.07/1506.80	c cleaning 39971 clauses out of 79945 with flag 10702/7336247
1519.97/1507.72	c cleaning 22978 clauses out of 45974 with flag 24252/7342247
1520.88/1508.63	c cleaning 14991 clauses out of 29997 with flag 40525/7349248
1521.79/1509.57	c cleaning 11501 clauses out of 23007 with flag 60296/7357249
1522.93/1510.66	c cleaning 10251 clauses out of 20506 with flag 84920/7366249
1524.15/1511.84	c cleaning 10126 clauses out of 20253 with flag 106909/7376247
1525.47/1513.16	c cleaning 10563 clauses out of 21128 with flag 134963/7387248
1526.87/1514.51	c cleaning 11282 clauses out of 22564 with flag 162462/7399247
1528.61/1516.23	c cleaning 12140 clauses out of 24282 with flag 193777/7412247
1530.46/1518.07	c cleaning 13066 clauses out of 26142 with flag 224847/7426247
1532.48/1520.06	c cleaning 14037 clauses out of 28077 with flag 258274/7441248
1534.69/1522.21	c cleaning 15021 clauses out of 30041 with flag 294801/7457249
1537.04/1524.56	c cleaning 16008 clauses out of 32020 with flag 334895/7474249
1539.59/1527.07	c cleaning 17003 clauses out of 34012 with flag 380755/7492249
1542.21/1529.64	c cleaning 18000 clauses out of 36008 with flag 433130/7511248
1544.97/1532.33	c cleaning 19004 clauses out of 38009 with flag 485865/7531249
1547.90/1535.22	c cleaning 20001 clauses out of 40005 with flag 539743/7552249
1550.84/1538.19	c cleaning 21001 clauses out of 42002 with flag 591667/7574247
1554.19/1541.45	c cleaning 21995 clauses out of 44003 with flag 663264/7597249
1557.76/1544.92	c cleaning 22997 clauses out of 46006 with flag 735809/7621247
1561.48/1548.65	c cleaning 24002 clauses out of 48010 with flag 808037/7646248
1565.66/1552.79	c cleaning 25001 clauses out of 50008 with flag 882953/7672248
1569.80/1556.84	c cleaning 26000 clauses out of 52006 with flag 951052/7699247
1574.59/1561.56	c cleaning 27000 clauses out of 54007 with flag 1058529/7727248
1579.04/1565.98	c cleaning 27994 clauses out of 56007 with flag 1133641/7756248
1583.80/1570.68	c cleaning 29006 clauses out of 58012 with flag 1230501/7786247
1588.69/1575.43	c cleaning 30003 clauses out of 60007 with flag 1329480/7817248
1594.07/1580.74	c cleaning 31003 clauses out of 62005 with flag 1424806/7849249
1599.85/1586.50	c cleaning 31994 clauses out of 64001 with flag 1503136/7882248
1606.01/1592.54	c cleaning 32993 clauses out of 66006 with flag 1583359/7916247
1612.71/1599.11	c cleaning 34002 clauses out of 68013 with flag 1670562/7951247
1619.46/1605.89	c cleaning 35003 clauses out of 70013 with flag 1754655/7987249
1626.31/1612.56	c cleaning 35999 clauses out of 72011 with flag 1851919/8024250
1633.37/1619.55	c cleaning 37000 clauses out of 74009 with flag 1969773/8062247
1641.18/1627.20	c cleaning 38001 clauses out of 76010 with flag 2083747/8101248
1649.41/1635.39	c cleaning 39000 clauses out of 78008 with flag 2212540/8141247
1657.93/1643.70	c cleaning 40004 clauses out of 80008 with flag 2320768/8182247
1667.53/1653.22	c cleaning 41000 clauses out of 82005 with flag 2437939/8224248
1676.78/1662.35	c cleaning 42001 clauses out of 84004 with flag 2549990/8267247
1687.03/1672.42	c cleaning 42998 clauses out of 86005 with flag 2652549/8311249
1696.65/1681.96	c cleaning 43999 clauses out of 88005 with flag 2762069/8356247
1706.76/1691.95	c cleaning 44998 clauses out of 90006 with flag 2877553/8402247
1717.30/1702.35	c cleaning 45998 clauses out of 92008 with flag 2989200/8449247
1728.36/1713.26	c cleaning 47003 clauses out of 94011 with flag 3119989/8497248
1740.84/1725.66	c cleaning 47999 clauses out of 96008 with flag 3253421/8546248
1752.46/1737.12	c cleaning 49002 clauses out of 98009 with flag 3409736/8596248
1764.41/1748.98	c cleaning 49999 clauses out of 100006 with flag 3576370/8647247
1777.07/1761.44	c cleaning 50999 clauses out of 102007 with flag 3735769/8699247
1789.29/1773.51	c cleaning 51995 clauses out of 104008 with flag 3913392/8752247
1800.02/1784.10	c starts		: 28266
1800.02/1784.10	c conflicts		: 8798359
1800.02/1784.10	c decisions		: 10604564
1800.02/1784.10	c propagations		: 378245527
1800.02/1784.10	c inspects		: 23558516023
1800.02/1784.10	c shortcuts		: 0
1800.02/1784.10	c learnt literals	: 0
1800.02/1784.10	c learnt binary clauses	: 0
1800.02/1784.10	c learnt ternary clauses	: 1444
1800.02/1784.10	c learnt constraints	: 8798359
1800.02/1784.10	c ignored constraints	: 0
1800.02/1784.10	c root simplifications	: 0
1800.02/1784.10	c removed literals (reason simplification)	: 0
1800.02/1784.10	c reason swapping (by a shorter reason)	: 0
1800.02/1784.10	c Calls to reduceDB	: 334
1800.02/1784.10	c Number of update (reduction) of LBD	: 133916
1800.02/1784.10	c Imported unit clauses	: 0
1800.02/1784.10	c number of reductions to clauses (during analyze)	: 0
1800.02/1784.10	c number of learned constraints concerned by reduction	: 0
1800.02/1784.10	c number of learning phase by resolution	: 0
1800.02/1784.10	c number of learning phase by cutting planes	: 0
1800.02/1784.10	c speed (assignments/second)	: 212040.64837835336
1800.02/1784.10	c non guided choices	183
1800.02/1784.13	c learnt constraints type 
1800.02/1784.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98126
1800.02/1784.13	s SATISFIABLE
1800.02/1784.13	c Found 30 solution(s)
1800.02/1784.13	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 
1800.02/1784.13	c objective function=1387
1800.02/1784.13	c Total wall clock time (in seconds): 1784.018

Verifier Data 

OK	1387

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-4118173-1467224701/watcher-4118173-1467224701 -o /tmp/evaluation-result-4118173-1467224701/solver-4118173-1467224701 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1882 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118173-1467224701.opb 

pid=3810
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.29 2.30 2.23 3/194 3813
/proc/meminfo: memFree=28528944/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/3813/stat : 3813 (java) R 3810 3813 1865 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 1499305 23793664 281 33554432000 1073741824 1073778376 140735836827968 140735836817032 271778363969 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 5809 295 229 9 0 128 0

[startup+0.10006 s]
/proc/loadavg: 2.29 2.30 2.23 3/194 3813
/proc/meminfo: memFree=28528944/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 4407 0 1 0 8 1 0 0 20 0 18 0 1499305 9787879424 6036 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200269 s]
/proc/loadavg: 2.29 2.30 2.23 3/194 3813
/proc/meminfo: memFree=28528944/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 4715 0 1 0 24 1 0 0 20 0 18 0 1499305 9787879424 6776 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2389619 6776 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300293 s]
/proc/loadavg: 2.29 2.30 2.23 3/194 3813
/proc/meminfo: memFree=28528944/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 5496 0 1 0 42 1 0 0 20 0 19 0 1499305 9856040960 8257 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2406260 8257 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9625040

[startup+0.700246 s]
/proc/loadavg: 2.29 2.30 2.23 3/194 3813
/proc/meminfo: memFree=28528944/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 10603 0 1 0 140 2 0 0 20 0 19 0 1499305 9856040960 13148 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2406260 13148 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.29 2.30 2.23 4/213 3832
/proc/meminfo: memFree=28479164/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9625040 CPUtime=2.32 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 11787 0 1 0 230 2 0 0 20 0 19 0 1499305 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2406260 15740 2264 9 0 2396937 0
[pid=3813/tid=3815] ppid=3810 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/3813/task/3815/stat : 3815 (java) R 3810 3813 1865 0 -1 4202560 2421 0 1 0 145 1 0 0 20 0 19 0 1499306 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727550109816 139727383114339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3816] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3816/stat : 3816 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727511603624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3817] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3817/stat : 3817 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727510551080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3818] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3818/stat : 3818 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727509498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3813/tid=3819] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727508445480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3820] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727507393448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3821] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727506340904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3822] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727505287848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3823] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3823/stat : 3823 (java) S 3810 3813 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727504235304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3824] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3813 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727374084456 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3825] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3825/stat : 3825 (java) S 3810 3813 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727373030776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3826] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3826/stat : 3826 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727371977608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3827] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727370926352 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3828] ppid=3810 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3813 1865 0 -1 4202560 3920 0 0 0 45 0 0 0 20 0 19 0 1499311 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727369874232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3829] ppid=3810 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/3813/task/3829/stat : 3829 (java) S 3810 3813 1865 0 -1 4202560 4174 0 0 0 37 0 0 0 20 0 19 0 1499311 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727368821688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3830] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3830/stat : 3830 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139727367768824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3831] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3831/stat : 3831 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139726359096392 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3832] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3832/stat : 3832 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499332 9856040960 15740 33554432000 1073741824 1073778376 140735836827968 139726358041640 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.29 2.30 2.23 3/213 3832
/proc/meminfo: memFree=28463216/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9625040 CPUtime=4.01 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 13089 0 1 0 398 3 0 0 20 0 19 0 1499305 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2406260 21379 2265 9 0 2396937 0
[pid=3813/tid=3815] ppid=3810 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/3813/task/3815/stat : 3815 (java) R 3810 3813 1865 0 -1 4202560 2432 0 1 0 304 2 0 0 20 0 19 0 1499306 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727550103232 139727383035096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3816] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3816/stat : 3816 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727511603624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3817] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3817/stat : 3817 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727510551080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3818] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3818/stat : 3818 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727509498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3813/tid=3819] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727508445480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3820] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727507393448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3821] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727506340904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3822] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727505287848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3823] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3823/stat : 3823 (java) S 3810 3813 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727504235304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3824] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3813 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727374084456 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3825] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3825/stat : 3825 (java) S 3810 3813 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727373030776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3826] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3826/stat : 3826 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727371977608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3827] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727370926352 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3828] ppid=3810 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3813 1865 0 -1 4202560 5211 0 0 0 52 0 0 0 20 0 19 0 1499311 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727369874232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3829] ppid=3810 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3813/task/3829/stat : 3829 (java) S 3810 3813 1865 0 -1 4202560 4174 0 0 0 38 0 0 0 20 0 19 0 1499311 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727368821688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3830] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3830/stat : 3830 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139727367768824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3831] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3831/stat : 3831 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139726359096392 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3832] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3832/stat : 3832 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499332 9856040960 21379 33554432000 1073741824 1073778376 140735836827968 139726358041640 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.26 2.29 2.23 3/213 3832
/proc/meminfo: memFree=28412204/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9625040 CPUtime=7.22 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 13111 0 1 0 719 3 0 0 20 0 19 0 1499305 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2406260 31012 2266 9 0 2396937 0
[pid=3813/tid=3815] ppid=3810 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/3813/task/3815/stat : 3815 (java) R 3810 3813 1865 0 -1 4202560 2453 0 1 0 623 2 0 0 20 0 19 0 1499306 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727550103216 139727383299796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3816] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3816/stat : 3816 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727511603624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3817] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3817/stat : 3817 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727510551080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3818] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3818/stat : 3818 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727509498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3813/tid=3819] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727508445480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3820] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727507393448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3821] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727506340904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3822] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727505287848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3823] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3823/stat : 3823 (java) S 3810 3813 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1499307 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727504235304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3824] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3813 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727374084456 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3825] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3825/stat : 3825 (java) S 3810 3813 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727373030776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3826] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3826/stat : 3826 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727371977608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3827] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727370926352 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3828] ppid=3810 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3813 1865 0 -1 4202560 5211 0 0 0 53 0 0 0 20 0 19 0 1499311 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727369874232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3829] ppid=3810 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3813/task/3829/stat : 3829 (java) S 3810 3813 1865 0 -1 4202560 4174 0 0 0 40 0 0 0 20 0 19 0 1499311 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727368821688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3830] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3830/stat : 3830 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139727367768824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3831] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3831/stat : 3831 (java) S 3810 3813 1865 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139726359096392 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3832] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3832/stat : 3832 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499332 9856040960 31012 33554432000 1073741824 1073778376 140735836827968 139726358041640 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 9625040


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

[pid=3813/tid=3832] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3832/stat : 3832 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499332 9856040960 42609 33554432000 1073741824 1073778376 140735836827968 139726358041640 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1737.53
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.26 2.19 2.17 3/213 4006
/proc/meminfo: memFree=29219568/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9625040 CPUtime=1798.17 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 28773 0 1 0 179698 119 0 0 20 0 19 0 1499305 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2406260 43540 2288 9 0 2396937 0
[pid=3813/tid=3815] ppid=3810 vsize=9625040 CPUtime=1767.92 cores=1,3,5,7
/proc/3813/task/3815/stat : 3815 (java) R 3810 3813 1865 0 -1 4202560 3071 0 1 0 176757 35 0 0 20 0 19 0 1499306 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727550110928 139727383299743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3816] ppid=3810 vsize=9625040 CPUtime=2.66 cores=1,3,5,7
/proc/3813/task/3816/stat : 3816 (java) S 3810 3813 1865 0 -1 4202560 1443 0 0 0 256 10 0 0 20 0 19 0 1499307 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727511603624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3813/tid=3817] ppid=3810 vsize=9625040 CPUtime=2.69 cores=1,3,5,7
/proc/3813/task/3817/stat : 3817 (java) S 3810 3813 1865 0 -1 4202560 1566 0 0 0 259 10 0 0 20 0 19 0 1499307 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727510551080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3818] ppid=3810 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/3813/task/3818/stat : 3818 (java) S 3810 3813 1865 0 -1 4202560 1481 0 0 0 268 8 0 0 20 0 19 0 1499307 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727509498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3819] ppid=3810 vsize=9625040 CPUtime=2.74 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3813 1865 0 -1 4202560 1796 0 0 0 265 9 0 0 20 0 19 0 1499307 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727508445480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3820] ppid=3810 vsize=9625040 CPUtime=2.84 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3813 1865 0 -1 4202560 1827 0 0 0 273 11 0 0 20 0 19 0 1499307 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727507393448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3821] ppid=3810 vsize=9625040 CPUtime=2.69 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3813 1865 0 -1 4202560 1360 0 0 0 260 9 0 0 20 0 19 0 1499307 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727506340904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3822] ppid=3810 vsize=9625040 CPUtime=2.66 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3813 1865 0 -1 4202560 2417 0 0 0 257 9 0 0 20 0 19 0 1499307 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727505287848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3823] ppid=3810 vsize=9625040 CPUtime=2.65 cores=1,3,5,7
/proc/3813/task/3823/stat : 3823 (java) S 3810 3813 1865 0 -1 4202560 2548 0 0 0 255 10 0 0 20 0 19 0 1499307 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727504235304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3813/tid=3824] ppid=3810 vsize=9625040 CPUtime=2.79 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3813 1865 0 -1 4202560 511 0 0 0 271 8 0 0 20 0 19 0 1499308 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727374084456 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3825] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3825/stat : 3825 (java) S 3810 3813 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727373030776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3826] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3826/stat : 3826 (java) S 3810 3813 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727371977608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3827] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727370926352 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3828] ppid=3810 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3813 1865 0 -1 4202560 5211 0 0 0 53 0 0 0 20 0 19 0 1499311 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727369874232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3829] ppid=3810 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/3813/task/3829/stat : 3829 (java) S 3810 3813 1865 0 -1 4202560 4180 0 0 0 46 0 0 0 20 0 19 0 1499311 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727368821688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3830] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3830/stat : 3830 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139727367768824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3831] ppid=3810 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/3813/task/3831/stat : 3831 (java) S 3810 3813 1865 0 -1 4202560 103 0 0 0 25 33 0 0 20 0 19 0 1499311 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139726359096392 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3832] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3832/stat : 3832 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499332 9856040960 43540 33554432000 1073741824 1073778376 140735836827968 139726358041640 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.17
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.1 s]
/proc/loadavg: 2.26 2.19 2.17 3/213 4006
/proc/meminfo: memFree=29219568/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 28816 0 1 0 179883 119 0 0 20 0 19 0 1499305 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2406260 43581 2288 9 0 2396937 0
[pid=3813/tid=3815] ppid=3810 vsize=9625040 CPUtime=1769.63 cores=1,3,5,7
/proc/3813/task/3815/stat : 3815 (java) R 3810 3813 1865 0 -1 4202560 3072 0 1 0 176928 35 0 0 20 0 19 0 1499306 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727550110976 139727383300264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3816] ppid=3810 vsize=9625040 CPUtime=2.67 cores=1,3,5,7
/proc/3813/task/3816/stat : 3816 (java) S 3810 3813 1865 0 -1 4202560 1450 0 0 0 257 10 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727511603624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3817] ppid=3810 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/3813/task/3817/stat : 3817 (java) S 3810 3813 1865 0 -1 4202560 1572 0 0 0 260 10 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727510551080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3818] ppid=3810 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/3813/task/3818/stat : 3818 (java) S 3810 3813 1865 0 -1 4202560 1481 0 0 0 268 8 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727509498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3819] ppid=3810 vsize=9625040 CPUtime=2.75 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3813 1865 0 -1 4202560 1805 0 0 0 266 9 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727508445480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3820] ppid=3810 vsize=9625040 CPUtime=2.85 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3813 1865 0 -1 4202560 1834 0 0 0 274 11 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727507393448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3821] ppid=3810 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3813 1865 0 -1 4202560 1360 0 0 0 261 9 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727506340904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3822] ppid=3810 vsize=9625040 CPUtime=2.66 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3813 1865 0 -1 4202560 2417 0 0 0 257 9 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727505287848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3823] ppid=3810 vsize=9625040 CPUtime=2.66 cores=1,3,5,7
/proc/3813/task/3823/stat : 3823 (java) S 3810 3813 1865 0 -1 4202560 2548 0 0 0 256 10 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727504235304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3813/tid=3824] ppid=3810 vsize=9625040 CPUtime=2.85 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3813 1865 0 -1 4202560 524 0 0 0 277 8 0 0 20 0 19 0 1499308 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727374084456 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3825] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3825/stat : 3825 (java) S 3810 3813 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727373030776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3826] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3826/stat : 3826 (java) S 3810 3813 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727371977608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3827] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727370926352 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3828] ppid=3810 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3813 1865 0 -1 4202560 5211 0 0 0 53 0 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727369874232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3829] ppid=3810 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/3813/task/3829/stat : 3829 (java) S 3810 3813 1865 0 -1 4202560 4180 0 0 0 46 0 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727368821688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3830] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3830/stat : 3830 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727367768824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3831] ppid=3810 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/3813/task/3831/stat : 3831 (java) S 3810 3813 1865 0 -1 4202560 103 0 0 0 25 33 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139726359096392 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3832] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3832/stat : 3832 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499332 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139726358041640 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 3813 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1784.1 s]
/proc/loadavg: 2.26 2.19 2.17 3/213 4006
/proc/meminfo: memFree=29219568/32872528 swapFree=1099624/1181384
[pid=3813] ppid=3810 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3813 1865 0 -1 4202496 28816 0 1 0 179883 119 0 0 20 0 19 0 1499305 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 140735836819104 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3813/statm: 2406260 43581 2288 9 0 2396937 0
[pid=3813/tid=3815] ppid=3810 vsize=9625040 CPUtime=1769.63 cores=1,3,5,7
/proc/3813/task/3815/stat : 3815 (java) R 3810 3813 1865 0 -1 4202560 3072 0 1 0 176928 35 0 0 20 0 19 0 1499306 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727550110976 139727383300264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3816] ppid=3810 vsize=9625040 CPUtime=2.67 cores=1,3,5,7
/proc/3813/task/3816/stat : 3816 (java) S 3810 3813 1865 0 -1 4202560 1450 0 0 0 257 10 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727511603624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3817] ppid=3810 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/3813/task/3817/stat : 3817 (java) S 3810 3813 1865 0 -1 4202560 1572 0 0 0 260 10 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727510551080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3818] ppid=3810 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/3813/task/3818/stat : 3818 (java) S 3810 3813 1865 0 -1 4202560 1481 0 0 0 268 8 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727509498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3819] ppid=3810 vsize=9625040 CPUtime=2.75 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3813 1865 0 -1 4202560 1805 0 0 0 266 9 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727508445480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3820] ppid=3810 vsize=9625040 CPUtime=2.85 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3813 1865 0 -1 4202560 1834 0 0 0 274 11 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727507393448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3821] ppid=3810 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3813 1865 0 -1 4202560 1360 0 0 0 261 9 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727506340904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3822] ppid=3810 vsize=9625040 CPUtime=2.66 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3813 1865 0 -1 4202560 2417 0 0 0 257 9 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727505287848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3823] ppid=3810 vsize=9625040 CPUtime=2.66 cores=1,3,5,7
/proc/3813/task/3823/stat : 3823 (java) S 3810 3813 1865 0 -1 4202560 2548 0 0 0 256 10 0 0 20 0 19 0 1499307 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727504235304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3813/tid=3824] ppid=3810 vsize=9625040 CPUtime=2.85 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3813 1865 0 -1 4202560 524 0 0 0 277 8 0 0 20 0 19 0 1499308 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727374084456 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3825] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3825/stat : 3825 (java) S 3810 3813 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727373030776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3826] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3826/stat : 3826 (java) S 3810 3813 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 1499308 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727371977608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3827] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727370926352 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3828] ppid=3810 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3813 1865 0 -1 4202560 5211 0 0 0 53 0 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727369874232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3813/tid=3829] ppid=3810 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/3813/task/3829/stat : 3829 (java) S 3810 3813 1865 0 -1 4202560 4180 0 0 0 46 0 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727368821688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3830] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3830/stat : 3830 (java) S 3810 3813 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139727367768824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3813/tid=3831] ppid=3810 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/3813/task/3831/stat : 3831 (java) S 3810 3813 1865 0 -1 4202560 103 0 0 0 25 33 0 0 20 0 19 0 1499311 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139726359096392 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3813/tid=3832] ppid=3810 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3832/stat : 3832 (java) S 3810 3813 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1499332 9856040960 43581 33554432000 1073741824 1073778376 140735836827968 139726358041640 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1784.15
CPU time (s): 1800.02
CPU user time (s): 1798.83
CPU system time (s): 1.19
CPU usage (%): 100.89
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.48
system time used= 1.65975
maximum resident set size= 508404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28861
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55915
involuntary context switches= 59024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95725 second user time and 7.05993 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-29 20:25:01
IDJOB=4118173
IDBENCH=111464
IDSOLVER=2546
FILE ID=node115/4118173-1467224701
RUNJOBID= node115-1467210312-1882
PBS_JOBID= 19997598
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-090.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118173-1467224701/watcher-4118173-1467224701 -o /tmp/evaluation-result-4118173-1467224701/solver-4118173-1467224701 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1882 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118173-1467224701.opb

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

MD5SUM BENCH= 1b0619aeb37ff2955bc888450a57fd1f
RANDOM SEED=401317945

node115.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		: 2667.087
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	: 5334.17
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		: 2667.087
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.56
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		: 2667.087
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.54
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		: 2667.087
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		: 2667.087
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		: 2667.087
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		: 2667.087
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		: 2667.087
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:        28529380 kB
Buffers:           76388 kB
Cached:          1164084 kB
SwapCached:            0 kB
Active:          1289732 kB
Inactive:        1147516 kB
Active(anon):    1199208 kB
Inactive(anon):        0 kB
Active(file):      90524 kB
Inactive(file):  1147516 kB
Unevictable:     1181384 kB
Mlocked:         1099624 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       2426892 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             575108 kB
SReclaimable:      19428 kB
SUnreclaim:       555680 kB
KernelStack:        1768 kB
PageTables:         9264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2782828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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= 71664 MiB
End job on node115 at 2016-06-29 20:54:45