Trace number 4101994

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)837 1800.06 892.373

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
MD5SUM8fd497081fcc2923cbeefd2c48cb5010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark809
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 826
Optimality of the best value was proved NO
Number of variables3300
Total number of constraints1985
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220
Number of terms in the objective function 2792
Biggest coefficient in the objective function 379
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526163
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 379
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 526163
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	16
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38c5c3ac
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4101994-1466216969.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.54/0.34	c ... done. Wall clock time 0.22s.
0.54/0.34	c declared #vars     3300
0.54/0.34	c #constraints  2574
0.54/0.34	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.54/0.34	c constraints type 
0.54/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 588
0.54/0.34	c org.sat4j.specs.Constr$1 => 1
0.54/0.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 620
0.54/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1364
0.54/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.54/0.34	c 2574 constraints processed.
0.54/0.34	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.54/0.34	c constraints type 
0.54/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1364
0.54/0.34	c org.sat4j.specs.Constr$1 => 1
0.54/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 588
0.54/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 620
0.54/0.34	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.54/0.34	c 2574 constraints processed.
0.54/0.34	c objective function length is 2792 literals
0.82/0.50	c And the winner is solver0
1.28/0.85	c SATISFIABLE
1.28/0.85	c OPTIMIZING...
1.28/0.85	c Got one! Elapsed wall clock time (in seconds):0.729
1.28/0.85	o 854
1.45/0.96	c And the winner is solver0
1.66/1.37	c Got one! Elapsed wall clock time (in seconds):1.253
1.66/1.37	o 853
1.74/1.47	c And the winner is solver1
2.18/1.89	c Got one! Elapsed wall clock time (in seconds):1.766
2.18/1.89	o 852
2.22/1.94	c And the winner is solver1
2.42/2.39	c Got one! Elapsed wall clock time (in seconds):2.274
2.42/2.39	o 851
2.43/2.42	c And the winner is solver1
2.53/2.90	c Got one! Elapsed wall clock time (in seconds):2.782
2.53/2.90	o 847
3.23/3.29	c And the winner is solver1
3.46/3.41	c Got one! Elapsed wall clock time (in seconds):3.289
3.46/3.41	o 846
4.68/4.06	c And the winner is solver1
4.82/4.41	c Got one! Elapsed wall clock time (in seconds):4.295
4.82/4.41	o 845
6.37/5.19	c cleaning 3065 clauses out of 6129 with flag 4544/6129
7.59/5.73	c And the winner is solver1
7.66/5.94	c Got one! Elapsed wall clock time (in seconds):5.818
7.66/5.94	o 844
10.83/7.52	c cleaning 4295 clauses out of 8601 with flag 9036/11666
11.66/7.98	c And the winner is solver1
11.83/8.44	c Got one! Elapsed wall clock time (in seconds):8.322
11.83/8.44	o 843
15.04/9.96	c cleaning 4792 clauses out of 9583 with flag 8860/16943
18.03/11.44	c cleaning 5392 clauses out of 10791 with flag 21766/22943
21.45/13.16	c cleaning 6194 clauses out of 12399 with flag 36626/29943
26.18/15.33	c cleaning 7103 clauses out of 14205 with flag 54224/37943
30.59/17.60	c cleaning 8047 clauses out of 16102 with flag 74124/46943
36.35/20.28	c cleaning 9028 clauses out of 18056 with flag 96918/56944
42.79/23.13	c cleaning 10014 clauses out of 20028 with flag 121389/67944
48.79/26.14	c cleaning 11007 clauses out of 22013 with flag 146836/79943
57.14/30.02	c cleaning 12003 clauses out of 24006 with flag 174625/92943
66.70/34.44	c cleaning 13002 clauses out of 26004 with flag 204274/106944
76.30/39.26	c cleaning 14001 clauses out of 28002 with flag 236101/121944
85.97/43.66	c And the winner is solver1
85.97/43.95	c Got one! Elapsed wall clock time (in seconds):43.832
85.97/43.95	o 842
89.25/45.68	c cleaning 16440 clauses out of 32890 with flag 11227/140833
93.05/47.59	c cleaning 11219 clauses out of 22450 with flag 24384/146833
97.45/49.72	c cleaning 9110 clauses out of 18232 with flag 39344/153834
102.46/52.29	c cleaning 8554 clauses out of 17121 with flag 56659/161833
103.46/52.78	c And the winner is solver1
103.58/52.96	c Got one! Elapsed wall clock time (in seconds):52.84
103.58/52.96	o 841
105.84/54.17	c cleaning 7181 clauses out of 14369 with flag 8697/167635
110.90/56.16	c cleaning 6588 clauses out of 13188 with flag 21256/173635
114.88/58.11	c cleaning 6794 clauses out of 13600 with flag 36293/180635
119.08/60.26	c cleaning 7400 clauses out of 14806 with flag 53867/188635
123.48/62.48	c cleaning 8202 clauses out of 16407 with flag 74117/197636
128.51/64.95	c cleaning 9103 clauses out of 18205 with flag 96950/207636
134.09/67.78	c cleaning 10043 clauses out of 20101 with flag 122324/218635
140.29/70.90	c cleaning 11025 clauses out of 22058 with flag 150056/230635
149.47/75.12	c cleaning 12017 clauses out of 24034 with flag 179878/243636
156.26/78.57	c cleaning 13009 clauses out of 26017 with flag 212206/257636
163.86/82.32	c cleaning 14004 clauses out of 28007 with flag 246897/272635
172.19/86.46	c cleaning 15002 clauses out of 30003 with flag 284451/288635
181.70/90.73	c cleaning 15995 clauses out of 32002 with flag 322688/305636
190.69/95.28	c cleaning 17003 clauses out of 34006 with flag 363680/323635
200.73/100.22	c cleaning 17999 clauses out of 36004 with flag 408031/342636
211.10/105.43	c cleaning 18994 clauses out of 38005 with flag 454263/362636
221.71/110.80	c cleaning 20000 clauses out of 40011 with flag 501122/383636
235.34/116.94	c cleaning 21001 clauses out of 42011 with flag 550679/405636
248.34/123.50	c cleaning 22000 clauses out of 44010 with flag 605529/428636
260.14/129.38	c cleaning 23002 clauses out of 46009 with flag 659968/452635
272.75/135.65	c cleaning 24002 clauses out of 48007 with flag 718035/477635
289.34/143.58	c cleaning 25000 clauses out of 50005 with flag 778830/503635
303.53/150.60	c cleaning 26001 clauses out of 52005 with flag 842233/530635
318.53/158.18	c cleaning 26995 clauses out of 54004 with flag 908514/558635
333.36/165.55	c cleaning 27997 clauses out of 56010 with flag 974586/587636
348.17/172.98	c cleaning 29005 clauses out of 58012 with flag 1042304/617635
364.72/180.89	c cleaning 29999 clauses out of 60008 with flag 1111823/648636
383.95/190.44	c cleaning 31004 clauses out of 62009 with flag 1185340/680636
401.74/199.39	c cleaning 32003 clauses out of 64005 with flag 1258739/713636
426.00/210.61	c cleaning 33001 clauses out of 66002 with flag 1331037/747636
453.41/224.31	c cleaning 34001 clauses out of 68001 with flag 1404725/782636
485.22/240.28	c cleaning 35001 clauses out of 70001 with flag 1481559/818637
506.81/251.04	c And the winner is solver1
506.81/251.12	c Got one! Elapsed wall clock time (in seconds):251.004
506.81/251.12	o 840
511.38/253.40	c cleaning 31917 clauses out of 63844 with flag 10685/847481
514.58/255.08	c cleaning 18961 clauses out of 37927 with flag 23279/853481
518.38/256.96	c cleaning 12980 clauses out of 25967 with flag 38586/860482
523.38/259.40	c cleaning 10488 clauses out of 20987 with flag 56057/868482
532.03/263.50	c cleaning 9745 clauses out of 19499 with flag 75207/877482
537.03/265.92	c cleaning 9874 clauses out of 19753 with flag 96689/887481
542.83/268.81	c cleaning 10434 clauses out of 20879 with flag 120241/898481
549.04/271.93	c cleaning 11214 clauses out of 22445 with flag 145655/910481
555.64/275.20	c cleaning 12109 clauses out of 24231 with flag 173155/923481
563.06/278.91	c cleaning 13060 clauses out of 26122 with flag 204234/937481
570.69/282.79	c cleaning 14032 clauses out of 28063 with flag 238717/952482
578.87/286.84	c cleaning 15015 clauses out of 30030 with flag 275989/968481
587.68/291.25	c cleaning 16008 clauses out of 32015 with flag 314943/985481
592.48/293.64	c And the winner is solver1
592.48/294.11	c Got one! Elapsed wall clock time (in seconds):293.993
592.48/294.11	o 839
597.64/296.75	c cleaning 15276 clauses out of 30552 with flag 10850/1000026
603.24/299.57	c cleaning 10632 clauses out of 21272 with flag 23922/1006022
609.64/302.73	c cleaning 8816 clauses out of 17643 with flag 39107/1013025
616.64/306.25	c cleaning 8406 clauses out of 16825 with flag 56508/1021023
625.04/310.43	c cleaning 8701 clauses out of 17419 with flag 75812/1030023
633.84/314.86	c cleaning 9358 clauses out of 18719 with flag 97118/1040024
645.32/319.80	c cleaning 10172 clauses out of 20360 with flag 120787/1051023
655.12/324.78	c cleaning 11089 clauses out of 22187 with flag 146566/1063022
666.52/330.44	c cleaning 12047 clauses out of 24099 with flag 174354/1076023
676.12/335.27	c cleaning 13018 clauses out of 26052 with flag 205951/1090023
683.92/339.16	c cleaning 14017 clauses out of 28033 with flag 239551/1105022
692.14/343.29	c cleaning 15005 clauses out of 30017 with flag 275797/1121023
700.94/347.63	c cleaning 16002 clauses out of 32012 with flag 314686/1138023
709.94/352.14	c cleaning 16998 clauses out of 34009 with flag 355926/1156022
719.32/356.87	c cleaning 18002 clauses out of 36012 with flag 399638/1175023
729.92/362.10	c cleaning 19003 clauses out of 38010 with flag 446274/1195023
740.54/367.42	c cleaning 19998 clauses out of 40006 with flag 494330/1216022
751.54/373.00	c cleaning 21005 clauses out of 42009 with flag 543587/1238023
763.52/379.00	c cleaning 22000 clauses out of 44004 with flag 595543/1261023
775.74/385.04	c cleaning 23002 clauses out of 46003 with flag 649245/1285022
788.32/391.36	c cleaning 23999 clauses out of 48002 with flag 705009/1310023
803.92/398.21	c cleaning 25002 clauses out of 50003 with flag 762780/1336023
817.12/404.90	c cleaning 25991 clauses out of 52000 with flag 822679/1363022
831.71/412.17	c cleaning 27000 clauses out of 54009 with flag 884212/1391022
846.31/419.45	c cleaning 28005 clauses out of 56009 with flag 950671/1420022
870.69/431.93	c cleaning 29000 clauses out of 58005 with flag 1021364/1450023
888.29/440.78	c cleaning 29996 clauses out of 60004 with flag 1092946/1481022
906.10/449.66	c cleaning 30995 clauses out of 62008 with flag 1167056/1513022
918.30/455.73	c And the winner is solver1
918.30/456.07	c Got one! Elapsed wall clock time (in seconds):455.952
918.30/456.07	o 838
922.32/457.84	c cleaning 30359 clauses out of 60732 with flag 10912/1542741
925.53/459.47	c cleaning 18183 clauses out of 36373 with flag 24177/1548741
929.33/461.32	c cleaning 12589 clauses out of 25190 with flag 40334/1555741
933.33/463.32	c cleaning 10293 clauses out of 20602 with flag 58364/1563742
937.72/465.51	c cleaning 9645 clauses out of 19308 with flag 79049/1572741
942.72/468.02	c cleaning 9826 clauses out of 19663 with flag 102237/1582741
948.13/470.71	c cleaning 10414 clauses out of 20837 with flag 127030/1593741
954.13/473.70	c cleaning 11209 clauses out of 22423 with flag 154260/1605741
960.53/476.95	c cleaning 12102 clauses out of 24215 with flag 184736/1618742
967.53/480.43	c cleaning 13053 clauses out of 26113 with flag 217539/1632742
974.95/484.12	c cleaning 14024 clauses out of 28060 with flag 252394/1647742
982.73/488.09	c cleaning 15018 clauses out of 30035 with flag 289359/1663741
991.13/492.21	c cleaning 16006 clauses out of 32017 with flag 327591/1680741
999.93/496.69	c cleaning 17004 clauses out of 34011 with flag 368042/1698741
1009.14/501.20	c cleaning 18004 clauses out of 36007 with flag 411276/1717741
1018.54/505.98	c cleaning 19000 clauses out of 38004 with flag 457938/1737742
1028.54/510.99	c cleaning 19998 clauses out of 40004 with flag 505996/1758742
1039.14/516.21	c cleaning 21001 clauses out of 42006 with flag 556520/1780742
1050.14/521.77	c cleaning 21997 clauses out of 44005 with flag 609183/1803742
1062.55/527.91	c cleaning 22998 clauses out of 46007 with flag 665183/1827741
1076.20/534.24	c cleaning 24005 clauses out of 48009 with flag 721393/1852741
1089.61/540.91	c cleaning 25001 clauses out of 50004 with flag 779825/1878741
1102.81/547.58	c cleaning 25996 clauses out of 52004 with flag 840289/1905742
1117.02/554.67	c cleaning 27001 clauses out of 54008 with flag 904718/1933742
1131.81/562.00	c cleaning 27998 clauses out of 56006 with flag 970975/1962741
1147.63/569.97	c cleaning 28999 clauses out of 58008 with flag 1039485/1992741
1162.83/577.56	c cleaning 30005 clauses out of 60010 with flag 1110217/2023742
1179.02/585.69	c cleaning 31000 clauses out of 62005 with flag 1182549/2055742
1195.21/593.78	c cleaning 31997 clauses out of 64005 with flag 1256028/2088742
1212.21/602.28	c cleaning 33004 clauses out of 66007 with flag 1333225/2122741
1232.14/611.57	c cleaning 33993 clauses out of 68004 with flag 1413708/2157742
1250.17/620.54	c cleaning 34997 clauses out of 70011 with flag 1495861/2193742
1269.55/630.28	c cleaning 36001 clauses out of 72013 with flag 1581874/2230741
1288.95/639.94	c cleaning 37000 clauses out of 74013 with flag 1668369/2268742
1291.15/641.08	c And the winner is solver1
1291.15/641.35	c Got one! Elapsed wall clock time (in seconds):641.233
1291.15/641.35	o 837
1291.63/641.68	c cleaning 21310 clauses out of 42622 with flag 2293/2274351
1294.63/643.15	c cleaning 13650 clauses out of 27311 with flag 15011/2280350
1298.03/644.89	c cleaning 10326 clauses out of 20661 with flag 29859/2287350
1302.05/646.89	c cleaning 9162 clauses out of 18335 with flag 46829/2295350
1306.65/649.18	c cleaning 9081 clauses out of 18174 with flag 66390/2304351
1312.23/651.96	c cleaning 9541 clauses out of 19093 with flag 89029/2314351
1318.43/655.09	c cleaning 10271 clauses out of 20552 with flag 113860/2325351
1325.43/658.55	c cleaning 11134 clauses out of 22281 with flag 141053/2337351
1332.85/662.30	c cleaning 12069 clauses out of 24146 with flag 170443/2350350
1346.52/668.70	c cleaning 13036 clauses out of 26077 with flag 202889/2364350
1354.91/672.95	c cleaning 14019 clauses out of 28042 with flag 238074/2379351
1364.12/677.57	c cleaning 15004 clauses out of 30023 with flag 275609/2395351
1374.31/682.60	c cleaning 16004 clauses out of 32019 with flag 315085/2412351
1383.71/687.31	c cleaning 17007 clauses out of 34014 with flag 356550/2430350
1393.32/692.18	c cleaning 18000 clauses out of 36007 with flag 399990/2449350
1403.94/697.44	c cleaning 19004 clauses out of 38007 with flag 445540/2469350
1415.32/703.15	c cleaning 20002 clauses out of 40003 with flag 494804/2490350
1427.32/709.16	c cleaning 21001 clauses out of 42002 with flag 545742/2512351
1439.35/715.12	c cleaning 22001 clauses out of 44001 with flag 598263/2535351
1451.52/721.20	c cleaning 23000 clauses out of 46000 with flag 652143/2559351
1465.35/727.98	c cleaning 23992 clauses out of 48000 with flag 707944/2584351
1480.35/735.42	c cleaning 24995 clauses out of 50008 with flag 767652/2610351
1496.15/743.40	c cleaning 25999 clauses out of 52012 with flag 827574/2637350
1512.17/751.40	c cleaning 27003 clauses out of 54013 with flag 888965/2665350
1529.56/760.01	c cleaning 27998 clauses out of 56011 with flag 955664/2694351
1548.96/769.70	c cleaning 29002 clauses out of 58012 with flag 1024549/2724350
1568.50/779.13	c cleaning 30000 clauses out of 60011 with flag 1095233/2755351
1588.70/789.30	c cleaning 31006 clauses out of 62011 with flag 1168346/2787351
1612.11/800.99	c cleaning 32002 clauses out of 64004 with flag 1244951/2820350
1637.50/813.61	c cleaning 33001 clauses out of 66002 with flag 1325367/2854350
1656.30/823.01	c cleaning 33992 clauses out of 68002 with flag 1404585/2889351
1677.14/832.96	c cleaning 34997 clauses out of 70009 with flag 1487516/2925350
1697.13/842.92	c cleaning 36007 clauses out of 72013 with flag 1575062/2962351
1717.33/853.08	c cleaning 37001 clauses out of 74006 with flag 1662488/3000351
1739.48/863.43	c cleaning 38000 clauses out of 76005 with flag 1750424/3039351
1759.87/873.67	c cleaning 39003 clauses out of 78005 with flag 1841591/3079351
1784.06/884.83	c cleaning 40001 clauses out of 80001 with flag 1934424/3120350
1800.06/892.30	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.06/892.30	c starts		: 57867
1800.06/892.30	c conflicts		: 3148717
1800.06/892.30	c decisions		: 34091490
1800.06/892.30	c propagations		: 96494503
1800.06/892.30	c inspects		: 2059503402
1800.06/892.30	c shortcuts		: 0
1800.06/892.30	c learnt literals	: 0
1800.06/892.30	c learnt binary clauses	: 0
1800.06/892.30	c learnt ternary clauses	: 0
1800.06/892.30	c learnt constraints	: 3148717
1800.06/892.30	c ignored constraints	: 0
1800.06/892.30	c root simplifications	: 0
1800.06/892.30	c removed literals (reason simplification)	: 152319507
1800.06/892.30	c reason swapping (by a shorter reason)	: 0
1800.06/892.30	c Calls to reduceDB	: 161
1800.06/892.30	c Number of update (reduction) of LBD	: 17787
1800.06/892.30	c Imported unit clauses	: 0
1800.06/892.30	c number of reductions to clauses (during analyze)	: 0
1800.06/892.30	c number of learned constraints concerned by reduction	: 0
1800.06/892.30	c number of learning phase by resolution	: 0
1800.06/892.30	c number of learning phase by cutting planes	: 0
1800.06/892.30	c speed (assignments/second)	: 384532.17103690124
1800.06/892.30	c non guided choices	57
1800.06/892.33	c learnt constraints type 
1800.06/892.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68367
1800.06/892.33	c >>>>>>>>>> Solver number 1 (13 answers) <<<<<<<<<<<<<<<<<<
1800.06/892.33	c starts		: 33
1800.06/892.33	c conflicts		: 3487
1800.06/892.33	c decisions		: 51513
1800.06/892.33	c propagations		: 299160
1800.06/892.33	c inspects		: 71269932
1800.06/892.33	c shortcuts		: 0
1800.06/892.33	c learnt literals	: 0
1800.06/892.33	c learnt binary clauses	: 0
1800.06/892.33	c learnt ternary clauses	: 0
1800.06/892.33	c learnt constraints	: 3485
1800.06/892.33	c ignored constraints	: 0
1800.06/892.33	c root simplifications	: 0
1800.06/892.33	c removed literals (reason simplification)	: 0
1800.06/892.33	c reason swapping (by a shorter reason)	: 0
1800.06/892.33	c Calls to reduceDB	: 0
1800.06/892.33	c Number of update (reduction) of LBD	: 0
1800.06/892.33	c Imported unit clauses	: 0
1800.06/892.33	c number of reductions to clauses (during analyze)	: 0
1800.06/892.33	c number of learned constraints concerned by reduction	: 0
1800.06/892.33	c number of learning phase by resolution	: 0
1800.06/892.33	c number of learning phase by cutting planes	: 0
1800.06/892.33	c speed (assignments/second)	: 335.77943345358057
1800.06/892.33	c non guided choices	118
1800.06/892.33	c learnt constraints type 
1800.06/892.33	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 25
1800.06/892.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 104
1800.06/892.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3356
1800.06/892.33	s SATISFIABLE
1800.06/892.33	c Found 15 solution(s)
1800.06/892.34	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 
1800.06/892.34	c objective function=837
1800.06/892.34	c Total wall clock time (in seconds): 892.222

