Trace number 4090862

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.08 1787.26

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM68a136cd2642dd27a3fdbf065e2a5463
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark2.37264
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2400
Total number of constraints140
Number of soft constraints140
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint40
Top cost 7122
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7121
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4090862-1466066302.wbo
0.09/0.12	c reading problem ... 
0.26/0.24	c ... done. Wall clock time 0.117s.
0.26/0.24	c declared #vars     2400
0.26/0.24	c internal #vars     2540
0.26/0.24	c #constraints  140
0.26/0.24	c constraints type 
0.26/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
0.26/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.26/0.24	c 140 constraints processed.
0.26/0.24	c objective function length is 140 literals
0.76/0.58	c SATISFIABLE
0.76/0.58	c OPTIMIZING...
0.76/0.58	c Got one! Elapsed wall clock time (in seconds):0.464
0.76/0.58	o 262
1.21/0.85	c cleaning 2693 clauses out of 5396 with flag 12846/5396
2.07/1.64	c cleaning 4348 clauses out of 8703 with flag 53099/11396
2.57/2.20	c Got one! Elapsed wall clock time (in seconds):2.078
2.57/2.20	o 32
2.81/2.35	c cleaning 5133 clauses out of 10272 with flag 6886/17313
3.73/3.26	c cleaning 5569 clauses out of 11139 with flag 48780/23313
4.98/4.42	c cleaning 6277 clauses out of 12570 with flag 104180/30313
6.37/5.81	c cleaning 7143 clauses out of 14293 with flag 171874/38313
7.97/7.43	c cleaning 8070 clauses out of 16151 with flag 246021/47314
9.87/9.31	c cleaning 9037 clauses out of 18082 with flag 328796/57315
11.97/11.42	c cleaning 10022 clauses out of 20043 with flag 414743/68313
14.47/13.91	c cleaning 11005 clauses out of 22022 with flag 507676/80314
17.57/17.04	c cleaning 12006 clauses out of 24017 with flag 608784/93314
18.97/18.43	c Got one! Elapsed wall clock time (in seconds):18.313
18.97/18.43	o 31
20.38/19.84	c cleaning 12083 clauses out of 24172 with flag 39073/105475
21.67/21.12	c cleaning 9037 clauses out of 18088 with flag 90436/111474
22.98/22.42	c cleaning 8019 clauses out of 16051 with flag 148836/118474
24.38/23.81	c cleaning 8011 clauses out of 16032 with flag 219158/126474
26.08/25.53	c cleaning 8508 clauses out of 17021 with flag 299631/135474
27.67/27.10	c Got one! Elapsed wall clock time (in seconds):26.981
27.67/27.10	o 30
28.29/27.79	c Got one! Elapsed wall clock time (in seconds):27.671
28.29/27.79	o 24
29.32/28.62	c cleaning 11910 clauses out of 23828 with flag 21656/150789
30.31/29.68	c cleaning 8954 clauses out of 17916 with flag 67021/156787
31.52/30.90	c cleaning 7971 clauses out of 15961 with flag 127264/163786
32.91/32.23	c cleaning 7993 clauses out of 15992 with flag 199022/171788
34.01/33.35	c cleaning 8477 clauses out of 16997 with flag 272357/180786
35.01/34.38	c cleaning 9236 clauses out of 18521 with flag 351892/190787
36.51/35.83	c cleaning 10121 clauses out of 20286 with flag 449605/201788
37.51/36.84	c Got one! Elapsed wall clock time (in seconds):36.717
37.51/36.84	o 21
38.12/37.48	c cleaning 11641 clauses out of 23285 with flag 41180/214908
38.92/38.28	c cleaning 8815 clauses out of 17641 with flag 95684/220905
39.82/39.17	c cleaning 7901 clauses out of 15825 with flag 158469/227904
40.82/40.16	c cleaning 7953 clauses out of 15924 with flag 230165/235904
42.02/41.31	c cleaning 8482 clauses out of 16974 with flag 312010/244907
43.32/42.67	c cleaning 9243 clauses out of 18489 with flag 409881/254904
44.52/43.81	c cleaning 10111 clauses out of 20248 with flag 503389/265906
46.32/45.62	c cleaning 11050 clauses out of 22135 with flag 589595/277904
48.62/47.91	c cleaning 12032 clauses out of 24087 with flag 679706/290906
51.35/50.62	c cleaning 13015 clauses out of 26056 with flag 773488/304907
54.84/54.18	c cleaning 14005 clauses out of 28038 with flag 872067/319904
58.05/57.36	c cleaning 15002 clauses out of 30034 with flag 999708/335905
60.54/59.82	c cleaning 16010 clauses out of 32031 with flag 1126303/352904
63.74/63.09	c cleaning 16992 clauses out of 34021 with flag 1266232/370904
64.34/63.69	c Got one! Elapsed wall clock time (in seconds):63.576
64.34/63.69	o 20
64.84/64.17	c cleaning 13516 clauses out of 27046 with flag 32831/380921
65.34/64.64	c cleaning 9757 clauses out of 19532 with flag 70450/386923
65.64/64.93	c Got one! Elapsed wall clock time (in seconds):64.811
65.64/64.93	o 15
65.74/65.05	c cleaning 7671 clauses out of 15363 with flag 6204/392511
66.24/65.57	c cleaning 6839 clauses out of 13692 with flag 46545/398511
66.84/66.14	c cleaning 6921 clauses out of 13853 with flag 88340/405511
67.64/66.91	c cleaning 7458 clauses out of 14932 with flag 141887/413511
68.34/67.66	c cleaning 8228 clauses out of 16476 with flag 202473/422513
68.44/67.71	c Got one! Elapsed wall clock time (in seconds):67.592
68.44/67.71	o 14
68.95/68.10	c cleaning 7023 clauses out of 14058 with flag 32066/428323
69.35/68.54	c cleaning 6510 clauses out of 13034 with flag 67876/434322
69.85/69.08	c cleaning 6747 clauses out of 13525 with flag 113298/441323
70.88/70.01	c cleaning 7372 clauses out of 14777 with flag 175307/449322
71.88/71.03	c cleaning 8192 clauses out of 16405 with flag 243885/458322
72.88/72.04	c Got one! Elapsed wall clock time (in seconds):71.921
72.88/72.04	o 13
73.58/72.76	c cleaning 11067 clauses out of 22150 with flag 33001/472259
73.98/73.13	c Got one! Elapsed wall clock time (in seconds):73.01
73.98/73.13	o 10
74.08/73.23	c cleaning 8293 clauses out of 16606 with flag 11853/477782
74.58/73.73	c cleaning 7144 clauses out of 14312 with flag 54504/483781
75.18/74.34	c cleaning 7076 clauses out of 14169 with flag 96989/490782
75.88/75.09	c cleaning 7540 clauses out of 15091 with flag 158811/498780
76.69/75.80	c cleaning 8261 clauses out of 16551 with flag 223790/507780
77.90/77.07	c cleaning 9132 clauses out of 18291 with flag 305202/517781
79.29/78.45	c cleaning 10065 clauses out of 20158 with flag 392886/528780
80.99/80.12	c cleaning 11023 clauses out of 22093 with flag 499580/540780
82.19/81.35	c cleaning 12017 clauses out of 24070 with flag 600967/553780
83.50/82.62	c cleaning 13015 clauses out of 26053 with flag 696086/567780
85.60/84.74	c cleaning 13999 clauses out of 28040 with flag 811333/582782
88.13/87.20	c cleaning 15002 clauses out of 30040 with flag 942883/598781
89.73/88.83	c cleaning 16005 clauses out of 32038 with flag 1064351/615781
92.63/91.71	c cleaning 16992 clauses out of 34033 with flag 1201541/633781
95.64/94.77	c cleaning 17999 clauses out of 36042 with flag 1327973/652782
98.23/97.39	c cleaning 18998 clauses out of 38041 with flag 1471588/672780
100.43/99.55	c cleaning 20013 clauses out of 40044 with flag 1610686/693781
102.73/101.90	c cleaning 20990 clauses out of 42033 with flag 1743486/715783
105.42/104.46	c cleaning 21992 clauses out of 44040 with flag 1892092/738780
109.41/108.45	c cleaning 22994 clauses out of 46048 with flag 2055008/762780
112.71/111.74	c cleaning 24011 clauses out of 48054 with flag 2216187/787780
116.01/115.09	c cleaning 24973 clauses out of 50043 with flag 2379749/813780
120.31/119.39	c cleaning 26021 clauses out of 52070 with flag 2550377/840780
124.81/123.83	c cleaning 27014 clauses out of 54051 with flag 2724003/868782
129.89/128.78	c cleaning 28017 clauses out of 56035 with flag 2912435/897780
135.18/134.01	c cleaning 29006 clauses out of 58018 with flag 3096806/927780
140.18/139.04	c cleaning 29986 clauses out of 60012 with flag 3290281/958780
146.09/144.89	c cleaning 30998 clauses out of 62027 with flag 3481600/990781
152.38/151.18	c cleaning 32003 clauses out of 64028 with flag 3674573/1023780
158.88/157.68	c cleaning 32998 clauses out of 66028 with flag 3876408/1057783
165.08/163.86	c cleaning 34007 clauses out of 68028 with flag 4101123/1092781
171.48/170.02	c cleaning 35005 clauses out of 70022 with flag 4334773/1128782
178.88/177.45	c cleaning 35997 clauses out of 72015 with flag 4555872/1165780
186.39/184.87	c cleaning 36996 clauses out of 74019 with flag 4789708/1203781
194.19/192.64	c cleaning 38002 clauses out of 76022 with flag 5027344/1242780
202.89/201.17	c cleaning 38999 clauses out of 78021 with flag 5281960/1282781
212.09/210.34	c cleaning 39977 clauses out of 80022 with flag 5562325/1323781
223.06/221.13	c cleaning 41020 clauses out of 82044 with flag 5859465/1365780
233.04/231.05	c cleaning 42012 clauses out of 84025 with flag 6131490/1408781
243.44/241.46	c cleaning 42984 clauses out of 86013 with flag 6409986/1452781
255.04/253.00	c cleaning 44012 clauses out of 88029 with flag 6680411/1497781
266.25/264.18	c cleaning 44992 clauses out of 90016 with flag 6956130/1543780
277.14/274.90	c cleaning 46001 clauses out of 92025 with flag 7247299/1590781
289.74/287.49	c cleaning 46997 clauses out of 94027 with flag 7548160/1638784
302.65/300.38	c cleaning 48004 clauses out of 96031 with flag 7866283/1687785
316.06/313.62	c cleaning 48999 clauses out of 98024 with flag 8164566/1737782
328.21/325.73	c cleaning 49994 clauses out of 100023 with flag 8477260/1788780
341.01/338.57	c cleaning 50997 clauses out of 102029 with flag 8800424/1840780
352.57/350.07	c cleaning 51997 clauses out of 104034 with flag 9165860/1893782
367.37/364.70	c cleaning 53019 clauses out of 106037 with flag 9555269/1947782
384.18/381.45	c cleaning 54005 clauses out of 108016 with flag 9936718/2002780
400.78/398.00	c cleaning 54990 clauses out of 110012 with flag 10270334/2058781
416.83/414.00	c cleaning 55999 clauses out of 112023 with flag 10620091/2115782
435.04/432.07	c cleaning 57012 clauses out of 114023 with flag 10969915/2173781
453.70/450.68	c cleaning 58003 clauses out of 116010 with flag 11336424/2232780
472.40/469.24	c cleaning 58986 clauses out of 118009 with flag 11707681/2292782
491.15/487.95	c cleaning 59990 clauses out of 120024 with flag 12094129/2353783
510.92/507.68	c cleaning 61000 clauses out of 122032 with flag 12497090/2415781
531.93/528.52	c cleaning 62007 clauses out of 124031 with flag 12889409/2478780
551.59/548.16	c cleaning 63010 clauses out of 126024 with flag 13292918/2542780
570.46/566.94	c cleaning 64001 clauses out of 128015 with flag 13695114/2607781
589.21/585.56	c cleaning 64988 clauses out of 130014 with flag 14103338/2673781
607.78/604.01	c cleaning 66001 clauses out of 132026 with flag 14531006/2740781
626.88/623.02	c cleaning 66993 clauses out of 134026 with flag 14963654/2808782
646.00/642.03	c cleaning 68003 clauses out of 136033 with flag 15423966/2877782
666.57/662.50	c cleaning 69010 clauses out of 138028 with flag 15864800/2947780
688.51/684.35	c cleaning 70007 clauses out of 140019 with flag 16314844/3018781
710.85/706.57	c cleaning 70980 clauses out of 142013 with flag 16768114/3090782
731.42/727.08	c cleaning 72004 clauses out of 144031 with flag 17253534/3163780
752.85/748.32	c cleaning 73001 clauses out of 146027 with flag 17760511/3237780
775.58/770.91	c cleaning 73998 clauses out of 148027 with flag 18232284/3312781
800.08/795.31	c cleaning 75013 clauses out of 150028 with flag 18711869/3388780
822.68/817.89	c cleaning 75998 clauses out of 152015 with flag 19202117/3465780
847.06/842.08	c cleaning 77001 clauses out of 154020 with flag 19722018/3543783
872.89/867.80	c cleaning 78007 clauses out of 156019 with flag 20231267/3622783
899.59/894.31	c cleaning 79001 clauses out of 158009 with flag 20759317/3702780
927.75/922.37	c cleaning 79989 clauses out of 160008 with flag 21277085/3783780
955.20/949.62	c cleaning 80990 clauses out of 162019 with flag 21802022/3865780
981.46/975.71	c cleaning 81996 clauses out of 164031 with flag 22354218/3948782
1007.34/1001.49	c cleaning 83002 clauses out of 166035 with flag 22906484/4032782
1035.63/1029.52	c cleaning 83992 clauses out of 168032 with flag 23465013/4117781
1065.44/1059.17	c cleaning 85016 clauses out of 170039 with flag 24027616/4203780
1096.41/1089.93	c cleaning 86005 clauses out of 172025 with flag 24595995/4290782
1128.02/1121.46	c cleaning 86999 clauses out of 174020 with flag 25167385/4378782
1157.68/1150.81	c cleaning 88006 clauses out of 176019 with flag 25772072/4467780
1187.66/1180.67	c cleaning 88988 clauses out of 178013 with flag 26367635/4557780
1218.46/1211.22	c cleaning 90003 clauses out of 180025 with flag 26965684/4648780
1251.22/1243.72	c cleaning 91009 clauses out of 182022 with flag 27580819/4740780
1284.86/1277.17	c cleaning 92001 clauses out of 184014 with flag 28198626/4833781
1320.53/1312.51	c cleaning 92997 clauses out of 186012 with flag 28822722/4927780
1355.30/1346.96	c cleaning 93993 clauses out of 188017 with flag 29473711/5022782
1389.53/1380.83	c cleaning 94999 clauses out of 190023 with flag 30137316/5118781
1426.78/1417.82	c cleaning 96004 clauses out of 192024 with flag 30790934/5215781
1464.34/1455.03	c cleaning 97006 clauses out of 194020 with flag 31441860/5313781
1501.70/1492.08	c cleaning 98001 clauses out of 196014 with flag 32108752/5412781
1541.45/1531.42	c cleaning 98993 clauses out of 198012 with flag 32783210/5512780
1582.43/1572.09	c cleaning 99995 clauses out of 200024 with flag 33466412/5613785
1622.05/1611.38	c cleaning 101012 clauses out of 202025 with flag 34164646/5715781
1663.23/1652.04	c cleaning 101988 clauses out of 204013 with flag 34866220/5818781
1706.33/1694.75	c cleaning 102998 clauses out of 206028 with flag 35578418/5922784
1747.74/1735.50	c cleaning 104005 clauses out of 208027 with flag 36306541/6027781
1796.54/1783.88	c cleaning 105005 clauses out of 210022 with flag 37029616/6133781
1800.08/1787.21	c starts		: 42668
1800.08/1787.21	c conflicts		: 6147469
1800.08/1787.21	c decisions		: 53956344
1800.08/1787.21	c propagations		: 279202320
1800.08/1787.21	c inspects		: 24471367832
1800.08/1787.21	c shortcuts		: 0
1800.08/1787.21	c learnt literals	: 0
1800.08/1787.21	c learnt binary clauses	: 0
1800.08/1787.21	c learnt ternary clauses	: 0
1800.08/1787.21	c learnt constraints	: 6147470
1800.08/1787.21	c ignored constraints	: 0
1800.08/1787.21	c root simplifications	: 0
1800.08/1787.21	c removed literals (reason simplification)	: 0
1800.08/1787.21	c reason swapping (by a shorter reason)	: 0
1800.08/1787.21	c Calls to reduceDB	: 152
1800.08/1787.21	c Number of update (reduction) of LBD	: 2530203
1800.08/1787.21	c Imported unit clauses	: 0
1800.08/1787.21	c number of reductions to clauses (during analyze)	: 0
1800.08/1787.21	c number of learned constraints concerned by reduction	: 0
1800.08/1787.21	c number of learning phase by resolution	: 0
1800.08/1787.21	c number of learning phase by cutting planes	: 0
1800.08/1787.21	c speed (assignments/second)	: 156243.34474370317
1800.08/1787.21	c non guided choices	436781
1800.08/1787.24	c learnt constraints type 
1800.08/1787.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 118706
1800.08/1787.24	s SATISFIABLE
1800.08/1787.24	c Found 11 solution(s)
1800.08/1787.25	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 
1800.08/1787.25	c objective function=10
1800.08/1787.25	c Total wall clock time (in seconds): 1787.131

