Trace number 4110617

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)134248448 1800.16 900.43

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
MD5SUMb4797c584af9b805dff74fff95a4b350
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134248448
Best CPU time to get the best result obtained on this benchmark288.303
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3564
Total number of constraints11685
Number of constraints which are clauses11625
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.04/0.36	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.04/0.36	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.36	c See www.sat4j.org for details.
0.04/0.36	c version PB16.v20160501
0.04/0.36	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.36	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.36	c java.vm.version	19.1-b02
0.04/0.36	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.36	c sun.arch.data.model	64
0.04/0.36	c java.version		1.6.0_24
0.04/0.36	c os.name		Linux
0.04/0.36	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.36	c os.arch		amd64
0.04/0.36	c Free memory 		501472288
0.04/0.36	c Max memory 		7480803328
0.04/0.36	c Total memory 		504102912
0.04/0.36	c Number of processors 	8
0.14/0.40	c Pseudo Boolean Optimization by upper bound
0.14/0.40	c ManyCore solver with 2 solvers running in parallel
0.14/0.40	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.14/0.40	c --- Begin Solver configuration ---
0.14/0.40	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.14/0.40	c Learn all clauses as in MiniSAT
0.14/0.40	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.40	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.40	c Expensive reason simplification
0.14/0.40	c Glucose 2.1 dynamic restart strategy
0.14/0.40	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.14/0.40	c timeout=2147483s
0.14/0.40	c DB Simplification allowed=false
0.14/0.40	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.14/0.40	c --- End Solver configuration ---
0.14/0.40	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.14/0.40	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.40	c --- Begin Solver configuration ---
0.14/0.40	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.14/0.40	c Learn all clauses as in MiniSAT
0.14/0.40	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.40	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.40	c No reason simplification
0.14/0.40	c Armin Biere (Picosat) restarts strategy
0.14/0.40	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.14/0.40	c timeout=2147483s
0.14/0.40	c DB Simplification allowed=false
0.14/0.40	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.14/0.40	c --- End Solver configuration ---
0.14/0.40	c solving HOME/instance-4110617-1466384098.opb
0.14/0.40	c reading problem ... 
0.14/0.40	c  objective function found
1.08/0.82	c ... done. Wall clock time 0.415s.
1.08/0.82	c declared #vars     3564
1.08/0.82	c #constraints  11685
1.08/0.83	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.08/0.83	c constraints type 
1.08/0.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3446
1.08/0.83	c org.sat4j.specs.Constr$1 => 925
1.08/0.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
1.08/0.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7123
1.08/0.83	c org.sat4j.minisat.constraints.cnf.UnitClause => 176
1.08/0.83	c 11685 constraints processed.
1.08/0.83	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.08/0.83	c constraints type 
1.08/0.83	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7123
1.08/0.83	c org.sat4j.specs.Constr$1 => 925
1.08/0.83	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3446
1.08/0.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15
1.08/0.83	c org.sat4j.pb.constraints.pb.UnitClausePB => 176
1.08/0.83	c 11685 constraints processed.
1.08/0.83	c objective function length is 166 literals
1.43/0.91	c And the winner is solver0
2.27/1.33	c SATISFIABLE
2.27/1.33	c OPTIMIZING...
2.27/1.33	c Got one! Elapsed wall clock time (in seconds):0.934
2.27/1.34	o 165713408
2.98/1.59	c And the winner is solver0
3.57/1.84	c Got one! Elapsed wall clock time (in seconds):1.44
3.57/1.84	o 165705728
5.36/2.46	c cleaning 2821 clauses out of 5647 with flag 17088/5647
6.33/2.75	c And the winner is solver0
6.55/2.84	c Got one! Elapsed wall clock time (in seconds):2.443
6.55/2.84	o 162014464
7.02/3.00	c And the winner is solver0
7.09/3.35	c Got one! Elapsed wall clock time (in seconds):2.944
7.09/3.35	o 160474368
7.09/3.36	c And the winner is solver0
7.17/3.85	c Got one! Elapsed wall clock time (in seconds):3.446
7.17/3.85	o 160466688
7.17/3.85	c And the winner is solver0
7.19/4.35	c Got one! Elapsed wall clock time (in seconds):3.947
7.19/4.35	o 160462848
7.30/4.45	c cleaning 4272 clauses out of 8557 with flag 4683/11378
8.57/5.03	c cleaning 5135 clauses out of 10286 with flag 29389/17379
8.57/5.04	c And the winner is solver1
8.66/5.35	c Got one! Elapsed wall clock time (in seconds):4.949
8.66/5.35	o 155231488
9.82/5.91	c cleaning 5125 clauses out of 10255 with flag 19459/22483
10.64/6.38	c cleaning 5561 clauses out of 11130 with flag 38324/28483
11.69/6.86	c cleaning 6281 clauses out of 12568 with flag 58456/35482
12.89/7.42	c cleaning 7142 clauses out of 14287 with flag 81575/43482
14.16/8.08	c cleaning 8073 clauses out of 16146 with flag 106301/52483
15.77/8.82	c cleaning 9034 clauses out of 18074 with flag 133786/62484
17.85/9.89	c cleaning 10014 clauses out of 20038 with flag 164638/73482
19.85/10.85	c cleaning 11012 clauses out of 22025 with flag 196237/85483
22.11/11.94	c cleaning 12002 clauses out of 24012 with flag 229507/98482
24.51/13.13	c cleaning 13005 clauses out of 26010 with flag 266412/112482
27.00/14.33	c cleaning 14001 clauses out of 28006 with flag 304221/127483
29.40/15.51	c cleaning 15003 clauses out of 30005 with flag 345155/143483
32.18/16.91	c cleaning 16001 clauses out of 32001 with flag 386762/160482
35.59/18.61	c cleaning 17000 clauses out of 34000 with flag 429043/178482
39.25/20.43	c cleaning 18000 clauses out of 36000 with flag 475034/197482
43.25/22.45	c cleaning 18999 clauses out of 38001 with flag 524707/217483
47.91/24.71	c cleaning 19998 clauses out of 40001 with flag 581602/238482
52.31/26.95	c cleaning 20996 clauses out of 42003 with flag 637173/260482
57.52/29.59	c cleaning 21997 clauses out of 44007 with flag 692918/283482
63.20/32.36	c cleaning 23002 clauses out of 46010 with flag 751640/307482
69.01/35.22	c cleaning 24000 clauses out of 48009 with flag 814737/332483
74.79/38.16	c cleaning 25004 clauses out of 50009 with flag 877347/358483
81.86/41.62	c cleaning 26001 clauses out of 52005 with flag 944380/385483
89.08/45.28	c cleaning 27000 clauses out of 54005 with flag 1011463/413484
96.94/49.10	c cleaning 27995 clauses out of 56003 with flag 1080923/442482
105.34/53.30	c cleaning 29002 clauses out of 58010 with flag 1152512/472484
114.85/58.01	c cleaning 30001 clauses out of 60007 with flag 1225866/503483
123.85/62.56	c cleaning 30998 clauses out of 62006 with flag 1303266/535483
129.10/65.16	c And the winner is solver0
129.23/65.39	c Got one! Elapsed wall clock time (in seconds):64.986
129.23/65.39	o 155227648
131.43/66.52	c cleaning 28769 clauses out of 57546 with flag 16467/562021
132.43/67.00	c And the winner is solver0
132.60/67.39	c Got one! Elapsed wall clock time (in seconds):66.987
132.60/67.39	o 155219968
133.01/67.60	c cleaning 17030 clauses out of 34072 with flag 3592/567316
133.41/67.85	c And the winner is solver0
133.56/67.99	c Got one! Elapsed wall clock time (in seconds):67.589
133.56/67.99	o 150042368
133.86/68.11	c And the winner is solver0
133.99/68.49	c Got one! Elapsed wall clock time (in seconds):68.091
133.99/68.49	o 149980928
134.00/68.58	c And the winner is solver0
134.23/68.99	c Got one! Elapsed wall clock time (in seconds):68.593
134.23/68.99	o 149977088
134.85/69.35	c cleaning 11987 clauses out of 23989 with flag 10429/574263
135.84/69.85	c cleaning 8997 clauses out of 18001 with flag 29400/580262
136.84/70.36	c cleaning 7993 clauses out of 16006 with flag 50547/587264
138.12/70.99	c cleaning 7998 clauses out of 16012 with flag 74944/595263
139.51/71.63	c cleaning 8499 clauses out of 17013 with flag 101541/604262
140.90/72.37	c cleaning 9252 clauses out of 18515 with flag 130674/614263
142.70/73.26	c cleaning 10124 clauses out of 20262 with flag 163773/625262
144.70/74.25	c cleaning 11059 clauses out of 22138 with flag 197824/637262
147.10/75.45	c cleaning 12031 clauses out of 24079 with flag 236427/650262
149.90/76.81	c cleaning 13018 clauses out of 26048 with flag 278670/664262
153.77/78.79	c cleaning 14015 clauses out of 28030 with flag 320714/679262
155.57/79.62	c And the winner is solver0
155.72/80.00	c Got one! Elapsed wall clock time (in seconds):79.596
155.72/80.00	o 144738048
156.92/80.61	c cleaning 13442 clauses out of 26893 with flag 15314/692140
157.92/81.15	c cleaning 9721 clauses out of 19452 with flag 34574/698141
158.92/81.67	c cleaning 8361 clauses out of 16730 with flag 56386/705140
160.12/82.23	c cleaning 8178 clauses out of 16369 with flag 80060/713140
161.32/82.88	c cleaning 8589 clauses out of 17191 with flag 106085/722140
162.72/83.58	c cleaning 9295 clauses out of 18603 with flag 135614/732141
163.13/83.77	c And the winner is solver0
163.34/84.00	c Got one! Elapsed wall clock time (in seconds):83.598
163.34/84.00	o 144734208
163.73/84.27	c cleaning 7562 clauses out of 15135 with flag 9132/737968
164.75/84.73	c cleaning 6772 clauses out of 13574 with flag 26490/743969
165.77/85.22	c cleaning 6893 clauses out of 13802 with flag 45253/750969
166.79/85.76	c cleaning 7447 clauses out of 14908 with flag 69914/758968
168.19/86.41	c cleaning 8227 clauses out of 16463 with flag 94275/767970
169.79/87.20	c cleaning 9116 clauses out of 18234 with flag 119208/777968
171.19/87.98	c cleaning 10059 clauses out of 20118 with flag 145208/788968
172.98/88.88	c cleaning 11024 clauses out of 22059 with flag 174038/800968
174.98/89.89	c cleaning 12019 clauses out of 24037 with flag 208574/813970
177.38/91.01	c cleaning 13005 clauses out of 26016 with flag 244624/827968
179.84/92.29	c cleaning 14003 clauses out of 28011 with flag 283677/842968
182.65/93.64	c cleaning 15004 clauses out of 30009 with flag 322234/858969
185.43/95.06	c cleaning 16000 clauses out of 32004 with flag 361314/875968
188.83/96.75	c cleaning 16998 clauses out of 34004 with flag 405905/893968
192.48/98.58	c cleaning 18002 clauses out of 36006 with flag 453109/912968
196.68/100.68	c cleaning 18999 clauses out of 38004 with flag 503253/932968
201.08/102.82	c cleaning 19999 clauses out of 40006 with flag 559856/953969
205.53/105.08	c cleaning 21000 clauses out of 42007 with flag 616847/975969
210.53/107.50	c cleaning 22000 clauses out of 44007 with flag 677962/998969
215.74/110.14	c cleaning 23000 clauses out of 46006 with flag 743679/1022968
221.58/113.03	c cleaning 23999 clauses out of 48006 with flag 810459/1047968
227.98/116.21	c cleaning 25002 clauses out of 50007 with flag 879662/1073968
235.21/119.90	c cleaning 26003 clauses out of 52006 with flag 954329/1100969
237.70/121.01	c cleaning 0 clauses out of 6501 with flag 0/6506
243.08/123.56	c cleaning 27001 clauses out of 54003 with flag 1029588/1128969
251.39/127.62	c cleaning 27999 clauses out of 56001 with flag 1104888/1157968
259.18/131.58	c cleaning 29001 clauses out of 58003 with flag 1176775/1187969
267.23/135.55	c cleaning 29996 clauses out of 60002 with flag 1251391/1218969
275.90/139.81	c cleaning 31002 clauses out of 62005 with flag 1330888/1250968
285.52/144.62	c cleaning 32002 clauses out of 64003 with flag 1415929/1283968
295.57/149.63	c cleaning 32993 clauses out of 66002 with flag 1504887/1317969
305.80/154.71	c cleaning 33999 clauses out of 68008 with flag 1591347/1352968
317.47/160.52	c cleaning 35000 clauses out of 70009 with flag 1682329/1388968
329.50/166.56	c cleaning 35999 clauses out of 72009 with flag 1773968/1425968
341.78/172.68	c cleaning 37001 clauses out of 74011 with flag 1863842/1463969
354.25/178.82	c cleaning 38004 clauses out of 76010 with flag 1951360/1502969
368.57/185.93	c cleaning 38998 clauses out of 78005 with flag 2044551/1542968
382.60/192.90	c cleaning 39998 clauses out of 80007 with flag 2141887/1583968
399.93/201.54	c cleaning 41002 clauses out of 82010 with flag 2248078/1625969
415.84/209.44	c cleaning 41999 clauses out of 84008 with flag 2352767/1668969
435.66/219.66	c cleaning 43001 clauses out of 86008 with flag 2467268/1712968
445.54/224.57	c And the winner is solver0
445.74/224.83	c Got one! Elapsed wall clock time (in seconds):224.431
445.74/224.83	o 139491328
449.36/226.70	c cleaning 38118 clauses out of 76245 with flag 15326/1746206
451.14/227.64	c cleaning 22058 clauses out of 44126 with flag 31514/1752205
452.57/228.34	c cleaning 14525 clauses out of 29068 with flag 51344/1759205
453.97/229.02	c cleaning 11266 clauses out of 22543 with flag 74376/1767205
455.37/229.71	c cleaning 10131 clauses out of 20277 with flag 99315/1776205
456.77/230.42	c And the winner is solver0
457.08/230.83	c Got one! Elapsed wall clock time (in seconds):230.434
457.08/230.83	o 134682368
457.62/231.10	c And the winner is solver0
457.79/231.34	c Got one! Elapsed wall clock time (in seconds):230.936
457.79/231.34	o 134248448
458.33/231.63	c cleaning 11703 clauses out of 23422 with flag 5367/1789481
459.13/232.05	c cleaning 8857 clauses out of 17720 with flag 20604/1795482
460.13/232.52	c cleaning 7924 clauses out of 15862 with flag 36788/1802481
461.13/233.02	c cleaning 7963 clauses out of 15938 with flag 56140/1810481
462.13/233.55	c cleaning 8482 clauses out of 16976 with flag 77447/1819482
463.33/234.19	c cleaning 9244 clauses out of 18494 with flag 102162/1829482
464.93/234.96	c cleaning 10125 clauses out of 20250 with flag 129746/1840482
466.55/235.79	c cleaning 11059 clauses out of 22124 with flag 158783/1852481
468.37/236.68	c cleaning 12033 clauses out of 24066 with flag 191311/1865482
470.37/237.65	c cleaning 13016 clauses out of 26032 with flag 226383/1879481
472.80/238.85	c cleaning 14009 clauses out of 28017 with flag 262721/1894482
475.39/240.20	c cleaning 14999 clauses out of 30008 with flag 302468/1910482
478.38/241.66	c cleaning 16003 clauses out of 32008 with flag 345290/1927481
481.61/243.28	c cleaning 16999 clauses out of 34005 with flag 389305/1945481
485.19/245.02	c cleaning 17995 clauses out of 36006 with flag 438820/1964481
488.84/246.86	c cleaning 18999 clauses out of 38011 with flag 491924/1984481
493.04/248.90	c cleaning 20003 clauses out of 40012 with flag 545652/2005481
497.45/251.11	c cleaning 20999 clauses out of 42009 with flag 602933/2027481
502.09/253.41	c cleaning 22001 clauses out of 44010 with flag 663630/2050481
506.89/255.89	c cleaning 23001 clauses out of 46009 with flag 726522/2074481
512.55/258.64	c cleaning 24000 clauses out of 48009 with flag 790880/2099482
518.55/261.69	c cleaning 25003 clauses out of 50008 with flag 866726/2125481
524.35/264.58	c cleaning 25997 clauses out of 52005 with flag 932860/2152481
531.00/267.85	c cleaning 27001 clauses out of 54009 with flag 999009/2180482
537.44/271.04	c cleaning 28004 clauses out of 56007 with flag 1071842/2209481
544.27/274.49	c cleaning 28999 clauses out of 58003 with flag 1152064/2239481
551.50/278.08	c cleaning 29998 clauses out of 60004 with flag 1230063/2270481
560.16/282.37	c cleaning 31000 clauses out of 62006 with flag 1311578/2302481
569.39/286.98	c cleaning 31996 clauses out of 64006 with flag 1395730/2335481
578.82/291.63	c cleaning 33003 clauses out of 66011 with flag 1483830/2369482
589.67/297.03	c cleaning 34002 clauses out of 68007 with flag 1577403/2404481
599.90/302.16	c cleaning 35000 clauses out of 70005 with flag 1668024/2440481
611.17/307.71	c cleaning 35999 clauses out of 72005 with flag 1764951/2477481
622.64/313.50	c cleaning 36997 clauses out of 74006 with flag 1861332/2515481
634.90/319.55	c cleaning 38000 clauses out of 76011 with flag 1957857/2554483
648.13/326.12	c cleaning 39000 clauses out of 78010 with flag 2055535/2594482
662.85/333.46	c cleaning 40004 clauses out of 80009 with flag 2159223/2635481
677.91/340.94	c cleaning 40998 clauses out of 82005 with flag 2264255/2677481
692.00/347.97	c cleaning 41997 clauses out of 84007 with flag 2367852/2720481
708.09/355.94	c cleaning 43002 clauses out of 86010 with flag 2478462/2764481
724.59/364.13	c cleaning 44002 clauses out of 88008 with flag 2590576/2809481
741.26/372.46	c cleaning 45000 clauses out of 90007 with flag 2704025/2855482
760.39/381.94	c cleaning 46001 clauses out of 92006 with flag 2819750/2902481
780.44/391.92	c cleaning 47002 clauses out of 94005 with flag 2939448/2950481
800.54/401.98	c cleaning 48002 clauses out of 96004 with flag 3068396/2999482
823.45/413.33	c cleaning 49001 clauses out of 98001 with flag 3199950/3049481
843.58/423.32	c cleaning 0 clauses out of 11717 with flag 0/11723
844.38/423.72	c cleaning 49993 clauses out of 100001 with flag 3322158/3100482
866.69/434.82	c cleaning 51000 clauses out of 102007 with flag 3447451/3152481
889.79/446.39	c cleaning 51999 clauses out of 104007 with flag 3572420/3205481
915.65/459.62	c cleaning 53000 clauses out of 106008 with flag 3705356/3259481
940.13/471.80	c cleaning 54002 clauses out of 108009 with flag 3843684/3314482
965.47/484.42	c cleaning 55001 clauses out of 110006 with flag 3985356/3370481
988.21/495.76	c cleaning 55999 clauses out of 112005 with flag 4127493/3427481
1014.34/508.74	c cleaning 57000 clauses out of 114008 with flag 4267436/3485483
1041.88/522.47	c cleaning 57996 clauses out of 116006 with flag 4413611/3544481
1070.87/536.83	c cleaning 59004 clauses out of 118010 with flag 4564155/3604481
1099.58/551.18	c cleaning 59997 clauses out of 120006 with flag 4711293/3665481
1134.55/568.56	c cleaning 61003 clauses out of 122010 with flag 4858309/3727482
1178.99/590.64	c cleaning 62000 clauses out of 124006 with flag 5012524/3790481
1232.28/617.18	c cleaning 62999 clauses out of 126007 with flag 5169749/3854482
1283.87/642.84	c cleaning 63995 clauses out of 128007 with flag 5329715/3919481
1332.71/667.16	c cleaning 64998 clauses out of 130012 with flag 5486910/3985481
1394.10/697.63	c cleaning 66005 clauses out of 132014 with flag 5654280/4052481
1450.99/726.56	c cleaning 67001 clauses out of 134009 with flag 5833979/4120481
1500.81/751.36	c cleaning 67998 clauses out of 136008 with flag 6010078/4189481
1565.85/783.72	c cleaning 69003 clauses out of 138011 with flag 6201241/4259482
1626.00/813.63	c cleaning 70004 clauses out of 140007 with flag 6386428/4330481
1666.55/833.86	c cleaning 70996 clauses out of 142003 with flag 6566108/4402481
1721.79/861.33	c cleaning 72001 clauses out of 144008 with flag 6753511/4475482
1770.60/885.65	c cleaning 72997 clauses out of 146008 with flag 6944333/4549483
1800.16/900.35	c >>>>>>>>>> Solver number 0 (16 answers) <<<<<<<<<<<<<<<<<<
1800.16/900.35	c starts		: 1150
1800.16/900.35	c conflicts		: 4595100
1800.16/900.35	c decisions		: 6204145
1800.16/900.35	c propagations		: 194446520
1800.16/900.35	c inspects		: 13343866577
1800.16/900.35	c shortcuts		: 0
1800.16/900.35	c learnt literals	: 0
1800.16/900.35	c learnt binary clauses	: 11
1800.16/900.35	c learnt ternary clauses	: 10
1800.16/900.35	c learnt constraints	: 4595100
1800.16/900.35	c ignored constraints	: 0
1800.16/900.35	c root simplifications	: 0
1800.16/900.35	c removed literals (reason simplification)	: 22712164
1800.16/900.35	c reason swapping (by a shorter reason)	: 0
1800.16/900.35	c Calls to reduceDB	: 165
1800.16/900.35	c Number of update (reduction) of LBD	: 339491
1800.16/900.35	c Imported unit clauses	: 0
1800.16/900.35	c number of reductions to clauses (during analyze)	: 0
1800.16/900.35	c number of learned constraints concerned by reduction	: 0
1800.16/900.35	c number of learning phase by resolution	: 0
1800.16/900.35	c number of learning phase by cutting planes	: 0
1800.16/900.35	c speed (assignments/second)	: 217258.19607107024
1800.16/900.35	c non guided choices	1005
1800.16/900.38	c learnt constraints type 
1800.16/900.38	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11
1800.16/900.38	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 118617
1800.16/900.38	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.16/900.38	c starts		: 86
1800.16/900.38	c conflicts		: 16879
1800.16/900.38	c decisions		: 49358
1800.16/900.38	c propagations		: 2956216
1800.16/900.38	c inspects		: 873873636
1800.16/900.38	c shortcuts		: 0
1800.16/900.38	c learnt literals	: 0
1800.16/900.38	c learnt binary clauses	: 0
1800.16/900.38	c learnt ternary clauses	: 0
1800.16/900.38	c learnt constraints	: 16872
1800.16/900.38	c ignored constraints	: 0
1800.16/900.38	c root simplifications	: 0
1800.16/900.38	c removed literals (reason simplification)	: 0
1800.16/900.38	c reason swapping (by a shorter reason)	: 0
1800.16/900.38	c Calls to reduceDB	: 2
1800.16/900.38	c Number of update (reduction) of LBD	: 0
1800.16/900.38	c Imported unit clauses	: 0
1800.16/900.38	c number of reductions to clauses (during analyze)	: 0
1800.16/900.38	c number of learned constraints concerned by reduction	: 0
1800.16/900.38	c number of learning phase by resolution	: 0
1800.16/900.38	c number of learning phase by cutting planes	: 0
1800.16/900.38	c speed (assignments/second)	: 4418.891023101817
1800.16/900.38	c non guided choices	82
1800.16/900.39	c learnt constraints type 
1800.16/900.39	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 769
1800.16/900.39	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16103
1800.16/900.39	s SATISFIABLE
1800.16/900.39	c Found 17 solution(s)
1800.16/900.40	v x1 x2 -x3 -x4 x5 x6 x7 -x8 -x9 x10 x11 x12 x13 -x14 x15 x16 x17 x18 -x19 x20 x21 x22 -x23 -x24 x25 x26 x27 -x28 -x29 x30 x31 x32 -x33 -x34 x35 x36 x37 x38 -x39 x40 x41 x42 -x43 -x44 x45 x46 x47 -x48 -x49 x50 x51 x52 x53 -x54 x55 x56 x57 x58 -x59 x60 x61 x62 x63 -x64 x65 x66 x67 x68 -x69 x70 x71 x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 x561 x562 x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 x729 -x730 -x731 -x732 -x733 x734 x735 x736 x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 x825 x826 x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 x949 x950 x951 x952 -x953 -x954 -x955 x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 x1023 x1024 x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 x1056 x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 x1183 x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 x1274 x1275 x1276 x1277 -x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 x1323 -x1324 -x1325 -x1326 -x1327 x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 x1339 x1340 x1341 x1342 -x1343 -x1344 -x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 x1384 x1385 x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 x1510 x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 x1521 x1522 x1523 x1524 -x1525 -x1526 x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 x1580 x1581 x1582 x1583 -x1584 -x1585 -x1586 x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 x1642 x1643 x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 x1764 x1765 x1766 x1767 -x1768 -x1769 x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 x1785 x1786 x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 x1903 x1904 x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 x1950 x1951 x1952 x1953 x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 x2016 x2017 x2018 -x2019 -x2020 x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 x2032 x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 x2420 x2421 x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 x2438 x2439 x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 -x2450 x2451 x2452 x2453 x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 x2700 x2701 -x2702 -x2703 -x2704 -x2705 x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 x3114 x3115 x3116 x3117 -x3118 -x3119 x3120 x3121 x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 x3131 x3132 x3133 x3134 x3135 x3136 x3137 x3138 x3139 x3140 x3141 x3142 x3143 x3144 x3145 x3146 x3147 x3148 x3149 x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 x3163 x3164 x3165 x3166 x3167 x3168 x3169 x3170 x3171 x3172 x3173 x3174 x3175 x3176 x3177 x3178 x3179 x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564 
1800.16/900.40	c objective function=134248448
1800.16/900.40	c Total wall clock time (in seconds): 900.001

