Trace number 4104036

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)160502828 1800.07 1772.46

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-blend2.opb
MD5SUM583b02132cd61d8427630f4009f80dd3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark160502828
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33023540
Optimality of the best value was proved NO
Number of variables2944
Total number of constraints214
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints205
Minimum length of a constraint1
Maximum length of a constraint2659
Number of terms in the objective function 88
Biggest coefficient in the objective function 24014225
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 235593725
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 8935312239624192
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 1346963845029350184
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4104036-1466259510.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.56/0.37	c ... done. Wall clock time 0.26s.
0.56/0.37	c declared #vars     2944
0.56/0.37	c #constraints  303
0.56/0.37	c constraints type 
0.56/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 9
0.56/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14
0.56/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 280
0.56/0.37	c 303 constraints processed.
0.56/0.37	c objective function length is 88 literals
2.47/1.78	c cleaning 2501 clauses out of 5001 with flag 11783/5001
4.45/3.26	c cleaning 4250 clauses out of 8499 with flag 25037/11000
6.41/5.11	c cleaning 5623 clauses out of 11250 with flag 40857/18001
8.62/7.33	c cleaning 6810 clauses out of 13627 with flag 59291/26001
11.27/9.87	c cleaning 7903 clauses out of 15816 with flag 79055/35000
13.96/12.58	c cleaning 8951 clauses out of 17913 with flag 101161/45000
18.07/16.50	c cleaning 9981 clauses out of 19961 with flag 133961/56003
24.33/22.45	c cleaning 10984 clauses out of 21978 with flag 174524/68002
30.25/28.22	c cleaning 11998 clauses out of 23999 with flag 216212/81007
37.10/34.87	c cleaning 12991 clauses out of 25994 with flag 272747/95000
44.25/41.78	c cleaning 14002 clauses out of 28004 with flag 336887/110001
51.81/49.24	c cleaning 15004 clauses out of 30011 with flag 424794/126010
60.34/57.67	c cleaning 15958 clauses out of 31982 with flag 511893/143000
69.31/66.45	c cleaning 17001 clauses out of 34024 with flag 598528/161000
79.48/76.46	c cleaning 17995 clauses out of 36024 with flag 702835/180001
88.81/85.80	c SATISFIABLE
88.81/85.80	c OPTIMIZING...
88.81/85.80	c Got one! Elapsed wall clock time (in seconds):85.682
88.81/85.80	o 221844336
89.77/86.65	c Got one! Elapsed wall clock time (in seconds):86.539
89.77/86.65	o 161151355
91.07/87.91	c cleaning 20008 clauses out of 40015 with flag 21667/201991
93.98/90.80	c cleaning 12986 clauses out of 26008 with flag 51368/207992
96.94/93.79	c cleaning 10002 clauses out of 20019 with flag 85357/214989
100.24/97.01	c cleaning 8980 clauses out of 18014 with flag 124442/222986
103.86/100.70	c cleaning 8998 clauses out of 18036 with flag 162743/231988
108.20/104.97	c cleaning 9506 clauses out of 19036 with flag 207451/241986
113.85/110.52	c cleaning 10260 clauses out of 20530 with flag 268287/252986
119.57/116.23	c cleaning 11128 clauses out of 22270 with flag 332585/264986
125.23/121.87	c cleaning 12066 clauses out of 24142 with flag 392223/277986
131.56/128.16	c cleaning 13037 clauses out of 26079 with flag 458337/291989
137.91/134.42	c cleaning 13993 clauses out of 28040 with flag 527229/306987
145.14/141.64	c cleaning 15024 clauses out of 30050 with flag 607892/322990
153.00/149.44	c cleaning 16010 clauses out of 32025 with flag 692151/339989
161.96/158.30	c cleaning 17007 clauses out of 34014 with flag 787912/357988
171.86/168.12	c cleaning 17998 clauses out of 36005 with flag 885873/376986
181.53/177.75	c cleaning 18988 clauses out of 38007 with flag 988532/396986
192.59/188.71	c cleaning 20002 clauses out of 40024 with flag 1103399/417991
203.77/199.85	c cleaning 21011 clauses out of 42023 with flag 1218505/439992
215.31/211.28	c cleaning 21997 clauses out of 44007 with flag 1341671/462987
227.40/223.26	c cleaning 23001 clauses out of 46009 with flag 1460113/486986
239.75/235.46	c cleaning 23997 clauses out of 48008 with flag 1582661/511986
253.82/249.32	c cleaning 25005 clauses out of 50012 with flag 1720671/537987
267.66/263.02	c cleaning 25981 clauses out of 52006 with flag 1860070/564986
281.53/276.73	c cleaning 26983 clauses out of 54026 with flag 1994921/592987
296.48/291.47	c cleaning 27969 clauses out of 56030 with flag 2175967/621988
313.24/307.97	c cleaning 29014 clauses out of 58059 with flag 2419240/651986
332.26/326.66	c cleaning 30012 clauses out of 60045 with flag 2596119/682986
350.39/344.44	c cleaning 31005 clauses out of 62034 with flag 2738453/714987
368.68/362.46	c cleaning 32014 clauses out of 64032 with flag 2902058/747990
387.74/381.16	c cleaning 32971 clauses out of 66014 with flag 3116438/781986
408.18/401.24	c cleaning 33989 clauses out of 68043 with flag 3318953/816986
421.51/414.31	c Got one! Elapsed wall clock time (in seconds):414.192
421.51/414.31	o 160875034
424.01/416.84	c cleaning 31748 clauses out of 63499 with flag 27891/846435
427.04/419.84	c cleaning 18840 clauses out of 37751 with flag 58736/852435
430.47/423.28	c cleaning 12920 clauses out of 25911 with flag 92011/859435
434.30/427.09	c cleaning 10443 clauses out of 20991 with flag 126419/867435
438.64/431.37	c cleaning 9756 clauses out of 19556 with flag 167465/876443
443.59/436.24	c cleaning 9871 clauses out of 19792 with flag 214166/886435
448.79/441.42	c cleaning 10457 clauses out of 20921 with flag 259710/897435
454.14/446.77	c cleaning 11238 clauses out of 22477 with flag 305034/909448
460.39/452.92	c cleaning 12106 clauses out of 24226 with flag 360242/922435
467.25/459.79	c cleaning 13049 clauses out of 26120 with flag 424476/936435
474.53/466.98	c cleaning 14031 clauses out of 28071 with flag 493030/951435
481.82/474.12	c cleaning 15005 clauses out of 30041 with flag 560219/967436
489.94/482.19	c cleaning 16012 clauses out of 32038 with flag 630427/984438
498.54/490.65	c cleaning 17008 clauses out of 34025 with flag 709239/1002437
506.71/498.72	c cleaning 18009 clauses out of 36017 with flag 785298/1021437
515.55/507.48	c cleaning 19003 clauses out of 38006 with flag 862179/1041435
526.63/518.39	c cleaning 20002 clauses out of 40004 with flag 962775/1062436
538.10/529.66	c cleaning 20994 clauses out of 42002 with flag 1078298/1084436
549.47/540.88	c cleaning 21999 clauses out of 44007 with flag 1205410/1107435
560.44/551.67	c cleaning 22989 clauses out of 46008 with flag 1342612/1131435
572.56/563.51	c cleaning 23989 clauses out of 48020 with flag 1481182/1156436
585.36/576.12	c cleaning 25012 clauses out of 50030 with flag 1618427/1182435
599.86/590.42	c cleaning 26012 clauses out of 52026 with flag 1771888/1209443
614.10/604.40	c cleaning 26994 clauses out of 54007 with flag 1878692/1237436
629.17/619.27	c cleaning 27995 clauses out of 56013 with flag 1989286/1266436
644.84/634.62	c cleaning 28977 clauses out of 58022 with flag 2110925/1296440
661.59/651.12	c cleaning 30017 clauses out of 60042 with flag 2234719/1327437
678.33/667.67	c cleaning 31000 clauses out of 62024 with flag 2364971/1359436
696.05/685.16	c cleaning 31992 clauses out of 64024 with flag 2498272/1392436
714.64/703.43	c cleaning 33008 clauses out of 66032 with flag 2637269/1426436
718.39/707.10	c Got one! Elapsed wall clock time (in seconds):706.991
718.39/707.10	o 160646468
720.68/709.40	c cleaning 22801 clauses out of 45688 with flag 23897/1439106
724.02/712.67	c cleaning 14410 clauses out of 28888 with flag 53054/1445107
727.60/716.11	c cleaning 10723 clauses out of 21477 with flag 80754/1452106
731.47/719.91	c cleaning 9359 clauses out of 18754 with flag 113582/1460106
735.35/723.75	c cleaning 9186 clauses out of 18396 with flag 147767/1469107
739.93/728.28	c cleaning 9599 clauses out of 19209 with flag 190739/1479106
744.94/733.16	c cleaning 10276 clauses out of 20609 with flag 235249/1490105
750.93/739.01	c cleaning 11147 clauses out of 22335 with flag 285160/1502107
756.89/744.99	c cleaning 12094 clauses out of 24191 with flag 336274/1515110
763.78/751.72	c cleaning 13022 clauses out of 26092 with flag 392951/1529105
770.97/758.81	c cleaning 13994 clauses out of 28071 with flag 449339/1544106
778.55/766.38	c cleaning 15012 clauses out of 30077 with flag 514380/1560106
787.89/775.55	c cleaning 16007 clauses out of 32066 with flag 590695/1577107
797.85/785.36	c cleaning 17016 clauses out of 34058 with flag 671968/1595106
808.93/796.21	c cleaning 18020 clauses out of 36042 with flag 765562/1614106
820.20/807.31	c cleaning 18997 clauses out of 38022 with flag 851129/1634106
831.55/818.43	c cleaning 20011 clauses out of 40024 with flag 925099/1655105
843.12/829.83	c cleaning 20989 clauses out of 42015 with flag 999905/1677107
855.29/841.88	c cleaning 21991 clauses out of 44024 with flag 1084506/1700105
868.66/854.99	c cleaning 23014 clauses out of 46034 with flag 1172671/1724106
882.03/868.11	c cleaning 24004 clauses out of 48020 with flag 1259414/1749106
895.79/881.63	c cleaning 25010 clauses out of 50020 with flag 1353448/1775110
910.00/895.63	c cleaning 25986 clauses out of 52006 with flag 1450541/1802106
915.80/901.32	c Got one! Elapsed wall clock time (in seconds):901.21
915.80/901.32	o 160502828
918.50/903.97	c cleaning 21425 clauses out of 42855 with flag 18562/1818941
921.74/907.11	c cleaning 13705 clauses out of 27432 with flag 41720/1824943
925.09/910.48	c cleaning 10319 clauses out of 20726 with flag 67036/1831942
929.03/914.31	c cleaning 9171 clauses out of 18407 with flag 96531/1839942
933.35/918.53	c cleaning 9095 clauses out of 18235 with flag 125631/1848941
938.61/923.76	c cleaning 9571 clauses out of 19141 with flag 163969/1858942
944.37/929.41	c cleaning 10285 clauses out of 20569 with flag 209289/1869941
950.57/935.53	c cleaning 11134 clauses out of 22285 with flag 253358/1881942
956.94/941.82	c cleaning 12058 clauses out of 24150 with flag 299356/1894941
964.97/949.74	c cleaning 13013 clauses out of 26093 with flag 346529/1908942
973.27/957.92	c cleaning 14017 clauses out of 28079 with flag 397590/1923941
981.33/965.89	c cleaning 15029 clauses out of 30062 with flag 454252/1939941
990.08/974.46	c cleaning 16001 clauses out of 32033 with flag 509198/1956941
999.44/983.61	c cleaning 17015 clauses out of 34034 with flag 567696/1974943
1009.96/994.02	c cleaning 17983 clauses out of 36017 with flag 635816/1993941
1019.18/1003.11	c cleaning 19014 clauses out of 38037 with flag 703649/2013944
1030.17/1013.91	c cleaning 20005 clauses out of 40021 with flag 780187/2034942
1041.64/1025.22	c cleaning 21006 clauses out of 42016 with flag 859603/2056942
1052.98/1036.34	c cleaning 22005 clauses out of 44010 with flag 940214/2079942
1065.66/1048.87	c cleaning 23000 clauses out of 46004 with flag 1020326/2103941
1079.36/1062.31	c cleaning 23995 clauses out of 48007 with flag 1107867/2128944
1092.94/1075.78	c cleaning 24994 clauses out of 50011 with flag 1198006/2154943
1107.22/1089.83	c cleaning 26004 clauses out of 52015 with flag 1298313/2181941
1121.75/1104.14	c cleaning 26998 clauses out of 54014 with flag 1399452/2209944
1135.99/1118.01	c cleaning 28006 clauses out of 56013 with flag 1501612/2238941
1151.45/1133.25	c cleaning 28970 clauses out of 58007 with flag 1606331/2268941
1167.32/1148.93	c cleaning 30018 clauses out of 60040 with flag 1714285/2299944
1183.71/1165.04	c cleaning 31006 clauses out of 62019 with flag 1832010/2331941
1201.43/1182.57	c cleaning 31986 clauses out of 64015 with flag 1946665/2364943
1219.62/1200.59	c cleaning 32990 clauses out of 66031 with flag 2063608/2398945
1238.83/1219.43	c cleaning 34013 clauses out of 68038 with flag 2206911/2433942
1257.27/1237.66	c cleaning 35012 clauses out of 70025 with flag 2342181/2469942
1276.87/1257.01	c cleaning 36008 clauses out of 72015 with flag 2466072/2506944
1296.49/1276.36	c cleaning 36981 clauses out of 74006 with flag 2589689/2544943
1317.67/1297.27	c cleaning 38011 clauses out of 76023 with flag 2714098/2583941
1338.97/1318.21	c cleaning 39007 clauses out of 78017 with flag 2838824/2623946
1359.27/1338.24	c cleaning 39999 clauses out of 80015 with flag 2966161/2664951
1380.85/1359.58	c cleaning 40990 clauses out of 82007 with flag 3097480/2706942
1401.95/1380.30	c cleaning 41994 clauses out of 84016 with flag 3223638/2749941
1424.68/1402.80	c cleaning 43001 clauses out of 86030 with flag 3354806/2793949
1444.57/1422.33	c cleaning 43987 clauses out of 88021 with flag 3483510/2838941
1466.19/1443.63	c cleaning 45017 clauses out of 90036 with flag 3619621/2884943
1488.18/1465.21	c cleaning 45995 clauses out of 92021 with flag 3746802/2931945
1511.61/1488.34	c cleaning 46998 clauses out of 94026 with flag 3882219/2979945
1535.78/1512.12	c cleaning 48008 clauses out of 96026 with flag 4015890/3028943
1563.03/1538.96	c cleaning 48997 clauses out of 98016 with flag 4179576/3078941
1592.61/1567.99	c cleaning 49987 clauses out of 100020 with flag 4341699/3129942
1623.64/1598.56	c cleaning 51008 clauses out of 102032 with flag 4505554/3181941
1652.60/1627.19	c cleaning 52010 clauses out of 104028 with flag 4676247/3234945
1681.47/1655.57	c cleaning 52994 clauses out of 106014 with flag 4849008/3288941
1711.42/1685.17	c cleaning 54001 clauses out of 108022 with flag 5023965/3343943
1744.24/1717.56	c cleaning 54982 clauses out of 110019 with flag 5190395/3399941
1775.74/1748.51	c cleaning 55996 clauses out of 112039 with flag 5375186/3456943
1800.07/1772.40	c starts		: 12678
1800.07/1772.40	c conflicts		: 3500309
1800.07/1772.40	c decisions		: 14723264
1800.07/1772.40	c propagations		: 429731595
1800.07/1772.40	c inspects		: 7177749997
1800.07/1772.40	c shortcuts		: 0
1800.07/1772.40	c learnt literals	: 48
1800.07/1772.40	c learnt binary clauses	: 250
1800.07/1772.40	c learnt ternary clauses	: 330
1800.07/1772.40	c learnt constraints	: 3500260
1800.07/1772.40	c ignored constraints	: 0
1800.07/1772.40	c root simplifications	: 0
1800.07/1772.40	c removed literals (reason simplification)	: 0
1800.07/1772.40	c reason swapping (by a shorter reason)	: 0
1800.07/1772.40	c Calls to reduceDB	: 152
1800.07/1772.40	c Number of update (reduction) of LBD	: 488269
1800.07/1772.40	c Imported unit clauses	: 0
1800.07/1772.40	c number of reductions to clauses (during analyze)	: 0
1800.07/1772.40	c number of learned constraints concerned by reduction	: 0
1800.07/1772.40	c number of learning phase by resolution	: 0
1800.07/1772.40	c number of learning phase by cutting planes	: 0
1800.07/1772.40	c speed (assignments/second)	: 242509.17595831203
1800.07/1772.40	c non guided choices	188
1800.07/1772.43	c learnt constraints type 
1800.07/1772.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 250
1800.07/1772.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 99159
1800.07/1772.43	s SATISFIABLE
1800.07/1772.43	c Found 5 solution(s)
1800.07/1772.44	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 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 x2791 x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 x2823 x2824 x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 x2850 -x2851 -x2852 x2853 -x2854 x2855 -x2856 x2857 x2858 -x2859 x2860 x2861 -x2862 x2863 -x2864 x2865 -x2866 x2867 -x2868 x2869 x2870 x2871 -x2872 x2873 -x2874 -x2875 -x2876 x2877 -x2878 x2879 -x2880 x2881 x2882 -x2883 x2884 -x2885 -x2886 x2887 -x2888 x2889 x2890 x2891 -x2892 x2893 x2894 x2895 x2896 -x2897 x2898 -x2899 x2900 x2901 x2902 -x2903 x2904 -x2905 -x2906 x2907 -x2908 x2909 -x2910 x2911 x2912 x2913 x2914 x2915 x2916 -x2917 -x2918 -x2919 -x2920 x2921 x2922 x2923 x2924 -x2925 x2926 x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 x2941 x2942 x2943 x2944 
1800.07/1772.44	c objective function=160502828
1800.07/1772.44	c Total wall clock time (in seconds): 1772.327

