Trace number 4110741

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)144661488 1800.09 895.574

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irEDCBA.opb
MD5SUM4a8977c9b9a2850db471efac5213f1d1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134168528
Best CPU time to get the best result obtained on this benchmark405.515
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4308
Total number of constraints15405
Number of constraints which are clauses15345
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	16
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4110741-1466387639.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
1.07/0.56	c ... done. Wall clock time 0.448s.
1.07/0.56	c declared #vars     4308
1.07/0.56	c #constraints  15405
1.07/0.56	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.07/0.56	c constraints type 
1.07/0.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3461
1.07/0.56	c org.sat4j.specs.Constr$1 => 2368
1.07/0.56	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
1.07/0.56	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9430
1.07/0.56	c org.sat4j.minisat.constraints.cnf.UnitClause => 131
1.07/0.56	c 15405 constraints processed.
1.07/0.56	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.07/0.56	c constraints type 
1.07/0.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9430
1.07/0.56	c org.sat4j.specs.Constr$1 => 2368
1.07/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3461
1.07/0.56	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15
1.07/0.56	c org.sat4j.pb.constraints.pb.UnitClausePB => 131
1.07/0.56	c 15405 constraints processed.
1.07/0.56	c objective function length is 166 literals
1.80/0.77	c And the winner is solver0
2.37/1.06	c SATISFIABLE
2.37/1.06	c OPTIMIZING...
2.37/1.06	c Got one! Elapsed wall clock time (in seconds):0.956
2.37/1.06	o 192901054
2.37/1.10	c And the winner is solver0
2.63/1.57	c Got one! Elapsed wall clock time (in seconds):1.461
2.63/1.57	o 192901039
2.63/1.58	c And the winner is solver0
2.74/2.07	c Got one! Elapsed wall clock time (in seconds):1.965
2.74/2.07	o 192901024
2.74/2.09	c And the winner is solver0
2.90/2.57	c Got one! Elapsed wall clock time (in seconds):2.468
2.90/2.57	o 192900784
2.97/2.68	c And the winner is solver0
3.64/3.08	c Got one! Elapsed wall clock time (in seconds):2.97
3.64/3.08	o 192896944
4.97/3.68	c And the winner is solver1
5.18/4.08	c Got one! Elapsed wall clock time (in seconds):3.972
5.18/4.08	o 177180304
5.23/4.19	c And the winner is solver1
5.61/4.58	c Got one! Elapsed wall clock time (in seconds):4.474
5.61/4.58	o 176115648
7.16/5.23	c cleaning 2934 clauses out of 5867 with flag 8391/5867
7.42/5.30	c And the winner is solver1
7.45/5.58	c Got one! Elapsed wall clock time (in seconds):5.476
7.45/5.58	o 170899948
8.04/5.85	c And the winner is solver0
8.21/6.08	c Got one! Elapsed wall clock time (in seconds):5.978
8.21/6.08	o 166678464
8.75/6.32	c cleaning 4553 clauses out of 9105 with flag 9028/12039
9.37/6.57	c And the winner is solver0
9.37/6.59	c Got one! Elapsed wall clock time (in seconds):6.479
9.37/6.59	o 166674384
9.93/6.79	c cleaning 4785 clauses out of 9569 with flag 5972/17056
11.45/7.20	c cleaning 5388 clauses out of 10785 with flag 23996/23057
12.24/7.57	c And the winner is solver0
12.41/7.64	c Got one! Elapsed wall clock time (in seconds):7.531
12.41/7.64	o 165653903
12.41/7.65	c And the winner is solver0
12.43/8.14	c Got one! Elapsed wall clock time (in seconds):8.033
12.43/8.14	o 165629888
16.91/10.29	c cleaning 7869 clauses out of 15799 with flag 18567/33459
20.58/11.95	c cleaning 6927 clauses out of 13930 with flag 45556/39459
23.49/13.24	c cleaning 6981 clauses out of 14002 with flag 73573/46458
25.06/14.00	c cleaning 7506 clauses out of 15021 with flag 95208/54458
25.26/14.20	c And the winner is solver1
25.45/14.64	c Got one! Elapsed wall clock time (in seconds):14.536
25.45/14.64	o 160419513
25.58/14.70	c And the winner is solver0
25.65/15.14	c Got one! Elapsed wall clock time (in seconds):15.037
25.65/15.14	o 160387008
25.95/15.39	c cleaning 6868 clauses out of 13743 with flag 9113/60686
26.75/15.70	c And the winner is solver0
26.81/16.15	c Got one! Elapsed wall clock time (in seconds):16.039
26.81/16.15	o 160382928
28.54/16.92	c cleaning 8490 clauses out of 16994 with flag 14713/70805
30.54/17.91	c cleaning 7242 clauses out of 14502 with flag 34380/76803
31.74/18.56	c cleaning 7127 clauses out of 14260 with flag 58110/83803
32.94/19.13	c cleaning 7558 clauses out of 15132 with flag 81147/91802
34.37/19.86	c cleaning 8284 clauses out of 16574 with flag 104933/100802
35.95/20.65	c cleaning 9142 clauses out of 18290 with flag 133064/110802
37.98/21.60	c cleaning 10074 clauses out of 20149 with flag 164218/121803
39.98/22.56	c cleaning 11038 clauses out of 22075 with flag 196273/133803
42.61/23.87	c cleaning 12012 clauses out of 24037 with flag 233085/146803
45.63/25.40	c cleaning 13012 clauses out of 26024 with flag 272391/160802
49.49/27.11	c cleaning 14007 clauses out of 28013 with flag 314703/175803
52.71/28.72	c cleaning 15000 clauses out of 30007 with flag 358429/191804
55.69/30.24	c cleaning 16002 clauses out of 32005 with flag 400762/208802
60.29/32.58	c cleaning 16999 clauses out of 34004 with flag 453920/226803
65.76/35.18	c cleaning 17998 clauses out of 36008 with flag 514342/245806
71.96/38.25	c cleaning 18986 clauses out of 38006 with flag 583718/265802
78.75/41.52	c cleaning 20003 clauses out of 40020 with flag 657153/286802
85.35/44.88	c cleaning 21008 clauses out of 42018 with flag 723373/308803
90.63/47.39	c cleaning 22002 clauses out of 44009 with flag 779486/331802
96.82/50.48	c cleaning 22999 clauses out of 46007 with flag 837731/355802
103.22/53.64	c cleaning 23999 clauses out of 48008 with flag 899310/380802
109.61/56.77	c cleaning 25005 clauses out of 50009 with flag 963587/406802
117.23/60.56	c cleaning 25999 clauses out of 52004 with flag 1033257/433802
125.23/64.42	c cleaning 26997 clauses out of 54007 with flag 1101850/461804
133.24/68.43	c cleaning 28000 clauses out of 56010 with flag 1170085/490804
141.45/72.47	c cleaning 29004 clauses out of 58009 with flag 1247707/520803
150.69/76.99	c cleaning 30002 clauses out of 60004 with flag 1325238/551802
160.29/81.75	c cleaning 31002 clauses out of 62004 with flag 1404024/583804
171.48/87.28	c cleaning 31997 clauses out of 64000 with flag 1483456/616802
184.61/93.75	c cleaning 33002 clauses out of 66003 with flag 1566943/650802
202.14/102.37	c cleaning 33997 clauses out of 68001 with flag 1668942/685802
220.70/111.55	c cleaning 34995 clauses out of 70004 with flag 1782774/721802
259.27/130.59	c cleaning 36000 clauses out of 72009 with flag 1990365/758802
263.47/132.65	c cleaning 0 clauses out of 6650 with flag 0/6656
298.14/149.60	c cleaning 37005 clauses out of 74011 with flag 2262937/796804
331.37/166.17	c cleaning 38002 clauses out of 76004 with flag 2541326/835802
374.38/187.37	c cleaning 38996 clauses out of 78003 with flag 2856066/875803
402.18/201.07	c cleaning 39997 clauses out of 80006 with flag 3072122/916802
431.64/215.51	c cleaning 41004 clauses out of 82009 with flag 3213897/958802
467.52/233.27	c cleaning 41998 clauses out of 84006 with flag 3366899/1001803
511.44/254.96	c cleaning 43004 clauses out of 86008 with flag 3527796/1045803
547.82/272.86	c cleaning 43998 clauses out of 88004 with flag 3688751/1090803
593.53/295.32	c cleaning 44997 clauses out of 90005 with flag 3844585/1136802
643.09/319.71	c cleaning 46002 clauses out of 92009 with flag 4142576/1183803
695.99/345.80	c cleaning 46998 clauses out of 94007 with flag 4442257/1231803
701.08/348.37	c And the winner is solver1
701.08/348.39	c Got one! Elapsed wall clock time (in seconds):348.279
701.08/348.39	o 155175583
702.74/349.25	c cleaning 30207 clauses out of 60424 with flag 12569/1245218
704.85/350.21	c cleaning 18108 clauses out of 36218 with flag 27969/1251219
706.05/350.90	c cleaning 12554 clauses out of 25109 with flag 46256/1258218
707.45/351.57	c cleaning 10276 clauses out of 20556 with flag 68814/1266219
709.05/352.30	c cleaning 9633 clauses out of 19279 with flag 93485/1275218
710.45/353.06	c cleaning 9817 clauses out of 19646 with flag 120546/1285218
712.05/353.88	c cleaning 10413 clauses out of 20830 with flag 151744/1296219
714.13/354.85	c cleaning 11207 clauses out of 22416 with flag 184886/1308218
716.33/355.91	c cleaning 12104 clauses out of 24213 with flag 223612/1321222
716.33/355.93	c And the winner is solver0
716.75/356.39	c Got one! Elapsed wall clock time (in seconds):356.282
716.75/356.39	o 155155183
717.41/356.75	c cleaning 8658 clauses out of 17324 with flag 11998/1326437
718.21/357.14	c cleaning 7332 clauses out of 14668 with flag 26605/1332439
719.03/357.59	c cleaning 7163 clauses out of 14334 with flag 43839/1339437
720.28/358.13	c cleaning 7579 clauses out of 15172 with flag 63388/1347438
721.50/358.76	c cleaning 8297 clauses out of 16593 with flag 85642/1356438
723.08/359.50	c cleaning 9142 clauses out of 18295 with flag 111196/1366437
724.68/360.36	c cleaning 10074 clauses out of 20153 with flag 138797/1377437
726.68/361.39	c cleaning 11036 clauses out of 22079 with flag 171863/1389437
729.24/362.50	c cleaning 12018 clauses out of 24043 with flag 205190/1402437
731.44/363.64	c cleaning 13011 clauses out of 26027 with flag 241028/1416439
734.04/364.91	c cleaning 14006 clauses out of 28015 with flag 280624/1431438
737.69/367.17	c cleaning 15003 clauses out of 30009 with flag 322315/1447438
740.90/368.74	c cleaning 15996 clauses out of 32005 with flag 367208/1464437
744.79/370.61	c cleaning 17004 clauses out of 34009 with flag 413762/1482437
748.85/372.61	c cleaning 18000 clauses out of 36005 with flag 463686/1501437
753.25/374.82	c cleaning 18998 clauses out of 38005 with flag 518495/1521437
758.37/377.35	c cleaning 19999 clauses out of 40007 with flag 577260/1542437
764.28/380.23	c cleaning 21003 clauses out of 42008 with flag 641006/1564437
770.58/383.35	c cleaning 22000 clauses out of 44005 with flag 714617/1587437
777.04/386.54	c cleaning 23003 clauses out of 46005 with flag 786354/1611437
784.41/390.16	c cleaning 23994 clauses out of 48002 with flag 862284/1636437
792.52/394.10	c cleaning 25004 clauses out of 50009 with flag 941872/1662438
800.71/398.20	c cleaning 26000 clauses out of 52005 with flag 1021749/1689438
808.36/401.97	c cleaning 27002 clauses out of 54004 with flag 1092129/1717437
817.47/406.44	c cleaning 27999 clauses out of 56004 with flag 1163744/1746439
826.88/411.06	c cleaning 29000 clauses out of 58004 with flag 1244861/1776438
835.77/415.43	c cleaning 29999 clauses out of 60004 with flag 1328948/1807438
846.09/420.58	c cleaning 30998 clauses out of 62004 with flag 1417314/1839437
856.52/425.64	c cleaning 32000 clauses out of 64008 with flag 1500173/1872439
867.81/431.22	c cleaning 33001 clauses out of 66006 with flag 1588679/1906437
878.54/436.59	c cleaning 34002 clauses out of 68007 with flag 1681533/1941439
890.66/442.54	c cleaning 35000 clauses out of 70004 with flag 1775086/1977438
904.71/449.48	c cleaning 36001 clauses out of 72007 with flag 1877786/2014441
918.55/456.22	c cleaning 36997 clauses out of 74002 with flag 1986295/2052437
933.13/463.47	c cleaning 37997 clauses out of 76007 with flag 2092928/2091439
950.36/471.98	c cleaning 39000 clauses out of 78008 with flag 2208476/2131437
967.67/480.45	c cleaning 40001 clauses out of 80009 with flag 2323688/2172438
984.04/488.59	c cleaning 41002 clauses out of 82007 with flag 2441989/2214437
1003.53/498.13	c cleaning 42000 clauses out of 84005 with flag 2561981/2257437
1023.46/507.95	c cleaning 43001 clauses out of 86006 with flag 2689619/2301438
1042.76/517.43	c cleaning 43999 clauses out of 88004 with flag 2818645/2346437
1062.64/527.29	c cleaning 44998 clauses out of 90005 with flag 2950071/2392437
1085.01/538.28	c cleaning 46001 clauses out of 92007 with flag 3091025/2439437
1107.23/549.19	c cleaning 0 clauses out of 12098 with flag 0/12104
1108.46/549.71	c cleaning 47000 clauses out of 94006 with flag 3231044/2487437
1131.77/561.28	c cleaning 48000 clauses out of 96006 with flag 3366232/2536437
1155.55/572.90	c cleaning 49003 clauses out of 98007 with flag 3513519/2586438
1182.73/586.33	c cleaning 50002 clauses out of 100004 with flag 3664534/2637438
1211.39/600.44	c cleaning 50999 clauses out of 102002 with flag 3820968/2689438
1217.69/603.56	c And the winner is solver0
1218.39/604.31	c Got one! Elapsed wall clock time (in seconds):604.199
1218.39/604.31	o 150953709
1220.78/605.65	c cleaning 35600 clauses out of 71205 with flag 12423/2709640
1222.39/606.44	c cleaning 20797 clauses out of 41603 with flag 28605/2715638
1223.71/607.08	c cleaning 13899 clauses out of 27808 with flag 47064/2722640
1224.91/607.63	c cleaning 10948 clauses out of 21907 with flag 69207/2730638
1226.11/608.24	c cleaning 9978 clauses out of 19960 with flag 93527/2739639
1227.50/608.93	c cleaning 9986 clauses out of 19981 with flag 120657/2749638
1228.90/609.67	c cleaning 10496 clauses out of 20996 with flag 149357/2760639
1230.92/610.64	c cleaning 11249 clauses out of 22499 with flag 181758/2772638
1233.06/611.68	c cleaning 12121 clauses out of 24250 with flag 219293/2785638
1235.26/612.80	c cleaning 13063 clauses out of 26130 with flag 259133/2799639
1238.04/614.14	c cleaning 14029 clauses out of 28066 with flag 305197/2814638
1240.96/615.58	c cleaning 15017 clauses out of 30037 with flag 355082/2830638
1244.56/617.35	c cleaning 16008 clauses out of 32022 with flag 402879/2847640
1248.16/619.19	c cleaning 16999 clauses out of 34012 with flag 449774/2865638
1252.50/621.27	c cleaning 18007 clauses out of 36013 with flag 501584/2884638
1257.53/623.78	c cleaning 19003 clauses out of 38007 with flag 559638/2904639
1262.63/626.28	c cleaning 20001 clauses out of 40003 with flag 617477/2925638
1268.23/629.06	c cleaning 20999 clauses out of 42003 with flag 677849/2947639
1274.14/631.98	c cleaning 22001 clauses out of 44004 with flag 743593/2970639
1280.54/635.17	c cleaning 23001 clauses out of 46002 with flag 814145/2994638
1287.48/638.53	c cleaning 24000 clauses out of 48003 with flag 885920/3019640
1295.06/642.29	c cleaning 25001 clauses out of 50002 with flag 960477/3045639
1303.80/646.54	c cleaning 25998 clauses out of 52001 with flag 1039285/3072639
1313.79/651.95	c cleaning 26998 clauses out of 54003 with flag 1120298/3100639
1323.75/656.84	c cleaning 27999 clauses out of 56004 with flag 1200996/3129638
1330.89/660.31	c And the winner is solver1
1330.89/660.63	c Got one! Elapsed wall clock time (in seconds):660.526
1330.89/660.63	o 149921183
1332.81/661.66	c cleaning 27915 clauses out of 55833 with flag 12662/3157466
1334.41/662.41	c cleaning 16957 clauses out of 33918 with flag 27836/3163466
1335.61/663.03	c cleaning 11978 clauses out of 23963 with flag 47175/3170468
1336.81/663.61	c cleaning 9990 clauses out of 19983 with flag 68765/3178466
1338.01/664.24	c cleaning 9495 clauses out of 18993 with flag 94103/3187466
1339.41/664.96	c cleaning 9741 clauses out of 19498 with flag 123742/3197466
1341.31/665.87	c cleaning 10374 clauses out of 20757 with flag 158796/3208466
1343.13/666.79	c cleaning 11192 clauses out of 22384 with flag 196174/3220467
1345.51/667.94	c cleaning 12095 clauses out of 24192 with flag 235412/3233467
1348.37/669.39	c cleaning 13049 clauses out of 26097 with flag 279347/3247467
1351.37/670.87	c cleaning 14020 clauses out of 28048 with flag 323962/3262467
1354.37/672.36	c cleaning 15010 clauses out of 30027 with flag 368652/3278466
1357.71/673.98	c cleaning 16006 clauses out of 32018 with flag 414142/3295467
1361.31/675.79	c And the winner is solver0
1362.28/676.64	c Got one! Elapsed wall clock time (in seconds):676.534
1362.28/676.64	o 149904368
1363.67/677.39	c cleaning 19182 clauses out of 38373 with flag 14008/3317828
1364.87/677.92	c cleaning 12587 clauses out of 25191 with flag 30710/3323828
1365.88/678.48	c cleaning 9797 clauses out of 19604 with flag 49393/3330828
1367.08/679.06	c cleaning 8900 clauses out of 17807 with flag 70311/3338828
1368.47/679.70	c cleaning 8952 clauses out of 17907 with flag 93845/3347828
1369.67/680.38	c cleaning 9474 clauses out of 18957 with flag 120888/3357830
1371.80/681.31	c cleaning 10240 clauses out of 20482 with flag 151716/3368829
1374.20/682.51	c cleaning 11116 clauses out of 22241 with flag 184704/3380828
1377.62/684.29	c cleaning 12060 clauses out of 24125 with flag 225510/3393828
1381.74/686.25	c cleaning 13029 clauses out of 26065 with flag 263363/3407828
1383.95/687.37	c cleaning 14017 clauses out of 28036 with flag 304239/3422828
1386.35/688.59	c cleaning 15010 clauses out of 30021 with flag 348183/3438830
1389.48/690.08	c cleaning 16004 clauses out of 32009 with flag 393557/3455828
1393.50/692.05	c cleaning 17002 clauses out of 34005 with flag 448359/3473828
1397.64/694.02	c cleaning 17998 clauses out of 36003 with flag 505709/3492828
1401.65/696.06	c cleaning 19003 clauses out of 38006 with flag 562274/3512829
1406.61/698.46	c cleaning 19997 clauses out of 40002 with flag 619625/3533828
1412.93/701.54	c cleaning 21000 clauses out of 42005 with flag 684604/3555828
1418.73/704.42	c cleaning 22002 clauses out of 44005 with flag 750676/3578828
1425.08/707.53	c cleaning 22999 clauses out of 46003 with flag 820495/3602828
1433.21/711.56	c cleaning 24002 clauses out of 48005 with flag 893011/3627829
1441.50/715.65	c cleaning 24999 clauses out of 50004 with flag 971736/3653830
1450.08/719.83	c cleaning 25999 clauses out of 52003 with flag 1051494/3680828
1458.02/723.78	c cleaning 26999 clauses out of 54005 with flag 1131390/3708829
1466.81/728.02	c cleaning 28001 clauses out of 56005 with flag 1214222/3737828
1476.40/732.73	c cleaning 28999 clauses out of 58005 with flag 1297258/3767829
1486.15/737.58	c cleaning 30003 clauses out of 60006 with flag 1387766/3798829
1488.95/738.96	c And the winner is solver0
1489.76/739.89	c Got one! Elapsed wall clock time (in seconds):739.782
1489.76/739.89	o 149901278
1491.36/740.79	c cleaning 23588 clauses out of 47183 with flag 14521/3816009
1492.65/741.40	c cleaning 14793 clauses out of 29596 with flag 31028/3822010
1493.85/741.97	c cleaning 10896 clauses out of 21801 with flag 51090/3829008
1495.07/742.54	c cleaning 9450 clauses out of 18905 with flag 74155/3837008
1496.25/743.18	c cleaning 9224 clauses out of 18456 with flag 98641/3846009
1497.65/743.89	c cleaning 9613 clauses out of 19231 with flag 126499/3856008
1499.25/744.62	c cleaning 10309 clauses out of 20618 with flag 156265/3867008
1500.86/745.48	c cleaning 11150 clauses out of 22310 with flag 189008/3879009
1503.22/746.56	c cleaning 12073 clauses out of 24159 with flag 223560/3892008
1505.82/747.82	c cleaning 13044 clauses out of 26087 with flag 267467/3906009
1508.64/749.26	c cleaning 14016 clauses out of 28042 with flag 310870/3921008
1512.14/750.92	c cleaning 15011 clauses out of 30026 with flag 359723/3937008
1515.54/752.68	c cleaning 16008 clauses out of 32016 with flag 411805/3954009
1518.34/754.10	c And the winner is solver0
1519.34/754.76	c Got one! Elapsed wall clock time (in seconds):754.658
1519.34/754.76	o 145721584
1520.58/755.45	c cleaning 17771 clauses out of 35552 with flag 12739/3973553
1521.58/756.00	c cleaning 11890 clauses out of 23781 with flag 28950/3979553
1522.78/756.52	c cleaning 9446 clauses out of 18891 with flag 47260/3986553
1522.98/756.67	c And the winner is solver0
1523.94/757.52	c Got one! Elapsed wall clock time (in seconds):757.413
1523.94/757.52	o 145710334
1524.30/757.72	c cleaning 7370 clauses out of 14755 with flag 7571/3991863
1524.92/758.09	c cleaning 6692 clauses out of 13386 with flag 22669/3997864
1525.90/758.51	c cleaning 6843 clauses out of 13694 with flag 40644/4004864
1526.92/759.03	c cleaning 7425 clauses out of 14850 with flag 61389/4012863
1528.20/759.66	c cleaning 8211 clauses out of 16425 with flag 84695/4021863
1529.60/760.38	c cleaning 9104 clauses out of 18215 with flag 111442/4031864
1531.20/761.17	c cleaning 10055 clauses out of 20111 with flag 140061/4042864
1532.20/761.67	c And the winner is solver0
1533.06/762.42	c Got one! Elapsed wall clock time (in seconds):762.318
1533.06/762.42	o 145710319
1533.79/762.87	c cleaning 11165 clauses out of 22331 with flag 12891/4055139
1534.59/763.28	c cleaning 8579 clauses out of 17165 with flag 29056/4061138
1535.76/763.77	c cleaning 7788 clauses out of 15586 with flag 48512/4068138
1536.76/764.30	c cleaning 7899 clauses out of 15798 with flag 70277/4076138
1538.16/764.91	c cleaning 8449 clauses out of 16899 with flag 93774/4085138
1539.36/765.60	c cleaning 9222 clauses out of 18452 with flag 119793/4095140
1540.96/766.39	c cleaning 10112 clauses out of 20228 with flag 147766/4106138
1542.76/767.27	c cleaning 11056 clauses out of 22117 with flag 182526/4118139
1544.76/768.27	c cleaning 12031 clauses out of 24061 with flag 219934/4131139
1547.38/769.42	c cleaning 13010 clauses out of 26029 with flag 259151/4145138
1549.98/770.76	c cleaning 14006 clauses out of 28019 with flag 303499/4160138
1553.00/772.22	c cleaning 15004 clauses out of 30014 with flag 351047/4176139
1556.18/773.81	c cleaning 16001 clauses out of 32011 with flag 401689/4193140
1559.73/775.58	c cleaning 17003 clauses out of 34008 with flag 452293/4211138
1564.13/777.76	c cleaning 18002 clauses out of 36006 with flag 508935/4230139
1568.54/779.94	c cleaning 18999 clauses out of 38003 with flag 568035/4250138
1573.27/782.25	c cleaning 20001 clauses out of 40007 with flag 628654/4271141
1578.45/784.85	c cleaning 21000 clauses out of 42003 with flag 692714/4293138
1584.58/787.85	c cleaning 22002 clauses out of 44003 with flag 760760/4316138
1590.99/790.98	c cleaning 22997 clauses out of 46001 with flag 829051/4340138
1598.17/794.58	c cleaning 24003 clauses out of 48005 with flag 901921/4365139
1605.31/798.07	c cleaning 24997 clauses out of 50002 with flag 975295/4391139
1613.65/802.16	c cleaning 26002 clauses out of 52005 with flag 1050034/4418139
1622.47/806.42	c cleaning 27002 clauses out of 54004 with flag 1123958/4446140
1630.87/810.54	c cleaning 27997 clauses out of 56000 with flag 1200768/4475138
1640.30/815.11	c cleaning 28997 clauses out of 58003 with flag 1284019/4505138
1641.68/815.83	c And the winner is solver0
1642.29/816.59	c Got one! Elapsed wall clock time (in seconds):816.48
1642.29/816.59	o 145710079
1643.70/817.32	c cleaning 20113 clauses out of 40225 with flag 13124/4516357
1644.68/817.84	c cleaning 13051 clauses out of 26114 with flag 29034/4522359
1645.68/818.38	c cleaning 10023 clauses out of 20062 with flag 48390/4529358
1646.88/818.92	c cleaning 9013 clauses out of 18039 with flag 71574/4537358
1647.88/819.49	c cleaning 9008 clauses out of 18025 with flag 99312/4546357
1649.46/820.19	c cleaning 9505 clauses out of 19017 with flag 130532/4556357
1651.06/820.97	c cleaning 10255 clauses out of 20513 with flag 163442/4567358
1653.06/821.90	c cleaning 11129 clauses out of 22257 with flag 197185/4579357
1655.08/822.99	c cleaning 12062 clauses out of 24129 with flag 235815/4592358
1657.66/824.21	c cleaning 13031 clauses out of 26066 with flag 276415/4606357
1660.26/825.54	c cleaning 14011 clauses out of 28035 with flag 321816/4621357
1661.01/825.88	c And the winner is solver0
1661.57/826.39	c Got one! Elapsed wall clock time (in seconds):826.286
1661.57/826.39	o 145706989
1661.83/826.50	c cleaning 9701 clauses out of 19416 with flag 2586/4626749
1662.63/826.93	c cleaning 7851 clauses out of 15713 with flag 18640/4632747
1663.63/827.41	c cleaning 7424 clauses out of 14862 with flag 36933/4639747
1664.63/827.90	c cleaning 7716 clauses out of 15438 with flag 58346/4647747
1665.65/828.49	c cleaning 8359 clauses out of 16723 with flag 83596/4656748
1667.03/829.17	c cleaning 9181 clauses out of 18364 with flag 112558/4666748
1667.65/829.41	c And the winner is solver0
1668.44/830.20	c Got one! Elapsed wall clock time (in seconds):830.091
1668.44/830.20	o 144661758
1668.44/830.27	c cleaning 7107 clauses out of 14222 with flag 2564/4671787
1669.25/830.64	c cleaning 6550 clauses out of 13113 with flag 18524/4677785
1670.03/831.03	c cleaning 6780 clauses out of 13564 with flag 37220/4684786
1671.02/831.51	c cleaning 7391 clauses out of 14784 with flag 57803/4692786
1672.41/832.17	c cleaning 8195 clauses out of 16392 with flag 82506/4701785
1673.83/832.83	c cleaning 9093 clauses out of 18198 with flag 108323/4711786
1675.21/833.56	c cleaning 10050 clauses out of 20104 with flag 139979/4722785
1677.01/834.45	c cleaning 11025 clauses out of 22055 with flag 176010/4734786
1679.21/835.50	c cleaning 12014 clauses out of 24029 with flag 216251/4747785
1681.61/836.74	c cleaning 13004 clauses out of 26015 with flag 256265/4761785
1684.79/838.22	c cleaning 14004 clauses out of 28012 with flag 300485/4776786
1687.77/839.79	c cleaning 15002 clauses out of 30008 with flag 349714/4792786
1691.39/841.51	c cleaning 16001 clauses out of 32005 with flag 398639/4809785
1695.50/843.57	c cleaning 17002 clauses out of 34005 with flag 453564/4827786
1699.50/845.56	c cleaning 18001 clauses out of 36004 with flag 511290/4846787
1704.11/847.82	c cleaning 18993 clauses out of 38001 with flag 573954/4866785
1709.31/850.31	c cleaning 20001 clauses out of 40008 with flag 634336/4887785
1714.09/852.78	c cleaning 21004 clauses out of 42007 with flag 698074/4909785
1719.82/855.56	c cleaning 21999 clauses out of 44003 with flag 761759/4932785
1726.42/858.87	c cleaning 23003 clauses out of 46005 with flag 831428/4956786
1732.74/861.90	c cleaning 23997 clauses out of 48003 with flag 904726/4981787
1739.47/865.29	c cleaning 24995 clauses out of 50004 with flag 978829/5007785
1747.26/869.07	c cleaning 26001 clauses out of 52009 with flag 1063067/5034785
1755.75/873.26	c cleaning 27002 clauses out of 54008 with flag 1151469/5062785
1763.75/877.29	c cleaning 28000 clauses out of 56009 with flag 1230683/5091788
1774.24/882.35	c cleaning 29003 clauses out of 58006 with flag 1320873/5121785
1774.92/882.63	c And the winner is solver0
1775.54/883.41	c Got one! Elapsed wall clock time (in seconds):883.3
1775.54/883.41	o 144661488
1776.31/883.85	c cleaning 17256 clauses out of 34520 with flag 7804/5127302
1777.31/884.38	c cleaning 11628 clauses out of 23263 with flag 22978/5133301
1778.51/884.93	c cleaning 9312 clauses out of 18636 with flag 41623/5140302
1779.73/885.51	c cleaning 8659 clauses out of 17324 with flag 63454/5148302
1780.91/886.17	c cleaning 8826 clauses out of 17664 with flag 87177/5157301
1782.39/886.84	c cleaning 9418 clauses out of 18839 with flag 112730/5167302
1783.99/887.66	c cleaning 10209 clauses out of 20420 with flag 142087/5178301
1785.80/888.60	c cleaning 11102 clauses out of 22211 with flag 175048/5190301
1787.80/889.57	c cleaning 12052 clauses out of 24110 with flag 209021/5203302
1790.20/890.75	c cleaning 13027 clauses out of 26058 with flag 247373/5217302
1793.16/892.15	c cleaning 14009 clauses out of 28030 with flag 288701/5232301
1796.34/893.75	c cleaning 15008 clauses out of 30022 with flag 330595/5248302
1799.89/895.49	c cleaning 16005 clauses out of 32013 with flag 376073/5265301
1800.09/895.52	c >>>>>>>>>> Solver number 0 (22 answers) <<<<<<<<<<<<<<<<<<
1800.09/895.52	c starts		: 88944
1800.09/895.52	c conflicts		: 5265695
1800.09/895.52	c decisions		: 9431523
1800.09/895.52	c propagations		: 384013535
1800.09/895.52	c inspects		: 13649943065
1800.09/895.52	c shortcuts		: 0
1800.09/895.52	c learnt literals	: 0
1800.09/895.52	c learnt binary clauses	: 10
1800.09/895.52	c learnt ternary clauses	: 8
1800.09/895.52	c learnt constraints	: 5265695
1800.09/895.52	c ignored constraints	: 0
1800.09/895.52	c root simplifications	: 0
1800.09/895.52	c removed literals (reason simplification)	: 37101593
1800.09/895.52	c reason swapping (by a shorter reason)	: 0
1800.09/895.52	c Calls to reduceDB	: 280
1800.09/895.52	c Number of update (reduction) of LBD	: 586048
1800.09/895.52	c Imported unit clauses	: 0
1800.09/895.52	c number of reductions to clauses (during analyze)	: 0
1800.09/895.52	c number of learned constraints concerned by reduction	: 0
1800.09/895.52	c number of learning phase by resolution	: 0
1800.09/895.52	c number of learning phase by cutting planes	: 0
1800.09/895.52	c speed (assignments/second)	: 1634921.0880356946
1800.09/895.52	c non guided choices	2630
1800.09/895.52	c learnt constraints type 
1800.09/895.52	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10
1800.09/895.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16392
1800.09/895.52	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.09/895.52	c starts		: 95
1800.09/895.52	c conflicts		: 14839
1800.09/895.52	c decisions		: 41654
1800.09/895.52	c propagations		: 3308009
1800.09/895.52	c inspects		: 817693060
1800.09/895.52	c shortcuts		: 0
1800.09/895.52	c learnt literals	: 0
1800.09/895.52	c learnt binary clauses	: 0
1800.09/895.52	c learnt ternary clauses	: 1
1800.09/895.52	c learnt constraints	: 14827
1800.09/895.52	c ignored constraints	: 0
1800.09/895.52	c root simplifications	: 0
1800.09/895.52	c removed literals (reason simplification)	: 0
1800.09/895.52	c reason swapping (by a shorter reason)	: 0
1800.09/895.52	c Calls to reduceDB	: 2
1800.09/895.52	c Number of update (reduction) of LBD	: 0
1800.09/895.52	c Imported unit clauses	: 0
1800.09/895.52	c number of reductions to clauses (during analyze)	: 0
1800.09/895.52	c number of learned constraints concerned by reduction	: 0
1800.09/895.52	c number of learning phase by resolution	: 0
1800.09/895.52	c number of learning phase by cutting planes	: 0
1800.09/895.52	c speed (assignments/second)	: 275483.76082611596
1800.09/895.52	c non guided choices	312
1800.09/895.53	c learnt constraints type 
1800.09/895.53	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 804
1800.09/895.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14023
1800.09/895.53	s SATISFIABLE
1800.09/895.53	c Found 28 solution(s)
1800.09/895.54	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 
1800.09/895.55	c objective function=144661488
1800.09/895.55	c Total wall clock time (in seconds): 895.441