Verifier Data 

OK	10

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-4090862-1466066302/watcher-4090862-1466066302 -o /tmp/evaluation-result-4090862-1466066302/solver-4090862-1466066302 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466062117-9737 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090862-1466066302.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.16 2.06 4/196 10372
/proc/meminfo: memFree=31324128/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/10372/stat : 10372 (java) R 10369 10372 9721 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 8676127 2560000 46 33554432000 1073741824 1073778376 140733726025648 140733726022776 206399696167 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 892 49 38 9 0 30 0

[startup+0.100059 s]
/proc/loadavg: 2.17 2.16 2.06 4/196 10372
/proc/meminfo: memFree=31324128/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 4400 0 1 0 8 1 0 0 20 0 18 0 8676127 9787879424 6036 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200264 s]
/proc/loadavg: 2.17 2.16 2.06 4/196 10372
/proc/meminfo: memFree=31324128/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 4957 0 1 0 25 1 0 0 20 0 18 0 8676127 9787879424 6929 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2389619 6929 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300279 s]
/proc/loadavg: 2.17 2.16 2.06 4/196 10372
/proc/meminfo: memFree=31324128/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 6320 0 1 0 47 2 0 0 20 0 19 0 8676127 9856040960 8773 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2406260 8773 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700223 s]
/proc/loadavg: 2.17 2.16 2.06 4/196 10372
/proc/meminfo: memFree=31324128/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 7699 0 1 0 106 2 0 0 20 0 19 0 8676127 9856040960 10331 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2406260 10331 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9625040

