Trace number 4080731

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 Res+CP PB16SAT (TO)41798 1800.1 904.072

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
MD5SUM83920c844b074c56822148eb18b413de
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark37056
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 2124
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3653850
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2124
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3653850
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.30	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.30	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.30	c See www.sat4j.org for details.
0.07/0.31	c version PB16.v20160501
0.07/0.31	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.31	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.31	c java.vm.version	19.1-b02
0.07/0.31	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.31	c sun.arch.data.model	64
0.07/0.31	c java.version		1.6.0_24
0.07/0.31	c os.name		Linux
0.07/0.31	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.31	c os.arch		amd64
0.07/0.31	c Free memory 		501472288
0.07/0.31	c Max memory 		7480803328
0.07/0.31	c Total memory 		504102912
0.07/0.31	c Number of processors 	8
0.07/0.34	c Pseudo Boolean Optimization by upper bound
0.07/0.34	c ManyCore solver with 2 solvers running in parallel
0.07/0.34	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.34	c --- Begin Solver configuration ---
0.07/0.34	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.07/0.34	c Learn all clauses as in MiniSAT
0.07/0.34	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.34	c Expensive reason simplification
0.07/0.34	c Glucose 2.1 dynamic restart strategy
0.07/0.34	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.34	c timeout=2147483s
0.07/0.34	c DB Simplification allowed=false
0.07/0.34	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.34	c --- End Solver configuration ---
0.07/0.34	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.34	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.34	c --- Begin Solver configuration ---
0.07/0.34	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.07/0.34	c Learn all clauses as in MiniSAT
0.07/0.34	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.34	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.34	c No reason simplification
0.07/0.34	c Armin Biere (Picosat) restarts strategy
0.07/0.34	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.34	c timeout=2147483s
0.07/0.34	c DB Simplification allowed=false
0.07/0.34	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.34	c --- End Solver configuration ---
0.07/0.34	c solving HOME/instance-4080731-1465252001.opb
0.07/0.34	c reading problem ... 
0.07/0.35	c  objective function found
0.71/0.63	c ... done. Wall clock time 0.286s.
0.71/0.63	c declared #vars     4360
0.71/0.63	c #constraints  8610
0.71/0.63	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.71/0.63	c constraints type 
0.71/0.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2188
0.71/0.63	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.71/0.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6419
0.71/0.63	c 8610 constraints processed.
0.71/0.63	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.71/0.63	c constraints type 
0.71/0.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6419
0.71/0.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2188
0.71/0.63	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.71/0.63	c 8610 constraints processed.
0.71/0.63	c objective function length is 2173 literals
1.05/0.73	c And the winner is solver1
1.95/1.14	c SATISFIABLE
1.95/1.14	c OPTIMIZING...
1.95/1.14	c Got one! Elapsed wall clock time (in seconds):0.795
1.95/1.14	o 52413
2.23/1.22	c And the winner is solver0
2.69/1.70	c Got one! Elapsed wall clock time (in seconds):1.353
2.69/1.70	o 51111
2.69/1.72	c And the winner is solver0
2.90/2.21	c Got one! Elapsed wall clock time (in seconds):1.864
2.90/2.21	o 49809
2.90/2.23	c And the winner is solver0
3.87/2.88	c Got one! Elapsed wall clock time (in seconds):2.534
3.87/2.88	o 48507
3.87/2.89	c And the winner is solver0
4.01/3.38	c Got one! Elapsed wall clock time (in seconds):3.04
4.01/3.38	o 47263
4.05/3.45	c And the winner is solver0
4.20/3.89	c Got one! Elapsed wall clock time (in seconds):3.545
4.20/3.89	o 47219
4.22/3.90	c And the winner is solver0
5.53/5.10	c Got one! Elapsed wall clock time (in seconds):4.754
5.53/5.10	o 47205
10.15/7.38	c cleaning 2554 clauses out of 5110 with flag 39206/5110
15.78/9.98	c cleaning 4231 clauses out of 8555 with flag 78859/11109
16.57/10.38	c And the winner is solver0
16.77/10.61	c Got one! Elapsed wall clock time (in seconds):10.263
16.77/10.61	o 46553
17.39/10.99	c And the winner is solver1
17.58/11.11	c Got one! Elapsed wall clock time (in seconds):10.766
17.58/11.11	o 46019
18.38/11.53	c And the winner is solver1
18.46/11.61	c Got one! Elapsed wall clock time (in seconds):11.27
18.46/11.61	o 45961
21.82/13.39	c cleaning 5456 clauses out of 10914 with flag 23469/17699
28.48/16.63	c cleaning 5727 clauses out of 11458 with flag 86435/23699
35.89/20.38	c cleaning 6353 clauses out of 12731 with flag 152190/30699
45.20/24.98	c cleaning 7189 clauses out of 14378 with flag 236038/38699
55.71/30.18	c cleaning 8095 clauses out of 16189 with flag 327947/47699
66.45/35.47	c cleaning 9042 clauses out of 18094 with flag 402821/57699
77.55/40.91	c cleaning 10005 clauses out of 20054 with flag 487934/68701
84.06/44.12	c And the winner is solver1
84.06/44.12	c Got one! Elapsed wall clock time (in seconds):43.777
84.06/44.12	o 44976
88.80/46.54	c cleaning 10618 clauses out of 21284 with flag 26073/79936
94.60/49.49	c cleaning 8320 clauses out of 16666 with flag 87229/85936
103.07/53.68	c cleaning 7673 clauses out of 15346 with flag 193899/92936
111.70/57.94	c cleaning 7835 clauses out of 15673 with flag 292513/100936
119.94/62.07	c cleaning 8418 clauses out of 16838 with flag 335983/109936
130.01/67.04	c cleaning 9195 clauses out of 18420 with flag 392971/119936
139.67/71.81	c cleaning 10099 clauses out of 20225 with flag 442850/130936
150.71/77.36	c cleaning 11054 clauses out of 22126 with flag 501089/142936
165.05/84.47	c cleaning 12026 clauses out of 24072 with flag 598509/155936
179.28/91.55	c cleaning 13023 clauses out of 26046 with flag 682229/169936
191.74/97.79	c And the winner is solver1
191.74/98.15	c Got one! Elapsed wall clock time (in seconds):97.801
191.74/98.15	o 44796
197.23/100.92	c cleaning 14078 clauses out of 28276 with flag 38868/185189
203.11/103.89	c cleaning 10097 clauses out of 20198 with flag 87933/191189
210.90/107.77	c cleaning 8440 clauses out of 17101 with flag 147991/198189
218.50/111.52	c cleaning 8325 clauses out of 16661 with flag 203666/206189
226.39/115.41	c cleaning 8654 clauses out of 17336 with flag 252355/215189
234.59/119.53	c cleaning 9314 clauses out of 18682 with flag 296496/225189
243.67/124.08	c cleaning 10148 clauses out of 20368 with flag 344710/236189
253.53/128.94	c cleaning 11101 clauses out of 22220 with flag 396240/248189
264.60/134.47	c cleaning 12060 clauses out of 24119 with flag 455744/261189
276.32/140.26	c cleaning 13028 clauses out of 26059 with flag 518469/275189
290.01/147.08	c cleaning 14003 clauses out of 28032 with flag 584821/290190
303.64/153.81	c cleaning 15012 clauses out of 30029 with flag 654518/306190
318.14/161.04	c cleaning 15982 clauses out of 32016 with flag 726360/323189
334.41/169.52	c cleaning 16989 clauses out of 34035 with flag 807901/341190
338.81/171.71	c And the winner is solver1
338.81/171.91	c Got one! Elapsed wall clock time (in seconds):171.567
338.81/171.91	o 44601
344.26/174.62	c cleaning 13721 clauses out of 27446 with flag 43927/351590
349.47/177.29	c cleaning 9814 clauses out of 19722 with flag 69405/357587
356.14/180.56	c cleaning 8436 clauses out of 16908 with flag 104810/364587
363.22/184.09	c cleaning 8232 clauses out of 16472 with flag 145706/372587
368.88/186.85	c And the winner is solver1
368.92/186.98	c Got one! Elapsed wall clock time (in seconds):186.632
368.92/186.98	o 44319
374.14/189.63	c cleaning 10078 clauses out of 20158 with flag 46735/384505
379.14/192.19	c cleaning 8018 clauses out of 16081 with flag 75829/390506
385.79/195.45	c cleaning 7532 clauses out of 15063 with flag 122209/397506
392.18/198.65	c cleaning 7755 clauses out of 15530 with flag 153506/405505
399.63/202.40	c cleaning 8357 clauses out of 16775 with flag 191064/414505
408.43/206.75	c cleaning 9190 clauses out of 18418 with flag 244013/424505
418.30/211.63	c cleaning 10076 clauses out of 20228 with flag 289339/435505
429.90/217.45	c cleaning 11049 clauses out of 22152 with flag 352999/447505
442.57/223.78	c cleaning 12052 clauses out of 24105 with flag 417768/460507
455.58/230.22	c cleaning 13026 clauses out of 26051 with flag 485048/474505
469.03/236.92	c cleaning 13990 clauses out of 28025 with flag 548072/489505
483.40/244.09	c cleaning 15018 clauses out of 30036 with flag 620550/505506
499.51/252.04	c cleaning 16009 clauses out of 32017 with flag 711015/522505
515.38/259.99	c cleaning 16978 clauses out of 34008 with flag 792214/540505
531.86/268.20	c cleaning 18004 clauses out of 36030 with flag 876372/559505
550.50/278.02	c cleaning 19011 clauses out of 38026 with flag 961497/579505
568.18/286.84	c cleaning 19986 clauses out of 40015 with flag 1051107/600505
586.77/296.13	c cleaning 20999 clauses out of 42029 with flag 1146531/622505
606.50/305.97	c cleaning 22008 clauses out of 44030 with flag 1242651/645505
627.63/316.47	c cleaning 23000 clauses out of 46022 with flag 1347668/669505
631.23/318.26	c And the winner is solver1
631.23/318.69	c Got one! Elapsed wall clock time (in seconds):318.347
631.23/318.69	o 43800
632.10/319.12	c cleaning 14050 clauses out of 28166 with flag 5128/674649
637.09/321.68	c cleaning 10055 clauses out of 20117 with flag 31982/680650
643.26/324.61	c cleaning 8503 clauses out of 17061 with flag 59584/687649
649.45/327.76	c cleaning 8272 clauses out of 16563 with flag 94172/695654
656.85/331.49	c cleaning 8630 clauses out of 17286 with flag 132343/704649
666.05/336.03	c cleaning 9307 clauses out of 18656 with flag 181437/714649
675.45/340.73	c cleaning 10168 clauses out of 20349 with flag 227888/725649
685.96/345.99	c cleaning 11074 clauses out of 22181 with flag 281614/737649
699.16/352.58	c cleaning 12054 clauses out of 24107 with flag 355432/750649
714.97/360.46	c cleaning 12976 clauses out of 26053 with flag 450416/764649
731.90/368.88	c cleaning 14027 clauses out of 28077 with flag 536548/779649
745.90/375.80	c cleaning 15023 clauses out of 30050 with flag 604289/795649
760.69/383.20	c cleaning 15986 clauses out of 32027 with flag 689689/812649
776.19/390.92	c cleaning 16989 clauses out of 34041 with flag 769232/830649
792.87/399.15	c cleaning 18003 clauses out of 36052 with flag 850067/849649
812.40/408.83	c cleaning 19024 clauses out of 38049 with flag 943894/869649
835.14/420.14	c cleaning 20009 clauses out of 40025 with flag 1085323/890649
861.77/433.36	c cleaning 20971 clauses out of 42016 with flag 1270279/912649
884.43/444.55	c cleaning 21996 clauses out of 44045 with flag 1385086/935649
907.74/456.14	c cleaning 23025 clauses out of 46049 with flag 1507901/959649
931.92/469.02	c cleaning 24012 clauses out of 48024 with flag 1620927/984649
957.76/481.77	c cleaning 24968 clauses out of 50012 with flag 1766345/1010649
983.99/494.76	c cleaning 25994 clauses out of 52045 with flag 1900164/1037650
1013.20/509.32	c cleaning 27013 clauses out of 54050 with flag 2070888/1065649
1041.89/523.70	c cleaning 28019 clauses out of 56037 with flag 2219455/1094649
1071.56/538.42	c cleaning 28934 clauses out of 58018 with flag 2393817/1124649
1108.07/556.69	c cleaning 30028 clauses out of 60084 with flag 2698460/1155649
1144.10/574.52	c cleaning 31000 clauses out of 62056 with flag 2951143/1187649
1158.91/581.92	c And the winner is solver1
1158.91/582.37	c Got one! Elapsed wall clock time (in seconds):582.029
1158.91/582.37	o 43423
1164.56/585.21	c cleaning 24766 clauses out of 49585 with flag 42272/1206178
1169.94/587.93	c cleaning 15398 clauses out of 30819 with flag 71587/1212178
1177.14/591.48	c cleaning 11190 clauses out of 22421 with flag 114081/1219178
1184.75/595.27	c cleaning 9562 clauses out of 19231 with flag 165387/1227178
1193.56/599.56	c cleaning 9334 clauses out of 18669 with flag 227483/1236178
1204.95/605.22	c cleaning 9665 clauses out of 19335 with flag 295077/1246178
1216.54/610.95	c cleaning 10275 clauses out of 20670 with flag 359972/1257178
1228.76/617.05	c cleaning 11182 clauses out of 22395 with flag 430857/1269178
1242.15/623.70	c cleaning 12093 clauses out of 24213 with flag 504538/1282178
1255.57/630.36	c cleaning 13047 clauses out of 26120 with flag 566433/1296178
1270.96/638.07	c cleaning 14016 clauses out of 28074 with flag 657850/1311179
1287.34/646.29	c cleaning 15029 clauses out of 30058 with flag 760476/1327179
1292.96/649.01	c And the winner is solver1
1292.96/649.03	c Got one! Elapsed wall clock time (in seconds):648.683
1292.96/649.03	o 42934
1297.94/651.60	c cleaning 12724 clauses out of 25553 with flag 37390/1337703
1304.14/654.73	c cleaning 9397 clauses out of 18829 with flag 88403/1343703
1311.54/658.42	c cleaning 8211 clauses out of 16432 with flag 146545/1350703
1320.79/662.92	c cleaning 8093 clauses out of 16221 with flag 223119/1358703
1328.40/666.72	c cleaning 8533 clauses out of 17128 with flag 263759/1367703
1331.39/668.21	c And the winner is solver1
1331.39/668.55	c Got one! Elapsed wall clock time (in seconds):668.201
1331.39/668.55	o 41798
1333.27/669.58	c cleaning 6906 clauses out of 13939 with flag 10859/1373047
1339.07/672.48	c cleaning 6497 clauses out of 13033 with flag 44743/1379047
1345.47/675.69	c cleaning 6766 clauses out of 13537 with flag 90358/1386048
1354.09/679.95	c cleaning 7383 clauses out of 14770 with flag 139979/1394047
1361.68/683.79	c cleaning 8186 clauses out of 16387 with flag 173140/1403047
1372.48/689.20	c cleaning 9081 clauses out of 18201 with flag 235537/1413047
1384.28/695.07	c cleaning 10061 clauses out of 20122 with flag 304975/1424049
1398.28/701.83	c cleaning 11024 clauses out of 22059 with flag 365560/1436047
1409.06/707.27	c cleaning 12016 clauses out of 24035 with flag 417905/1449047
1420.66/713.09	c cleaning 13010 clauses out of 26019 with flag 473460/1463047
1433.25/719.39	c cleaning 13961 clauses out of 28009 with flag 541656/1478047
1448.87/727.11	c cleaning 15012 clauses out of 30048 with flag 626955/1494047
1466.72/735.84	c cleaning 16012 clauses out of 32036 with flag 724157/1511047
1487.98/748.71	c cleaning 17011 clauses out of 34024 with flag 797357/1529047
1505.05/757.27	c cleaning 18002 clauses out of 36013 with flag 891300/1548047
1521.86/765.70	c cleaning 19006 clauses out of 38011 with flag 977549/1568047
1541.12/775.20	c cleaning 19998 clauses out of 40005 with flag 1072621/1589047
1563.80/786.55	c cleaning 20991 clauses out of 42008 with flag 1221629/1611048
1584.87/797.01	c cleaning 22004 clauses out of 44020 with flag 1342511/1634051
1608.61/808.88	c cleaning 23004 clauses out of 46012 with flag 1472934/1658047
1630.61/819.88	c cleaning 24004 clauses out of 48008 with flag 1575069/1683047
1656.14/832.52	c cleaning 24970 clauses out of 50004 with flag 1712720/1709047
1681.86/845.31	c cleaning 25929 clauses out of 52036 with flag 1863372/1736049
1711.42/860.00	c cleaning 27050 clauses out of 54106 with flag 2024073/1764048
1738.66/873.59	c cleaning 28018 clauses out of 56055 with flag 2170347/1793047
1766.09/887.19	c cleaning 29008 clauses out of 58038 with flag 2295661/1823048
1793.92/901.00	c cleaning 30005 clauses out of 60029 with flag 2423955/1854047
1800.10/904.00	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1800.10/904.00	c starts		: 36406
1800.10/904.00	c conflicts		: 1860514
1800.10/904.00	c decisions		: 38927633
1800.10/904.00	c propagations		: 3466851139
1800.10/904.00	c inspects		: 3870913427
1800.10/904.00	c shortcuts		: 0
1800.10/904.00	c learnt literals	: 0
1800.10/904.00	c learnt binary clauses	: 0
1800.10/904.00	c learnt ternary clauses	: 0
1800.10/904.00	c learnt constraints	: 1860513
1800.10/904.00	c ignored constraints	: 0
1800.10/904.00	c root simplifications	: 0
1800.10/904.00	c removed literals (reason simplification)	: 13479591
1800.10/904.00	c reason swapping (by a shorter reason)	: 0
1800.10/904.00	c Calls to reduceDB	: 129
1800.10/904.00	c Number of update (reduction) of LBD	: 998092
1800.10/904.00	c Imported unit clauses	: 0
1800.10/904.00	c number of reductions to clauses (during analyze)	: 0
1800.10/904.00	c number of learned constraints concerned by reduction	: 0
1800.10/904.00	c number of learning phase by resolution	: 0
1800.10/904.00	c number of learning phase by cutting planes	: 0
1800.10/904.00	c speed (assignments/second)	: 1.4724987848284064E7
1800.10/904.00	c non guided choices	0
1800.10/904.02	c learnt constraints type 
1800.10/904.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36491
1800.10/904.02	c >>>>>>>>>> Solver number 1 (11 answers) <<<<<<<<<<<<<<<<<<
1800.10/904.02	c starts		: 39
1800.10/904.02	c conflicts		: 4486
1800.10/904.02	c decisions		: 335836
1800.10/904.02	c propagations		: 3081657
1800.10/904.02	c inspects		: 201062248
1800.10/904.02	c shortcuts		: 0
1800.10/904.02	c learnt literals	: 0
1800.10/904.02	c learnt binary clauses	: 0
1800.10/904.02	c learnt ternary clauses	: 0
1800.10/904.02	c learnt constraints	: 4481
1800.10/904.02	c ignored constraints	: 0
1800.10/904.02	c root simplifications	: 0
1800.10/904.02	c removed literals (reason simplification)	: 0
1800.10/904.02	c reason swapping (by a shorter reason)	: 0
1800.10/904.02	c Calls to reduceDB	: 0
1800.10/904.02	c Number of update (reduction) of LBD	: 0
1800.10/904.02	c Imported unit clauses	: 0
1800.10/904.02	c number of reductions to clauses (during analyze)	: 0
1800.10/904.02	c number of learned constraints concerned by reduction	: 0
1800.10/904.02	c number of learning phase by resolution	: 0
1800.10/904.02	c number of learning phase by cutting planes	: 0
1800.10/904.02	c speed (assignments/second)	: 3449.3393253899408
1800.10/904.02	c non guided choices	0
1800.10/904.02	c learnt constraints type 
1800.10/904.02	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 5
1800.10/904.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4476
1800.10/904.02	s SATISFIABLE
1800.10/904.02	c Found 18 solution(s)
1800.10/904.03	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 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 x4358 x4359 -x4360 
1800.10/904.04	c objective function=41798
1800.10/904.04	c Total wall clock time (in seconds): 903.692

