Trace number 4118108

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)826410679589 1800.08 1796.64

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.opb
MD5SUMc82e474a4b046a910d07c1f80037da59
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark816688461479
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables50
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint50
Number of terms in the objective function 1275
Biggest coefficient in the objective function 39357191031
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 25596713602429
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 39357191031
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 25596713602429
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)1225
Sum of products size (including duplicates)2450
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-4118108-1467222295.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.24/0.24	c ... done. Wall clock time 0.132s.
0.24/0.24	c declared #vars     50
0.24/0.24	c internal #vars     1275
0.24/0.24	c #constraints  2452
0.24/0.24	c constraints type 
0.24/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1225
0.24/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
0.24/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1225
0.24/0.25	c 2452 constraints processed.
0.24/0.25	c objective function length is 1275 literals
0.73/0.42	c SATISFIABLE
0.73/0.42	c OPTIMIZING...
0.73/0.42	c Got one! Elapsed wall clock time (in seconds):0.31
0.73/0.42	o 910443026394
0.96/0.50	c Got one! Elapsed wall clock time (in seconds):0.391
0.96/0.50	o 899008590224
0.96/0.52	c Got one! Elapsed wall clock time (in seconds):0.41
0.96/0.52	o 878958856203
0.96/0.54	c Got one! Elapsed wall clock time (in seconds):0.428
0.96/0.54	o 835483827869
1.55/0.93	c cleaning 2857 clauses out of 5720 with flag 10428/5720
2.11/1.40	c cleaning 4427 clauses out of 8863 with flag 22634/11720
2.61/1.97	c cleaning 5715 clauses out of 11438 with flag 37103/18722
3.32/2.65	c cleaning 6854 clauses out of 13721 with flag 53905/26720
4.14/3.43	c cleaning 7927 clauses out of 15867 with flag 72829/35720
5.03/4.31	c cleaning 8963 clauses out of 17941 with flag 93918/45721
6.03/5.39	c cleaning 9981 clauses out of 19978 with flag 117164/56721
6.73/6.09	c Got one! Elapsed wall clock time (in seconds):5.974
6.73/6.09	o 833389840358
7.42/6.67	c cleaning 11479 clauses out of 22990 with flag 10773/69714
8.12/7.33	c cleaning 8741 clauses out of 17511 with flag 23832/75714
8.72/7.97	c cleaning 7867 clauses out of 15771 with flag 40104/82715
9.52/8.79	c cleaning 7927 clauses out of 15903 with flag 57976/90714
10.22/9.40	c Got one! Elapsed wall clock time (in seconds):9.288
10.22/9.40	o 830514833470
10.73/9.99	c cleaning 9540 clauses out of 19107 with flag 11156/101845
11.42/10.64	c cleaning 7770 clauses out of 15567 with flag 27668/107845
12.12/11.35	c cleaning 7368 clauses out of 14797 with flag 44113/114845
12.93/12.17	c cleaning 7706 clauses out of 15429 with flag 63545/122845
13.82/13.07	c cleaning 8340 clauses out of 16723 with flag 85322/131845
14.82/14.02	c cleaning 9186 clauses out of 18383 with flag 112531/141845
16.12/15.36	c cleaning 10092 clauses out of 20197 with flag 150278/152845
17.43/16.68	c cleaning 11052 clauses out of 22105 with flag 190330/164845
18.93/18.16	c cleaning 12015 clauses out of 24053 with flag 226485/177845
20.53/19.76	c cleaning 13011 clauses out of 26038 with flag 267141/191845
22.13/21.36	c cleaning 14003 clauses out of 28028 with flag 309228/206846
24.03/23.28	c cleaning 15002 clauses out of 30024 with flag 350819/222845
25.93/25.18	c cleaning 16000 clauses out of 32022 with flag 392619/239845
27.83/27.06	c cleaning 16992 clauses out of 34022 with flag 434453/257845
30.03/29.26	c cleaning 18008 clauses out of 36030 with flag 488725/276845
32.65/31.83	c cleaning 19006 clauses out of 38022 with flag 556470/296845
35.15/34.37	c cleaning 20001 clauses out of 40016 with flag 620224/317845
37.75/36.91	c cleaning 21008 clauses out of 42015 with flag 694000/339845
40.35/39.50	c cleaning 21983 clauses out of 44007 with flag 768797/362845
43.35/42.53	c cleaning 23001 clauses out of 46024 with flag 848619/386845
46.25/45.45	c cleaning 24008 clauses out of 48023 with flag 931726/411845
49.45/48.64	c cleaning 24998 clauses out of 50016 with flag 1022026/437846
52.86/52.03	c cleaning 25984 clauses out of 52017 with flag 1112374/464845
56.66/55.85	c cleaning 26991 clauses out of 54033 with flag 1189946/492845
60.86/60.02	c cleaning 27989 clauses out of 56042 with flag 1282382/521845
64.96/64.10	c cleaning 29013 clauses out of 58053 with flag 1381762/551845
69.07/68.29	c cleaning 29998 clauses out of 60040 with flag 1490118/582845
73.47/72.64	c cleaning 31004 clauses out of 62042 with flag 1596532/614845
78.08/77.21	c cleaning 32006 clauses out of 64038 with flag 1706113/647845
82.08/81.20	c cleaning 32999 clauses out of 66033 with flag 1814915/681846
86.58/85.79	c cleaning 34003 clauses out of 68033 with flag 1935020/716845
91.58/90.78	c cleaning 35007 clauses out of 70031 with flag 2062269/752846
96.08/95.26	c cleaning 36010 clauses out of 72023 with flag 2183872/789845
101.48/100.66	c cleaning 36994 clauses out of 74013 with flag 2308256/827845
107.28/106.42	c cleaning 37998 clauses out of 76019 with flag 2411298/866845
109.18/108.31	c Got one! Elapsed wall clock time (in seconds):108.196
109.18/108.31	o 826410679589
109.89/109.03	c cleaning 29327 clauses out of 58680 with flag 11439/887504
110.58/109.73	c cleaning 17661 clauses out of 35354 with flag 25713/893505
111.38/110.54	c cleaning 12339 clauses out of 24692 with flag 42548/900504
112.18/111.34	c cleaning 10159 clauses out of 20353 with flag 63537/908504
113.09/112.29	c cleaning 9589 clauses out of 19194 with flag 83490/917504
114.19/113.33	c cleaning 9792 clauses out of 19605 with flag 110405/927504
115.40/114.55	c cleaning 10404 clauses out of 20813 with flag 145827/938504
116.69/115.83	c cleaning 11198 clauses out of 22410 with flag 180805/950505
118.29/117.40	c cleaning 12085 clauses out of 24211 with flag 220576/963504
119.91/119.10	c cleaning 13043 clauses out of 26126 with flag 272760/977504
121.81/120.97	c cleaning 14022 clauses out of 28083 with flag 328469/992504
123.81/122.94	c cleaning 15022 clauses out of 30061 with flag 378855/1008504
126.02/125.10	c cleaning 16010 clauses out of 32040 with flag 435628/1025505
128.22/127.39	c cleaning 17009 clauses out of 34029 with flag 505643/1043504
130.32/129.47	c cleaning 18010 clauses out of 36021 with flag 573376/1062505
132.62/131.78	c cleaning 18987 clauses out of 38010 with flag 642582/1082504
135.32/134.45	c cleaning 19987 clauses out of 40023 with flag 709468/1103504
137.92/137.03	c cleaning 21016 clauses out of 42036 with flag 783642/1125504
140.52/139.67	c cleaning 21989 clauses out of 44020 with flag 863675/1148504
143.62/142.79	c cleaning 23004 clauses out of 46031 with flag 949603/1172504
146.82/145.92	c cleaning 24006 clauses out of 48027 with flag 1036483/1197504
150.12/149.27	c cleaning 24998 clauses out of 50021 with flag 1125560/1223504
153.62/152.78	c cleaning 26011 clauses out of 52023 with flag 1220638/1250504
157.22/156.38	c cleaning 27000 clauses out of 54012 with flag 1317606/1278504
161.02/160.16	c cleaning 27991 clauses out of 56012 with flag 1419876/1307504
165.02/164.19	c cleaning 28990 clauses out of 58021 with flag 1521312/1337504
169.02/168.10	c cleaning 30000 clauses out of 60031 with flag 1627232/1368504
173.54/172.66	c cleaning 31011 clauses out of 62032 with flag 1747224/1400505
178.24/177.31	c cleaning 32007 clauses out of 64020 with flag 1866165/1433504
182.74/181.89	c cleaning 32998 clauses out of 66013 with flag 1988131/1467504
187.34/186.50	c cleaning 34008 clauses out of 68016 with flag 2111519/1502505
192.35/191.50	c cleaning 34986 clauses out of 70007 with flag 2244418/1538504
197.14/196.29	c cleaning 35990 clauses out of 72022 with flag 2367304/1575505
202.25/201.39	c cleaning 37007 clauses out of 74031 with flag 2512656/1613504
208.24/207.38	c cleaning 38008 clauses out of 76024 with flag 2668263/1652504
213.74/212.87	c cleaning 39000 clauses out of 78016 with flag 2818247/1692504
219.52/218.59	c cleaning 39991 clauses out of 80017 with flag 2955675/1733505
226.22/225.24	c cleaning 41010 clauses out of 82025 with flag 3096551/1775504
233.23/232.24	c cleaning 41989 clauses out of 84015 with flag 3244153/1818504
240.32/239.35	c cleaning 42984 clauses out of 86026 with flag 3399141/1862504
247.72/246.76	c cleaning 44004 clauses out of 88042 with flag 3545220/1907504
254.73/253.75	c cleaning 45002 clauses out of 90038 with flag 3711363/1953504
262.53/261.55	c cleaning 46004 clauses out of 92036 with flag 3864026/2000504
270.33/269.32	c cleaning 47000 clauses out of 94032 with flag 3997011/2048504
278.58/277.52	c cleaning 47994 clauses out of 96032 with flag 4165563/2097504
287.09/286.02	c cleaning 49016 clauses out of 98041 with flag 4348238/2147507
295.58/294.50	c cleaning 49995 clauses out of 100022 with flag 4521704/2198504
304.08/303.05	c cleaning 51007 clauses out of 102029 with flag 4678514/2250506
313.29/312.25	c cleaning 51996 clauses out of 104021 with flag 4873712/2303505
321.99/320.99	c cleaning 53011 clauses out of 106024 with flag 5069747/2357504
330.54/329.43	c cleaning 53996 clauses out of 108013 with flag 5247289/2412504
339.74/338.62	c cleaning 54980 clauses out of 110017 with flag 5419821/2468504
349.14/348.06	c cleaning 56010 clauses out of 112037 with flag 5608143/2525504
359.04/357.93	c cleaning 57008 clauses out of 114027 with flag 5815147/2583504
369.05/367.96	c cleaning 58004 clauses out of 116019 with flag 6014717/2642504
378.45/377.40	c cleaning 58997 clauses out of 118015 with flag 6227556/2702504
387.93/386.79	c cleaning 60002 clauses out of 120018 with flag 6429933/2763504
398.44/397.29	c cleaning 60985 clauses out of 122016 with flag 6647557/2825504
409.44/408.23	c cleaning 62012 clauses out of 124031 with flag 6873974/2888504
421.54/420.33	c cleaning 63001 clauses out of 126019 with flag 7097686/2952504
433.55/432.33	c cleaning 63997 clauses out of 128020 with flag 7306625/3017506
445.42/444.17	c cleaning 65000 clauses out of 130021 with flag 7530205/3083504
458.83/457.58	c cleaning 66000 clauses out of 132021 with flag 7766984/3150504
470.23/468.91	c cleaning 67007 clauses out of 134021 with flag 7993612/3218504
482.42/481.18	c cleaning 67976 clauses out of 136014 with flag 8214398/3287504
494.94/493.69	c cleaning 69005 clauses out of 138038 with flag 8407524/3357504
508.42/507.03	c cleaning 70012 clauses out of 140035 with flag 8655045/3428506
520.92/519.58	c cleaning 71003 clauses out of 142021 with flag 8855735/3500504
535.42/534.09	c cleaning 71997 clauses out of 144018 with flag 9118029/3573504
548.23/546.89	c cleaning 73003 clauses out of 146021 with flag 9373391/3647504
562.33/560.80	c cleaning 73981 clauses out of 148018 with flag 9642249/3722504
577.04/575.59	c cleaning 75010 clauses out of 150038 with flag 9889004/3798505
591.64/590.20	c cleaning 76004 clauses out of 152028 with flag 10145126/3875505
606.43/604.94	c cleaning 76999 clauses out of 154023 with flag 10387305/3953504
621.41/619.84	c cleaning 77995 clauses out of 156024 with flag 10605766/4032504
638.20/636.70	c cleaning 78992 clauses out of 158029 with flag 10885330/4112504
656.12/654.59	c cleaning 80010 clauses out of 160038 with flag 11163233/4193505
673.40/671.73	c cleaning 81010 clauses out of 162027 with flag 11436010/4275504
690.69/689.09	c cleaning 82001 clauses out of 164018 with flag 11709886/4358505
708.90/707.26	c cleaning 82992 clauses out of 166016 with flag 11982654/4442504
726.89/725.28	c cleaning 83998 clauses out of 168024 with flag 12279924/4527504
745.37/743.63	c cleaning 84995 clauses out of 170026 with flag 12539086/4613504
764.37/762.64	c cleaning 86001 clauses out of 172031 with flag 12851513/4700504
784.87/783.16	c cleaning 87000 clauses out of 174030 with flag 13163582/4788504
805.20/803.35	c cleaning 87996 clauses out of 176030 with flag 13458295/4877504
825.92/824.02	c cleaning 89006 clauses out of 178035 with flag 13779577/4967505
847.81/845.98	c cleaning 90007 clauses out of 180028 with flag 14105032/5058504
871.10/869.17	c cleaning 90993 clauses out of 182022 with flag 14437609/5150505
894.22/892.28	c cleaning 92001 clauses out of 184028 with flag 14794410/5243504
916.00/914.02	c cleaning 93002 clauses out of 186027 with flag 15138946/5337504
940.19/938.11	c cleaning 94006 clauses out of 188025 with flag 15495122/5432504
963.70/961.69	c cleaning 94990 clauses out of 190019 with flag 15836758/5528504
985.59/983.49	c cleaning 95991 clauses out of 192029 with flag 16181339/5625504
1009.99/1007.82	c cleaning 97012 clauses out of 194038 with flag 16538750/5723504
1034.00/1031.89	c cleaning 98005 clauses out of 196026 with flag 16891895/5822504
1060.57/1058.36	c cleaning 98999 clauses out of 198021 with flag 17241463/5922504
1086.18/1083.99	c cleaning 100002 clauses out of 200022 with flag 17600127/6023504
1110.31/1107.95	c cleaning 100984 clauses out of 202020 with flag 17973053/6125504
1138.31/1135.99	c cleaning 102002 clauses out of 204037 with flag 18326517/6228505
1166.73/1164.24	c cleaning 103007 clauses out of 206034 with flag 18703960/6332504
1191.53/1189.08	c cleaning 104004 clauses out of 208028 with flag 19038824/6437505
1214.74/1212.30	c cleaning 105007 clauses out of 210023 with flag 19389710/6543504
1242.09/1239.54	c cleaning 105983 clauses out of 212016 with flag 19721234/6650504
1270.40/1267.85	c cleaning 107015 clauses out of 214033 with flag 20093769/6758504
1298.60/1295.97	c cleaning 108000 clauses out of 216019 with flag 20460723/6867505
1325.70/1323.07	c cleaning 108999 clauses out of 218018 with flag 20850115/6977504
1354.97/1352.22	c cleaning 110007 clauses out of 220019 with flag 21245490/7088504
1385.78/1383.05	c cleaning 110990 clauses out of 222012 with flag 21631873/7200504
1419.45/1416.64	c cleaning 111991 clauses out of 224023 with flag 22031318/7313505
1447.76/1444.97	c cleaning 113007 clauses out of 226031 with flag 22415495/7427504
1483.81/1480.94	c cleaning 113994 clauses out of 228024 with flag 22815020/7542504
1516.64/1513.62	c cleaning 114997 clauses out of 230030 with flag 23217088/7658504
1550.64/1547.70	c cleaning 116004 clauses out of 232033 with flag 23626338/7775504
1583.30/1580.25	c cleaning 117012 clauses out of 234029 with flag 24032894/7893504
1614.21/1611.11	c cleaning 118004 clauses out of 236018 with flag 24450656/8012505
1647.28/1644.10	c cleaning 118996 clauses out of 238013 with flag 24889070/8132504
1678.97/1675.71	c cleaning 119990 clauses out of 240017 with flag 25291135/8253504
1711.60/1708.39	c cleaning 121014 clauses out of 242027 with flag 25690016/8375504
1747.79/1744.50	c cleaning 121998 clauses out of 244013 with flag 26093682/8498504
1787.50/1784.15	c cleaning 123001 clauses out of 246017 with flag 26541724/8622506
1800.08/1796.60	c starts		: 15116
1800.08/1796.60	c conflicts		: 8672533
1800.08/1796.60	c decisions		: 50083133
1800.08/1796.60	c propagations		: 1335301494
1800.08/1796.60	c inspects		: 22890401575
1800.08/1796.60	c shortcuts		: 0
1800.08/1796.60	c learnt literals	: 0
1800.08/1796.60	c learnt binary clauses	: 0
1800.08/1796.60	c learnt ternary clauses	: 0
1800.08/1796.60	c learnt constraints	: 8672533
1800.08/1796.60	c ignored constraints	: 0
1800.08/1796.60	c root simplifications	: 0
1800.08/1796.60	c removed literals (reason simplification)	: 0
1800.08/1796.60	c reason swapping (by a shorter reason)	: 0
1800.08/1796.60	c Calls to reduceDB	: 166
1800.08/1796.60	c Number of update (reduction) of LBD	: 3136322
1800.08/1796.60	c Imported unit clauses	: 0
1800.08/1796.60	c number of reductions to clauses (during analyze)	: 0
1800.08/1796.60	c number of learned constraints concerned by reduction	: 0
1800.08/1796.60	c number of learning phase by resolution	: 0
1800.08/1796.60	c number of learning phase by cutting planes	: 0
1800.08/1796.60	c speed (assignments/second)	: 743341.4952542656
1800.08/1796.60	c non guided choices	0
1800.08/1796.63	c learnt constraints type 
1800.08/1796.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 173044
1800.08/1796.63	s SATISFIABLE
1800.08/1796.63	c Found 7 solution(s)
1800.08/1796.63	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 
1800.08/1796.63	c objective function=826410679589
1800.08/1796.63	c Total wall clock time (in seconds): 1796.516