Verifier Data 

OK	144661488

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

pid=17070
running on 8 cores: 4-7,12-15

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: 4.70 4.15 4.05 4/284 17073
/proc/meminfo: memFree=30519892/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=8482100 CPUtime=0 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 1834 0 1 0 0 0 0 0 20 0 2 0 40808495 8685670400 1436 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2120525 1449 941 9 0 2111634 0
[pid=17073/tid=17074] ppid=17070 vsize=8482100 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) R 17070 17073 15739 0 -1 4202560 707 0 1 0 0 0 0 0 20 0 2 0 40808495 8685670400 1534 33554432000 1073741824 1073778376 140734821162912 139987473090864 216808305323 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 4.70 4.15 4.05 4/284 17073
/proc/meminfo: memFree=30519892/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 4574 0 1 0 10 1 0 0 20 0 23 0 40808495 10133950464 5702 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2474109 5702 2156 9 0 2464786 0
[pid=17073/tid=17074] ppid=17070 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) R 17070 17073 15739 0 -1 4202560 2479 0 1 0 7 0 0 0 20 0 23 0 40808495 10133950464 5702 33554432000 1073741824 1073778376 140734821162912 139987473087392 139987412842030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436

[startup+0.200235 s]
/proc/loadavg: 4.70 4.15 4.05 4/284 17073
/proc/meminfo: memFree=30519892/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=9896436 CPUtime=0.26 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 4817 0 1 0 25 1 0 0 20 0 23 0 40808495 10133950464 6919 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2474109 6919 2214 9 0 2464786 0
[pid=17073/tid=17074] ppid=17070 vsize=9896436 CPUtime=0.17 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) R 17070 17073 15739 0 -1 4202560 2498 0 1 0 17 0 0 0 20 0 23 0 40808495 10133950464 6919 33554432000 1073741824 1073778376 140734821162912 139987473087392 139987412891457 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9896436