Verifier Data 

OK	41798

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-4080731-1465252001/watcher-4080731-1465252001 -o /tmp/evaluation-result-4080731-1465252001/solver-4080731-1465252001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17743 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080731-1465252001.opb 

pid=17769
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: 1.14 1.22 1.41 3/176 17772
/proc/meminfo: memFree=30474136/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/17772/stat : 17772 (java) D 17769 17772 17726 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 107132496 2560000 46 33554432000 1073741824 1073778376 140735867848240 140735867845368 213410475303 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/17772/statm: 625 46 37 9 0 29 0

[startup+0.100057 s]
/proc/loadavg: 1.14 1.22 1.41 3/176 17772
/proc/meminfo: memFree=30474136/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=96264 CPUtime=0 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 1335 0 19 0 0 0 0 0 20 0 2 0 107132496 98574336 978 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 24066 978 744 9 0 16772 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96264

[startup+0.200186 s]
/proc/loadavg: 1.14 1.22 1.41 3/176 17772
/proc/meminfo: memFree=30474136/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 3085 0 23 0 2 0 0 0 20 0 13 0 107132496 9446973440 3727 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 2306390 3727 1699 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.300212 s]
/proc/loadavg: 1.14 1.22 1.41 3/176 17772
/proc/meminfo: memFree=30474136/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 3910 0 23 0 6 1 0 0 20 0 18 0 107132496 9787879424 5061 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 2389619 5061 2012 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.700172 s]
/proc/loadavg: 1.14 1.22 1.41 3/176 17772
/proc/meminfo: memFree=30474136/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=9826192 CPUtime=1.05 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 21890 0 25 0 99 6 0 0 20 0 22 0 107132496 10062020608 26779 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 2456548 26779 2252 9 0 2447225 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9826192