Verifier Data 

OK	837

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

pid=21870
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.20 4.19 4.13 4/284 21873
/proc/meminfo: memFree=28391360/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=92900 CPUtime=0 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 23741456 95129600 926 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 23225 926 703 9 0 16769 0
[pid=21873/tid=21874] ppid=21870 vsize=92900 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) D 21870 21873 15292 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 23741457 95129600 926 33554432000 1073741824 1073778376 140733292511584 139839726255656 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 6 0 0 0 0 0

[startup+0.100062 s]
/proc/loadavg: 4.20 4.19 4.13 4/284 21873
/proc/meminfo: memFree=28391360/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=9896436 CPUtime=0.1 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 4469 0 1 0 8 2 0 0 20 0 23 0 23741456 10133950464 6096 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2474109 6096 2126 9 0 2464786 0
[pid=21873/tid=21874] ppid=21870 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) R 21870 21873 15292 0 -1 4202560 2422 0 1 0 6 0 0 0 20 0 23 0 23741457 10133950464 6096 33554432000 1073741824 1073778376 140733292511584 139839726257416 139839733687185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436

[startup+0.200339 s]
/proc/loadavg: 4.20 4.19 4.13 4/284 21873
/proc/meminfo: memFree=28391360/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=9896436 CPUtime=0.28 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 5018 0 1 0 26 2 0 0 20 0 23 0 23741456 10133950464 7015 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2474109 7015 2217 9 0 2464786 0
[pid=21873/tid=21874] ppid=21870 vsize=9896436 CPUtime=0.16 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) R 21870 21873 15292 0 -1 4202560 2440 0 1 0 16 0 0 0 20 0 23 0 23741457 10133950464 7015 33554432000 1073741824 1073778376 140733292511584 139839726245344 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9896436