Verifier Data 

OK	134248448

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

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

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


[startup+0 s]
/proc/loadavg: 1.54 2.21 1.97 5/173 9661
/proc/meminfo: memFree=31669212/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/9661/stat : 9661 (runsolver) D 9654 9661 9616 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 1 0 40459983 24911872 159 33554432000 4194304 4338465 140734929159280 140734929156472 235374538167 0 0 4096 24578 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/9661/statm: 6082 159 113 36 0 2655 0

[startup+0.100099 s]
/proc/loadavg: 1.54 2.21 1.97 5/173 9661
/proc/meminfo: memFree=31669212/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/9661/stat : 9661 (java) D 9654 9661 9616 0 -1 4202496 1143 0 18 0 0 0 0 0 20 0 1 0 40459983 23793664 811 33554432000 1073741824 1073778376 140733246459296 140733246449288 140708754586080 0 0 4096 0 18446744071579943789 0 0 17 6 0 0 7 0 0
/proc/9661/statm: 5809 811 605 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200296 s]
/proc/loadavg: 1.54 2.21 1.97 5/173 9661
/proc/meminfo: memFree=31669212/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/9661/stat : 9661 (java) S 9654 9661 9616 0 -1 4202496 2407 0 28 0 0 1 0 0 20 0 10 0 40459983 9233014784 3056 33554432000 1073741824 1073778376 140733246459296 140733246450432 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0
/proc/9661/statm: 2254154 3056 1184 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.30029 s]
/proc/loadavg: 1.54 2.21 1.97 5/173 9661
/proc/meminfo: memFree=31669212/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/9661/stat : 9661 (java) S 9654 9661 9616 0 -1 4202496 3133 0 28 0 3 1 0 0 20 0 13 0 40459983 9446973440 4291 33554432000 1073741824 1073778376 140733246459296 140733246450432 235378081853 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 8 0 0
/proc/9661/statm: 2306390 4291 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.700245 s]
/proc/loadavg: 1.54 2.21 1.97 5/173 9661
/proc/meminfo: memFree=31669212/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=9559032 CPUtime=0.79 cores=0,2,4,6
/proc/9661/stat : 9661 (java) S 9654 9661 9616 0 -1 4202496 10261 0 28 0 75 4 0 0 20 0 18 0 40459983 9788448768 15869 33554432000 1073741824 1073778376 140733246459296 140733246450432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8 0 0
/proc/9661/statm: 2389758 15869 2240 9 0 2380435 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 9559032