[startup+1.50082 s]
/proc/loadavg: 1.14 1.22 1.41 8/216 17818
/proc/meminfo: memFree=30319884/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 33751 0 25 0 257 12 0 0 20 0 19 0 107132496 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 2456183 28854 2265 9 0 2446860 0
[pid=17772/tid=17774] ppid=17769 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/17772/task/17774/stat : 17774 (java) S 17769 17772 17726 0 -1 4202560 2484 0 6 0 42 3 0 0 20 0 19 0 107132505 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642236584824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 10 0 0
[pid=17772/tid=17777] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17777/stat : 17777 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642198075944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17779] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17779/stat : 17779 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642197023144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17781] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17781/stat : 17781 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642195970344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17783] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17783/stat : 17783 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642194917544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17785] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17785/stat : 17785 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642076322856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17787] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17787/stat : 17787 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642075270056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17789] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17789/stat : 17789 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132509 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642074217256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17791] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17791/stat : 17791 (java) S 17769 17772 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107132509 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642073164456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17792] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17792/stat : 17792 (java) S 17769 17772 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107132512 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140642060753384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17795] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17795/stat : 17795 (java) S 17769 17772 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107132513 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140641455564024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17797] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17797/stat : 17797 (java) S 17769 17772 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107132513 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140641454511112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17799] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17799/stat : 17799 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140641453459600 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17801] ppid=17769 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/17772/task/17801/stat : 17801 (java) S 17769 17772 17726 0 -1 4202560 13380 0 1 0 86 3 0 0 20 0 19 0 107132520 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140641452407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17803] ppid=17769 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/17772/task/17803/stat : 17803 (java) S 17769 17772 17726 0 -1 4202560 16537 0 1 0 101 3 0 0 20 0 19 0 107132520 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140641451354936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17805] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17805/stat : 17805 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140641450302328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17807] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17807/stat : 17807 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 28854 33554432000 1073741824 1073778376 140735867848240 140641449249736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 9824732