Verifier Data 

OK	160502828

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-4104036-1466259510/watcher-4104036-1466259510 -o /tmp/evaluation-result-4104036-1466259510/solver-4104036-1466259510 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466259510-25912 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4104036-1466259510.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.46 3.24 3/172 25930
/proc/meminfo: memFree=30527488/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/25930/stat : 25930 (java) D 25927 25930 20157 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 27997597 2560000 46 33554432000 1073741824 1073778376 140734365795680 140734365792808 214528257319 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.16 2.46 3.24 3/172 25930
/proc/meminfo: memFree=30527488/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 4449 0 1 0 8 1 0 0 20 0 18 0 27997597 9787879424 6075 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2389619 6075 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200201 s]
/proc/loadavg: 2.16 2.46 3.24 3/172 25930
/proc/meminfo: memFree=30527488/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 5221 0 1 0 27 1 0 0 20 0 18 0 27997597 9787879424 7252 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2389619 7252 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300205 s]
/proc/loadavg: 2.16 2.46 3.24 3/172 25930
/proc/meminfo: memFree=30527488/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9558476 CPUtime=0.56 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 10023 0 1 0 54 2 0 0 20 0 18 0 27997597 9787879424 12292 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2389619 12292 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700199 s]
/proc/loadavg: 2.16 2.46 3.24 3/172 25930
/proc/meminfo: memFree=30527488/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 10681 0 1 0 142 2 0 0 20 0 19 0 27997597 9856040960 18009 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2406260 18009 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.07 2.43 3.22 3/213 25978
/proc/meminfo: memFree=30369300/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9625040 CPUtime=2.27 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 10697 0 1 0 224 3 0 0 20 0 19 0 27997597 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2406260 24156 2259 9 0 2396937 0
[pid=25930/tid=25933] ppid=25927 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/25930/task/25933/stat : 25933 (java) R 25927 25930 20157 0 -1 4202560 2471 0 1 0 143 2 0 0 20 0 19 0 27997598 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334496696672 140334437165185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25938] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25938/stat : 25938 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334435429160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25939] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25939/stat : 25939 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334434376360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25940] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25940/stat : 25940 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334337834024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25941] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25941/stat : 25941 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334336781224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25942] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25942/stat : 25942 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334335727912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25943] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25943/stat : 25943 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334334675112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25944] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25944/stat : 25944 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334333622824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25945] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25945/stat : 25945 (java) S 25927 25930 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334332570024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25951] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25951/stat : 25951 (java) S 25927 25930 20157 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334320372456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25952] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25952/stat : 25952 (java) S 25927 25930 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334319318520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25953] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25953/stat : 25953 (java) S 25927 25930 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334318266120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25965] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25965/stat : 25965 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997603 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334317214608 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25966] ppid=25927 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25930/task/25966/stat : 25966 (java) S 25927 25930 20157 0 -1 4202560 4238 0 0 0 35 0 0 0 20 0 19 0 27997603 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334316161208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25967] ppid=25927 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/25930/task/25967/stat : 25967 (java) S 25927 25930 20157 0 -1 4202560 2710 0 0 0 43 0 0 0 20 0 19 0 27997604 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334315108408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25968] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25968/stat : 25968 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334314056312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25969] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25969/stat : 25969 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334313003720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25977] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25977/stat : 25977 (java) S 25927 25930 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27997636 9856040960 24156 33554432000 1073741824 1073778376 140734365795680 140334311949736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.07 2.43 3.22 3/213 25978
/proc/meminfo: memFree=30289244/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9625040 CPUtime=4.35 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 17696 0 1 0 430 5 0 0 20 0 19 0 27997597 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2406260 41447 2265 9 0 2396937 0
[pid=25930/tid=25933] ppid=25927 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/25930/task/25933/stat : 25933 (java) R 25927 25930 20157 0 -1 4202560 2498 0 1 0 302 3 0 0 20 0 19 0 27997598 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334496696776 140334437109944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25938] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25938/stat : 25938 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334435429160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25939] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25939/stat : 25939 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334434376360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25940] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25940/stat : 25940 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334337834024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25941] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25941/stat : 25941 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334336781224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25942] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25942/stat : 25942 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334335727912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25943] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25943/stat : 25943 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334334675112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25944] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25944/stat : 25944 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334333622824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25945] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25945/stat : 25945 (java) S 25927 25930 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334332570024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25951] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25951/stat : 25951 (java) S 25927 25930 20157 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334320372456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25952] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25952/stat : 25952 (java) S 25927 25930 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334319318520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25953] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25953/stat : 25953 (java) S 25927 25930 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334318266120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25965] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25965/stat : 25965 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997603 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334317214608 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25966] ppid=25927 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/25930/task/25966/stat : 25966 (java) S 25927 25930 20157 0 -1 4202560 4241 0 0 0 36 0 0 0 20 0 19 0 27997603 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334316161208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25967] ppid=25927 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/25930/task/25967/stat : 25967 (java) S 25927 25930 20157 0 -1 4202560 9679 0 0 0 87 2 0 0 20 0 19 0 27997604 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334315108408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25968] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25968/stat : 25968 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334314056312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25969] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25969/stat : 25969 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334313003720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25977] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25977/stat : 25977 (java) S 25927 25930 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27997636 9856040960 41447 33554432000 1073741824 1073778376 140734365795680 140334311949736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.07 2.43 3.22 3/213 25978
/proc/meminfo: memFree=30163196/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9625040 CPUtime=7.62 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 17789 0 1 0 753 9 0 0 20 0 19 0 27997597 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2406260 54778 2279 9 0 2396937 0
[pid=25930/tid=25933] ppid=25927 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/25930/task/25933/stat : 25933 (java) R 25927 25930 20157 0 -1 4202560 2513 0 1 0 619 3 0 0 20 0 19 0 27997598 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334496689872 140334437010011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25938] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25938/stat : 25938 (java) S 25927 25930 20157 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334435429160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25939] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25939/stat : 25939 (java) S 25927 25930 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334434376360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25940] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25940/stat : 25940 (java) S 25927 25930 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334337834024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25941] ppid=25927 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25930/task/25941/stat : 25941 (java) S 25927 25930 20157 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 19 0 27997600 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334336781224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25942] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25942/stat : 25942 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334335727912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25943] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25943/stat : 25943 (java) S 25927 25930 20157 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334334675112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25944] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25944/stat : 25944 (java) S 25927 25930 20157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334333622824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25945] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25945/stat : 25945 (java) S 25927 25930 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27997600 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334332570024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25951] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25951/stat : 25951 (java) S 25927 25930 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334320372456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25952] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25952/stat : 25952 (java) S 25927 25930 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334319318520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25953] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25953/stat : 25953 (java) S 25927 25930 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334318266120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25965] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25965/stat : 25965 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997603 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334317214608 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25966] ppid=25927 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/25930/task/25966/stat : 25966 (java) S 25927 25930 20157 0 -1 4202560 4241 0 0 0 37 0 0 0 20 0 19 0 27997603 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334316161208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25967] ppid=25927 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/25930/task/25967/stat : 25967 (java) S 25927 25930 20157 0 -1 4202560 9679 0 0 0 87 2 0 0 20 0 19 0 27997604 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334315108408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25968] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25968/stat : 25968 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334314056312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25969] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25969/stat : 25969 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334313003720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25977] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25977/stat : 25977 (java) S 25927 25930 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27997636 9856040960 54778 33554432000 1073741824 1073778376 140734365795680 140334311949736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 9625040


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