[startup+0.300233 s]
/proc/loadavg: 4.70 4.15 4.05 4/284 17073
/proc/meminfo: memFree=30519892/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=9896436 CPUtime=0.5 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 6297 0 1 0 48 2 0 0 20 0 23 0 40808495 10133950464 8995 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2474109 8995 2233 9 0 2464786 0
[pid=17073/tid=17074] ppid=17070 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) R 17070 17073 15739 0 -1 4202560 2500 0 1 0 27 0 0 0 20 0 23 0 40808495 10133950464 8995 33554432000 1073741824 1073778376 140734821162912 139987473087392 139987412860327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9896436

[startup+0.700231 s]
/proc/loadavg: 4.70 4.15 4.05 4/284 17073
/proc/meminfo: memFree=30519892/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=10162692 CPUtime=1.8 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 22022 0 1 0 176 4 0 0 20 0 27 0 40808495 10406596608 27478 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2540673 27478 2256 9 0 2531350 0
[pid=17073/tid=17074] ppid=17070 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) S 17070 17073 15739 0 -1 4202560 2531 0 1 0 53 1 0 0 20 0 27 0 40808495 10406596608 27478 33554432000 1073741824 1073778376 140734821162912 139987473089400 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10162692

[startup+1.50096 s]
/proc/loadavg: 4.70 4.15 4.05 7/311 17103
/proc/meminfo: memFree=30413520/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=10162692 CPUtime=2.63 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 24105 0 1 0 255 8 0 0 20 0 24 0 40808495 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2540673 28691 2268 9 0 2531350 0
[pid=17073/tid=17074] ppid=17070 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) S 17070 17073 15739 0 -1 4202560 2533 0 1 0 53 1 0 0 20 0 24 0 40808495 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987473089400 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17076/stat : 17076 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987317111720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17077] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17077/stat : 17077 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987316059176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17078] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17078/stat : 17078 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987315006120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17079] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17079/stat : 17079 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987313953576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17080] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17080/stat : 17080 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987312900520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17081] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17081/stat : 17081 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987311847976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17082] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17082/stat : 17082 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987310794920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17083] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17083/stat : 17083 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987309742376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17084] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17084/stat : 17084 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987308690344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17085] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17085/stat : 17085 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987307637800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17086] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17086/stat : 17086 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987306584744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=17073/tid=17087] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17087/stat : 17087 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987305532200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17088] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17088/stat : 17088 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 40808496 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987304479144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17089] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17089/stat : 17089 (java) S 17070 17073 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 40808497 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987286804968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17090] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17090/stat : 17090 (java) S 17070 17073 15739 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 40808497 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987285750776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17091] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17091/stat : 17091 (java) S 17070 17073 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 40808498 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987284698120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17092] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17092/stat : 17092 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808500 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987283647376 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17093] ppid=17070 vsize=10162692 CPUtime=0.77 cores=4-7,12-15
/proc/17073/task/17093/stat : 17093 (java) S 17070 17073 15739 0 -1 4202560 10970 0 0 0 75 2 0 0 20 0 24 0 40808500 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987282594744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17094] ppid=17070 vsize=10162692 CPUtime=0.77 cores=4-7,12-15
/proc/17073/task/17094/stat : 17094 (java) S 17070 17073 15739 0 -1 4202560 9248 0 0 0 76 1 0 0 20 0 24 0 40808500 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987281541688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17095] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17095/stat : 17095 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808500 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987280489336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17096] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17096/stat : 17096 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 40808500 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139987279436488 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17100] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17100/stat : 17100 (java) S 17070 17073 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 40808552 10406596608 28691 33554432000 1073741824 1073778376 140734821162912 139985865864744 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10162692