[startup+1.50076 s]
/proc/loadavg: 1.90 2.27 1.99 8/214 9705
/proc/meminfo: memFree=31426408/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/9661/stat : 9661 (java) S 9654 9661 9616 0 -1 4202496 25881 0 28 0 290 8 0 0 20 0 22 0 40459983 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140733246450432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8 0 0
/proc/9661/statm: 2456183 30585 2268 9 0 2446860 0
[pid=9661/tid=9665] ppid=9654 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/9661/task/9665/stat : 9665 (java) S 9654 9661 9616 0 -1 4202560 2445 0 7 0 50 2 0 0 20 0 22 0 40459994 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708749833080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 17 0 0
[pid=9661/tid=9666] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9666/stat : 9666 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460002 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708711324072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9668] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9668/stat : 9668 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460002 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708710271528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9669] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9669/stat : 9669 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460002 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708709218472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9671] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9671/stat : 9671 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460002 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708708165928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9672] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9672/stat : 9672 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460002 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708707113896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9674] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9674/stat : 9674 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460002 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708706061352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9676] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9676/stat : 9676 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460002 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708705008296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9677] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9677/stat : 9677 (java) S 9654 9661 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40460002 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708703955752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9682] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9682/stat : 9682 (java) S 9654 9661 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 40460005 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708573837672 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9684] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9684/stat : 9684 (java) S 9654 9661 9616 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 40460007 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708572783992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9686] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9686/stat : 9686 (java) S 9654 9661 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 40460007 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708571730824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9691] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9691/stat : 9691 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460014 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708570679568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9693] ppid=9654 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/9661/task/9693/stat : 9693 (java) R 9654 9661 9616 0 -1 4202560 11350 0 0 0 96 2 0 0 20 0 22 0 40460014 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708569621488 140708755802386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9694] ppid=9654 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/9661/task/9694/stat : 9694 (java) R 9654 9661 9616 0 -1 4202560 10769 0 0 0 95 1 0 0 20 0 22 0 40460014 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708568562272 140708751879056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9696] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9696/stat : 9696 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460014 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708567522040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9697] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9697/stat : 9697 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460014 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140708566469704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9701] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9701/stat : 9701 (java) S 9654 9661 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 40460068 10060525568 30585 33554432000 1073741824 1073778376 140733246459296 140707553641384 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 1.90 2.27 1.99 6/217 9714
/proc/meminfo: memFree=31326972/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=9824732 CPUtime=7.09 cores=0,2,4,6
/proc/9661/stat : 9661 (java) S 9654 9661 9616 0 -1 4202496 31443 0 28 0 690 19 0 0 20 0 19 0 40459983 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140733246450432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8 0 0
/proc/9661/statm: 2456183 57427 2293 9 0 2446860 0
[pid=9661/tid=9665] ppid=9654 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/9661/task/9665/stat : 9665 (java) S 9654 9661 9616 0 -1 4202560 2445 0 7 0 51 2 0 0 20 0 19 0 40459994 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708749833080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 17 0 0
[pid=9661/tid=9666] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9666/stat : 9666 (java) S 9654 9661 9616 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 40460002 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708711324072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9668] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9668/stat : 9668 (java) S 9654 9661 9616 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 40460002 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708710271528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9669] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9669/stat : 9669 (java) S 9654 9661 9616 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 40460002 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708709218472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9671] ppid=9654 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9661/task/9671/stat : 9671 (java) S 9654 9661 9616 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 40460002 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708708165928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9672] ppid=9654 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9661/task/9672/stat : 9672 (java) S 9654 9661 9616 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 40460002 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708707113896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9674] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9674/stat : 9674 (java) S 9654 9661 9616 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 40460002 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708706061352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9676] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9676/stat : 9676 (java) S 9654 9661 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40460002 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708705008296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9677] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9677/stat : 9677 (java) S 9654 9661 9616 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40460002 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708703955752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9682] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9682/stat : 9682 (java) S 9654 9661 9616 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 40460005 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708573837672 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9684] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9684/stat : 9684 (java) S 9654 9661 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40460007 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708572783992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9686] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9686/stat : 9686 (java) S 9654 9661 9616 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 40460007 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708571730824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9691] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9691/stat : 9691 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40460014 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708570679568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9693] ppid=9654 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/9661/task/9693/stat : 9693 (java) S 9654 9661 9616 0 -1 4202560 16710 0 0 0 203 2 0 0 20 0 19 0 40460014 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708569627448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9694] ppid=9654 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/9661/task/9694/stat : 9694 (java) S 9654 9661 9616 0 -1 4202560 10771 0 0 0 159 2 0 0 20 0 19 0 40460014 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708568574904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9696] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9696/stat : 9696 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40460014 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708567522040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9697] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9697/stat : 9697 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40460014 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140708566469704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9701] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9701/stat : 9701 (java) S 9654 9661 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40460068 10060525568 57427 33554432000 1073741824 1073778376 140733246459296 140707553641384 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 1.90 2.27 1.99 6/217 9729
/proc/meminfo: memFree=31181492/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=9824732 CPUtime=10.64 cores=0,2,4,6
/proc/9661/stat : 9661 (java) S 9654 9661 9616 0 -1 4202496 31772 0 28 0 1032 32 0 0 20 0 22 0 40459983 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140733246450432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8 0 0
/proc/9661/statm: 2456183 93947 2294 9 0 2446860 0
[pid=9661/tid=9665] ppid=9654 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/9661/task/9665/stat : 9665 (java) S 9654 9661 9616 0 -1 4202560 2446 0 7 0 51 2 0 0 20 0 22 0 40459994 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708749833080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 17 0 0
[pid=9661/tid=9666] ppid=9654 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9661/task/9666/stat : 9666 (java) S 9654 9661 9616 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 40460002 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708711324072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9668] ppid=9654 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9661/task/9668/stat : 9668 (java) S 9654 9661 9616 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 40460002 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708710271528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9669] ppid=9654 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9661/task/9669/stat : 9669 (java) S 9654 9661 9616 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 22 0 40460002 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708709218472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9671] ppid=9654 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9661/task/9671/stat : 9671 (java) S 9654 9661 9616 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 40460002 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708708165928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9672] ppid=9654 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9661/task/9672/stat : 9672 (java) S 9654 9661 9616 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 40460002 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708707113896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9674] ppid=9654 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9661/task/9674/stat : 9674 (java) S 9654 9661 9616 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 22 0 40460002 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708706061352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9676] ppid=9654 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9661/task/9676/stat : 9676 (java) S 9654 9661 9616 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 22 0 40460002 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708705008296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9677] ppid=9654 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9661/task/9677/stat : 9677 (java) S 9654 9661 9616 0 -1 4202560 31 0 0 0 4 3 0 0 20 0 22 0 40460002 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708703955752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9682] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9682/stat : 9682 (java) S 9654 9661 9616 0 -1 4202560 204 0 0 0 0 0 0 0 20 0 22 0 40460005 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708573837672 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9684] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9684/stat : 9684 (java) S 9654 9661 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40460007 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708572783992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9686] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9686/stat : 9686 (java) S 9654 9661 9616 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 40460007 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708571730824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9691] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9691/stat : 9691 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460014 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708570679568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9693] ppid=9654 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/9661/task/9693/stat : 9693 (java) S 9654 9661 9616 0 -1 4202560 16710 0 0 0 207 2 0 0 20 0 22 0 40460014 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708569627448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9694] ppid=9654 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/9661/task/9694/stat : 9694 (java) S 9654 9661 9616 0 -1 4202560 10783 0 0 0 166 2 0 0 20 0 22 0 40460014 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708568574904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9696] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9696/stat : 9696 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460014 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708567522040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9697] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9697/stat : 9697 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460014 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140708566469704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9726] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9726/stat : 9726 (java) S 9654 9661 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40460419 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140707557795496 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9727] ppid=9654 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/9661/task/9727/stat : 9727 (java) R 9654 9661 9616 0 -1 4202560 7 0 0 0 89 0 0 0 20 0 22 0 40460519 10060525568 93947 33554432000 1073741824 1073778376 140733246459296 140707554693712 140708582257959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9728] ppid=9654 vsize=9824732 CPUtime=0.9 cores=0,2,4,6

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