[startup+3.10078 s]
/proc/loadavg: 1.14 1.22 1.41 6/216 17830
/proc/meminfo: memFree=30275368/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=9824732 CPUtime=4.01 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 33793 0 25 0 385 16 0 0 20 0 19 0 107132496 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 2456183 37565 2272 9 0 2446860 0
[pid=17772/tid=17774] ppid=17769 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/17772/task/17774/stat : 17774 (java) S 17769 17772 17726 0 -1 4202560 2488 0 6 0 45 3 0 0 20 0 19 0 107132505 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642236584824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 10 0 0
[pid=17772/tid=17777] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17777/stat : 17777 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642198075944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17779] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17779/stat : 17779 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642197023144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17781] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17781/stat : 17781 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642195970344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17783] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17783/stat : 17783 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642194917544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17785] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17785/stat : 17785 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642076322856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17787] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17787/stat : 17787 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642075270056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17789] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17789/stat : 17789 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132509 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642074217256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17791] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17791/stat : 17791 (java) S 17769 17772 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107132509 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642073164456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17792] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17792/stat : 17792 (java) S 17769 17772 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107132512 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140642060753384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17795] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17795/stat : 17795 (java) S 17769 17772 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107132513 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140641455564024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17797] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17797/stat : 17797 (java) S 17769 17772 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107132513 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140641454511112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17799] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17799/stat : 17799 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140641453459600 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17801] ppid=17769 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/17772/task/17801/stat : 17801 (java) S 17769 17772 17726 0 -1 4202560 13383 0 1 0 109 3 0 0 20 0 19 0 107132520 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140641452407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17803] ppid=17769 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/17772/task/17803/stat : 17803 (java) S 17769 17772 17726 0 -1 4202560 16541 0 1 0 134 3 0 0 20 0 19 0 107132520 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140641451354936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17805] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17805/stat : 17805 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140641450302328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17807] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17807/stat : 17807 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140641449249736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17821] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17821/stat : 17821 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107132616 10060525568 37565 33554432000 1073741824 1073778376 140735867848240 140641441945000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9824732