[startup+0.300253 s]
/proc/loadavg: 4.20 4.19 4.13 4/284 21873
/proc/meminfo: memFree=28391360/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=9896436 CPUtime=0.54 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 5892 0 1 0 51 3 0 0 20 0 23 0 23741456 10133950464 15705 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2474109 15709 2235 9 0 2464786 0
[pid=21873/tid=21874] ppid=21870 vsize=9896436 CPUtime=0.26 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) R 21870 21873 15292 0 -1 4202560 2456 0 1 0 25 1 0 0 20 0 23 0 23741457 10133950464 15709 33554432000 1073741824 1073778376 140733292511584 139839726260248 139839588630343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9896436

[startup+0.70033 s]
/proc/loadavg: 4.20 4.19 4.13 4/284 21873
/proc/meminfo: memFree=28391360/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=10162692 CPUtime=1.28 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 7632 0 1 0 122 6 0 0 20 0 24 0 23741456 10406596608 21022 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2540673 21022 2266 9 0 2531350 0
[pid=21873/tid=21874] ppid=21870 vsize=10162692 CPUtime=0.31 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) S 21870 21873 15292 0 -1 4202560 2476 0 1 0 29 2 0 0 20 0 24 0 23741457 10406596608 21022 33554432000 1073741824 1073778376 140733292511584 139839726261112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 10162692