[pid=9661/tid=9665] ppid=9654 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/9661/task/9665/stat : 9665 (java) S 9654 9661 9616 0 -1 4202560 2456 0 7 0 55 4 0 0 20 0 22 0 40459994 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708749833080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 17 0 0
[pid=9661/tid=9666] ppid=9654 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/9661/task/9666/stat : 9666 (java) S 9654 9661 9616 0 -1 4202560 389 0 0 0 244 10 0 0 20 0 22 0 40460002 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708711324072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9668] ppid=9654 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/9661/task/9668/stat : 9668 (java) S 9654 9661 9616 0 -1 4202560 360 0 0 0 222 8 0 0 20 0 22 0 40460002 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708710271528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9669] ppid=9654 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/9661/task/9669/stat : 9669 (java) S 9654 9661 9616 0 -1 4202560 385 0 0 0 261 10 0 0 20 0 22 0 40460002 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708709218472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9671] ppid=9654 vsize=9824732 CPUtime=2.64 cores=0,2,4,6
/proc/9661/task/9671/stat : 9671 (java) S 9654 9661 9616 0 -1 4202560 423 0 0 0 254 10 0 0 20 0 22 0 40460002 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708708165928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9672] ppid=9654 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/9661/task/9672/stat : 9672 (java) S 9654 9661 9616 0 -1 4202560 406 0 0 0 245 9 0 0 20 0 22 0 40460002 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708707113896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9674] ppid=9654 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/9661/task/9674/stat : 9674 (java) S 9654 9661 9616 0 -1 4202560 434 0 0 0 256 11 0 0 20 0 22 0 40460002 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708706061352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9676] ppid=9654 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/9661/task/9676/stat : 9676 (java) S 9654 9661 9616 0 -1 4202560 438 0 0 0 263 11 0 0 20 0 22 0 40460002 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708705008296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9677] ppid=9654 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/9661/task/9677/stat : 9677 (java) S 9654 9661 9616 0 -1 4202560 422 0 0 0 251 11 0 0 20 0 22 0 40460002 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708703955752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9682] ppid=9654 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/9661/task/9682/stat : 9682 (java) S 9654 9661 9616 0 -1 4202560 1677 0 0 0 276 16 0 0 20 0 22 0 40460005 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708573837672 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9684] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9684/stat : 9684 (java) S 9654 9661 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40460007 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708572783992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9686] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9686/stat : 9686 (java) S 9654 9661 9616 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 40460007 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708571730824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9691] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9691/stat : 9691 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460014 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708570679568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9693] ppid=9654 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/9661/task/9693/stat : 9693 (java) S 9654 9661 9616 0 -1 4202560 16719 0 0 0 211 2 0 0 20 0 22 0 40460014 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708569627448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9694] ppid=9654 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/9661/task/9694/stat : 9694 (java) S 9654 9661 9616 0 -1 4202560 10839 0 0 0 216 2 0 0 20 0 22 0 40460014 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708568574904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9696] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9696/stat : 9696 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40460014 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708567522040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9697] ppid=9654 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/9661/task/9697/stat : 9697 (java) S 9654 9661 9616 0 -1 4202560 53 0 0 0 16 12 0 0 20 0 22 0 40460014 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140708566469704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9729] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9729/stat : 9729 (java) S 9654 9661 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 40460519 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140707553641512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9784] ppid=9654 vsize=9824732 CPUtime=661.01 cores=0,2,4,6
/proc/9661/task/9784/stat : 9784 (java) R 9654 9661 9616 0 -1 4202560 78 0 0 0 66089 12 0 0 20 0 22 0 40483118 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140707554692272 140708582269422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9785] ppid=9654 vsize=9824732 CPUtime=661.01 cores=0,2,4,6
/proc/9661/task/9785/stat : 9785 (java) R 9654 9661 9616 0 -1 4202560 72 0 0 0 66089 12 0 0 20 0 22 0 40483118 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140707557793792 140708582854564 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9786] ppid=9654 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9786/stat : 9786 (java) S 9654 9661 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40483122 10060525568 608055 33554432000 1073741824 1073778376 140733246459296 140707555747112 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 9824732