[startup+1.5007 s]
/proc/loadavg: 2.16 2.16 2.06 4/215 10391
/proc/meminfo: memFree=31287552/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9625040 CPUtime=1.97 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 7946 0 1 0 195 2 0 0 20 0 19 0 8676127 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2406260 11928 2258 9 0 2396937 0
[pid=10372/tid=10374] ppid=10369 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/10372/task/10374/stat : 10374 (java) R 10369 10372 9721 0 -1 4202560 2418 0 1 0 145 1 0 0 20 0 19 0 8676128 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998938832376 139998771243979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10375] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10375/stat : 10375 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998900324904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10376] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10376/stat : 10376 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998899272104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10377] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10377/stat : 10377 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998898219304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10378] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10378/stat : 10378 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998897166504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10379] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10379/stat : 10379 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998896114728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10380] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10380/stat : 10380 (java) S 10369 10372 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998895061928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10381] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10381/stat : 10381 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998894009128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10382] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10382/stat : 10382 (java) S 10369 10372 9721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998892956328 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10383] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10383/stat : 10383 (java) S 10369 10372 9721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998762330600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10384] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10384/stat : 10384 (java) S 10369 10372 9721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998761276664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10385] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10385/stat : 10385 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998760223752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10386] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10386/stat : 10386 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998759172240 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10387] ppid=10369 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10372/task/10387/stat : 10387 (java) S 10369 10372 9721 0 -1 4202560 2362 0 0 0 25 0 0 0 20 0 19 0 8676133 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998758120376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10388] ppid=10369 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10372/task/10388/stat : 10388 (java) S 10369 10372 9721 0 -1 4202560 1892 0 0 0 21 0 0 0 20 0 19 0 8676133 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998757067576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10389] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10389/stat : 10389 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139998756014968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10390] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10390/stat : 10390 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139997747342280 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10391] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10391/stat : 10391 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676151 9856040960 11928 33554432000 1073741824 1073778376 140733726025648 139997746287784 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.16 2.16 2.06 4/215 10391
/proc/meminfo: memFree=31279236/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 8025 0 1 0 361 2 0 0 20 0 19 0 8676127 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2406260 14498 2259 9 0 2396937 0
[pid=10372/tid=10374] ppid=10369 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/10372/task/10374/stat : 10374 (java) R 10369 10372 9721 0 -1 4202560 2425 0 1 0 305 1 0 0 20 0 19 0 8676128 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998938831352 139998771239391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10375] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10375/stat : 10375 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998900324904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10376] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10376/stat : 10376 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998899272104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10377] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10377/stat : 10377 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998898219304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10378] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10378/stat : 10378 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998897166504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10379] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10379/stat : 10379 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998896114728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10380] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10380/stat : 10380 (java) S 10369 10372 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998895061928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10381] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10381/stat : 10381 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998894009128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10382] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10382/stat : 10382 (java) S 10369 10372 9721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998892956328 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10383] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10383/stat : 10383 (java) S 10369 10372 9721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998762330600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10384] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10384/stat : 10384 (java) S 10369 10372 9721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998761276664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10385] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10385/stat : 10385 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998760223752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10386] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10386/stat : 10386 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998759172240 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10387] ppid=10369 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/10372/task/10387/stat : 10387 (java) S 10369 10372 9721 0 -1 4202560 2364 0 0 0 28 0 0 0 20 0 19 0 8676133 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998758120376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10388] ppid=10369 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10372/task/10388/stat : 10388 (java) S 10369 10372 9721 0 -1 4202560 1962 0 0 0 24 0 0 0 20 0 19 0 8676133 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998757067576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10389] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10389/stat : 10389 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139998756014968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10390] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10390/stat : 10390 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139997747342280 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10391] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10391/stat : 10391 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676151 9856040960 14498 33554432000 1073741824 1073778376 140733726025648 139997746287784 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9625040