Verifier Data 

OK	826410679589

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-4118108-1467222295/watcher-4118108-1467222295 -o /tmp/evaluation-result-4118108-1467222295/solver-4118108-1467222295 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4835 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118108-1467222295.opb 

pid=7040
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.12 2.20 2.18 3/196 7043
/proc/meminfo: memFree=19323072/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (java) R 7040 7043 4818 0 -1 4202496 700 0 0 0 0 0 0 0 20 0 1 0 3182034 23793664 351 33554432000 1073741824 1073778376 140734026836368 140734026825432 273896487489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 5809 364 280 9 0 128 0

[startup+0.100067 s]
/proc/loadavg: 2.12 2.20 2.18 3/196 7043
/proc/meminfo: memFree=19323072/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 3182034 9787879424 6012 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2389619 6012 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200262 s]
/proc/loadavg: 2.12 2.20 2.18 3/196 7043
/proc/meminfo: memFree=19323072/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 4816 0 1 0 23 1 0 0 20 0 18 0 3182034 9787879424 6903 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2389619 6903 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300263 s]
/proc/loadavg: 2.12 2.20 2.18 3/196 7043
/proc/meminfo: memFree=19323072/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 5886 0 1 0 42 1 0 0 20 0 19 0 3182034 9856040960 8567 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2406260 8567 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9625040