[startup+1.50096 s]
/proc/loadavg: 4.20 4.19 4.13 3/308 21903
/proc/meminfo: memFree=28307812/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=10162692 CPUtime=2.1 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 12107 0 1 0 199 11 0 0 20 0 24 0 23741456 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2540673 26965 2273 9 0 2531350 0
[pid=21873/tid=21874] ppid=21870 vsize=10162692 CPUtime=0.35 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) S 21870 21873 15292 0 -1 4202560 2480 0 1 0 33 2 0 0 20 0 24 0 23741457 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839726261112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21876] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21876/stat : 21876 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839715322792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21873/tid=21877] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21877/stat : 21877 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839714270248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21878] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21878/stat : 21878 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839713217192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21879] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21879/stat : 21879 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839712164648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21880] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21880/stat : 21880 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839711111592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21881] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21881/stat : 21881 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839710059048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21882] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21882/stat : 21882 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839709005992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21883] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21883/stat : 21883 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839707953448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21884] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21884/stat : 21884 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839560956840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21885] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21885/stat : 21885 (java) S 21870 21873 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839559904296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21873/tid=21886] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21886/stat : 21886 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839558851240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21887] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21887/stat : 21887 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839557798696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21888] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21888/stat : 21888 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23741458 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839556745640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21889] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21889/stat : 21889 (java) S 21870 21873 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 23741459 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839539284456 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21890] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21890/stat : 21890 (java) S 21870 21873 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 23741460 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839538230264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21891] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21891/stat : 21891 (java) S 21870 21873 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 23741460 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839537177608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21892] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21892/stat : 21892 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741462 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839536126864 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21893] ppid=21870 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/21873/task/21893/stat : 21893 (java) R 21870 21873 15292 0 -1 4202560 3891 0 0 0 52 2 0 0 20 0 24 0 23741462 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839535073800 139839732406832 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21894] ppid=21870 vsize=10162692 CPUtime=0.48 cores=4-7,12-15
/proc/21873/task/21894/stat : 21894 (java) R 21870 21873 15292 0 -1 4202560 4372 0 0 0 48 0 0 0 20 0 24 0 23741462 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839533998288 139839730347405 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21895] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21895/stat : 21895 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741462 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839532968824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21896] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21896/stat : 21896 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23741462 10406596608 26965 33554432000 1073741824 1073778376 140733292511584 139839531915976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10162692