[startup+6.30088 s]
/proc/loadavg: 1.29 1.25 1.42 13/219 17849
/proc/meminfo: memFree=30056152/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=9824732 CPUtime=8.06 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 33895 0 25 0 785 21 0 0 20 0 22 0 107132496 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 2456183 53852 2288 9 0 2446860 0
[pid=17772/tid=17774] ppid=17769 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/17772/task/17774/stat : 17774 (java) S 17769 17772 17726 0 -1 4202560 2490 0 6 0 46 3 0 0 20 0 22 0 107132505 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642236584824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 10 0 0
[pid=17772/tid=17777] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17777/stat : 17777 (java) S 17769 17772 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642198075944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17779] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17779/stat : 17779 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642197023144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17781] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17781/stat : 17781 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642195970344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17783] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17783/stat : 17783 (java) S 17769 17772 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642194917544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17785] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17785/stat : 17785 (java) S 17769 17772 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642076322856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17787] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17787/stat : 17787 (java) S 17769 17772 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642075270056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17789] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17789/stat : 17789 (java) S 17769 17772 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107132509 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642074217256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17791] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17791/stat : 17791 (java) S 17769 17772 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107132509 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642073164456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17792] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17792/stat : 17792 (java) S 17769 17772 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107132512 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140642060753384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17795] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17795/stat : 17795 (java) S 17769 17772 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641455564024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17797] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17797/stat : 17797 (java) S 17769 17772 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641454511112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17799] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17799/stat : 17799 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641453459600 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17801] ppid=17769 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/17772/task/17801/stat : 17801 (java) S 17769 17772 17726 0 -1 4202560 13390 0 1 0 132 3 0 0 20 0 22 0 107132520 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641452407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17803] ppid=17769 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/17772/task/17803/stat : 17803 (java) S 17769 17772 17726 0 -1 4202560 16545 0 1 0 151 3 0 0 20 0 22 0 107132520 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641451354936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17805] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17805/stat : 17805 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641450302328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17807] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17807/stat : 17807 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641449249736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17821] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17821/stat : 17821 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107132616 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641441945000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17847] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17847/stat : 17847 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107132886 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641442997928 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17848] ppid=17769 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/17772/task/17848/stat : 17848 (java) R 17769 17772 17726 0 -1 4202560 5 0 0 0 114 0 0 0 20 0 22 0 107133006 10060525568 53852 33554432000 1073741824 1073778376 140735867848240 140641445647256 140642076852015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17849] ppid=17769 vsize=9824732 CPUtime=1.13 cores=1,3,5,7

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