[startup+900.405 s]
/proc/loadavg: 4.13 4.00 3.27 4/195 9848
/proc/meminfo: memFree=29218064/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=9957860 CPUtime=1798.32 cores=0,2,4,6
/proc/9661/stat : 9661 (java) S 9654 9661 9616 0 -1 4202496 37878 0 28 0 179638 194 0 0 20 0 21 0 40459983 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140733246450432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8 0 0
/proc/9661/statm: 2489465 607908 2303 9 0 2480142 0
[pid=9661/tid=9665] ppid=9654 vsize=9957860 CPUtime=0.59 cores=0,2,4,6
/proc/9661/task/9665/stat : 9665 (java) S 9654 9661 9616 0 -1 4202560 2456 0 7 0 55 4 0 0 20 0 21 0 40459994 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708749833080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 17 0 0
[pid=9661/tid=9666] ppid=9654 vsize=9957860 CPUtime=2.56 cores=0,2,4,6
/proc/9661/task/9666/stat : 9666 (java) S 9654 9661 9616 0 -1 4202560 390 0 0 0 246 10 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708711324072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9668] ppid=9654 vsize=9957860 CPUtime=2.32 cores=0,2,4,6
/proc/9661/task/9668/stat : 9668 (java) S 9654 9661 9616 0 -1 4202560 361 0 0 0 224 8 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708710271528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9669] ppid=9654 vsize=9957860 CPUtime=2.72 cores=0,2,4,6
/proc/9661/task/9669/stat : 9669 (java) S 9654 9661 9616 0 -1 4202560 385 0 0 0 262 10 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708709218472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9671] ppid=9654 vsize=9957860 CPUtime=2.65 cores=0,2,4,6
/proc/9661/task/9671/stat : 9671 (java) S 9654 9661 9616 0 -1 4202560 423 0 0 0 255 10 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708708165928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9672] ppid=9654 vsize=9957860 CPUtime=2.57 cores=0,2,4,6
/proc/9661/task/9672/stat : 9672 (java) S 9654 9661 9616 0 -1 4202560 410 0 0 0 248 9 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708707113896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9674] ppid=9654 vsize=9957860 CPUtime=2.69 cores=0,2,4,6
/proc/9661/task/9674/stat : 9674 (java) S 9654 9661 9616 0 -1 4202560 434 0 0 0 258 11 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708706061352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9676] ppid=9654 vsize=9957860 CPUtime=2.75 cores=0,2,4,6
/proc/9661/task/9676/stat : 9676 (java) S 9654 9661 9616 0 -1 4202560 439 0 0 0 264 11 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708705008296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9677] ppid=9654 vsize=9957860 CPUtime=2.64 cores=0,2,4,6
/proc/9661/task/9677/stat : 9677 (java) S 9654 9661 9616 0 -1 4202560 423 0 0 0 253 11 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708703955752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9682] ppid=9654 vsize=9957860 CPUtime=2.93 cores=0,2,4,6
/proc/9661/task/9682/stat : 9682 (java) R 9654 9661 9616 0 -1 4202560 1678 0 0 0 276 17 0 0 20 0 21 0 40460005 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708573837672 235374765031 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9684] ppid=9654 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9684/stat : 9684 (java) S 9654 9661 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 40460007 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708572783992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9686] ppid=9654 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9686/stat : 9686 (java) S 9654 9661 9616 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 21 0 40460007 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708571730824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9691] ppid=9654 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9691/stat : 9691 (java) S 9654 9661 9616 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708570679568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9693] ppid=9654 vsize=9957860 CPUtime=2.14 cores=0,2,4,6
/proc/9661/task/9693/stat : 9693 (java) S 9654 9661 9616 0 -1 4202560 16719 0 0 0 212 2 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708569619800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9694] ppid=9654 vsize=9957860 CPUtime=2.22 cores=0,2,4,6
/proc/9661/task/9694/stat : 9694 (java) R 9654 9661 9616 0 -1 4202560 10841 0 0 0 220 2 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708568568856 140708753686673 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9696] ppid=9654 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9696/stat : 9696 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708567522040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9697] ppid=9654 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/9661/task/9697/stat : 9697 (java) S 9654 9661 9616 0 -1 4202560 53 0 0 0 16 12 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708566469704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9785] ppid=9654 vsize=9957860 CPUtime=661.06 cores=0,2,4,6
/proc/9661/task/9785/stat : 9785 (java) R 9654 9661 9616 0 -1 4202560 73 0 0 0 66094 12 0 0 20 0 21 0 40483118 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140707557792904 140708582832555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.32
Current children cumulated vsize (KiB) 9957860
#
############


Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9661 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+900.405 s]
/proc/loadavg: 4.13 4.00 3.27 4/195 9848
/proc/meminfo: memFree=29218064/32872528 swapFree=447868/480572
[pid=9661] ppid=9654 vsize=9957860 CPUtime=1798.32 cores=0,2,4,6
/proc/9661/stat : 9661 (java) S 9654 9661 9616 0 -1 4202496 37878 0 28 0 179638 194 0 0 20 0 21 0 40459983 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140733246450432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8 0 0
/proc/9661/statm: 2489465 607908 2303 9 0 2480142 0
[pid=9661/tid=9665] ppid=9654 vsize=9957860 CPUtime=0.59 cores=0,2,4,6
/proc/9661/task/9665/stat : 9665 (java) S 9654 9661 9616 0 -1 4202560 2456 0 7 0 55 4 0 0 20 0 21 0 40459994 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708749833080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 17 0 0
[pid=9661/tid=9666] ppid=9654 vsize=9957860 CPUtime=2.56 cores=0,2,4,6
/proc/9661/task/9666/stat : 9666 (java) S 9654 9661 9616 0 -1 4202560 390 0 0 0 246 10 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708711324072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9668] ppid=9654 vsize=9957860 CPUtime=2.32 cores=0,2,4,6
/proc/9661/task/9668/stat : 9668 (java) S 9654 9661 9616 0 -1 4202560 361 0 0 0 224 8 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708710271528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9669] ppid=9654 vsize=9957860 CPUtime=2.72 cores=0,2,4,6
/proc/9661/task/9669/stat : 9669 (java) S 9654 9661 9616 0 -1 4202560 385 0 0 0 262 10 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708709218472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9671] ppid=9654 vsize=9957860 CPUtime=2.65 cores=0,2,4,6
/proc/9661/task/9671/stat : 9671 (java) S 9654 9661 9616 0 -1 4202560 423 0 0 0 255 10 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708708165928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9672] ppid=9654 vsize=9957860 CPUtime=2.57 cores=0,2,4,6
/proc/9661/task/9672/stat : 9672 (java) S 9654 9661 9616 0 -1 4202560 410 0 0 0 248 9 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708707113896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9674] ppid=9654 vsize=9957860 CPUtime=2.69 cores=0,2,4,6
/proc/9661/task/9674/stat : 9674 (java) S 9654 9661 9616 0 -1 4202560 434 0 0 0 258 11 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708706061352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9676] ppid=9654 vsize=9957860 CPUtime=2.75 cores=0,2,4,6
/proc/9661/task/9676/stat : 9676 (java) S 9654 9661 9616 0 -1 4202560 439 0 0 0 264 11 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708705008296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9677] ppid=9654 vsize=9957860 CPUtime=2.64 cores=0,2,4,6
/proc/9661/task/9677/stat : 9677 (java) S 9654 9661 9616 0 -1 4202560 423 0 0 0 253 11 0 0 20 0 21 0 40460002 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708703955752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9682] ppid=9654 vsize=9957860 CPUtime=2.93 cores=0,2,4,6
/proc/9661/task/9682/stat : 9682 (java) R 9654 9661 9616 0 -1 4202560 1678 0 0 0 276 17 0 0 20 0 21 0 40460005 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708573837672 235374765031 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9684] ppid=9654 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9684/stat : 9684 (java) S 9654 9661 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 40460007 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708572783992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9686] ppid=9654 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9686/stat : 9686 (java) S 9654 9661 9616 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 21 0 40460007 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708571730824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9691] ppid=9654 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9691/stat : 9691 (java) S 9654 9661 9616 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708570679568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9661/tid=9693] ppid=9654 vsize=9957860 CPUtime=2.14 cores=0,2,4,6
/proc/9661/task/9693/stat : 9693 (java) S 9654 9661 9616 0 -1 4202560 16719 0 0 0 212 2 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708569619800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9661/tid=9694] ppid=9654 vsize=9957860 CPUtime=2.22 cores=0,2,4,6
/proc/9661/task/9694/stat : 9694 (java) R 9654 9661 9616 0 -1 4202560 10841 0 0 0 220 2 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708568568856 140708753686673 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9661/tid=9696] ppid=9654 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/9661/task/9696/stat : 9696 (java) S 9654 9661 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708567522040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9697] ppid=9654 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/9661/task/9697/stat : 9697 (java) S 9654 9661 9616 0 -1 4202560 53 0 0 0 16 12 0 0 20 0 21 0 40460014 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140708566469704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9661/tid=9785] ppid=9654 vsize=9957860 CPUtime=661.06 cores=0,2,4,6
/proc/9661/task/9785/stat : 9785 (java) R 9654 9661 9616 0 -1 4202560 73 0 0 0 66094 12 0 0 20 0 21 0 40483118 10196848640 607908 33554432000 1073741824 1073778376 140733246459296 140707557792904 140708582832555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.32
Current children cumulated vsize (KiB) 9957860

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9661 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=699164
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=264655
# CPU time returned by wait4() is 1796.96
# while last known CPU time is 1798.32
#
# 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): 1.8399
#  lost CPU user time (s): 2.00989
#  lost CPU system time (s): -0.17