[startup+3.10095 s]
/proc/loadavg: 4.20 4.19 4.13 3/308 21909
/proc/meminfo: memFree=28284724/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=10162692 CPUtime=2.99 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 12331 0 1 0 283 16 0 0 20 0 27 0 23741456 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2540673 32231 2275 9 0 2531350 0
[pid=21873/tid=21874] ppid=21870 vsize=10162692 CPUtime=0.37 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) S 21870 21873 15292 0 -1 4202560 2482 0 1 0 35 2 0 0 20 0 27 0 23741457 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839726261112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21876] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21876/stat : 21876 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839715322792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21873/tid=21877] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21877/stat : 21877 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839714270248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21878] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21878/stat : 21878 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839713217192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21879] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21879/stat : 21879 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839712164648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21880] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21880/stat : 21880 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839711111592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21881] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21881/stat : 21881 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839710059048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21882] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21882/stat : 21882 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839709005992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21883] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21883/stat : 21883 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839707953448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21884] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21884/stat : 21884 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839560956840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21885] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21885/stat : 21885 (java) S 21870 21873 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839559904296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21873/tid=21886] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21886/stat : 21886 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839558851240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21887] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21887/stat : 21887 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839557798696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21888] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21888/stat : 21888 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839556745640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21889] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21889/stat : 21889 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23741459 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839539284456 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21890] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21890/stat : 21890 (java) S 21870 21873 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 23741460 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839538230264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21891] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21891/stat : 21891 (java) S 21870 21873 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23741460 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839537177608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21892] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21892/stat : 21892 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741462 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839536126864 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21893] ppid=21870 vsize=10162692 CPUtime=0.75 cores=4-7,12-15
/proc/21873/task/21893/stat : 21893 (java) S 21870 21873 15292 0 -1 4202560 4010 0 0 0 73 2 0 0 20 0 27 0 23741462 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839535074232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21894] ppid=21870 vsize=10162692 CPUtime=0.62 cores=4-7,12-15
/proc/21873/task/21894/stat : 21894 (java) S 21870 21873 15292 0 -1 4202560 4445 0 0 0 62 0 0 0 20 0 27 0 23741462 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839534021176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21895] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21895/stat : 21895 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741462 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839532968824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21896] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21896/stat : 21896 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741462 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839531915976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21906] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21906/stat : 21906 (java) S 21870 21873 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 23741595 10406596608 32231 33554432000 1073741824 1073778376 140733292511584 139839528657704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 10162692