[pid=17772/tid=17791] ppid=17769 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/17772/task/17791/stat : 17791 (java) S 17769 17772 17726 0 -1 4202560 2956 0 0 0 202 34 0 0 20 0 22 0 107132509 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140642073164456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17792] ppid=17769 vsize=9824732 CPUtime=8.86 cores=1,3,5,7
/proc/17772/task/17792/stat : 17792 (java) S 17769 17772 17726 0 -1 4202560 2911 0 0 0 877 9 0 0 20 0 22 0 107132512 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140642060753384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17795] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17795/stat : 17795 (java) S 17769 17772 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641455564024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17797] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17797/stat : 17797 (java) S 17769 17772 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641454511112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17799] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17799/stat : 17799 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641453459600 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17801] ppid=17769 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/17772/task/17801/stat : 17801 (java) S 17769 17772 17726 0 -1 4202560 13418 0 1 0 223 3 0 0 20 0 22 0 107132520 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641452407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17803] ppid=17769 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/17772/task/17803/stat : 17803 (java) S 17769 17772 17726 0 -1 4202560 16547 0 1 0 159 3 0 0 20 0 22 0 107132520 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641451354936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17805] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17805/stat : 17805 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641450302328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17807] ppid=17769 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/17772/task/17807/stat : 17807 (java) S 17769 17772 17726 0 -1 4202560 47 0 0 0 8 13 0 0 20 0 22 0 107132520 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641449249736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17852] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17852/stat : 17852 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107133557 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641445647400 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17921] ppid=17769 vsize=9824732 CPUtime=147.46 cores=1,3,5,7
/proc/17772/task/17921/stat : 17921 (java) R 17769 17772 17726 0 -1 4202560 3 0 0 0 14744 2 0 0 20 0 22 0 107199352 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641446698096 140642077598223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17922] ppid=17769 vsize=9824732 CPUtime=147.48 cores=1,3,5,7
/proc/17772/task/17922/stat : 17922 (java) R 17769 17772 17726 0 -1 4202560 86 0 0 0 14745 3 0 0 20 0 22 0 107199352 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641442996088 140642077242809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17923] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17923/stat : 17923 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107199352 10060525568 950419 33554432000 1073741824 1073778376 140735867848240 140641441944872 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1633.42
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.34 4.13 3.15 6/219 17930
/proc/meminfo: memFree=22742416/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=9824732 CPUtime=1753.92 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 57612 0 25 0 175018 374 0 0 20 0 22 0 107132496 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 2456183 988872 2302 9 0 2446860 0
[pid=17772/tid=17774] ppid=17769 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/17772/task/17774/stat : 17774 (java) S 17769 17772 17726 0 -1 4202560 2501 0 6 0 56 4 0 0 20 0 22 0 107132505 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642236584824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 10 0 0
[pid=17772/tid=17777] ppid=17769 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/17772/task/17777/stat : 17777 (java) S 17769 17772 17726 0 -1 4202560 1849 0 0 0 230 37 0 0 20 0 22 0 107132508 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642198075944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17779] ppid=17769 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/17772/task/17779/stat : 17779 (java) S 17769 17772 17726 0 -1 4202560 2066 0 0 0 214 35 0 0 20 0 22 0 107132508 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642197023144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17781] ppid=17769 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/17772/task/17781/stat : 17781 (java) S 17769 17772 17726 0 -1 4202560 3168 0 0 0 244 37 0 0 20 0 22 0 107132508 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642195970344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17783] ppid=17769 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/17772/task/17783/stat : 17783 (java) S 17769 17772 17726 0 -1 4202560 2142 0 0 0 242 39 0 0 20 0 22 0 107132508 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642194917544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17785] ppid=17769 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/17772/task/17785/stat : 17785 (java) S 17769 17772 17726 0 -1 4202560 2155 0 0 0 213 31 0 0 20 0 22 0 107132508 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642076322856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17787] ppid=17769 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/17772/task/17787/stat : 17787 (java) S 17769 17772 17726 0 -1 4202560 2398 0 0 0 236 39 0 0 20 0 22 0 107132508 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642075270056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17789] ppid=17769 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/17772/task/17789/stat : 17789 (java) S 17769 17772 17726 0 -1 4202560 2689 0 0 0 231 35 0 0 20 0 22 0 107132509 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642074217256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17791] ppid=17769 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/17772/task/17791/stat : 17791 (java) S 17769 17772 17726 0 -1 4202560 3011 0 0 0 222 37 0 0 20 0 22 0 107132509 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642073164456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17792] ppid=17769 vsize=9824732 CPUtime=8.87 cores=1,3,5,7
/proc/17772/task/17792/stat : 17792 (java) S 17769 17772 17726 0 -1 4202560 2929 0 0 0 877 10 0 0 20 0 22 0 107132512 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140642060753384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17795] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17795/stat : 17795 (java) S 17769 17772 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641455564024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17797] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17797/stat : 17797 (java) S 17769 17772 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641454511112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17799] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17799/stat : 17799 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641453459600 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17801] ppid=17769 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/17772/task/17801/stat : 17801 (java) S 17769 17772 17726 0 -1 4202560 13418 0 1 0 223 3 0 0 20 0 22 0 107132520 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641452407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17803] ppid=17769 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/17772/task/17803/stat : 17803 (java) S 17769 17772 17726 0 -1 4202560 16547 0 1 0 159 3 0 0 20 0 22 0 107132520 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641451354936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17805] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17805/stat : 17805 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641450302328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17807] ppid=17769 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/17772/task/17807/stat : 17807 (java) S 17769 17772 17726 0 -1 4202560 51 0 0 0 9 14 0 0 20 0 22 0 107132520 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641449249736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17852] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17852/stat : 17852 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107133557 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641445647400 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17921] ppid=17769 vsize=9824732 CPUtime=207 cores=1,3,5,7
/proc/17772/task/17921/stat : 17921 (java) R 17769 17772 17726 0 -1 4202560 4 0 0 0 20697 3 0 0 20 0 22 0 107199352 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641446691232 140642077607074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17922] ppid=17769 vsize=9824732 CPUtime=207.03 cores=1,3,5,7
/proc/17772/task/17922/stat : 17922 (java) R 17769 17772 17726 0 -1 4202560 87 0 0 0 20699 4 0 0 20 0 22 0 107199352 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641442995968 140642076559145 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17923] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17923/stat : 17923 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107199352 10060525568 988872 33554432000 1073741824 1073778376 140735867848240 140641441944872 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1753.92
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.001 s]
/proc/loadavg: 4.31 4.14 3.17 3/195 17947
/proc/meminfo: memFree=26411384/32872528 swapFree=16636/1570076
[pid=17772] ppid=17769 vsize=9824732 CPUtime=1797.77 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 17726 0 -1 4202496 57839 0 25 0 179394 383 0 0 20 0 22 0 107132496 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140735867839376 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/17772/statm: 2456183 1011460 2302 9 0 2446860 0
[pid=17772/tid=17774] ppid=17769 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/17772/task/17774/stat : 17774 (java) S 17769 17772 17726 0 -1 4202560 2502 0 6 0 56 4 0 0 20 0 22 0 107132505 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642236584824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 10 0 0
[pid=17772/tid=17777] ppid=17769 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/17772/task/17777/stat : 17777 (java) S 17769 17772 17726 0 -1 4202560 1866 0 0 0 243 38 0 0 20 0 22 0 107132508 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642198075944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17779] ppid=17769 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/17772/task/17779/stat : 17779 (java) S 17769 17772 17726 0 -1 4202560 2088 0 0 0 222 35 0 0 20 0 22 0 107132508 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642197023144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17781] ppid=17769 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/17772/task/17781/stat : 17781 (java) S 17769 17772 17726 0 -1 4202560 3194 0 0 0 257 38 0 0 20 0 22 0 107132508 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642195970344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17783] ppid=17769 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/17772/task/17783/stat : 17783 (java) S 17769 17772 17726 0 -1 4202560 2162 0 0 0 252 40 0 0 20 0 22 0 107132508 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642194917544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17785] ppid=17769 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/17772/task/17785/stat : 17785 (java) S 17769 17772 17726 0 -1 4202560 2192 0 0 0 222 33 0 0 20 0 22 0 107132508 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642076322856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17787] ppid=17769 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/17772/task/17787/stat : 17787 (java) S 17769 17772 17726 0 -1 4202560 2436 0 0 0 246 39 0 0 20 0 22 0 107132508 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642075270056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17789] ppid=17769 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/17772/task/17789/stat : 17789 (java) S 17769 17772 17726 0 -1 4202560 2716 0 0 0 240 37 0 0 20 0 22 0 107132509 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642074217256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17791] ppid=17769 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/17772/task/17791/stat : 17791 (java) S 17769 17772 17726 0 -1 4202560 3047 0 0 0 238 39 0 0 20 0 22 0 107132509 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642073164456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17792] ppid=17769 vsize=9824732 CPUtime=8.88 cores=1,3,5,7
/proc/17772/task/17792/stat : 17792 (java) S 17769 17772 17726 0 -1 4202560 2929 0 0 0 877 11 0 0 20 0 22 0 107132512 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140642060753384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17795] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17795/stat : 17795 (java) S 17769 17772 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641455564024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17797] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17797/stat : 17797 (java) S 17769 17772 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641454511112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17799] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17799/stat : 17799 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641453459600 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17801] ppid=17769 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/17772/task/17801/stat : 17801 (java) S 17769 17772 17726 0 -1 4202560 13418 0 1 0 223 3 0 0 20 0 22 0 107132520 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641452407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17803] ppid=17769 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/17772/task/17803/stat : 17803 (java) S 17769 17772 17726 0 -1 4202560 16547 0 1 0 159 3 0 0 20 0 22 0 107132520 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641451354936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17805] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17805/stat : 17805 (java) S 17769 17772 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641450302328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17807] ppid=17769 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/17772/task/17807/stat : 17807 (java) S 17769 17772 17726 0 -1 4202560 53 0 0 0 10 14 0 0 20 0 22 0 107132520 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641449249736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17772/tid=17852] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17852/stat : 17852 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107133557 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641445647400 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17772/tid=17921] ppid=17769 vsize=9824732 CPUtime=228.38 cores=1,3,5,7
/proc/17772/task/17921/stat : 17921 (java) R 17769 17772 17726 0 -1 4202560 4 0 0 0 22835 3 0 0 20 0 22 0 107199352 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641446691232 140642077615108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17772/tid=17922] ppid=17769 vsize=9824732 CPUtime=228.4 cores=1,3,5,7
/proc/17772/task/17922/stat : 17922 (java) R 17769 17772 17726 0 -1 4202560 88 0 0 0 22836 4 0 0 20 0 22 0 107199352 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641442994736 140642077742421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17772/tid=17923] ppid=17769 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17772/task/17923/stat : 17923 (java) S 17769 17772 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107199352 10060525568 1011460 33554432000 1073741824 1073778376 140735867848240 140641441944872 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 9824732

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 17772 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 17772 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=777456
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=93377
# CPU time returned by wait4() is 1796.87
# while last known CPU time is 1797.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.33003
#  lost CPU user time (s): 2.5199
#  lost CPU system time (s): -0.19