[startup+0.700291 s]
/proc/loadavg: 2.12 2.20 2.18 3/196 7043
/proc/meminfo: memFree=19323072/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 11903 0 1 0 128 3 0 0 20 0 19 0 3182034 9856040960 11977 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2406260 11977 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.11 2.19 2.18 3/215 7062
/proc/meminfo: memFree=19281544/32872528 swapFree=1483900/1661728
[pid=7043] ppid=7040 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 11951 0 1 0 218 3 0 0 20 0 19 0 3182034 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2406260 13555 2261 9 0 2396937 0
[pid=7043/tid=7045] ppid=7040 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/7043/task/7045/stat : 7045 (java) R 7040 7043 4818 0 -1 4202560 2418 0 1 0 144 2 0 0 20 0 19 0 3182035 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838736780792 139838582427521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7046] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7046/stat : 7046 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838709234344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7047] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7047/stat : 7047 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838708181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7048] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7048/stat : 7048 (java) S 7040 7043 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838707129256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7049] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7049/stat : 7049 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838706076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7050] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7050/stat : 7050 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838705023144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7051] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7051/stat : 7051 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838703970600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7052] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7052/stat : 7052 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838702918056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7053] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7053/stat : 7053 (java) S 7040 7043 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838701865512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7054] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7054/stat : 7054 (java) S 7040 7043 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838090091112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7055] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7055/stat : 7055 (java) S 7040 7043 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838089037432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7056] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7056/stat : 7056 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838087984776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7057] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7057/stat : 7057 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838086933520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7058] ppid=7040 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/7043/task/7058/stat : 7058 (java) S 7040 7043 4818 0 -1 4202560 5177 0 0 0 38 0 0 0 20 0 19 0 3182040 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838085879864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7059] ppid=7040 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7043/task/7059/stat : 7059 (java) S 7040 7043 4818 0 -1 4202560 3083 0 0 0 33 0 0 0 20 0 19 0 3182040 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838084827320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7060] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7060/stat : 7060 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838083774968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7061] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7061/stat : 7061 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838082722632 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7062] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7062/stat : 7062 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182060 9856040960 13555 33554432000 1073741824 1073778376 140734026836368 139838081668392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.11 2.19 2.18 3/215 7062
/proc/meminfo: memFree=19272484/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 11958 0 1 0 380 3 0 0 20 0 19 0 3182034 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2406260 16116 2261 9 0 2396937 0
[pid=7043/tid=7045] ppid=7040 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/7043/task/7045/stat : 7045 (java) R 7040 7043 4818 0 -1 4202560 2424 0 1 0 304 2 0 0 20 0 19 0 3182035 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838736781696 139838582435643 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7046] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7046/stat : 7046 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838709234344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7047] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7047/stat : 7047 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838708181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7048] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7048/stat : 7048 (java) S 7040 7043 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838707129256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7049] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7049/stat : 7049 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838706076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7050] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7050/stat : 7050 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838705023144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7051] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7051/stat : 7051 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838703970600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7052] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7052/stat : 7052 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838702918056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7053] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7053/stat : 7053 (java) S 7040 7043 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838701865512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7054] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7054/stat : 7054 (java) S 7040 7043 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838090091112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7055] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7055/stat : 7055 (java) S 7040 7043 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838089037432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7056] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7056/stat : 7056 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838087984776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7057] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7057/stat : 7057 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838086933520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7058] ppid=7040 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7043/task/7058/stat : 7058 (java) S 7040 7043 4818 0 -1 4202560 5178 0 0 0 40 0 0 0 20 0 19 0 3182040 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838085879864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7059] ppid=7040 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7043/task/7059/stat : 7059 (java) S 7040 7043 4818 0 -1 4202560 3083 0 0 0 33 0 0 0 20 0 19 0 3182040 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838084827320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7060] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7060/stat : 7060 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838083774968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7061] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7061/stat : 7061 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838082722632 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7062] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7062/stat : 7062 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182060 9856040960 16116 33554432000 1073741824 1073778376 140734026836368 139838081668392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.11 2.19 2.18 3/215 7062
/proc/meminfo: memFree=19256776/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9625040 CPUtime=7.12 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 12681 0 1 0 708 4 0 0 20 0 19 0 3182034 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2406260 19852 2263 9 0 2396937 0
[pid=7043/tid=7045] ppid=7040 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/7043/task/7045/stat : 7045 (java) R 7040 7043 4818 0 -1 4202560 2435 0 1 0 623 2 0 0 20 0 19 0 3182035 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838736781304 139838582530916 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7046] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7046/stat : 7046 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838709234344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7047] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7047/stat : 7047 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838708181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7048] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7048/stat : 7048 (java) S 7040 7043 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838707129256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7049] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7049/stat : 7049 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838706076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7050] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7050/stat : 7050 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838705023144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7051] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7051/stat : 7051 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838703970600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7052] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7052/stat : 7052 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838702918056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7053] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7053/stat : 7053 (java) S 7040 7043 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3182036 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838701865512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7054] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7054/stat : 7054 (java) S 7040 7043 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838090091112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7055] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7055/stat : 7055 (java) S 7040 7043 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838089037432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7056] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7056/stat : 7056 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838087984776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7057] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7057/stat : 7057 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838086933520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7058] ppid=7040 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7043/task/7058/stat : 7058 (java) S 7040 7043 4818 0 -1 4202560 5179 0 0 0 43 0 0 0 20 0 19 0 3182040 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838085879864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7059] ppid=7040 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/7043/task/7059/stat : 7059 (java) S 7040 7043 4818 0 -1 4202560 3793 0 0 0 39 0 0 0 20 0 19 0 3182040 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838084827320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7060] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7060/stat : 7060 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838083774968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7061] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7061/stat : 7061 (java) S 7040 7043 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838082722632 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7062] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7062/stat : 7062 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182060 9856040960 19852 33554432000 1073741824 1073778376 140734026836368 139838081668392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9625040


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