[startup+6.30102 s]
/proc/loadavg: 4.42 4.23 4.14 5/311 21921
/proc/meminfo: memFree=28215496/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=10162692 CPUtime=8.38 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 13090 0 1 0 810 28 0 0 20 0 27 0 23741456 10406596608 45646 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2540673 45646 2293 9 0 2531350 0
[pid=21873/tid=21874] ppid=21870 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) S 21870 21873 15292 0 -1 4202560 2486 0 1 0 36 3 0 0 20 0 27 0 23741457 10406596608 45646 33554432000 1073741824 1073778376 140733292511584 139839726261112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21876] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21876/stat : 21876 (java) S 21870 21873 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 45646 33554432000 1073741824 1073778376 140733292511584 139839715322792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21877] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21877/stat : 21877 (java) S 21870 21873 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 45646 33554432000 1073741824 1073778376 140733292511584 139839714270248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21878] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21878/stat : 21878 (java) S 21870 21873 15292 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 45646 33554432000 1073741824 1073778376 140733292511584 139839713217192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21879] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21879/stat : 21879 (java) S 21870 21873 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 23741458 10406596608 45646 33554432000 1073741824 1073778376 140733292511584 139839712164648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21880] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15

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

[pid=21873/tid=21961] ppid=21870 vsize=10162692 CPUtime=237.04 cores=4-7,12-15
/proc/21873/task/21961/stat : 21961 (java) R 21870 21873 15292 0 -1 4202560 5 0 0 0 23701 3 0 0 20 0 27 0 23805593 10406596608 1063919 33554432000 1073741824 1073778376 140733292511584 139839530761008 139839589150858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21962] ppid=21870 vsize=10162692 CPUtime=237.07 cores=4-7,12-15
/proc/21873/task/21962/stat : 21962 (java) R 21870 21873 15292 0 -1 4202560 3 0 0 0 23704 3 0 0 20 0 27 0 23805593 10406596608 1063919 33554432000 1073741824 1073778376 140733292511584 139837961132848 139839589383019 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21963] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21963/stat : 21963 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23805593 10406596608 1063919 33554432000 1073741824 1073778376 140733292511584 139839529710760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1776.63
Current children cumulated vsize (KiB) 10162692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+892.301 s]
/proc/loadavg: 4.70 4.22 4.13 6/311 22299
/proc/meminfo: memFree=26200724/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=10162692 CPUtime=1797.6 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 34489 0 1 0 178197 1563 0 0 20 0 27 0 23741456 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2540673 1053037 2302 9 0 2531350 0
[pid=21873/tid=21874] ppid=21870 vsize=10162692 CPUtime=0.49 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) S 21870 21873 15292 0 -1 4202560 2505 0 1 0 43 6 0 0 20 0 27 0 23741457 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839726261112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21876] ppid=21870 vsize=10162692 CPUtime=3.49 cores=4-7,12-15
/proc/21873/task/21876/stat : 21876 (java) S 21870 21873 15292 0 -1 4202560 1854 0 0 0 218 131 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839715322792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21877] ppid=21870 vsize=10162692 CPUtime=3.35 cores=4-7,12-15
/proc/21873/task/21877/stat : 21877 (java) S 21870 21873 15292 0 -1 4202560 1243 0 0 0 208 127 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839714270248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21878] ppid=21870 vsize=10162692 CPUtime=3.17 cores=4-7,12-15
/proc/21873/task/21878/stat : 21878 (java) S 21870 21873 15292 0 -1 4202560 1249 0 0 0 202 115 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839713217192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21873/tid=21879] ppid=21870 vsize=10162692 CPUtime=3.23 cores=4-7,12-15
/proc/21873/task/21879/stat : 21879 (java) S 21870 21873 15292 0 -1 4202560 1241 0 0 0 202 121 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839712164648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21880] ppid=21870 vsize=10162692 CPUtime=3.13 cores=4-7,12-15
/proc/21873/task/21880/stat : 21880 (java) S 21870 21873 15292 0 -1 4202560 1009 0 0 0 197 116 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839711111592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21881] ppid=21870 vsize=10162692 CPUtime=3.17 cores=4-7,12-15
/proc/21873/task/21881/stat : 21881 (java) S 21870 21873 15292 0 -1 4202560 1386 0 0 0 216 101 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839710059048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21882] ppid=21870 vsize=10162692 CPUtime=3.58 cores=4-7,12-15
/proc/21873/task/21882/stat : 21882 (java) S 21870 21873 15292 0 -1 4202560 1332 0 0 0 230 128 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839709005992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21883] ppid=21870 vsize=10162692 CPUtime=3.24 cores=4-7,12-15
/proc/21873/task/21883/stat : 21883 (java) S 21870 21873 15292 0 -1 4202560 1221 0 0 0 210 114 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839707953448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21884] ppid=21870 vsize=10162692 CPUtime=2.82 cores=4-7,12-15
/proc/21873/task/21884/stat : 21884 (java) S 21870 21873 15292 0 -1 4202560 1044 0 0 0 178 104 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839560956840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21885] ppid=21870 vsize=10162692 CPUtime=2.88 cores=4-7,12-15
/proc/21873/task/21885/stat : 21885 (java) S 21870 21873 15292 0 -1 4202560 1180 0 0 0 185 103 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839559904296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21886] ppid=21870 vsize=10162692 CPUtime=3.29 cores=4-7,12-15
/proc/21873/task/21886/stat : 21886 (java) S 21870 21873 15292 0 -1 4202560 1111 0 0 0 220 109 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839558851240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21887] ppid=21870 vsize=10162692 CPUtime=2.97 cores=4-7,12-15
/proc/21873/task/21887/stat : 21887 (java) S 21870 21873 15292 0 -1 4202560 1304 0 0 0 199 98 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839557798696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21888] ppid=21870 vsize=10162692 CPUtime=2.96 cores=4-7,12-15
/proc/21873/task/21888/stat : 21888 (java) S 21870 21873 15292 0 -1 4202560 1221 0 0 0 184 112 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839556745640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21889] ppid=21870 vsize=10162692 CPUtime=6.83 cores=4-7,12-15
/proc/21873/task/21889/stat : 21889 (java) S 21870 21873 15292 0 -1 4202560 2794 0 0 0 682 1 0 0 20 0 27 0 23741459 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839539284456 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21890] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21890/stat : 21890 (java) S 21870 21873 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23741460 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839538230264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21891] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21891/stat : 21891 (java) S 21870 21873 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 23741460 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839537177608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21892] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21892/stat : 21892 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839536126864 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21893] ppid=21870 vsize=10162692 CPUtime=1.19 cores=4-7,12-15
/proc/21873/task/21893/stat : 21893 (java) S 21870 21873 15292 0 -1 4202560 4728 0 0 0 117 2 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839535074232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21873/tid=21894] ppid=21870 vsize=10162692 CPUtime=1.05 cores=4-7,12-15
/proc/21873/task/21894/stat : 21894 (java) S 21870 21873 15292 0 -1 4202560 5783 0 0 0 105 0 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839534021176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21895] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21895/stat : 21895 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839532968824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21896] ppid=21870 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/21873/task/21896/stat : 21896 (java) S 21870 21873 15292 0 -1 4202560 52 0 0 0 17 22 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839531915976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21906] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21906/stat : 21906 (java) S 21870 21873 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 23741595 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839528657704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21961] ppid=21870 vsize=10162692 CPUtime=246.83 cores=4-7,12-15
/proc/21873/task/21961/stat : 21961 (java) R 21870 21873 15292 0 -1 4202560 6 0 0 0 24680 3 0 0 20 0 27 0 23805593 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839530761232 139839589136855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21962] ppid=21870 vsize=10162692 CPUtime=246.87 cores=4-7,12-15
/proc/21873/task/21962/stat : 21962 (java) R 21870 21873 15292 0 -1 4202560 3 0 0 0 24684 3 0 0 20 0 27 0 23805593 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139837961133168 139839589803978 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21963] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21963/stat : 21963 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23805593 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839529710760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1797.6
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 21873 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+892.301 s]
/proc/loadavg: 4.70 4.22 4.13 6/311 22299
/proc/meminfo: memFree=26200724/32872528 swapFree=7804/7804
[pid=21873] ppid=21870 vsize=10162692 CPUtime=1797.6 cores=4-7,12-15
/proc/21873/stat : 21873 (java) S 21870 21873 15292 0 -1 4202496 34489 0 1 0 178197 1563 0 0 20 0 27 0 23741456 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 140733292502720 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21873/statm: 2540673 1053037 2302 9 0 2531350 0
[pid=21873/tid=21874] ppid=21870 vsize=10162692 CPUtime=0.49 cores=4-7,12-15
/proc/21873/task/21874/stat : 21874 (java) S 21870 21873 15292 0 -1 4202560 2505 0 1 0 43 6 0 0 20 0 27 0 23741457 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839726261112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21876] ppid=21870 vsize=10162692 CPUtime=3.49 cores=4-7,12-15
/proc/21873/task/21876/stat : 21876 (java) S 21870 21873 15292 0 -1 4202560 1854 0 0 0 218 131 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839715322792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21877] ppid=21870 vsize=10162692 CPUtime=3.35 cores=4-7,12-15
/proc/21873/task/21877/stat : 21877 (java) S 21870 21873 15292 0 -1 4202560 1243 0 0 0 208 127 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839714270248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21878] ppid=21870 vsize=10162692 CPUtime=3.17 cores=4-7,12-15
/proc/21873/task/21878/stat : 21878 (java) S 21870 21873 15292 0 -1 4202560 1249 0 0 0 202 115 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839713217192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21873/tid=21879] ppid=21870 vsize=10162692 CPUtime=3.23 cores=4-7,12-15
/proc/21873/task/21879/stat : 21879 (java) S 21870 21873 15292 0 -1 4202560 1241 0 0 0 202 121 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839712164648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21880] ppid=21870 vsize=10162692 CPUtime=3.13 cores=4-7,12-15
/proc/21873/task/21880/stat : 21880 (java) S 21870 21873 15292 0 -1 4202560 1009 0 0 0 197 116 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839711111592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21881] ppid=21870 vsize=10162692 CPUtime=3.17 cores=4-7,12-15
/proc/21873/task/21881/stat : 21881 (java) S 21870 21873 15292 0 -1 4202560 1386 0 0 0 216 101 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839710059048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21882] ppid=21870 vsize=10162692 CPUtime=3.58 cores=4-7,12-15
/proc/21873/task/21882/stat : 21882 (java) S 21870 21873 15292 0 -1 4202560 1332 0 0 0 230 128 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839709005992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21883] ppid=21870 vsize=10162692 CPUtime=3.24 cores=4-7,12-15
/proc/21873/task/21883/stat : 21883 (java) S 21870 21873 15292 0 -1 4202560 1221 0 0 0 210 114 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839707953448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21884] ppid=21870 vsize=10162692 CPUtime=2.82 cores=4-7,12-15
/proc/21873/task/21884/stat : 21884 (java) S 21870 21873 15292 0 -1 4202560 1044 0 0 0 178 104 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839560956840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21885] ppid=21870 vsize=10162692 CPUtime=2.88 cores=4-7,12-15
/proc/21873/task/21885/stat : 21885 (java) S 21870 21873 15292 0 -1 4202560 1180 0 0 0 185 103 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839559904296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21873/tid=21886] ppid=21870 vsize=10162692 CPUtime=3.29 cores=4-7,12-15
/proc/21873/task/21886/stat : 21886 (java) S 21870 21873 15292 0 -1 4202560 1111 0 0 0 220 109 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839558851240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21887] ppid=21870 vsize=10162692 CPUtime=2.97 cores=4-7,12-15
/proc/21873/task/21887/stat : 21887 (java) S 21870 21873 15292 0 -1 4202560 1304 0 0 0 199 98 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839557798696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21888] ppid=21870 vsize=10162692 CPUtime=2.96 cores=4-7,12-15
/proc/21873/task/21888/stat : 21888 (java) S 21870 21873 15292 0 -1 4202560 1221 0 0 0 184 112 0 0 20 0 27 0 23741458 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839556745640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21873/tid=21889] ppid=21870 vsize=10162692 CPUtime=6.83 cores=4-7,12-15
/proc/21873/task/21889/stat : 21889 (java) S 21870 21873 15292 0 -1 4202560 2794 0 0 0 682 1 0 0 20 0 27 0 23741459 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839539284456 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21873/tid=21890] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21890/stat : 21890 (java) S 21870 21873 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23741460 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839538230264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21891] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21891/stat : 21891 (java) S 21870 21873 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 23741460 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839537177608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21892] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21892/stat : 21892 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839536126864 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21873/tid=21893] ppid=21870 vsize=10162692 CPUtime=1.19 cores=4-7,12-15
/proc/21873/task/21893/stat : 21893 (java) S 21870 21873 15292 0 -1 4202560 4728 0 0 0 117 2 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839535074232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21873/tid=21894] ppid=21870 vsize=10162692 CPUtime=1.05 cores=4-7,12-15
/proc/21873/task/21894/stat : 21894 (java) S 21870 21873 15292 0 -1 4202560 5783 0 0 0 105 0 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839534021176 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21895] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21895/stat : 21895 (java) S 21870 21873 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839532968824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21873/tid=21896] ppid=21870 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/21873/task/21896/stat : 21896 (java) S 21870 21873 15292 0 -1 4202560 52 0 0 0 17 22 0 0 20 0 27 0 23741462 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839531915976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21906] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21906/stat : 21906 (java) S 21870 21873 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 23741595 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839528657704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21961] ppid=21870 vsize=10162692 CPUtime=246.83 cores=4-7,12-15
/proc/21873/task/21961/stat : 21961 (java) R 21870 21873 15292 0 -1 4202560 6 0 0 0 24680 3 0 0 20 0 27 0 23805593 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839530761232 139839589136855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21873/tid=21962] ppid=21870 vsize=10162692 CPUtime=246.87 cores=4-7,12-15
/proc/21873/task/21962/stat : 21962 (java) R 21870 21873 15292 0 -1 4202560 3 0 0 0 24684 3 0 0 20 0 27 0 23805593 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139837961133168 139839589803978 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21873/tid=21963] ppid=21870 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21873/task/21963/stat : 21963 (java) S 21870 21873 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23805593 10406596608 1053037 33554432000 1073741824 1073778376 140733292511584 139839529710760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 10162692

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21873 and gives
#  childrusage.ru_utime.tv_sec=1780
#  childrusage.ru_utime.tv_usec=759283
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=902582
# CPU time returned by wait4() is 1796.66
# while last known CPU time is 1797.6
#
# 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.46016
#  lost CPU user time (s): 2.64011
#  lost CPU system time (s): -0.179999