Real time (s): 904.072
CPU time (s): 1800.1
CPU user time (s): 1796.46
CPU system time (s): 3.64
CPU usage (%): 199.11
Max. virtual memory (cumulated for all children) (KiB): 9826192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.78
system time used= 4.09338
maximum resident set size= 4045952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57877
page faults= 25
swaps= 0
block input operations= 10224
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26392
involuntary context switches= 27350

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73113 second user time and 7.30689 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 00:26:41
IDJOB=4080731
IDBENCH=25045
IDSOLVER=2543
FILE ID=node140/4080731-1465252001
RUNJOBID= node140-1465252001-17743
PBS_JOBID= 19843256
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080731-1465252001/watcher-4080731-1465252001 -o /tmp/evaluation-result-4080731-1465252001/solver-4080731-1465252001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17743 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080731-1465252001.opb

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

MD5SUM BENCH= 83920c844b074c56822148eb18b413de
RANDOM SEED=2072163782

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30475052 kB
Buffers:           58852 kB
Cached:            64008 kB
SwapCached:         1744 kB
Active:            36952 kB
Inactive:          89088 kB
Active(anon):       3280 kB
Inactive(anon):     2648 kB
Active(file):      33672 kB
Inactive(file):    86440 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098608 kB
Dirty:              1968 kB
Writeback:             0 kB
AnonPages:       1572988 kB
Mapped:             6648 kB
Shmem:                 0 kB
Slab:             567644 kB
SReclaimable:      12180 kB
SUnreclaim:       555464 kB
KernelStack:        1360 kB
PageTables:         7348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1688324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 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= 71740 MiB
End job on node140 at 2016-06-07 00:41:46