[startup+3.10089 s]
/proc/loadavg: 4.48 4.11 4.04 3/308 17109
/proc/meminfo: memFree=30403032/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=10162692 CPUtime=3.68 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 27977 0 1 0 354 14 0 0 20 0 27 0 40808495 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2540673 34509 2269 9 0 2531350 0
[pid=17073/tid=17074] ppid=17070 vsize=10162692 CPUtime=0.55 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) S 17070 17073 15739 0 -1 4202560 2536 0 1 0 54 1 0 0 20 0 27 0 40808495 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987473089400 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17076/stat : 17076 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987317111720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17077] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17077/stat : 17077 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987316059176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17078] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17078/stat : 17078 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987315006120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17079] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17079/stat : 17079 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987313953576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17080] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17080/stat : 17080 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987312900520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17081] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17081/stat : 17081 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987311847976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17082] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17082/stat : 17082 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987310794920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17083] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17083/stat : 17083 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987309742376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17084] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17084/stat : 17084 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987308690344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17085] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17085/stat : 17085 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987307637800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17086] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17086/stat : 17086 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987306584744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=17073/tid=17087] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17087/stat : 17087 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987305532200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17088] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17088/stat : 17088 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40808496 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987304479144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17089] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17089/stat : 17089 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40808497 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987286804968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17090] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17090/stat : 17090 (java) S 17070 17073 15739 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 40808497 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987285750776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17091] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17091/stat : 17091 (java) S 17070 17073 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 40808498 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987284698120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17092] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17092/stat : 17092 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808500 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987283647376 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17093] ppid=17070 vsize=10162692 CPUtime=1.12 cores=4-7,12-15
/proc/17073/task/17093/stat : 17093 (java) S 17070 17073 15739 0 -1 4202560 14662 0 0 0 110 2 0 0 20 0 27 0 40808500 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987282594744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17094] ppid=17070 vsize=10162692 CPUtime=1.13 cores=4-7,12-15
/proc/17073/task/17094/stat : 17094 (java) S 17070 17073 15739 0 -1 4202560 9386 0 0 0 112 1 0 0 20 0 27 0 40808500 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987281541688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17095] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17095/stat : 17095 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808500 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987280489336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17096] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17096/stat : 17096 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808500 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139987279436488 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17100] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17100/stat : 17100 (java) S 17070 17073 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 40808552 10406596608 34509 33554432000 1073741824 1073778376 140734821162912 139985865864744 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 10162692