Real time (s): 900.43
CPU time (s): 1800.16
CPU user time (s): 1798.39
CPU system time (s): 1.77
CPU usage (%): 199.922
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 2.26465
maximum resident set size= 2964432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37880
page faults= 28
swaps= 0
block input operations= 16944
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28322
involuntary context switches= 44929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50316 second user time and 7.64584 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-20 02:54:58
IDJOB=4110617
IDBENCH=108115
IDSOLVER=2543
FILE ID=node104/4110617-1466384098
RUNJOBID= node104-1466384098-9632
PBS_JOBID= 19923270
Free space on /tmp= 71668 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110617-1466384098/watcher-4110617-1466384098 -o /tmp/evaluation-result-4110617-1466384098/solver-4110617-1466384098 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466384098-9632 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110617-1466384098.opb

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

MD5SUM BENCH= b4797c584af9b805dff74fff95a4b350
RANDOM SEED=127761700

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31671360 kB
Buffers:            1148 kB
Cached:            15544 kB
SwapCached:         1024 kB
Active:             9120 kB
Inactive:           8692 kB
Active(anon):       2736 kB
Inactive(anon):     1100 kB
Active(file):       6384 kB
Inactive(file):     7592 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67098152 kB
Dirty:              2352 kB
Writeback:             0 kB
AnonPages:        480704 kB
Mapped:             6668 kB
Shmem:                 0 kB
Slab:             570092 kB
SReclaimable:      14644 kB
SUnreclaim:       555448 kB
KernelStack:        1336 kB
PageTables:         4920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     567368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71668 MiB
End job on node104 at 2016-06-20 03:09:59