Trace number 4099800

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)149 1800.09 1797.76

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUMf81823d3f3bf1b9e5d936e06c7f51a9c
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark1801.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint11
Maximum length of a constraint84
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4099800-1466207893.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.24/0.29	c ... done. Wall clock time 0.166s.
0.24/0.29	c declared #vars     2754
0.24/0.29	c #constraints  486
0.24/0.29	c constraints type 
0.24/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 486
0.24/0.29	c 486 constraints processed.
0.24/0.29	c objective function length is 168 literals
1.56/0.75	c cleaning 2486 clauses out of 4984 with flag 11169/5000
1.90/1.06	c cleaning 4244 clauses out of 8498 with flag 23169/11000
2.42/1.56	c cleaning 5622 clauses out of 11255 with flag 37171/18001
3.23/2.36	c cleaning 6811 clauses out of 13632 with flag 53169/26000
4.27/3.33	c cleaning 7900 clauses out of 15822 with flag 71171/35001
5.46/4.58	c cleaning 8954 clauses out of 17921 with flag 91169/45000
6.96/6.07	c cleaning 9977 clauses out of 19967 with flag 113169/56000
8.96/8.07	c cleaning 10989 clauses out of 21990 with flag 137169/68000
11.57/10.69	c cleaning 11995 clauses out of 24001 with flag 163169/81000
14.47/13.58	c cleaning 12998 clauses out of 26007 with flag 191171/95001
18.27/17.35	c cleaning 13995 clauses out of 28009 with flag 221171/110001
22.57/21.60	c cleaning 15000 clauses out of 30013 with flag 253169/126000
27.37/26.43	c cleaning 16001 clauses out of 32013 with flag 287169/143000
32.57/31.61	c cleaning 17000 clauses out of 34014 with flag 323869/161002
37.16/36.28	c cleaning 18004 clauses out of 36011 with flag 362271/180001
39.26/38.30	c cleaning 19000 clauses out of 38008 with flag 404143/200002
39.26/38.37	c SATISFIABLE
39.26/38.37	c OPTIMIZING...
39.26/38.37	c Got one! Elapsed wall clock time (in seconds):38.239
39.26/38.37	o 180
39.70/38.69	c cleaning 12455 clauses out of 24921 with flag 8277/205917
40.46/39.05	c cleaning 9224 clauses out of 18465 with flag 20278/211916
41.00/39.51	c cleaning 8116 clauses out of 16242 with flag 34367/218917
41.61/40.14	c cleaning 8056 clauses out of 16126 with flag 50371/226917
42.41/40.96	c cleaning 8527 clauses out of 17069 with flag 68539/235916
43.51/42.00	c cleaning 9263 clauses out of 18542 with flag 88550/245916
44.81/43.35	c cleaning 10134 clauses out of 20279 with flag 110723/256916
46.41/45.00	c cleaning 11062 clauses out of 22145 with flag 134786/268916
48.51/47.02	c cleaning 12034 clauses out of 24083 with flag 160786/281916
50.91/49.47	c cleaning 13020 clauses out of 26049 with flag 188861/295916
53.81/52.35	c cleaning 14007 clauses out of 28030 with flag 218907/310917
57.21/55.77	c cleaning 15004 clauses out of 30023 with flag 251001/326917
61.11/59.70	c cleaning 16001 clauses out of 32018 with flag 285169/343916
65.61/64.17	c cleaning 16999 clauses out of 34018 with flag 321513/361917
69.91/68.45	c cleaning 18000 clauses out of 36018 with flag 359762/380916
75.32/73.87	c cleaning 19003 clauses out of 38019 with flag 400123/400917
81.61/80.14	c cleaning 20006 clauses out of 40016 with flag 442187/421917
88.14/86.60	c cleaning 21001 clauses out of 42009 with flag 486345/443916
95.05/93.53	c cleaning 22001 clauses out of 44008 with flag 532503/466916
102.75/101.26	c cleaning 22996 clauses out of 46007 with flag 580865/490916
109.39/107.90	c cleaning 24003 clauses out of 48005 with flag 633305/515917
111.17/109.68	c cleaning 24989 clauses out of 49993 with flag 736052/541916
114.57/113.05	c cleaning 25996 clauses out of 52001 with flag 819796/568916
116.27/114.78	c cleaning 26992 clauses out of 54004 with flag 924796/596916
118.37/116.84	c cleaning 27998 clauses out of 56012 with flag 1052792/625916
121.17/119.66	c cleaning 28984 clauses out of 58012 with flag 1219043/655916
126.27/124.77	c cleaning 30001 clauses out of 60028 with flag 1281419/686916
132.27/130.77	c cleaning 31001 clauses out of 62030 with flag 1345544/718919
138.57/137.07	c cleaning 32000 clauses out of 64027 with flag 1412105/751917
139.38/137.89	c Got one! Elapsed wall clock time (in seconds):137.762
139.38/137.89	o 178
139.88/138.35	c cleaning 25469 clauses out of 50950 with flag 19746/770843
140.19/138.62	c cleaning 15720 clauses out of 31479 with flag 37112/776842
140.29/138.79	c cleaning 11362 clauses out of 22759 with flag 52728/783842
140.78/139.29	c cleaning 9680 clauses out of 19398 with flag 68770/791843
141.37/139.85	c cleaning 9348 clauses out of 18718 with flag 86854/800843
142.06/140.59	c cleaning 9675 clauses out of 19369 with flag 106860/810842
142.96/141.44	c cleaning 10344 clauses out of 20694 with flag 128863/821842
143.96/142.45	c cleaning 11166 clauses out of 22350 with flag 152869/833842
145.26/143.71	c cleaning 12088 clauses out of 24184 with flag 178869/846842
146.77/145.26	c cleaning 13041 clauses out of 26096 with flag 206950/860842
148.56/147.05	c cleaning 14026 clauses out of 28057 with flag 237485/875844
150.78/149.26	c cleaning 15008 clauses out of 30029 with flag 271883/891842
153.39/151.81	c cleaning 16008 clauses out of 32022 with flag 305894/908843
156.18/154.65	c cleaning 17003 clauses out of 34013 with flag 341892/926842
159.58/158.02	c cleaning 17997 clauses out of 36010 with flag 379895/945842
163.29/161.71	c cleaning 19005 clauses out of 38015 with flag 420109/965844
167.38/165.81	c cleaning 19999 clauses out of 40009 with flag 462264/986843
171.88/170.32	c cleaning 20999 clauses out of 42009 with flag 506516/1008842
176.90/175.33	c cleaning 22004 clauses out of 44010 with flag 553228/1031842
178.80/177.23	c cleaning 22992 clauses out of 46005 with flag 607102/1055843
181.80/180.29	c cleaning 23987 clauses out of 48013 with flag 657376/1080843
183.90/182.31	c cleaning 25010 clauses out of 50028 with flag 713521/1106845
186.30/184.80	c cleaning 26001 clauses out of 52017 with flag 785233/1133844
191.10/189.58	c cleaning 27000 clauses out of 54014 with flag 841231/1161842
195.90/194.39	c cleaning 28000 clauses out of 56015 with flag 899233/1190843
201.70/200.13	c cleaning 29004 clauses out of 58014 with flag 959232/1220842
208.00/206.45	c cleaning 30000 clauses out of 60010 with flag 1021232/1251842
215.00/213.41	c cleaning 31000 clauses out of 62010 with flag 1085232/1283842
222.46/220.82	c cleaning 32002 clauses out of 64011 with flag 1151234/1316843
230.56/228.97	c cleaning 32996 clauses out of 66008 with flag 1219235/1350842
240.05/238.41	c cleaning 33997 clauses out of 68013 with flag 1289239/1385843
251.15/249.56	c cleaning 35001 clauses out of 70015 with flag 1361237/1421842
253.66/252.05	c Got one! Elapsed wall clock time (in seconds):251.929
253.66/252.05	o 161
253.96/252.32	c cleaning 36427 clauses out of 72861 with flag 10264/1459690
254.26/252.62	c cleaning 21207 clauses out of 42432 with flag 22260/1465688
254.56/252.98	c cleaning 14100 clauses out of 28225 with flag 36260/1472688
255.06/253.44	c cleaning 11043 clauses out of 22126 with flag 52263/1480689
255.56/253.97	c cleaning 10021 clauses out of 20082 with flag 70262/1489688
256.26/254.63	c cleaning 10017 clauses out of 20063 with flag 90267/1499690
257.06/255.42	c cleaning 10517 clauses out of 21044 with flag 112265/1510688
257.96/256.38	c cleaning 11261 clauses out of 22527 with flag 136290/1522688
259.17/257.54	c cleaning 12130 clauses out of 24266 with flag 162291/1535688
260.67/259.00	c cleaning 13063 clauses out of 26136 with flag 190292/1549688
262.37/260.78	c cleaning 14033 clauses out of 28073 with flag 220427/1564688
264.47/262.87	c cleaning 15017 clauses out of 30042 with flag 252516/1580690
266.87/265.25	c cleaning 16007 clauses out of 32023 with flag 286533/1597688
269.57/267.96	c cleaning 17006 clauses out of 34016 with flag 322533/1615688
272.87/271.20	c cleaning 18000 clauses out of 36011 with flag 360535/1634689
276.37/274.75	c cleaning 19000 clauses out of 38012 with flag 400540/1654690
280.37/278.70	c cleaning 20000 clauses out of 40010 with flag 442536/1675688
284.57/282.98	c cleaning 21001 clauses out of 42010 with flag 486536/1697688
289.87/288.23	c cleaning 21997 clauses out of 44009 with flag 534012/1720688
295.48/293.82	c cleaning 23003 clauses out of 46013 with flag 582563/1744689
301.72/300.01	c cleaning 24005 clauses out of 48011 with flag 632566/1769690
308.72/307.07	c cleaning 24995 clauses out of 50005 with flag 684565/1795689
316.71/315.02	c cleaning 26001 clauses out of 52009 with flag 738767/1822688
324.91/323.27	c cleaning 27000 clauses out of 54009 with flag 794869/1850689
334.02/332.39	c cleaning 28004 clauses out of 56009 with flag 852869/1879689
343.82/342.14	c cleaning 28999 clauses out of 58005 with flag 912877/1909689
354.82/353.16	c cleaning 30002 clauses out of 60008 with flag 974892/1940691
367.11/365.46	c cleaning 30992 clauses out of 62003 with flag 1038891/1972688
381.32/379.64	c cleaning 32004 clauses out of 64011 with flag 1104896/2005688
397.92/396.20	c cleaning 33003 clauses out of 66007 with flag 1173003/2039688
411.02/409.31	c cleaning 34001 clauses out of 68005 with flag 1243200/2074689
428.42/426.76	c cleaning 35002 clauses out of 70005 with flag 1317249/2110690
443.43/441.76	c cleaning 36000 clauses out of 72002 with flag 1393385/2147689
461.64/459.90	c cleaning 37000 clauses out of 74002 with flag 1472419/2185689
479.34/477.61	c cleaning 37998 clauses out of 76001 with flag 1553335/2224688
493.73/492.02	c cleaning 38996 clauses out of 78003 with flag 1634696/2264688
508.99/507.21	c cleaning 40004 clauses out of 80007 with flag 1716834/2305688
525.07/523.37	c cleaning 41003 clauses out of 82005 with flag 1800982/2347690
543.97/542.30	c cleaning 41993 clauses out of 84000 with flag 1890984/2390688
561.09/559.34	c cleaning 43001 clauses out of 86008 with flag 1979719/2434689
580.79/579.08	c cleaning 44004 clauses out of 88007 with flag 2070682/2479689
602.51/600.71	c cleaning 44999 clauses out of 90003 with flag 2164040/2525689
626.02/624.27	c cleaning 46003 clauses out of 92005 with flag 2259987/2572690
649.60/647.73	c cleaning 46999 clauses out of 93998 with flag 2360978/2620688
650.91/649.08	c Got one! Elapsed wall clock time (in seconds):648.949
650.91/649.08	o 149
651.35/649.46	c cleaning 35026 clauses out of 70062 with flag 22077/2643752
651.84/649.96	c cleaning 20517 clauses out of 41037 with flag 46615/2649754
652.15/650.29	c cleaning 13729 clauses out of 27519 with flag 62097/2656753
652.65/650.73	c cleaning 10861 clauses out of 21790 with flag 78103/2664753
653.25/651.31	c cleaning 9924 clauses out of 19928 with flag 96116/2673752
653.95/652.01	c cleaning 9977 clauses out of 20004 with flag 116122/2683752
654.65/652.79	c cleaning 10489 clauses out of 21027 with flag 138231/2694752
655.55/653.69	c cleaning 11251 clauses out of 22538 with flag 162235/2706752
656.75/654.88	c cleaning 12121 clauses out of 24287 with flag 188656/2719752
658.24/656.37	c cleaning 13058 clauses out of 26166 with flag 217099/2733752
660.05/658.19	c cleaning 14032 clauses out of 28108 with flag 247111/2748752
662.05/660.20	c cleaning 15015 clauses out of 30077 with flag 279126/2764753
664.45/662.53	c cleaning 16001 clauses out of 32061 with flag 313131/2781752
666.96/665.06	c cleaning 17019 clauses out of 34061 with flag 349135/2799753
669.86/667.94	c cleaning 17996 clauses out of 36042 with flag 387135/2818753
672.97/671.06	c cleaning 18997 clauses out of 38046 with flag 427135/2838753
676.56/674.67	c cleaning 19992 clauses out of 40048 with flag 469133/2859752
680.96/679.04	c cleaning 21015 clauses out of 42057 with flag 513138/2881753
685.86/683.96	c cleaning 22004 clauses out of 44042 with flag 559143/2904753
691.06/689.18	c cleaning 23001 clauses out of 46037 with flag 607141/2928752
696.56/694.63	c cleaning 23992 clauses out of 48036 with flag 657154/2953752
702.36/700.41	c cleaning 24993 clauses out of 50044 with flag 709159/2979752
708.76/706.86	c cleaning 25997 clauses out of 52054 with flag 763182/3006755
715.87/713.99	c cleaning 27011 clauses out of 54055 with flag 819180/3034753
723.67/721.77	c cleaning 27995 clauses out of 56043 with flag 877181/3063752
732.57/730.69	c cleaning 28997 clauses out of 58049 with flag 937184/3093753
742.06/740.14	c cleaning 29996 clauses out of 60053 with flag 999191/3124754
751.96/750.07	c cleaning 31013 clauses out of 62055 with flag 1063189/3156752
763.66/761.71	c cleaning 32007 clauses out of 64042 with flag 1129193/3189752
776.26/774.34	c cleaning 32991 clauses out of 66035 with flag 1197203/3223752
789.76/787.81	c cleaning 33998 clauses out of 68045 with flag 1267211/3258753
804.73/802.73	c cleaning 34998 clauses out of 70046 with flag 1339210/3294752
821.13/819.17	c cleaning 35993 clauses out of 72049 with flag 1413215/3331753
839.13/837.16	c cleaning 37007 clauses out of 74056 with flag 1489222/3369753
859.14/857.14	c cleaning 37999 clauses out of 76049 with flag 1567225/3408753
880.64/878.60	c cleaning 38995 clauses out of 78049 with flag 1647224/3448752
903.23/901.25	c cleaning 40003 clauses out of 80057 with flag 1729232/3489755
927.34/925.32	c cleaning 40991 clauses out of 82052 with flag 1813258/3531753
951.04/949.08	c cleaning 42004 clauses out of 84062 with flag 1899266/3574754
977.54/975.59	c cleaning 43005 clauses out of 86057 with flag 1987283/3618753
1005.65/1003.67	c cleaning 44001 clauses out of 88051 with flag 2077323/3663752
1033.75/1031.72	c cleaning 44999 clauses out of 90051 with flag 2169338/3709753
1064.36/1062.36	c cleaning 46000 clauses out of 92052 with flag 2263345/3756753
1098.16/1096.03	c cleaning 46997 clauses out of 94052 with flag 2359356/3804753
1133.17/1131.07	c cleaning 48000 clauses out of 96055 with flag 2457424/3853753
1170.97/1168.80	c cleaning 48997 clauses out of 98055 with flag 2557443/3903753
1207.38/1205.26	c cleaning 50002 clauses out of 100058 with flag 2659450/3954753
1246.08/1243.90	c cleaning 50997 clauses out of 102056 with flag 2763452/4006753
1287.39/1285.29	c cleaning 51999 clauses out of 104059 with flag 2869453/4059753
1331.19/1329.02	c cleaning 52997 clauses out of 106059 with flag 2977460/4113752
1374.10/1371.90	c cleaning 54007 clauses out of 108063 with flag 3087473/4168753
1420.63/1418.33	c cleaning 55002 clauses out of 110056 with flag 3199474/4224753
1469.94/1467.62	c cleaning 56002 clauses out of 112054 with flag 3313480/4281753
1527.25/1524.98	c cleaning 57001 clauses out of 114052 with flag 3429480/4339753
1590.37/1588.04	c cleaning 57988 clauses out of 116050 with flag 3547563/4398752
1655.17/1652.85	c cleaning 58998 clauses out of 118062 with flag 3667567/4458752
1727.68/1725.39	c cleaning 60005 clauses out of 120064 with flag 3789581/4519752
1800.09/1797.70	c starts		: 439
1800.09/1797.70	c conflicts		: 4579210
1800.09/1797.70	c decisions		: 4738838
1800.09/1797.70	c propagations		: 35698315
1800.09/1797.70	c inspects		: 39633920112
1800.09/1797.70	c shortcuts		: 0
1800.09/1797.70	c learnt literals	: 52
1800.09/1797.70	c learnt binary clauses	: 4
1800.09/1797.70	c learnt ternary clauses	: 36
1800.09/1797.70	c learnt constraints	: 4579158
1800.09/1797.70	c ignored constraints	: 0
1800.09/1797.70	c root simplifications	: 0
1800.09/1797.70	c removed literals (reason simplification)	: 0
1800.09/1797.70	c reason swapping (by a shorter reason)	: 0
1800.09/1797.70	c Calls to reduceDB	: 178
1800.09/1797.70	c Number of update (reduction) of LBD	: 61383
1800.09/1797.70	c Imported unit clauses	: 0
1800.09/1797.70	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.70	c number of learned constraints concerned by reduction	: 0
1800.09/1797.70	c number of learning phase by resolution	: 0
1800.09/1797.70	c number of learning phase by cutting planes	: 0
1800.09/1797.70	c speed (assignments/second)	: 19861.097063033863
1800.09/1797.70	c non guided choices	34954
1800.09/1797.73	c learnt constraints type 
1800.09/1797.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
1800.09/1797.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 119514
1800.09/1797.73	s SATISFIABLE
1800.09/1797.73	c Found 4 solution(s)
1800.09/1797.74	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 x24 -x25 -x26 -x27 -x28 x29 x30 -x31 -x32 -x33 x34 -x35 x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 x96 x97 -x98 -x99 -x100 x101 x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 x285 -x286 x287 -x288 -x289 x290 x291 x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 x346 x347 x348 x349 x350 -x351 -x352 x353 x354 x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 x424 -x425 -x426 x427 -x428 -x429 x430 x431 -x432 x433 -x434 x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 x497 x498 x499 -x500 x501 x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 x575 -x576 -x577 -x578 x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 x587 x588 x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 x861 -x862 -x863 x864 x865 -x866 x867 -x868 -x869 x870 -x871 x872 -x873 x874 -x875 -x876 x877 x878 x879 -x880 -x881 x882 x883 -x884 -x885 -x886 x887 x888 x889 -x890 x891 x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 x908 x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 x935 x936 x937 -x938 -x939 x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 x977 -x978 -x979 -x980 -x981 x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 x1094 -x1095 x1096 x1097 x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 x1111 x1112 -x1113 x1114 -x1115 x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 x1136 x1137 -x1138 -x1139 x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 x1204 -x1205 -x1206 x1207 x1208 x1209 x1210 x1211 x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 -x1241 x1242 -x1243 -x1244 x1245 -x1246 -x1247 x1248 x1249 -x1250 x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 x1277 x1278 x1279 x1280 x1281 -x1282 x1283 -x1284 x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 x1335 x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 x1361 -x1362 -x1363 -x1364 x1365 x1366 -x1367 x1368 -x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 x1396 x1397 -x1398 -x1399 x1400 x1401 -x1402 x1403 x1404 -x1405 -x1406 -x1407 x1408 x1409 x1410 -x1411 x1412 x1413 -x1414 x1415 -x1416 -x1417 x1418 -x1419 -x1420 x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 x1467 x1468 x1469 x1470 x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 x1512 x1513 -x1514 -x1515 x1516 x1517 x1518 x1519 -x1520 x1521 x1522 -x1523 x1524 -x1525 x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 x1668 x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 x1710 -x1711 x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 x1738 x1739 x1740 x1741 -x1742 x1743 x1744 x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 x1757 x1758 x1759 -x1760 -x1761 -x1762 -x1763 x1764 x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 x1777 x1778 -x1779 -x1780 x1781 x1782 x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 x1945 -x1946 x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 x1962 -x1963 x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 x1979 -x1980 x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 x1996 -x1997 x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 x2042 x2043 x2044 x2045 x2046 x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 x2096 x2097 x2098 -x2099 -x2100 -x2101 -x2102 x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 x2118 x2119 x2120 -x2121 x2122 x2123 x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 x2196 -x2197 x2198 x2199 x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 x2260 x2261 x2262 x2263 -x2264 x2265 -x2266 -x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 x2276 x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 x2330 x2331 -x2332 -x2333 x2334 -x2335 -x2336 x2337 -x2338 x2339 -x2340 -x2341 x2342 x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 x2398 -x2399 x2400 -x2401 -x2402 x2403 -x2404 -x2405 x2406 x2407 x2408 -x2409 x2410 -x2411 -x2412 -x2413 x2414 x2415 x2416 x2417 x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 x2483 -x2484 -x2485 x2486 x2487 -x2488 -x2489 -x2490 x2491 x2492 x2493 -x2494 x2495 x2496 -x2497 x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 x2558 x2559 x2560 x2561 x2562 -x2563 x2564 x2565 -x2566 -x2567 x2568 -x2569 -x2570 x2571 x2572 -x2573 x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 x2627 -x2628 x2629 -x2630 x2631 -x2632 -x2633 x2634 -x2635 -x2636 x2637 x2638 -x2639 x2640 -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 
1800.09/1797.74	c objective function=149
1800.09/1797.74	c Total wall clock time (in seconds): 1797.616