[pid=7043/tid=7062] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7062/stat : 7062 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182060 9856040960 115006 33554432000 1073741824 1073778376 140734026836368 139838081668392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.48
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/215 7193
/proc/meminfo: memFree=25322764/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9625040 CPUtime=1725.6 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 15503 0 1 0 172495 65 0 0 20 0 19 0 3182034 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2406260 117060 2277 9 0 2396937 0
[pid=7043/tid=7045] ppid=7040 vsize=9625040 CPUtime=1716.9 cores=1,3,5,7
/proc/7043/task/7045/stat : 7045 (java) R 7040 7043 4818 0 -1 4202560 2509 0 1 0 171660 30 0 0 20 0 19 0 3182035 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838736781872 139838582512567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7046] ppid=7040 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7043/task/7046/stat : 7046 (java) S 7040 7043 4818 0 -1 4202560 505 0 0 0 38 5 0 0 20 0 19 0 3182036 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838709234344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7047] ppid=7040 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7043/task/7047/stat : 7047 (java) S 7040 7043 4818 0 -1 4202560 375 0 0 0 35 5 0 0 20 0 19 0 3182036 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838708181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7048] ppid=7040 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/7043/task/7048/stat : 7048 (java) S 7040 7043 4818 0 -1 4202560 231 0 0 0 28 2 0 0 20 0 19 0 3182036 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838707129256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7049] ppid=7040 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7043/task/7049/stat : 7049 (java) S 7040 7043 4818 0 -1 4202560 336 0 0 0 35 5 0 0 20 0 19 0 3182036 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838706076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7050] ppid=7040 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/7043/task/7050/stat : 7050 (java) S 7040 7043 4818 0 -1 4202560 311 0 0 0 35 4 0 0 20 0 19 0 3182036 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838705023144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7051] ppid=7040 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/7043/task/7051/stat : 7051 (java) S 7040 7043 4818 0 -1 4202560 173 0 0 0 32 3 0 0 20 0 19 0 3182036 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838703970600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7052] ppid=7040 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/7043/task/7052/stat : 7052 (java) S 7040 7043 4818 0 -1 4202560 225 0 0 0 32 5 0 0 20 0 19 0 3182036 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838702918056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7053] ppid=7040 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7043/task/7053/stat : 7053 (java) S 7040 7043 4818 0 -1 4202560 158 0 0 0 29 4 0 0 20 0 19 0 3182036 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838701865512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7054] ppid=7040 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7043/task/7054/stat : 7054 (java) S 7040 7043 4818 0 -1 4202560 90 0 0 0 2 0 0 0 20 0 19 0 3182038 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838090091112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7055] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7055/stat : 7055 (java) S 7040 7043 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838089037432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7056] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7056/stat : 7056 (java) S 7040 7043 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838087984776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7057] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7057/stat : 7057 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838086933520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7058] ppid=7040 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7043/task/7058/stat : 7058 (java) S 7040 7043 4818 0 -1 4202560 5439 0 0 0 46 0 0 0 20 0 19 0 3182040 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838085879864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7059] ppid=7040 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7043/task/7059/stat : 7059 (java) S 7040 7043 4818 0 -1 4202560 3793 0 0 0 40 0 0 0 20 0 19 0 3182040 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838084827320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7060] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7060/stat : 7060 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838083774968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7061] ppid=7040 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/7043/task/7061/stat : 7061 (java) S 7040 7043 4818 0 -1 4202560 100 0 0 0 31 37 0 0 20 0 19 0 3182040 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838082722632 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7062] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7062/stat : 7062 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182060 9856040960 117060 33554432000 1073741824 1073778376 140734026836368 139838081668392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.6
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.38 2.30 2.21 3/215 7194
/proc/meminfo: memFree=25504708/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9625040 CPUtime=1785.7 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 15549 0 1 0 178502 68 0 0 20 0 19 0 3182034 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2406260 119203 2277 9 0 2396937 0
[pid=7043/tid=7045] ppid=7040 vsize=9625040 CPUtime=1776.71 cores=1,3,5,7
/proc/7043/task/7045/stat : 7045 (java) R 7040 7043 4818 0 -1 4202560 2510 0 1 0 177640 31 0 0 20 0 19 0 3182035 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838736772800 139838582435638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7046] ppid=7040 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/7043/task/7046/stat : 7046 (java) S 7040 7043 4818 0 -1 4202560 508 0 0 0 39 5 0 0 20 0 19 0 3182036 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838709234344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7047] ppid=7040 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7043/task/7047/stat : 7047 (java) S 7040 7043 4818 0 -1 4202560 376 0 0 0 36 5 0 0 20 0 19 0 3182036 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838708181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7048] ppid=7040 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/7043/task/7048/stat : 7048 (java) S 7040 7043 4818 0 -1 4202560 250 0 0 0 30 2 0 0 20 0 19 0 3182036 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838707129256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7049] ppid=7040 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7043/task/7049/stat : 7049 (java) S 7040 7043 4818 0 -1 4202560 338 0 0 0 36 5 0 0 20 0 19 0 3182036 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838706076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7050] ppid=7040 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/7043/task/7050/stat : 7050 (java) S 7040 7043 4818 0 -1 4202560 316 0 0 0 38 4 0 0 20 0 19 0 3182036 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838705023144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7051] ppid=7040 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/7043/task/7051/stat : 7051 (java) S 7040 7043 4818 0 -1 4202560 176 0 0 0 33 3 0 0 20 0 19 0 3182036 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838703970600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7052] ppid=7040 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/7043/task/7052/stat : 7052 (java) S 7040 7043 4818 0 -1 4202560 228 0 0 0 34 5 0 0 20 0 19 0 3182036 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838702918056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7053] ppid=7040 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/7043/task/7053/stat : 7053 (java) S 7040 7043 4818 0 -1 4202560 162 0 0 0 30 4 0 0 20 0 19 0 3182036 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838701865512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7054] ppid=7040 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7043/task/7054/stat : 7054 (java) S 7040 7043 4818 0 -1 4202560 91 0 0 0 2 0 0 0 20 0 19 0 3182038 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838090091112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7055] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7055/stat : 7055 (java) S 7040 7043 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838089037432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7056] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7056/stat : 7056 (java) S 7040 7043 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838087984776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7057] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7057/stat : 7057 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838086933520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7058] ppid=7040 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7043/task/7058/stat : 7058 (java) S 7040 7043 4818 0 -1 4202560 5439 0 0 0 46 0 0 0 20 0 19 0 3182040 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838085879864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7059] ppid=7040 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7043/task/7059/stat : 7059 (java) S 7040 7043 4818 0 -1 4202560 3793 0 0 0 40 0 0 0 20 0 19 0 3182040 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838084827320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7060] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7060/stat : 7060 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838083774968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7061] ppid=7040 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/7043/task/7061/stat : 7061 (java) S 7040 7043 4818 0 -1 4202560 104 0 0 0 32 39 0 0 20 0 19 0 3182040 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838082722632 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7062] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7062/stat : 7062 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182060 9856040960 119203 33554432000 1073741824 1073778376 140734026836368 139838081668392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.7
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.32 2.29 2.21 3/215 7194
/proc/meminfo: memFree=25517232/32872528 swapFree=1483896/1661724
[pid=7043] ppid=7040 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/7043/stat : 7043 (java) S 7040 7043 4818 0 -1 4202496 15579 0 1 0 179939 69 0 0 20 0 19 0 3182034 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 140734026827504 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2406260 121626 2277 9 0 2396937 0
[pid=7043/tid=7045] ppid=7040 vsize=9625040 CPUtime=1790.95 cores=1,3,5,7
/proc/7043/task/7045/stat : 7045 (java) R 7040 7043 4818 0 -1 4202560 2511 0 1 0 179064 31 0 0 20 0 19 0 3182035 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838736780544 139838582435638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7046] ppid=7040 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7043/task/7046/stat : 7046 (java) S 7040 7043 4818 0 -1 4202560 513 0 0 0 41 5 0 0 20 0 19 0 3182036 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838709234344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7047] ppid=7040 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7043/task/7047/stat : 7047 (java) S 7040 7043 4818 0 -1 4202560 376 0 0 0 36 5 0 0 20 0 19 0 3182036 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838708181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7048] ppid=7040 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7043/task/7048/stat : 7048 (java) S 7040 7043 4818 0 -1 4202560 262 0 0 0 31 2 0 0 20 0 19 0 3182036 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838707129256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7049] ppid=7040 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/7043/task/7049/stat : 7049 (java) S 7040 7043 4818 0 -1 4202560 338 0 0 0 37 5 0 0 20 0 19 0 3182036 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838706076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7050] ppid=7040 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/7043/task/7050/stat : 7050 (java) S 7040 7043 4818 0 -1 4202560 316 0 0 0 38 4 0 0 20 0 19 0 3182036 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838705023144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7051] ppid=7040 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/7043/task/7051/stat : 7051 (java) S 7040 7043 4818 0 -1 4202560 176 0 0 0 34 3 0 0 20 0 19 0 3182036 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838703970600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7052] ppid=7040 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7043/task/7052/stat : 7052 (java) S 7040 7043 4818 0 -1 4202560 232 0 0 0 35 5 0 0 20 0 19 0 3182036 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838702918056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7053] ppid=7040 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/7043/task/7053/stat : 7053 (java) S 7040 7043 4818 0 -1 4202560 166 0 0 0 32 4 0 0 20 0 19 0 3182036 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838701865512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7043/tid=7054] ppid=7040 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7043/task/7054/stat : 7054 (java) S 7040 7043 4818 0 -1 4202560 93 0 0 0 2 0 0 0 20 0 19 0 3182038 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838090091112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7055] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7055/stat : 7055 (java) S 7040 7043 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838089037432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7056] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7056/stat : 7056 (java) S 7040 7043 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3182038 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838087984776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7057] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7057/stat : 7057 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838086933520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7058] ppid=7040 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7043/task/7058/stat : 7058 (java) S 7040 7043 4818 0 -1 4202560 5439 0 0 0 46 0 0 0 20 0 19 0 3182040 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838085879864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7043/tid=7059] ppid=7040 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7043/task/7059/stat : 7059 (java) S 7040 7043 4818 0 -1 4202560 3793 0 0 0 40 0 0 0 20 0 19 0 3182040 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838084827320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7060] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7060/stat : 7060 (java) S 7040 7043 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3182040 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838083774968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7043/tid=7061] ppid=7040 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/7043/task/7061/stat : 7061 (java) S 7040 7043 4818 0 -1 4202560 106 0 0 0 32 40 0 0 20 0 19 0 3182040 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838082722632 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7043/tid=7062] ppid=7040 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7043/task/7062/stat : 7062 (java) S 7040 7043 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3182060 9856040960 121626 33554432000 1073741824 1073778376 140734026836368 139838081668392 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7043 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1796.64
CPU time (s): 1800.08
CPU user time (s): 1799.39
CPU system time (s): 0.69
CPU usage (%): 100.192
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.88
system time used= 1.18082
maximum resident set size= 487084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15624
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38957
involuntary context switches= 9140

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7524 second user time and 13.443 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-29 19:44:55
IDJOB=4118108
IDBENCH=111452
IDSOLVER=2546
FILE ID=node134/4118108-1467222295
RUNJOBID= node134-1467208989-4835
PBS_JOBID= 19997576
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118108-1467222295/watcher-4118108-1467222295 -o /tmp/evaluation-result-4118108-1467222295/solver-4118108-1467222295 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4835 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118108-1467222295.opb

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

MD5SUM BENCH= c82e474a4b046a910d07c1f80037da59
RANDOM SEED=1496221228

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        19323716 kB
Buffers:          128240 kB
Cached:          2995280 kB
SwapCached:            0 kB
Active:          8100264 kB
Inactive:        2987028 kB
Active(anon):    7966704 kB
Inactive(anon):       44 kB
Active(file):     133560 kB
Inactive(file):  2986984 kB
Unevictable:     1661724 kB
Mlocked:         1483896 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       9760568 kB
Mapped:            21668 kB
Shmem:               216 kB
Slab:             611520 kB
SReclaimable:      55460 kB
SUnreclaim:       556060 kB
KernelStack:        1776 kB
PageTables:        23496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   10083748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7223296 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= 71708 MiB
End job on node134 at 2016-06-29 20:14:52