[startup+6.30094 s]
/proc/loadavg: 4.48 4.11 4.04 3/308 17121
/proc/meminfo: memFree=30306668/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=10162692 CPUtime=8.75 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 30866 0 1 0 834 41 0 0 20 0 27 0 40808495 10406596608 59792 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2540673 59792 2295 9 0 2531350 0
[pid=17073/tid=17074] ppid=17070 vsize=10162692 CPUtime=0.57 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) S 17070 17073 15739 0 -1 4202560 2537 0 1 0 55 2 0 0 20 0 27 0 40808495 10406596608 59792 33554432000 1073741824 1073778376 140734821162912 139987473089400 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/17073/task/17076/stat : 17076 (java) S 17070 17073 15739 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 40808496 10406596608 59792 33554432000 1073741824 1073778376 140734821162912 139987317111720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17077] ppid=17070 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/17073/task/17077/stat : 17077 (java) S 17070 17073 15739 0 -1 4202560 20 0 0 0 2 2 0 0 20 0 27 0 40808496 10406596608 59792 33554432000 1073741824 1073778376 140734821162912 139987316059176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17078] ppid=17070 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/17073/task/17078/stat : 17078 (java) S 17070 17073 15739 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 27 0 40808496 10406596608 59792 33554432000 1073741824 1073778376 140734821162912 139987315006120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17079] ppid=17070 vsize=10162692 CPUtime=0.03 cores=4-7,12-15

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