Real time (s): 892.373
CPU time (s): 1800.06
CPU user time (s): 1784.61
CPU system time (s): 15.45
CPU usage (%): 201.716
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.76
system time used= 15.9026
maximum resident set size= 4255880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34526
page faults= 1
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22987
involuntary context switches= 10826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11307 second user time and 11.8082 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 04:29:29
IDJOB=4101994
IDBENCH=1843
IDSOLVER=2543
FILE ID=node132/4101994-1466216969
RUNJOBID= node132-1466206058-15309
PBS_JOBID= 19918145
Free space on /tmp= 71660 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101994-1466216969/watcher-4101994-1466216969 -o /tmp/evaluation-result-4101994-1466216969/solver-4101994-1466216969 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101994-1466216969.opb

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

MD5SUM BENCH= 8fd497081fcc2923cbeefd2c48cb5010
RANDOM SEED=882248414

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:        28391376 kB
Buffers:           82224 kB
Cached:           197024 kB
SwapCached:         1776 kB
Active:          3580848 kB
Inactive:         142212 kB
Active(anon):    3445296 kB
Inactive(anon):     1060 kB
Active(file):     135552 kB
Inactive(file):   141152 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:              1020 kB
Writeback:             0 kB
AnonPages:       3375256 kB
Mapped:            15480 kB
Shmem:                 0 kB
Slab:             606332 kB
SReclaimable:      46636 kB
SUnreclaim:       559696 kB
KernelStack:        2608 kB
PageTables:        10684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4061024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3301376 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-18 04:44:21