Verifier Data 

OK	149

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-4099800-1466207893/watcher-4099800-1466207893 -o /tmp/evaluation-result-4099800-1466207893/solver-4099800-1466207893 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099800-1466207893.opb 

pid=3087
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.03 2.00 1.68 3/194 3090
/proc/meminfo: memFree=31547392/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/3090/stat : 3090 (java) R 3087 3090 2916 0 -1 4202496 702 0 0 0 0 0 0 0 20 0 1 0 22839829 23793664 352 33554432000 1073741824 1073778376 140737202668240 140737202657304 249640827443 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 5809 364 280 9 0 128 0

[startup+0.100182 s]
/proc/loadavg: 2.03 2.00 1.68 3/194 3090
/proc/meminfo: memFree=31547392/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 3888 0 1 0 6 1 0 0 20 0 18 0 22839829 9787879424 5019 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2389619 5019 2002 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200233 s]
/proc/loadavg: 2.03 2.00 1.68 3/194 3090
/proc/meminfo: memFree=31547392/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 4857 0 1 0 23 1 0 0 20 0 18 0 22839829 9787879424 6928 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2389619 6928 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300218 s]
/proc/loadavg: 2.03 2.00 1.68 3/194 3090
/proc/meminfo: memFree=31547392/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 8999 0 1 0 50 2 0 0 20 0 18 0 22839829 9787879424 10877 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2389619 10877 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700291 s]
/proc/loadavg: 2.03 2.00 1.68 3/194 3090
/proc/meminfo: memFree=31547392/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 12874 0 1 0 154 2 0 0 20 0 19 0 22839829 9856040960 12932 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2406260 12932 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9625040