/proc/17073/task/17096/stat : 17096 (java) S 17070 17073 15739 0 -1 4202560 51 0 0 0 16 26 0 0 20 0 26 0 40808500 10406596608 602351 33554432000 1073741824 1073778376 140734821162912 139987279436488 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17196] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17196/stat : 17196 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 26 0 40874559 10406596608 602351 33554432000 1073741824 1073778376 140734821162912 139985869022888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1772.86
Current children cumulated vsize (KiB) 10162692
#
############




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.512 s]
/proc/loadavg: 3.98 4.10 4.05 5/311 17328
/proc/meminfo: memFree=27298696/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=10162692 CPUtime=1797.41 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 39005 0 1 0 179310 431 0 0 20 0 27 0 40808495 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2540673 603694 2303 9 0 2531350 0
[pid=17073/tid=17074] ppid=17070 vsize=10162692 CPUtime=0.65 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) S 17070 17073 15739 0 -1 4202560 2550 0 1 0 61 4 0 0 20 0 27 0 40808495 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987473089400 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=10162692 CPUtime=2.92 cores=4-7,12-15
/proc/17073/task/17076/stat : 17076 (java) S 17070 17073 15739 0 -1 4202560 433 0 0 0 272 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987317111720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=17073/tid=17077] ppid=17070 vsize=10162692 CPUtime=2.75 cores=4-7,12-15
/proc/17073/task/17077/stat : 17077 (java) S 17070 17073 15739 0 -1 4202560 349 0 0 0 256 19 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987316059176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=17073/tid=17078] ppid=17070 vsize=10162692 CPUtime=2.92 cores=4-7,12-15
/proc/17073/task/17078/stat : 17078 (java) S 17070 17073 15739 0 -1 4202560 376 0 0 0 268 24 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987315006120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17079] ppid=17070 vsize=10162692 CPUtime=2.86 cores=4-7,12-15
/proc/17073/task/17079/stat : 17079 (java) S 17070 17073 15739 0 -1 4202560 339 0 0 0 265 21 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987313953576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17080] ppid=17070 vsize=10162692 CPUtime=2.8 cores=4-7,12-15
/proc/17073/task/17080/stat : 17080 (java) S 17070 17073 15739 0 -1 4202560 363 0 0 0 260 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987312900520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17081] ppid=17070 vsize=10162692 CPUtime=2.85 cores=4-7,12-15
/proc/17073/task/17081/stat : 17081 (java) S 17070 17073 15739 0 -1 4202560 340 0 0 0 265 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987311847976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17082] ppid=17070 vsize=10162692 CPUtime=2.98 cores=4-7,12-15
/proc/17073/task/17082/stat : 17082 (java) S 17070 17073 15739 0 -1 4202560 350 0 0 0 277 21 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987310794920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17083] ppid=17070 vsize=10162692 CPUtime=3.06 cores=4-7,12-15
/proc/17073/task/17083/stat : 17083 (java) S 17070 17073 15739 0 -1 4202560 321 0 0 0 286 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987309742376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17084] ppid=17070 vsize=10162692 CPUtime=2.96 cores=4-7,12-15
/proc/17073/task/17084/stat : 17084 (java) S 17070 17073 15739 0 -1 4202560 360 0 0 0 275 21 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987308690344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17085] ppid=17070 vsize=10162692 CPUtime=2.82 cores=4-7,12-15
/proc/17073/task/17085/stat : 17085 (java) S 17070 17073 15739 0 -1 4202560 408 0 0 0 265 17 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987307637800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17086] ppid=17070 vsize=10162692 CPUtime=3.05 cores=4-7,12-15
/proc/17073/task/17086/stat : 17086 (java) S 17070 17073 15739 0 -1 4202560 384 0 0 0 285 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987306584744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17087] ppid=17070 vsize=10162692 CPUtime=3.03 cores=4-7,12-15
/proc/17073/task/17087/stat : 17087 (java) S 17070 17073 15739 0 -1 4202560 436 0 0 0 282 21 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987305532200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17088] ppid=17070 vsize=10162692 CPUtime=3.18 cores=4-7,12-15
/proc/17073/task/17088/stat : 17088 (java) S 17070 17073 15739 0 -1 4202560 407 0 0 0 295 23 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987304479144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17089] ppid=17070 vsize=10162692 CPUtime=2.57 cores=4-7,12-15
/proc/17073/task/17089/stat : 17089 (java) S 17070 17073 15739 0 -1 4202560 1714 0 0 0 245 12 0 0 20 0 27 0 40808497 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987286804968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17090] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17090/stat : 17090 (java) S 17070 17073 15739 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 40808497 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987285750776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17091] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17091/stat : 17091 (java) S 17070 17073 15739 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 27 0 40808498 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987284698120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17092] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17092/stat : 17092 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987283647376 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17093] ppid=17070 vsize=10162692 CPUtime=1.68 cores=4-7,12-15
/proc/17073/task/17093/stat : 17093 (java) S 17070 17073 15739 0 -1 4202560 17211 0 0 0 166 2 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987282594744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17094] ppid=17070 vsize=10162692 CPUtime=3.28 cores=4-7,12-15
/proc/17073/task/17094/stat : 17094 (java) S 17070 17073 15739 0 -1 4202560 9628 0 0 0 326 2 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987281541688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17095] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17095/stat : 17095 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987280489336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17096] ppid=17070 vsize=10162692 CPUtime=0.42 cores=4-7,12-15
/proc/17073/task/17096/stat : 17096 (java) S 17070 17073 15739 0 -1 4202560 53 0 0 0 16 26 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987279436488 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17196] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17196/stat : 17196 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40874559 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139985869022888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17317] ppid=17070 vsize=10162692 CPUtime=11.98 cores=4-7,12-15
/proc/17073/task/17317/stat : 17317 (java) R 17070 17073 15739 0 -1 4202560 2 0 0 0 1198 0 0 0 20 0 27 0 40896836 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139985866914856 139987414011242 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17318] ppid=17070 vsize=10162692 CPUtime=11.98 cores=4-7,12-15
/proc/17073/task/17318/stat : 17318 (java) R 17070 17073 15739 0 -1 4202560 5 0 0 0 1198 0 0 0 20 0 27 0 40896836 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139985867968344 139987413372499 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17319] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17319/stat : 17319 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40896847 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139985865864232 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 10162692

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 17073 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+895.512 s]
/proc/loadavg: 3.98 4.10 4.05 5/311 17328
/proc/meminfo: memFree=27298696/32872528 swapFree=8316/8316
[pid=17073] ppid=17070 vsize=10162692 CPUtime=1797.41 cores=4-7,12-15
/proc/17073/stat : 17073 (java) S 17070 17073 15739 0 -1 4202496 39005 0 1 0 179310 431 0 0 20 0 27 0 40808495 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 140734821154048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17073/statm: 2540673 603694 2303 9 0 2531350 0
[pid=17073/tid=17074] ppid=17070 vsize=10162692 CPUtime=0.65 cores=4-7,12-15
/proc/17073/task/17074/stat : 17074 (java) S 17070 17073 15739 0 -1 4202560 2550 0 1 0 61 4 0 0 20 0 27 0 40808495 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987473089400 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=10162692 CPUtime=2.92 cores=4-7,12-15
/proc/17073/task/17076/stat : 17076 (java) S 17070 17073 15739 0 -1 4202560 433 0 0 0 272 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987317111720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=17073/tid=17077] ppid=17070 vsize=10162692 CPUtime=2.75 cores=4-7,12-15
/proc/17073/task/17077/stat : 17077 (java) S 17070 17073 15739 0 -1 4202560 349 0 0 0 256 19 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987316059176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=17073/tid=17078] ppid=17070 vsize=10162692 CPUtime=2.92 cores=4-7,12-15
/proc/17073/task/17078/stat : 17078 (java) S 17070 17073 15739 0 -1 4202560 376 0 0 0 268 24 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987315006120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17079] ppid=17070 vsize=10162692 CPUtime=2.86 cores=4-7,12-15
/proc/17073/task/17079/stat : 17079 (java) S 17070 17073 15739 0 -1 4202560 339 0 0 0 265 21 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987313953576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17080] ppid=17070 vsize=10162692 CPUtime=2.8 cores=4-7,12-15
/proc/17073/task/17080/stat : 17080 (java) S 17070 17073 15739 0 -1 4202560 363 0 0 0 260 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987312900520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17081] ppid=17070 vsize=10162692 CPUtime=2.85 cores=4-7,12-15
/proc/17073/task/17081/stat : 17081 (java) S 17070 17073 15739 0 -1 4202560 340 0 0 0 265 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987311847976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17082] ppid=17070 vsize=10162692 CPUtime=2.98 cores=4-7,12-15
/proc/17073/task/17082/stat : 17082 (java) S 17070 17073 15739 0 -1 4202560 350 0 0 0 277 21 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987310794920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17073/tid=17083] ppid=17070 vsize=10162692 CPUtime=3.06 cores=4-7,12-15
/proc/17073/task/17083/stat : 17083 (java) S 17070 17073 15739 0 -1 4202560 321 0 0 0 286 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987309742376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17084] ppid=17070 vsize=10162692 CPUtime=2.96 cores=4-7,12-15
/proc/17073/task/17084/stat : 17084 (java) S 17070 17073 15739 0 -1 4202560 360 0 0 0 275 21 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987308690344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17073/tid=17085] ppid=17070 vsize=10162692 CPUtime=2.82 cores=4-7,12-15
/proc/17073/task/17085/stat : 17085 (java) S 17070 17073 15739 0 -1 4202560 408 0 0 0 265 17 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987307637800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17086] ppid=17070 vsize=10162692 CPUtime=3.05 cores=4-7,12-15
/proc/17073/task/17086/stat : 17086 (java) S 17070 17073 15739 0 -1 4202560 384 0 0 0 285 20 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987306584744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17087] ppid=17070 vsize=10162692 CPUtime=3.03 cores=4-7,12-15
/proc/17073/task/17087/stat : 17087 (java) S 17070 17073 15739 0 -1 4202560 436 0 0 0 282 21 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987305532200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17088] ppid=17070 vsize=10162692 CPUtime=3.18 cores=4-7,12-15
/proc/17073/task/17088/stat : 17088 (java) S 17070 17073 15739 0 -1 4202560 407 0 0 0 295 23 0 0 20 0 27 0 40808496 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987304479144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17089] ppid=17070 vsize=10162692 CPUtime=2.57 cores=4-7,12-15
/proc/17073/task/17089/stat : 17089 (java) S 17070 17073 15739 0 -1 4202560 1714 0 0 0 245 12 0 0 20 0 27 0 40808497 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987286804968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17090] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17090/stat : 17090 (java) S 17070 17073 15739 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 40808497 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987285750776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17091] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17091/stat : 17091 (java) S 17070 17073 15739 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 27 0 40808498 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987284698120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17092] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17092/stat : 17092 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987283647376 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=17073/tid=17093] ppid=17070 vsize=10162692 CPUtime=1.68 cores=4-7,12-15
/proc/17073/task/17093/stat : 17093 (java) S 17070 17073 15739 0 -1 4202560 17211 0 0 0 166 2 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987282594744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17094] ppid=17070 vsize=10162692 CPUtime=3.28 cores=4-7,12-15
/proc/17073/task/17094/stat : 17094 (java) S 17070 17073 15739 0 -1 4202560 9628 0 0 0 326 2 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987281541688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17095] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17095/stat : 17095 (java) S 17070 17073 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987280489336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17096] ppid=17070 vsize=10162692 CPUtime=0.42 cores=4-7,12-15
/proc/17073/task/17096/stat : 17096 (java) S 17070 17073 15739 0 -1 4202560 53 0 0 0 16 26 0 0 20 0 27 0 40808500 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139987279436488 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17073/tid=17196] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17196/stat : 17196 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40874559 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139985869022888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=17073/tid=17317] ppid=17070 vsize=10162692 CPUtime=11.98 cores=4-7,12-15
/proc/17073/task/17317/stat : 17317 (java) R 17070 17073 15739 0 -1 4202560 2 0 0 0 1198 0 0 0 20 0 27 0 40896836 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139985866914856 139987414011242 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=17073/tid=17318] ppid=17070 vsize=10162692 CPUtime=11.98 cores=4-7,12-15
/proc/17073/task/17318/stat : 17318 (java) R 17070 17073 15739 0 -1 4202560 5 0 0 0 1198 0 0 0 20 0 27 0 40896836 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139985867968344 139987413372499 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=17073/tid=17319] ppid=17070 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/17073/task/17319/stat : 17319 (java) S 17070 17073 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 40896847 10406596608 603694 33554432000 1073741824 1073778376 140734821162912 139985865864232 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 10162692

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17073 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=809451
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=340340
# CPU time returned by wait4() is 1797.15
# while last known CPU time is 1797.41
#
# 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.67999
#  lost CPU user time (s): 2.85999
#  lost CPU system time (s): -0.179999