[pid=25930/tid=25977] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25977/stat : 25977 (java) S 25927 25930 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27997636 9856040960 145839 33554432000 1073741824 1073778376 140734365795680 140334311949736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1627.45
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.17 2.18 2.33 3/213 26019
/proc/meminfo: memFree=29474356/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9625040 CPUtime=1688.33 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 54928 0 1 0 168545 288 0 0 20 0 19 0 27997597 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2406260 135466 2288 9 0 2396937 0
[pid=25930/tid=25933] ppid=25927 vsize=9625040 CPUtime=1643.02 cores=1,3,5,7
/proc/25930/task/25933/stat : 25933 (java) R 25927 25930 20157 0 -1 4202560 3331 0 1 0 164270 32 0 0 20 0 19 0 27997598 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334496697504 140334437030753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25938] ppid=25927 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/25930/task/25938/stat : 25938 (java) S 25927 25930 20157 0 -1 4202560 3606 0 0 0 396 30 0 0 20 0 19 0 27997600 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334435429160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25939] ppid=25927 vsize=9625040 CPUtime=4.47 cores=1,3,5,7
/proc/25930/task/25939/stat : 25939 (java) S 25927 25930 20157 0 -1 4202560 4598 0 0 0 415 32 0 0 20 0 19 0 27997600 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334434376360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25940] ppid=25927 vsize=9625040 CPUtime=4.45 cores=1,3,5,7
/proc/25930/task/25940/stat : 25940 (java) S 25927 25930 20157 0 -1 4202560 4814 0 0 0 412 33 0 0 20 0 19 0 27997600 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334337834024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25941] ppid=25927 vsize=9625040 CPUtime=4.41 cores=1,3,5,7
/proc/25930/task/25941/stat : 25941 (java) S 25927 25930 20157 0 -1 4202560 4389 0 0 0 408 33 0 0 20 0 19 0 27997600 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334336781224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25942] ppid=25927 vsize=9625040 CPUtime=4.35 cores=1,3,5,7
/proc/25930/task/25942/stat : 25942 (java) S 25927 25930 20157 0 -1 4202560 4341 0 0 0 405 30 0 0 20 0 19 0 27997600 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334335727912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25943] ppid=25927 vsize=9625040 CPUtime=4.58 cores=1,3,5,7
/proc/25930/task/25943/stat : 25943 (java) S 25927 25930 20157 0 -1 4202560 4869 0 0 0 429 29 0 0 20 0 19 0 27997600 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334334675112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25944] ppid=25927 vsize=9625040 CPUtime=4.37 cores=1,3,5,7
/proc/25930/task/25944/stat : 25944 (java) S 25927 25930 20157 0 -1 4202560 3798 0 0 0 410 27 0 0 20 0 19 0 27997600 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334333622824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25945] ppid=25927 vsize=9625040 CPUtime=4.37 cores=1,3,5,7
/proc/25930/task/25945/stat : 25945 (java) S 25927 25930 20157 0 -1 4202560 3548 0 0 0 406 31 0 0 20 0 19 0 27997600 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334332570024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25951] ppid=25927 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/25930/task/25951/stat : 25951 (java) S 25927 25930 20157 0 -1 4202560 1933 0 0 0 389 15 0 0 20 0 19 0 27997601 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334320372456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25952] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25952/stat : 25952 (java) S 25927 25930 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334319318520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25953] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25953/stat : 25953 (java) S 25927 25930 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334318266120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25965] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25965/stat : 25965 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997603 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334317214608 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25966] ppid=25927 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/25930/task/25966/stat : 25966 (java) S 25927 25930 20157 0 -1 4202560 4661 0 0 0 65 0 0 0 20 0 19 0 27997603 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334316161208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25967] ppid=25927 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/25930/task/25967/stat : 25967 (java) S 25927 25930 20157 0 -1 4202560 9680 0 0 0 94 2 0 0 20 0 19 0 27997604 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334315108408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25968] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25968/stat : 25968 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334314056312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25969] ppid=25927 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/25930/task/25969/stat : 25969 (java) S 25927 25930 20157 0 -1 4202560 96 0 0 0 21 23 0 0 20 0 19 0 27997604 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334313003720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25977] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25977/stat : 25977 (java) S 25927 25930 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27997636 9856040960 135466 33554432000 1073741824 1073778376 140734365795680 140334311949736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1688.33
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.38 2.26 2.35 3/213 26021
/proc/meminfo: memFree=29653116/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9625040 CPUtime=1749.13 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 55010 0 1 0 174621 292 0 0 20 0 19 0 27997597 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2406260 95497 2288 9 0 2396937 0
[pid=25930/tid=25933] ppid=25927 vsize=9625040 CPUtime=1702.27 cores=1,3,5,7
/proc/25930/task/25933/stat : 25933 (java) R 25927 25930 20157 0 -1 4202560 3357 0 1 0 170194 33 0 0 20 0 19 0 27997598 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334496697520 140334437030811 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25938] ppid=25927 vsize=9625040 CPUtime=4.41 cores=1,3,5,7
/proc/25930/task/25938/stat : 25938 (java) S 25927 25930 20157 0 -1 4202560 3608 0 0 0 411 30 0 0 20 0 19 0 27997600 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334435429160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25939] ppid=25927 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/25930/task/25939/stat : 25939 (java) S 25927 25930 20157 0 -1 4202560 4602 0 0 0 430 32 0 0 20 0 19 0 27997600 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334434376360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25940] ppid=25927 vsize=9625040 CPUtime=4.57 cores=1,3,5,7
/proc/25930/task/25940/stat : 25940 (java) S 25927 25930 20157 0 -1 4202560 4819 0 0 0 424 33 0 0 20 0 19 0 27997600 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334337834024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25941] ppid=25927 vsize=9625040 CPUtime=4.55 cores=1,3,5,7
/proc/25930/task/25941/stat : 25941 (java) S 25927 25930 20157 0 -1 4202560 4394 0 0 0 422 33 0 0 20 0 19 0 27997600 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334336781224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25942] ppid=25927 vsize=9625040 CPUtime=4.5 cores=1,3,5,7
/proc/25930/task/25942/stat : 25942 (java) S 25927 25930 20157 0 -1 4202560 4348 0 0 0 419 31 0 0 20 0 19 0 27997600 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334335727912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25943] ppid=25927 vsize=9625040 CPUtime=4.71 cores=1,3,5,7
/proc/25930/task/25943/stat : 25943 (java) S 25927 25930 20157 0 -1 4202560 4877 0 0 0 442 29 0 0 20 0 19 0 27997600 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334334675112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25944] ppid=25927 vsize=9625040 CPUtime=4.52 cores=1,3,5,7
/proc/25930/task/25944/stat : 25944 (java) S 25927 25930 20157 0 -1 4202560 3806 0 0 0 424 28 0 0 20 0 19 0 27997600 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334333622824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25945] ppid=25927 vsize=9625040 CPUtime=4.55 cores=1,3,5,7
/proc/25930/task/25945/stat : 25945 (java) S 25927 25930 20157 0 -1 4202560 3553 0 0 0 424 31 0 0 20 0 19 0 27997600 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334332570024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25951] ppid=25927 vsize=9625040 CPUtime=4.27 cores=1,3,5,7
/proc/25930/task/25951/stat : 25951 (java) S 25927 25930 20157 0 -1 4202560 1943 0 0 0 411 16 0 0 20 0 19 0 27997601 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334320372456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25952] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25952/stat : 25952 (java) S 25927 25930 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334319318520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25953] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25953/stat : 25953 (java) S 25927 25930 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334318266120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25965] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25965/stat : 25965 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997603 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334317214608 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25966] ppid=25927 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/25930/task/25966/stat : 25966 (java) S 25927 25930 20157 0 -1 4202560 4661 0 0 0 65 0 0 0 20 0 19 0 27997603 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334316161208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25967] ppid=25927 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/25930/task/25967/stat : 25967 (java) S 25927 25930 20157 0 -1 4202560 9680 0 0 0 94 2 0 0 20 0 19 0 27997604 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334315108408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25968] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25968/stat : 25968 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334314056312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25969] ppid=25927 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/25930/task/25969/stat : 25969 (java) S 25927 25930 20157 0 -1 4202560 98 0 0 0 22 24 0 0 20 0 19 0 27997604 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334313003720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25977] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25977/stat : 25977 (java) S 25927 25930 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27997636 9856040960 95497 33554432000 1073741824 1073778376 140734365795680 140334311949736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1749.13
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.4 s]
/proc/loadavg: 2.21 2.23 2.34 3/212 26022
/proc/meminfo: memFree=29540708/32872528 swapFree=1191052/1305516
[pid=25930] ppid=25927 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/25930/stat : 25930 (java) S 25927 25930 20157 0 -1 4202496 58049 0 1 0 179695 312 0 0 20 0 19 0 27997597 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140734365786816 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25930/statm: 2406260 140075 2288 9 0 2396937 0
[pid=25930/tid=25933] ppid=25927 vsize=9625040 CPUtime=1751.72 cores=1,3,5,7
/proc/25930/task/25933/stat : 25933 (java) R 25927 25930 20157 0 -1 4202560 3375 0 1 0 175138 34 0 0 20 0 19 0 27997598 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334496697504 140334437010035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25938] ppid=25927 vsize=9625040 CPUtime=4.57 cores=1,3,5,7
/proc/25930/task/25938/stat : 25938 (java) S 25927 25930 20157 0 -1 4202560 4068 0 0 0 424 33 0 0 20 0 19 0 27997600 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334435429160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25939] ppid=25927 vsize=9625040 CPUtime=4.76 cores=1,3,5,7
/proc/25930/task/25939/stat : 25939 (java) S 25927 25930 20157 0 -1 4202560 4777 0 0 0 441 35 0 0 20 0 19 0 27997600 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334434376360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25940] ppid=25927 vsize=9625040 CPUtime=4.71 cores=1,3,5,7
/proc/25930/task/25940/stat : 25940 (java) S 25927 25930 20157 0 -1 4202560 5125 0 0 0 435 36 0 0 20 0 19 0 27997600 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334337834024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25941] ppid=25927 vsize=9625040 CPUtime=4.67 cores=1,3,5,7
/proc/25930/task/25941/stat : 25941 (java) S 25927 25930 20157 0 -1 4202560 4468 0 0 0 433 34 0 0 20 0 19 0 27997600 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334336781224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25942] ppid=25927 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/25930/task/25942/stat : 25942 (java) S 25927 25930 20157 0 -1 4202560 4662 0 0 0 429 33 0 0 20 0 19 0 27997600 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334335727912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25943] ppid=25927 vsize=9625040 CPUtime=4.85 cores=1,3,5,7
/proc/25930/task/25943/stat : 25943 (java) S 25927 25930 20157 0 -1 4202560 5104 0 0 0 453 32 0 0 20 0 19 0 27997600 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334334675112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25944] ppid=25927 vsize=9625040 CPUtime=4.7 cores=1,3,5,7
/proc/25930/task/25944/stat : 25944 (java) S 25927 25930 20157 0 -1 4202560 4596 0 0 0 439 31 0 0 20 0 19 0 27997600 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334333622824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25930/tid=25945] ppid=25927 vsize=9625040 CPUtime=4.69 cores=1,3,5,7
/proc/25930/task/25945/stat : 25945 (java) S 25927 25930 20157 0 -1 4202560 4042 0 0 0 436 33 0 0 20 0 19 0 27997600 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334332570024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25930/tid=25951] ppid=25927 vsize=9625040 CPUtime=4.46 cores=1,3,5,7
/proc/25930/task/25951/stat : 25951 (java) S 25927 25930 20157 0 -1 4202560 2125 0 0 0 430 16 0 0 20 0 19 0 27997601 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334320372456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25952] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25952/stat : 25952 (java) S 25927 25930 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334319318520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25953] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25953/stat : 25953 (java) S 25927 25930 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27997601 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334318266120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25965] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25965/stat : 25965 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997603 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334317214608 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25966] ppid=25927 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/25930/task/25966/stat : 25966 (java) S 25927 25930 20157 0 -1 4202560 4661 0 0 0 65 0 0 0 20 0 19 0 27997603 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334316161208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25967] ppid=25927 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/25930/task/25967/stat : 25967 (java) S 25927 25930 20157 0 -1 4202560 9680 0 0 0 94 2 0 0 20 0 19 0 27997604 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334315108408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25968] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25968/stat : 25968 (java) S 25927 25930 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27997604 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334314056312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25930/tid=25969] ppid=25927 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/25930/task/25969/stat : 25969 (java) S 25927 25930 20157 0 -1 4202560 102 0 0 0 23 26 0 0 20 0 19 0 27997604 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334313003720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25930/tid=25977] ppid=25927 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25930/task/25977/stat : 25977 (java) S 25927 25930 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27997636 9856040960 140075 33554432000 1073741824 1073778376 140734365795680 140334311949736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 25930 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25930 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=620480
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=593453
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1772.46
CPU time (s): 1800.07
CPU user time (s): 1796.95
CPU system time (s): 3.12
CPU usage (%): 101.558
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.62
system time used= 3.59345
maximum resident set size= 729376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58095
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62736
involuntary context switches= 75827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3024 second user time and 13.5319 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 16:18:30
IDJOB=4104036
IDBENCH=2550
IDSOLVER=2546
FILE ID=node127/4104036-1466259510
RUNJOBID= node127-1466259510-25912
PBS_JOBID= 19918213
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 583b02132cd61d8427630f4009f80dd3
RANDOM SEED=1608274764

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30530784 kB
Buffers:           74444 kB
Cached:           221036 kB
SwapCached:          516 kB
Active:            59920 kB
Inactive:         240784 kB
Active(anon):       5540 kB
Inactive(anon):     2184 kB
Active(file):      54380 kB
Inactive(file):   238600 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:              1240 kB
Writeback:             4 kB
AnonPages:       1308508 kB
Mapped:             7164 kB
Shmem:                 0 kB
Slab:             603176 kB
SReclaimable:      47400 kB
SUnreclaim:       555776 kB
KernelStack:        1400 kB
PageTables:         7340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1406620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71736 MiB
End job on node127 at 2016-06-18 16:48:02