[startup+6.30072 s]
/proc/loadavg: 2.16 2.16 2.06 3/215 10391
/proc/meminfo: memFree=31262992/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9625040 CPUtime=6.87 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 8034 0 1 0 684 3 0 0 20 0 19 0 8676127 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2406260 17989 2260 9 0 2396937 0
[pid=10372/tid=10374] ppid=10369 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/10372/task/10374/stat : 10374 (java) R 10369 10372 9721 0 -1 4202560 2433 0 1 0 624 1 0 0 20 0 19 0 8676128 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998938833320 139998771243954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10375] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10375/stat : 10375 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998900324904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10376] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10376/stat : 10376 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998899272104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10377] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10377/stat : 10377 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998898219304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10378] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10378/stat : 10378 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998897166504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10379] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10379/stat : 10379 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998896114728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10380] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10380/stat : 10380 (java) S 10369 10372 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998895061928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10381] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10381/stat : 10381 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998894009128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10382] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10382/stat : 10382 (java) S 10369 10372 9721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8676129 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998892956328 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10383] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10383/stat : 10383 (java) S 10369 10372 9721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998762330600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10384] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10384/stat : 10384 (java) S 10369 10372 9721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998761276664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10385] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10385/stat : 10385 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998760223752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10386] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10386/stat : 10386 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998759172240 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10387] ppid=10369 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/10372/task/10387/stat : 10387 (java) S 10369 10372 9721 0 -1 4202560 2364 0 0 0 29 0 0 0 20 0 19 0 8676133 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998758120376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10388] ppid=10369 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10372/task/10388/stat : 10388 (java) S 10369 10372 9721 0 -1 4202560 1962 0 0 0 27 0 0 0 20 0 19 0 8676133 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998757067576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10389] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10389/stat : 10389 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139998756014968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10390] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10390/stat : 10390 (java) S 10369 10372 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139997747342280 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10391] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10391/stat : 10391 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676151 9856040960 17989 33554432000 1073741824 1073778376 140733726025648 139997746287784 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 9625040


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