Real time (s): 895.574
CPU time (s): 1800.09
CPU user time (s): 1795.96
CPU system time (s): 4.13
CPU usage (%): 200.998
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.81
system time used= 4.34034
maximum resident set size= 2972684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39046
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31591
involuntary context switches= 42233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87311 second user time and 11.9482 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-20 03:53:59
IDJOB=4110741
IDBENCH=108336
IDSOLVER=2543
FILE ID=node132/4110741-1466387639
RUNJOBID= node132-1466384055-15756
PBS_JOBID= 19923261
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irEDCBA.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110741-1466387639/watcher-4110741-1466387639 -o /tmp/evaluation-result-4110741-1466387639/solver-4110741-1466387639 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466384055-15756 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110741-1466387639.opb

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

MD5SUM BENCH= 4a8977c9b9a2850db471efac5213f1d1
RANDOM SEED=339231301

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

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

processor	: 12
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30519924 kB
Buffers:           42008 kB
Cached:            47604 kB
SwapCached:          556 kB
Active:          1519900 kB
Inactive:          57196 kB
Active(anon):    1488428 kB
Inactive(anon):      944 kB
Active(file):      31472 kB
Inactive(file):    56252 kB
Unevictable:        8316 kB
Mlocked:            8316 kB
SwapTotal:      67108856 kB
SwapFree:       67099560 kB
Dirty:              3868 kB
Writeback:             0 kB
AnonPages:       1443404 kB
Mapped:            14600 kB
Shmem:                 0 kB
Slab:             601588 kB
SReclaimable:      41640 kB
SUnreclaim:       559948 kB
KernelStack:        2384 kB
PageTables:         7392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1378304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node132 at 2016-06-20 04:08:55