[startup+1.50067 s]
/proc/loadavg: 2.03 2.00 1.68 3/213 3109
/proc/meminfo: memFree=31501476/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 12885 0 1 0 239 3 0 0 20 0 19 0 22839829 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2406260 13896 2261 9 0 2396937 0
[pid=3090/tid=3092] ppid=3087 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/3090/task/3092/stat : 3092 (java) R 3087 3090 2916 0 -1 4202560 2419 0 1 0 143 1 0 0 20 0 19 0 22839830 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139893139960176 139893007839152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3093] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3093/stat : 3093 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139893129022248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3094] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3094/stat : 3094 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139893127969448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3095] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3095/stat : 3095 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139893126917160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3096] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3096/stat : 3096 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139893125864360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3097] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3097/stat : 3097 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892979611944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3098] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3098/stat : 3098 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892978559144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3099] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3099/stat : 3099 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892977506856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3100] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3100/stat : 3100 (java) S 3087 3090 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892976454056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3101] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3101/stat : 3101 (java) S 3087 3090 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892964043496 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3102] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3102/stat : 3102 (java) S 3087 3090 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892962989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3103] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3103/stat : 3103 (java) S 3087 3090 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892961937160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3104] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3104/stat : 3104 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892960885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3105] ppid=3087 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/3090/task/3105/stat : 3105 (java) S 3087 3090 2916 0 -1 4202560 4711 0 0 0 46 0 0 0 20 0 19 0 22839837 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892959832248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3106] ppid=3087 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/3090/task/3106/stat : 3106 (java) S 3087 3090 2916 0 -1 4202560 4479 0 0 0 47 0 0 0 20 0 19 0 22839837 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892958779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3107] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3107/stat : 3107 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892957727352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3108] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3108/stat : 3108 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892956674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3109] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3109/stat : 3109 (java) S 3087 3090 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22839860 9856040960 13896 33554432000 1073741824 1073778376 140737202668240 139892955620776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.03 2.00 1.68 3/191 3146
/proc/meminfo: memFree=31820052/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9625040 CPUtime=4.06 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 12888 0 1 0 403 3 0 0 20 0 19 0 22839829 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2406260 14921 2261 9 0 2396937 0
[pid=3090/tid=3092] ppid=3087 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/3090/task/3092/stat : 3092 (java) R 3087 3090 2916 0 -1 4202560 2421 0 1 0 302 1 0 0 20 0 19 0 22839830 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139893139960136 139893007838749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3093] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3093/stat : 3093 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139893129022248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3094] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3094/stat : 3094 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139893127969448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3095] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3095/stat : 3095 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139893126917160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3096] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3096/stat : 3096 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139893125864360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3097] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3097/stat : 3097 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892979611944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3098] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3098/stat : 3098 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892978559144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3099] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3099/stat : 3099 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892977506856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3100] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3100/stat : 3100 (java) S 3087 3090 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892976454056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3101] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3101/stat : 3101 (java) S 3087 3090 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892964043496 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3102] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3102/stat : 3102 (java) S 3087 3090 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892962989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3103] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3103/stat : 3103 (java) S 3087 3090 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892961937160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3104] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3104/stat : 3104 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892960885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3105] ppid=3087 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/3090/task/3105/stat : 3105 (java) S 3087 3090 2916 0 -1 4202560 4712 0 0 0 50 0 0 0 20 0 19 0 22839837 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892959832248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3106] ppid=3087 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/3090/task/3106/stat : 3106 (java) S 3087 3090 2916 0 -1 4202560 4479 0 0 0 48 0 0 0 20 0 19 0 22839837 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892958779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3107] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3107/stat : 3107 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892957727352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3108] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3108/stat : 3108 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892956674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3109] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3109/stat : 3109 (java) S 3087 3090 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22839860 9856040960 14921 33554432000 1073741824 1073778376 140737202668240 139892955620776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.03 2.00 1.68 4/213 3175
/proc/meminfo: memFree=31475668/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9625040 CPUtime=7.26 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 12893 0 1 0 723 3 0 0 20 0 19 0 22839829 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2406260 16442 2262 9 0 2396937 0
[pid=3090/tid=3092] ppid=3087 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/3090/task/3092/stat : 3092 (java) R 3087 3090 2916 0 -1 4202560 2425 0 1 0 621 1 0 0 20 0 19 0 22839830 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139893139951312 139893007838744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3093] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3093/stat : 3093 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139893129022248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3094] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3094/stat : 3094 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139893127969448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3095] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3095/stat : 3095 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139893126917160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3096] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3096/stat : 3096 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139893125864360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3097] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3097/stat : 3097 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892979611944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3098] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3098/stat : 3098 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892978559144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3099] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3099/stat : 3099 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892977506856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3100] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3100/stat : 3100 (java) S 3087 3090 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22839832 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892976454056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3101] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3101/stat : 3101 (java) S 3087 3090 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892964043496 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3102] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3102/stat : 3102 (java) S 3087 3090 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892962989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3103] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3103/stat : 3103 (java) S 3087 3090 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892961937160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3104] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3104/stat : 3104 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892960885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3105] ppid=3087 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/3090/task/3105/stat : 3105 (java) S 3087 3090 2916 0 -1 4202560 4712 0 0 0 50 0 0 0 20 0 19 0 22839837 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892959832248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3106] ppid=3087 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/3090/task/3106/stat : 3106 (java) S 3087 3090 2916 0 -1 4202560 4479 0 0 0 48 0 0 0 20 0 19 0 22839837 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892958779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3107] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3107/stat : 3107 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892957727352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3108] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3108/stat : 3108 (java) S 3087 3090 2916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892956674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3109] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3109/stat : 3109 (java) S 3087 3090 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22839860 9856040960 16442 33554432000 1073741824 1073778376 140737202668240 139892955620776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 9625040


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