[pid=10372/tid=10391] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10391/stat : 10391 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676151 9856040960 75494 33554432000 1073741824 1073778376 140733726025648 139997746287784 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1673.65
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/215 10523
/proc/meminfo: memFree=31056548/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9625040 CPUtime=1734.4 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 19142 0 1 0 173330 110 0 0 20 0 19 0 8676127 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2406260 75972 2285 9 0 2396937 0
[pid=10372/tid=10374] ppid=10369 vsize=9625040 CPUtime=1710.04 cores=0,2,4,6
/proc/10372/task/10374/stat : 10374 (java) R 10369 10372 9721 0 -1 4202560 2676 0 1 0 170973 31 0 0 20 0 19 0 8676128 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998938832208 139998771303000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10375] ppid=10369 vsize=9625040 CPUtime=1.98 cores=0,2,4,6
/proc/10372/task/10375/stat : 10375 (java) S 10369 10372 9721 0 -1 4202560 1220 0 0 0 188 10 0 0 20 0 19 0 8676129 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998900324904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10376] ppid=10369 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/10372/task/10376/stat : 10376 (java) S 10369 10372 9721 0 -1 4202560 701 0 0 0 184 10 0 0 20 0 19 0 8676129 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998899272104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10377] ppid=10369 vsize=9625040 CPUtime=2.05 cores=0,2,4,6
/proc/10372/task/10377/stat : 10377 (java) S 10369 10372 9721 0 -1 4202560 857 0 0 0 195 10 0 0 20 0 19 0 8676129 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998898219304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10378] ppid=10369 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/10372/task/10378/stat : 10378 (java) S 10369 10372 9721 0 -1 4202560 656 0 0 0 182 7 0 0 20 0 19 0 8676129 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998897166504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10379] ppid=10369 vsize=9625040 CPUtime=1.88 cores=0,2,4,6
/proc/10372/task/10379/stat : 10379 (java) S 10369 10372 9721 0 -1 4202560 382 0 0 0 179 9 0 0 20 0 19 0 8676129 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998896114728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10380] ppid=10369 vsize=9625040 CPUtime=1.91 cores=0,2,4,6
/proc/10372/task/10380/stat : 10380 (java) S 10369 10372 9721 0 -1 4202560 591 0 0 0 183 8 0 0 20 0 19 0 8676129 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998895061928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10381] ppid=10369 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/10372/task/10381/stat : 10381 (java) S 10369 10372 9721 0 -1 4202560 479 0 0 0 184 10 0 0 20 0 19 0 8676129 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998894009128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10382] ppid=10369 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/10372/task/10382/stat : 10382 (java) S 10369 10372 9721 0 -1 4202560 370 0 0 0 196 8 0 0 20 0 19 0 8676129 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998892956328 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10383] ppid=10369 vsize=9625040 CPUtime=3.09 cores=0,2,4,6
/proc/10372/task/10383/stat : 10383 (java) S 10369 10372 9721 0 -1 4202560 513 0 0 0 304 5 0 0 20 0 19 0 8676130 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998762330600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10384] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10384/stat : 10384 (java) S 10369 10372 9721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998761276664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10385] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10385/stat : 10385 (java) S 10369 10372 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998760223752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10386] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10386/stat : 10386 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998759172240 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10387] ppid=10369 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/10372/task/10387/stat : 10387 (java) S 10369 10372 9721 0 -1 4202560 2366 0 0 0 31 0 0 0 20 0 19 0 8676133 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998758120376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10388] ppid=10369 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10372/task/10388/stat : 10388 (java) S 10369 10372 9721 0 -1 4202560 6972 0 0 0 50 0 0 0 20 0 19 0 8676133 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998757067576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10389] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10389/stat : 10389 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139998756014968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10390] ppid=10369 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/10372/task/10390/stat : 10390 (java) S 10369 10372 9721 0 -1 4202560 100 0 0 0 23 28 0 0 20 0 19 0 8676133 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139997747342280 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10391] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10391/stat : 10391 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676151 9856040960 75972 33554432000 1073741824 1073778376 140733726025648 139997746287784 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1734.4
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.12 2.04 2.01 6/215 10524
/proc/meminfo: memFree=30915184/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9625040 CPUtime=1795.04 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 19866 0 1 0 179389 115 0 0 20 0 19 0 8676127 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2406260 79266 2285 9 0 2396937 0
[pid=10372/tid=10374] ppid=10369 vsize=9625040 CPUtime=1769.28 cores=0,2,4,6
/proc/10372/task/10374/stat : 10374 (java) R 10369 10372 9721 0 -1 4202560 2694 0 1 0 176896 32 0 0 20 0 19 0 8676128 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998938832192 139998771243551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10375] ppid=10369 vsize=9625040 CPUtime=2.09 cores=0,2,4,6
/proc/10372/task/10375/stat : 10375 (java) S 10369 10372 9721 0 -1 4202560 1346 0 0 0 198 11 0 0 20 0 19 0 8676129 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998900324904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10376] ppid=10369 vsize=9625040 CPUtime=2.06 cores=0,2,4,6
/proc/10372/task/10376/stat : 10376 (java) S 10369 10372 9721 0 -1 4202560 761 0 0 0 196 10 0 0 20 0 19 0 8676129 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998899272104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10377] ppid=10369 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/10372/task/10377/stat : 10377 (java) S 10369 10372 9721 0 -1 4202560 903 0 0 0 206 11 0 0 20 0 19 0 8676129 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998898219304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10378] ppid=10369 vsize=9625040 CPUtime=2 cores=0,2,4,6
/proc/10372/task/10378/stat : 10378 (java) S 10369 10372 9721 0 -1 4202560 666 0 0 0 192 8 0 0 20 0 19 0 8676129 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998897166504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10379] ppid=10369 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/10372/task/10379/stat : 10379 (java) S 10369 10372 9721 0 -1 4202560 767 0 0 0 193 10 0 0 20 0 19 0 8676129 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998896114728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10380] ppid=10369 vsize=9625040 CPUtime=2.02 cores=0,2,4,6
/proc/10372/task/10380/stat : 10380 (java) S 10369 10372 9721 0 -1 4202560 598 0 0 0 194 8 0 0 20 0 19 0 8676129 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998895061928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10381] ppid=10369 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/10372/task/10381/stat : 10381 (java) S 10369 10372 9721 0 -1 4202560 484 0 0 0 193 11 0 0 20 0 19 0 8676129 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998894009128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10382] ppid=10369 vsize=9625040 CPUtime=2.13 cores=0,2,4,6
/proc/10372/task/10382/stat : 10382 (java) S 10369 10372 9721 0 -1 4202560 373 0 0 0 204 9 0 0 20 0 19 0 8676129 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998892956328 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10383] ppid=10369 vsize=9625040 CPUtime=3.39 cores=0,2,4,6
/proc/10372/task/10383/stat : 10383 (java) S 10369 10372 9721 0 -1 4202560 573 0 0 0 334 5 0 0 20 0 19 0 8676130 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998762330600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10384] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10384/stat : 10384 (java) S 10369 10372 9721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998761276664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10385] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10385/stat : 10385 (java) S 10369 10372 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998760223752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10386] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10386/stat : 10386 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998759172240 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10387] ppid=10369 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/10372/task/10387/stat : 10387 (java) S 10369 10372 9721 0 -1 4202560 2366 0 0 0 31 0 0 0 20 0 19 0 8676133 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998758120376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10388] ppid=10369 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10372/task/10388/stat : 10388 (java) S 10369 10372 9721 0 -1 4202560 6972 0 0 0 50 0 0 0 20 0 19 0 8676133 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998757067576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10389] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10389/stat : 10389 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139998756014968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10390] ppid=10369 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/10372/task/10390/stat : 10390 (java) S 10369 10372 9721 0 -1 4202560 104 0 0 0 24 29 0 0 20 0 19 0 8676133 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139997747342280 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10391] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10391/stat : 10391 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676151 9856040960 79266 33554432000 1073741824 1073778376 140733726025648 139997746287784 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.21 s]
/proc/loadavg: 2.12 2.04 2.01 3/215 10524
/proc/meminfo: memFree=30945912/32872528 swapFree=7268/7268
[pid=10372] ppid=10369 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/10372/stat : 10372 (java) S 10369 10372 9721 0 -1 4202496 19871 0 1 0 179893 115 0 0 20 0 19 0 8676127 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 140733726016784 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10372/statm: 2406260 66638 2285 9 0 2396937 0
[pid=10372/tid=10374] ppid=10369 vsize=9625040 CPUtime=1774.04 cores=0,2,4,6
/proc/10372/task/10374/stat : 10374 (java) R 10369 10372 9721 0 -1 4202560 2699 0 1 0 177372 32 0 0 20 0 19 0 8676128 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998938832328 139998771302972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10375] ppid=10369 vsize=9625040 CPUtime=2.11 cores=0,2,4,6
/proc/10372/task/10375/stat : 10375 (java) S 10369 10372 9721 0 -1 4202560 1346 0 0 0 200 11 0 0 20 0 19 0 8676129 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998900324904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10376] ppid=10369 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/10372/task/10376/stat : 10376 (java) S 10369 10372 9721 0 -1 4202560 761 0 0 0 198 10 0 0 20 0 19 0 8676129 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998899272104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10372/tid=10377] ppid=10369 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/10372/task/10377/stat : 10377 (java) S 10369 10372 9721 0 -1 4202560 903 0 0 0 208 11 0 0 20 0 19 0 8676129 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998898219304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10378] ppid=10369 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/10372/task/10378/stat : 10378 (java) S 10369 10372 9721 0 -1 4202560 666 0 0 0 195 8 0 0 20 0 19 0 8676129 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998897166504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10379] ppid=10369 vsize=9625040 CPUtime=2.05 cores=0,2,4,6
/proc/10372/task/10379/stat : 10379 (java) S 10369 10372 9721 0 -1 4202560 767 0 0 0 195 10 0 0 20 0 19 0 8676129 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998896114728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10380] ppid=10369 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/10372/task/10380/stat : 10380 (java) S 10369 10372 9721 0 -1 4202560 598 0 0 0 195 8 0 0 20 0 19 0 8676129 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998895061928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10381] ppid=10369 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/10372/task/10381/stat : 10381 (java) S 10369 10372 9721 0 -1 4202560 484 0 0 0 196 11 0 0 20 0 19 0 8676129 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998894009128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10382] ppid=10369 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/10372/task/10382/stat : 10382 (java) S 10369 10372 9721 0 -1 4202560 373 0 0 0 206 9 0 0 20 0 19 0 8676129 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998892956328 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10383] ppid=10369 vsize=9625040 CPUtime=3.47 cores=0,2,4,6
/proc/10372/task/10383/stat : 10383 (java) S 10369 10372 9721 0 -1 4202560 573 0 0 0 342 5 0 0 20 0 19 0 8676130 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998762330600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10384] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10384/stat : 10384 (java) S 10369 10372 9721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998761276664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10385] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10385/stat : 10385 (java) S 10369 10372 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8676130 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998760223752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10386] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10386/stat : 10386 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998759172240 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10387] ppid=10369 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/10372/task/10387/stat : 10387 (java) S 10369 10372 9721 0 -1 4202560 2366 0 0 0 31 0 0 0 20 0 19 0 8676133 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998758120376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10372/tid=10388] ppid=10369 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10372/task/10388/stat : 10388 (java) S 10369 10372 9721 0 -1 4202560 6972 0 0 0 50 0 0 0 20 0 19 0 8676133 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998757067576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10389] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10389/stat : 10389 (java) S 10369 10372 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8676133 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139998756014968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10372/tid=10390] ppid=10369 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/10372/task/10390/stat : 10390 (java) S 10369 10372 9721 0 -1 4202560 104 0 0 0 24 29 0 0 20 0 19 0 8676133 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139997747342280 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10372/tid=10391] ppid=10369 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10372/task/10391/stat : 10391 (java) S 10369 10372 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8676151 9856040960 66638 33554432000 1073741824 1073778376 140733726025648 139997746287784 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10372 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 10372 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=338219
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=582759
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1787.26
CPU time (s): 1800.08
CPU user time (s): 1798.93
CPU system time (s): 1.15
CPU usage (%): 100.718
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 1.58276
maximum resident set size= 603652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19916
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44558
involuntary context switches= 42495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3723 second user time and 12.1152 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-16 10:38:22
IDJOB=4090862
IDBENCH=79163
IDSOLVER=2551
FILE ID=node133/4090862-1466066302
RUNJOBID= node133-1466062117-9737
PBS_JOBID= 19904006
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090862-1466066302/watcher-4090862-1466066302 -o /tmp/evaluation-result-4090862-1466066302/solver-4090862-1466066302 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466062117-9737 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090862-1466066302.wbo

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

MD5SUM BENCH= 68a136cd2642dd27a3fdbf065e2a5463
RANDOM SEED=1672600908

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31324540 kB
Buffers:            6324 kB
Cached:            41364 kB
SwapCached:         1900 kB
Active:           819360 kB
Inactive:          24248 kB
Active(anon):     797192 kB
Inactive(anon):     1232 kB
Active(file):      22168 kB
Inactive(file):    23016 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098864 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:        759504 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             564732 kB
SReclaimable:       8348 kB
SUnreclaim:       556384 kB
KernelStack:        1680 kB
PageTables:         5784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     937608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    733184 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= 71748 MiB
End job on node133 at 2016-06-16 11:08:09