[pid=3090/tid=3109] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3109/stat : 3109 (java) S 3087 3090 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22839860 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892955620776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.68
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/213 3308
/proc/meminfo: memFree=31051596/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9625040 CPUtime=1784.69 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 18225 0 1 0 178429 40 0 0 20 0 19 0 22839829 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2406260 73499 2279 9 0 2396937 0
[pid=3090/tid=3092] ppid=3087 vsize=9625040 CPUtime=1777.32 cores=0,2,4,6
/proc/3090/task/3092/stat : 3092 (java) R 3087 3090 2916 0 -1 4202560 2498 0 1 0 177702 30 0 0 20 0 19 0 22839830 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893139951296 139893008173663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3093] ppid=3087 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/3090/task/3093/stat : 3093 (java) S 3087 3090 2916 0 -1 4202560 182 0 0 0 7 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893129022248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3094] ppid=3087 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/3090/task/3094/stat : 3094 (java) S 3087 3090 2916 0 -1 4202560 21 0 0 0 6 1 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893127969448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3095] ppid=3087 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/3090/task/3095/stat : 3095 (java) S 3087 3090 2916 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893126917160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3096] ppid=3087 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/3090/task/3096/stat : 3096 (java) S 3087 3090 2916 0 -1 4202560 130 0 0 0 7 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893125864360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3097] ppid=3087 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/3090/task/3097/stat : 3097 (java) S 3087 3090 2916 0 -1 4202560 170 0 0 0 8 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892979611944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3098] ppid=3087 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/3090/task/3098/stat : 3098 (java) S 3087 3090 2916 0 -1 4202560 27 0 0 0 5 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892978559144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3099] ppid=3087 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/3090/task/3099/stat : 3099 (java) S 3087 3090 2916 0 -1 4202560 27 0 0 0 6 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892977506856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3100] ppid=3087 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/3090/task/3100/stat : 3100 (java) S 3087 3090 2916 0 -1 4202560 162 0 0 0 8 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892976454056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3101] ppid=3087 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/3090/task/3101/stat : 3101 (java) S 3087 3090 2916 0 -1 4202560 61 0 0 0 0 4 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892964043496 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3102] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3102/stat : 3102 (java) S 3087 3090 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892962989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3103] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3103/stat : 3103 (java) S 3087 3090 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892961937160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3104] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3104/stat : 3104 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892960885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3105] ppid=3087 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/3090/task/3105/stat : 3105 (java) S 3087 3090 2916 0 -1 4202560 4723 0 0 0 67 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892959832248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3106] ppid=3087 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/3090/task/3106/stat : 3106 (java) S 3087 3090 2916 0 -1 4202560 8842 0 0 0 107 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892958779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3107] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3107/stat : 3107 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892957727352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3108] ppid=3087 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/3090/task/3108/stat : 3108 (java) S 3087 3090 2916 0 -1 4202560 104 0 0 0 27 27 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892956674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3109] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3109/stat : 3109 (java) S 3087 3090 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22839860 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892955620776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.69
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 2.05 2.01 2.00 4/213 3308
/proc/meminfo: memFree=30650848/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 18225 0 1 0 179969 40 0 0 20 0 19 0 22839829 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2406260 73499 2279 9 0 2396937 0
[pid=3090/tid=3092] ppid=3087 vsize=9625040 CPUtime=1792.68 cores=0,2,4,6
/proc/3090/task/3092/stat : 3092 (java) R 3087 3090 2916 0 -1 4202560 2498 0 1 0 179238 30 0 0 20 0 19 0 22839830 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893139951296 139893008173663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3093] ppid=3087 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/3090/task/3093/stat : 3093 (java) S 3087 3090 2916 0 -1 4202560 182 0 0 0 7 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893129022248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3094] ppid=3087 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/3090/task/3094/stat : 3094 (java) S 3087 3090 2916 0 -1 4202560 21 0 0 0 6 1 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893127969448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3095] ppid=3087 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/3090/task/3095/stat : 3095 (java) S 3087 3090 2916 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893126917160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3096] ppid=3087 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/3090/task/3096/stat : 3096 (java) S 3087 3090 2916 0 -1 4202560 130 0 0 0 7 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893125864360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3097] ppid=3087 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/3090/task/3097/stat : 3097 (java) S 3087 3090 2916 0 -1 4202560 170 0 0 0 8 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892979611944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3098] ppid=3087 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/3090/task/3098/stat : 3098 (java) S 3087 3090 2916 0 -1 4202560 27 0 0 0 5 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892978559144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3099] ppid=3087 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/3090/task/3099/stat : 3099 (java) S 3087 3090 2916 0 -1 4202560 27 0 0 0 6 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892977506856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3100] ppid=3087 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/3090/task/3100/stat : 3100 (java) S 3087 3090 2916 0 -1 4202560 162 0 0 0 8 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892976454056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3101] ppid=3087 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/3090/task/3101/stat : 3101 (java) S 3087 3090 2916 0 -1 4202560 61 0 0 0 0 4 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892964043496 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3102] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3102/stat : 3102 (java) S 3087 3090 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892962989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3103] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3103/stat : 3103 (java) S 3087 3090 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892961937160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3104] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3104/stat : 3104 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892960885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3105] ppid=3087 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/3090/task/3105/stat : 3105 (java) S 3087 3090 2916 0 -1 4202560 4723 0 0 0 67 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892959832248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3106] ppid=3087 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/3090/task/3106/stat : 3106 (java) S 3087 3090 2916 0 -1 4202560 8842 0 0 0 107 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892958779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3107] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3107/stat : 3107 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892957727352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3108] ppid=3087 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/3090/task/3108/stat : 3108 (java) S 3087 3090 2916 0 -1 4202560 104 0 0 0 27 28 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892956674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3109] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3109/stat : 3109 (java) S 3087 3090 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22839860 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892955620776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1797.7 s]
/proc/loadavg: 2.05 2.01 2.00 4/213 3308
/proc/meminfo: memFree=30650848/32872528 swapFree=190484/190484
[pid=3090] ppid=3087 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/3090/stat : 3090 (java) S 3087 3090 2916 0 -1 4202496 18225 0 1 0 179969 40 0 0 20 0 19 0 22839829 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 140737202659376 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3090/statm: 2406260 73499 2279 9 0 2396937 0
[pid=3090/tid=3092] ppid=3087 vsize=9625040 CPUtime=1792.68 cores=0,2,4,6
/proc/3090/task/3092/stat : 3092 (java) R 3087 3090 2916 0 -1 4202560 2498 0 1 0 179238 30 0 0 20 0 19 0 22839830 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893139951296 139893008173663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3093] ppid=3087 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/3090/task/3093/stat : 3093 (java) S 3087 3090 2916 0 -1 4202560 182 0 0 0 7 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893129022248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3094] ppid=3087 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/3090/task/3094/stat : 3094 (java) S 3087 3090 2916 0 -1 4202560 21 0 0 0 6 1 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893127969448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3095] ppid=3087 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/3090/task/3095/stat : 3095 (java) S 3087 3090 2916 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893126917160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3096] ppid=3087 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/3090/task/3096/stat : 3096 (java) S 3087 3090 2916 0 -1 4202560 130 0 0 0 7 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139893125864360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3097] ppid=3087 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/3090/task/3097/stat : 3097 (java) S 3087 3090 2916 0 -1 4202560 170 0 0 0 8 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892979611944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3098] ppid=3087 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/3090/task/3098/stat : 3098 (java) S 3087 3090 2916 0 -1 4202560 27 0 0 0 5 2 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892978559144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3099] ppid=3087 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/3090/task/3099/stat : 3099 (java) S 3087 3090 2916 0 -1 4202560 27 0 0 0 6 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892977506856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3100] ppid=3087 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/3090/task/3100/stat : 3100 (java) S 3087 3090 2916 0 -1 4202560 162 0 0 0 8 0 0 0 20 0 19 0 22839832 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892976454056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3101] ppid=3087 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/3090/task/3101/stat : 3101 (java) S 3087 3090 2916 0 -1 4202560 61 0 0 0 0 4 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892964043496 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3102] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3102/stat : 3102 (java) S 3087 3090 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892962989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3103] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3103/stat : 3103 (java) S 3087 3090 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22839833 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892961937160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3090/tid=3104] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3104/stat : 3104 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892960885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3090/tid=3105] ppid=3087 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/3090/task/3105/stat : 3105 (java) S 3087 3090 2916 0 -1 4202560 4723 0 0 0 67 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892959832248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3106] ppid=3087 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/3090/task/3106/stat : 3106 (java) S 3087 3090 2916 0 -1 4202560 8842 0 0 0 107 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892958779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3107] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3107/stat : 3107 (java) S 3087 3090 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892957727352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3090/tid=3108] ppid=3087 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/3090/task/3108/stat : 3108 (java) S 3087 3090 2916 0 -1 4202560 104 0 0 0 27 28 0 0 20 0 19 0 22839837 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892956674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3090/tid=3109] ppid=3087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3090/task/3109/stat : 3109 (java) S 3087 3090 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22839860 9856040960 73499 33554432000 1073741824 1073778376 140737202668240 139892955620776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3090 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=149095
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=861868
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.76
CPU time (s): 1800.09
CPU user time (s): 1799.69
CPU system time (s): 0.4
CPU usage (%): 100.13
Max. virtual memory (cumulated for all children) (KiB): 9626660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.15
system time used= 0.861868
maximum resident set size= 294160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18273
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38324
involuntary context switches= 5775

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8134 second user time and 12.6621 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-18 01:58:13
IDJOB=4099800
IDBENCH=1524
IDSOLVER=2546
FILE ID=node102/4099800-1466207893
RUNJOBID= node102-1466206108-2932
PBS_JOBID= 19918170
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099800-1466207893/watcher-4099800-1466207893 -o /tmp/evaluation-result-4099800-1466207893/solver-4099800-1466207893 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4099800-1466207893.opb

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

MD5SUM BENCH= f81823d3f3bf1b9e5d936e06c7f51a9c
RANDOM SEED=1970073630

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31551760 kB
Buffers:           34976 kB
Cached:            64732 kB
SwapCached:         1856 kB
Active:           353704 kB
Inactive:          68052 kB
Active(anon):     322936 kB
Inactive(anon):     1460 kB
Active(file):      30768 kB
Inactive(file):    66592 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:               856 kB
Writeback:             4 kB
AnonPages:        520084 kB
Mapped:            15280 kB
Shmem:                 0 kB
Slab:             567612 kB
SReclaimable:      11824 kB
SUnreclaim:       555788 kB
KernelStack:        1584 kB
PageTables:         5596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     714204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 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= 71720 MiB
End job on node102 at 2016-06-18 02:28:11