Trace number 4081348

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)429 1800.37 899.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
MD5SUMfe2fc6a37df33476d3a38f976836359f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark323
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 278
Optimality of the best value was proved YES
Number of variables2611
Total number of constraints1924
Number of constraints which are clauses1924
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint30
Number of terms in the objective function 2611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2611
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2611
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4081348-1465231365.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.54/0.30	c ... done. Wall clock time 0.197s.
0.54/0.30	c declared #vars     2611
0.54/0.31	c #constraints  1924
0.54/0.31	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.54/0.31	c constraints type 
0.54/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1861
0.54/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 63
0.54/0.31	c 1924 constraints processed.
0.54/0.31	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.54/0.31	c constraints type 
0.54/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 63
0.54/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1861
0.54/0.31	c 1924 constraints processed.
0.54/0.31	c objective function length is 2611 literals
0.54/0.35	c And the winner is solver0
0.77/0.81	c SATISFIABLE
0.77/0.81	c OPTIMIZING...
0.77/0.81	c Got one! Elapsed wall clock time (in seconds):0.705
0.77/0.81	o 439
2.88/1.60	c cleaning 2494 clauses out of 5001 with flag 10507/5001
4.39/2.38	c cleaning 4246 clauses out of 8506 with flag 23144/11000
6.20/3.30	c cleaning 5626 clauses out of 11260 with flag 37702/18000
8.63/4.43	c cleaning 6812 clauses out of 13636 with flag 54858/26002
10.48/5.22	c And the winner is solver1
10.55/5.33	c Got one! Elapsed wall clock time (in seconds):5.219
10.55/5.33	o 438
12.87/6.40	c cleaning 8792 clauses out of 17613 with flag 13302/36791
15.39/7.62	c cleaning 7397 clauses out of 14821 with flag 29155/42791
18.39/9.13	c cleaning 7198 clauses out of 14424 with flag 48214/49791
21.88/10.84	c cleaning 7614 clauses out of 15227 with flag 70213/57792
25.70/12.74	c cleaning 8307 clauses out of 16614 with flag 94818/66793
30.31/15.00	c cleaning 9153 clauses out of 18306 with flag 121651/76792
35.22/17.44	c cleaning 10072 clauses out of 20152 with flag 154020/87791
40.85/20.22	c cleaning 11039 clauses out of 22081 with flag 189254/99792
47.12/23.32	c cleaning 12020 clauses out of 24042 with flag 229697/112792
53.80/26.63	c cleaning 13009 clauses out of 26022 with flag 267804/126792
61.00/30.28	c cleaning 14008 clauses out of 28015 with flag 308256/141794
69.28/34.31	c cleaning 15001 clauses out of 30006 with flag 351870/157793
77.89/38.61	c cleaning 16000 clauses out of 32003 with flag 399257/174791
83.75/41.58	c And the winner is solver1
83.94/41.87	c Got one! Elapsed wall clock time (in seconds):41.768
83.94/41.87	o 437
86.01/42.99	c cleaning 16537 clauses out of 33073 with flag 13086/191861
88.80/44.30	c cleaning 11267 clauses out of 22536 with flag 29398/197861
91.87/45.84	c cleaning 9130 clauses out of 18268 with flag 47856/204860
95.12/47.47	c cleaning 8567 clauses out of 17138 with flag 68831/212860
99.20/49.44	c cleaning 8784 clauses out of 17572 with flag 93680/221861
103.40/51.58	c cleaning 9387 clauses out of 18787 with flag 122543/231860
108.21/53.91	c cleaning 10201 clauses out of 20401 with flag 154900/242861
113.70/56.70	c cleaning 11099 clauses out of 22200 with flag 191355/254861
119.99/59.76	c cleaning 12051 clauses out of 24101 with flag 229134/267861
125.79/62.68	c And the winner is solver1
125.99/62.88	c Got one! Elapsed wall clock time (in seconds):62.777
125.99/62.88	o 436
128.31/64.03	c cleaning 15132 clauses out of 30278 with flag 13076/286089
130.70/65.28	c cleaning 10571 clauses out of 21146 with flag 29643/292089
133.70/66.72	c cleaning 8783 clauses out of 17574 with flag 49289/299088
136.99/68.39	c cleaning 8389 clauses out of 16791 with flag 71382/307088
140.78/70.25	c cleaning 8700 clauses out of 17402 with flag 97515/316088
145.03/72.35	c cleaning 9351 clauses out of 18702 with flag 125513/326088
150.31/75.11	c cleaning 10174 clauses out of 20351 with flag 157235/337088
155.33/77.65	c cleaning 11082 clauses out of 22178 with flag 190424/349089
160.77/80.39	c cleaning 12046 clauses out of 24095 with flag 228140/362088
167.21/83.50	c cleaning 13021 clauses out of 26050 with flag 267822/376089
174.07/86.99	c cleaning 14013 clauses out of 28028 with flag 311817/391088
181.66/90.73	c cleaning 15003 clauses out of 30016 with flag 360871/407089
189.91/94.83	c cleaning 16005 clauses out of 32014 with flag 409105/424090
191.96/95.86	c And the winner is solver1
192.14/95.90	c Got one! Elapsed wall clock time (in seconds):95.797
192.14/95.90	o 434
192.53/96.13	c cleaning 10811 clauses out of 21621 with flag 2619/429702
195.12/97.41	c cleaning 8403 clauses out of 16811 with flag 17933/435703
198.12/98.91	c cleaning 7695 clauses out of 15407 with flag 35840/442702
201.72/100.72	c cleaning 7850 clauses out of 15712 with flag 59231/450702
205.99/102.83	c cleaning 8430 clauses out of 16862 with flag 84192/459702
210.79/105.22	c cleaning 9214 clauses out of 18432 with flag 111048/469702
216.28/107.94	c cleaning 10109 clauses out of 20218 with flag 142417/480702
221.87/110.73	c cleaning 11052 clauses out of 22110 with flag 175609/492703
227.87/113.70	c cleaning 12030 clauses out of 24061 with flag 210402/505706
234.33/116.99	c cleaning 13013 clauses out of 26029 with flag 247910/519704
241.74/120.63	c cleaning 14007 clauses out of 28014 with flag 289645/534702
249.61/124.52	c cleaning 15001 clauses out of 30007 with flag 337087/550702
257.21/128.37	c cleaning 15999 clauses out of 32007 with flag 388961/567703
266.30/132.81	c cleaning 17003 clauses out of 34007 with flag 445877/585702
275.50/137.43	c cleaning 17997 clauses out of 36004 with flag 504389/604702
286.05/142.99	c cleaning 19003 clauses out of 38009 with flag 573019/624704
297.74/148.71	c cleaning 20000 clauses out of 40004 with flag 640341/645702
308.36/154.08	c cleaning 21002 clauses out of 42007 with flag 703026/667705
321.07/160.34	c cleaning 22001 clauses out of 44004 with flag 762285/690704
334.27/166.98	c cleaning 22998 clauses out of 46001 with flag 829805/714702
340.10/169.80	c And the winner is solver1
340.16/170.19	c Got one! Elapsed wall clock time (in seconds):170.087
340.16/170.19	o 433
342.73/171.44	c cleaning 19314 clauses out of 38647 with flag 13128/730346
345.13/172.63	c cleaning 12664 clauses out of 25333 with flag 28367/736346
347.93/174.01	c cleaning 9835 clauses out of 19670 with flag 46853/743347
351.33/175.70	c cleaning 8912 clauses out of 17835 with flag 67464/751347
355.13/177.63	c cleaning 8957 clauses out of 17923 with flag 93014/760347
359.33/179.79	c cleaning 9482 clauses out of 18965 with flag 119914/770346
364.45/182.21	c cleaning 10239 clauses out of 20483 with flag 149125/781346
369.44/184.77	c cleaning 11115 clauses out of 22245 with flag 182236/793347
375.25/187.66	c cleaning 12061 clauses out of 24129 with flag 219827/806346
381.94/190.99	c cleaning 13030 clauses out of 26068 with flag 260718/820346
389.15/194.50	c cleaning 14014 clauses out of 28038 with flag 303387/835346
396.96/198.45	c cleaning 15007 clauses out of 30024 with flag 351278/851346
405.95/202.89	c cleaning 16009 clauses out of 32017 with flag 402807/868346
414.75/207.27	c cleaning 17004 clauses out of 34008 with flag 452944/886346
423.55/211.61	c cleaning 18002 clauses out of 36004 with flag 505005/905346
433.43/216.45	c cleaning 18999 clauses out of 38002 with flag 559642/925346
443.83/221.60	c cleaning 20001 clauses out of 40003 with flag 621954/946346
455.24/227.31	c cleaning 21000 clauses out of 42003 with flag 691031/968347
467.85/233.56	c cleaning 22003 clauses out of 44006 with flag 763823/991350
480.47/239.83	c cleaning 22997 clauses out of 46000 with flag 833900/1015347
495.27/247.65	c cleaning 23997 clauses out of 48002 with flag 912227/1040346
509.46/254.76	c cleaning 25000 clauses out of 50005 with flag 984678/1066346
523.81/261.81	c cleaning 26000 clauses out of 52005 with flag 1055422/1093346
539.61/269.77	c cleaning 27002 clauses out of 54005 with flag 1130230/1121346
540.21/270.09	c And the winner is solver1
540.44/270.57	c Got one! Elapsed wall clock time (in seconds):270.462
540.44/270.57	o 432
542.09/271.41	c cleaning 16167 clauses out of 32344 with flag 10489/1126687
544.29/272.57	c cleaning 11087 clauses out of 22178 with flag 26506/1132688
547.10/273.96	c cleaning 9032 clauses out of 18090 with flag 46819/1139687
550.60/275.62	c cleaning 8526 clauses out of 17058 with flag 70421/1147687
554.20/277.41	c cleaning 8763 clauses out of 17534 with flag 94819/1156689
558.21/279.43	c cleaning 9381 clauses out of 18769 with flag 121936/1166687
562.61/281.62	c cleaning 10195 clauses out of 20389 with flag 150412/1177688
567.60/284.20	c cleaning 11096 clauses out of 22194 with flag 181668/1189688
573.00/286.85	c cleaning 12047 clauses out of 24098 with flag 215573/1202688
579.00/289.87	c cleaning 13022 clauses out of 26050 with flag 255767/1216687
586.19/293.37	c cleaning 14014 clauses out of 28028 with flag 300034/1231687
593.60/297.05	c cleaning 15006 clauses out of 30014 with flag 344750/1247687
602.39/301.34	c cleaning 16005 clauses out of 32010 with flag 388894/1264689
610.79/305.57	c cleaning 17000 clauses out of 34003 with flag 441439/1282687
620.20/310.30	c cleaning 17999 clauses out of 36004 with flag 491831/1301688
631.09/315.53	c cleaning 19001 clauses out of 38006 with flag 544325/1321689
641.70/320.89	c cleaning 19998 clauses out of 40003 with flag 598382/1342687
653.57/326.60	c cleaning 21000 clauses out of 42006 with flag 659807/1364688
665.16/332.43	c cleaning 22001 clauses out of 44005 with flag 720879/1387687
677.57/338.68	c cleaning 23002 clauses out of 46004 with flag 786459/1411687
691.95/346.59	c cleaning 23999 clauses out of 48002 with flag 860550/1436687
706.14/353.61	c cleaning 25000 clauses out of 50003 with flag 941502/1462687
720.75/360.94	c cleaning 25999 clauses out of 52004 with flag 1026559/1489688
737.08/369.09	c cleaning 26997 clauses out of 54004 with flag 1112478/1517687
749.88/375.48	c And the winner is solver1
750.08/375.91	c Got one! Elapsed wall clock time (in seconds):375.805
750.08/375.91	o 431
752.92/377.20	c cleaning 28132 clauses out of 56272 with flag 13077/1546952
755.33/378.44	c cleaning 17067 clauses out of 34139 with flag 28033/1552951
758.12/379.84	c cleaning 12033 clauses out of 24073 with flag 45344/1559952
761.32/381.44	c cleaning 10015 clauses out of 20041 with flag 66491/1567953
765.12/383.32	c cleaning 9507 clauses out of 19024 with flag 91103/1576951
769.32/385.41	c cleaning 9754 clauses out of 19520 with flag 116793/1586954
773.92/387.72	c cleaning 10380 clauses out of 20766 with flag 146413/1597954
778.92/390.28	c cleaning 11190 clauses out of 22384 with flag 180717/1609952
784.93/393.16	c cleaning 12098 clauses out of 24195 with flag 214770/1622953
791.13/396.28	c cleaning 13048 clauses out of 26096 with flag 252327/1636952
797.73/399.58	c cleaning 14023 clauses out of 28047 with flag 290202/1651951
805.33/403.37	c cleaning 15011 clauses out of 30024 with flag 331396/1667951
813.93/407.62	c cleaning 16006 clauses out of 32014 with flag 376322/1684952
822.93/412.13	c cleaning 16997 clauses out of 34007 with flag 423725/1702951
833.11/417.05	c cleaning 18002 clauses out of 36010 with flag 480940/1721951
843.30/422.10	c cleaning 19002 clauses out of 38009 with flag 545218/1741952
853.95/427.46	c cleaning 19996 clauses out of 40007 with flag 601203/1762952
866.26/433.47	c cleaning 21004 clauses out of 42011 with flag 659468/1784952
878.26/439.46	c cleaning 21996 clauses out of 44006 with flag 719004/1807951
890.67/445.63	c cleaning 23003 clauses out of 46010 with flag 782861/1831951
904.92/452.56	c cleaning 23997 clauses out of 48007 with flag 854634/1856951
918.92/459.50	c cleaning 24998 clauses out of 50011 with flag 930962/1882952
934.32/467.21	c cleaning 26006 clauses out of 52013 with flag 1003399/1909952
951.26/475.54	c cleaning 26998 clauses out of 54006 with flag 1078632/1937951
968.86/484.33	c cleaning 28000 clauses out of 56008 with flag 1157571/1966951
988.10/493.73	c cleaning 29003 clauses out of 58009 with flag 1243824/1996952
1006.92/503.13	c cleaning 29996 clauses out of 60005 with flag 1338844/2027951
1027.48/513.23	c cleaning 31003 clauses out of 62009 with flag 1441269/2059951
1048.50/523.77	c cleaning 32001 clauses out of 64006 with flag 1538893/2092951
1069.95/534.26	c cleaning 32999 clauses out of 66005 with flag 1635859/2126951
1091.14/544.87	c cleaning 33997 clauses out of 68006 with flag 1739444/2161951
1093.14/545.80	c And the winner is solver1
1093.23/546.15	c Got one! Elapsed wall clock time (in seconds):546.039
1093.23/546.15	o 430
1093.93/546.58	c cleaning 19783 clauses out of 39580 with flag 5344/2167522
1099.13/549.97	c cleaning 12896 clauses out of 25797 with flag 20632/2173522
1102.09/551.41	c cleaning 9947 clauses out of 19902 with flag 39226/2180523
1105.29/553.05	c cleaning 8966 clauses out of 17954 with flag 60060/2188522
1108.88/554.85	c cleaning 8981 clauses out of 17988 with flag 85868/2197522
1112.88/556.82	c cleaning 9498 clauses out of 19007 with flag 114199/2207522
1117.48/559.10	c cleaning 10251 clauses out of 20512 with flag 147119/2218525
1122.48/561.64	c cleaning 11128 clauses out of 22258 with flag 182183/2230522
1128.17/564.40	c cleaning 12063 clauses out of 24130 with flag 219477/2243522
1134.17/567.47	c cleaning 13034 clauses out of 26067 with flag 260621/2257522
1140.77/570.77	c cleaning 14018 clauses out of 28035 with flag 302339/2272524
1147.98/574.34	c cleaning 15007 clauses out of 30018 with flag 346659/2288525
1155.97/578.31	c cleaning 16003 clauses out of 32012 with flag 392695/2305526
1163.98/582.40	c cleaning 17001 clauses out of 34006 with flag 441217/2323523
1172.92/586.76	c cleaning 18001 clauses out of 36004 with flag 491435/2342522
1182.52/591.52	c cleaning 19000 clauses out of 38004 with flag 544716/2362523
1192.52/596.51	c cleaning 19999 clauses out of 40003 with flag 600467/2383522
1203.57/601.95	c cleaning 21000 clauses out of 42005 with flag 664433/2405523
1215.38/607.84	c cleaning 22002 clauses out of 44004 with flag 729570/2428522
1227.59/613.99	c cleaning 22998 clauses out of 46002 with flag 792105/2452522
1240.98/620.61	c cleaning 24001 clauses out of 48004 with flag 858597/2477522
1254.73/627.36	c cleaning 25001 clauses out of 50003 with flag 926979/2503522
1268.73/634.35	c cleaning 25999 clauses out of 52002 with flag 1001006/2530522
1283.73/641.86	c cleaning 27000 clauses out of 54003 with flag 1089845/2558522
1299.72/649.81	c cleaning 27997 clauses out of 56004 with flag 1173625/2587523
1317.24/658.31	c cleaning 29002 clauses out of 58006 with flag 1259641/2617522
1334.45/666.90	c cleaning 30001 clauses out of 60005 with flag 1346613/2648523
1351.66/675.58	c cleaning 30999 clauses out of 62004 with flag 1446989/2680523
1371.75/685.38	c cleaning 31999 clauses out of 64004 with flag 1552972/2713522
1391.14/695.01	c cleaning 33003 clauses out of 66005 with flag 1653139/2747522
1410.74/704.80	c cleaning 33994 clauses out of 68002 with flag 1749331/2782522
1434.33/716.60	c cleaning 35000 clauses out of 70009 with flag 1842681/2818523
1457.84/728.02	c cleaning 36000 clauses out of 72009 with flag 1946207/2855523
1480.46/739.34	c cleaning 37003 clauses out of 74008 with flag 2043671/2893522
1506.24/751.92	c cleaning 37999 clauses out of 76005 with flag 2143403/2932522
1531.84/764.73	c cleaning 39002 clauses out of 78006 with flag 2257118/2972522
1558.54/777.64	c cleaning 39999 clauses out of 80004 with flag 2383332/3013522
1584.74/790.77	c cleaning 40997 clauses out of 82005 with flag 2507086/3055522
1612.74/804.77	c cleaning 42004 clauses out of 84008 with flag 2640194/3098522
1615.50/805.80	c And the winner is solver1
1615.79/805.99	c Got one! Elapsed wall clock time (in seconds):805.88
1615.79/805.99	o 429
1617.00/806.63	c cleaning 23724 clauses out of 47449 with flag 7835/3103967
1619.40/807.89	c cleaning 14861 clauses out of 29725 with flag 23121/3109967
1622.40/809.35	c cleaning 10931 clauses out of 21867 with flag 40827/3116970
1625.80/811.00	c cleaning 9463 clauses out of 18934 with flag 61838/3124968
1629.40/812.87	c cleaning 9233 clauses out of 18470 with flag 87342/3133967
1633.60/814.94	c cleaning 9617 clauses out of 19237 with flag 117107/3143967
1638.41/817.31	c cleaning 10308 clauses out of 20621 with flag 148151/3154968
1643.60/819.91	c cleaning 11152 clauses out of 22313 with flag 179948/3166968
1649.00/822.62	c cleaning 12073 clauses out of 24160 with flag 215648/3179967
1655.20/825.71	c cleaning 13042 clauses out of 26088 with flag 257745/3193968
1661.81/829.03	c cleaning 14021 clauses out of 28046 with flag 305920/3208968
1670.56/833.00	c cleaning 15010 clauses out of 30024 with flag 360792/3224967
1678.56/837.08	c cleaning 16003 clauses out of 32015 with flag 412802/3241968
1687.16/841.31	c cleaning 17003 clauses out of 34011 with flag 463270/3259967
1696.16/845.84	c cleaning 18002 clauses out of 36009 with flag 518512/3278968
1705.56/850.55	c cleaning 19001 clauses out of 38008 with flag 576227/3298969
1720.74/859.42	c cleaning 19999 clauses out of 40006 with flag 637892/3319968
1731.74/864.95	c cleaning 21001 clauses out of 42006 with flag 705464/3341967
1743.13/870.62	c cleaning 22000 clauses out of 44005 with flag 774986/3364967
1755.55/876.83	c cleaning 23004 clauses out of 46008 with flag 859075/3388970
1768.70/883.37	c cleaning 24001 clauses out of 48001 with flag 937572/3413967
1782.28/890.11	c cleaning 24998 clauses out of 50000 with flag 1026799/3439967
1796.69/897.34	c cleaning 26000 clauses out of 52002 with flag 1111193/3466967
1800.09/899.00	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.09/899.00	c starts		: 67441
1800.09/899.00	c conflicts		: 3474420
1800.09/899.00	c decisions		: 35400505
1800.09/899.00	c propagations		: 709838873
1800.09/899.00	c inspects		: 6048602700
1800.09/899.00	c shortcuts		: 0
1800.09/899.00	c learnt literals	: 0
1800.09/899.00	c learnt binary clauses	: 0
1800.09/899.00	c learnt ternary clauses	: 0
1800.09/899.00	c learnt constraints	: 3474420
1800.09/899.00	c ignored constraints	: 0
1800.09/899.00	c root simplifications	: 0
1800.09/899.00	c removed literals (reason simplification)	: 11385779
1800.09/899.00	c reason swapping (by a shorter reason)	: 0
1800.09/899.00	c Calls to reduceDB	: 200
1800.09/899.00	c Number of update (reduction) of LBD	: 569183
1800.09/899.00	c Imported unit clauses	: 0
1800.09/899.00	c number of reductions to clauses (during analyze)	: 0
1800.09/899.00	c number of learned constraints concerned by reduction	: 0
1800.09/899.00	c number of learning phase by resolution	: 0
1800.09/899.00	c number of learning phase by cutting planes	: 0
1800.09/899.00	c speed (assignments/second)	: 7632183.654817969
1800.09/899.00	c non guided choices	0
1800.09/899.02	c learnt constraints type 
1800.09/899.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 33455
1800.09/899.02	c >>>>>>>>>> Solver number 1 (9 answers) <<<<<<<<<<<<<<<<<<
1800.09/899.02	c starts		: 38
1800.09/899.02	c conflicts		: 8385
1800.09/899.02	c decisions		: 119101
1800.09/899.02	c propagations		: 407532
1800.09/899.02	c inspects		: 89556261
1800.09/899.02	c shortcuts		: 0
1800.09/899.02	c learnt literals	: 0
1800.09/899.02	c learnt binary clauses	: 0
1800.09/899.02	c learnt ternary clauses	: 0
1800.09/899.02	c learnt constraints	: 8384
1800.09/899.02	c ignored constraints	: 0
1800.09/899.02	c root simplifications	: 0
1800.09/899.02	c removed literals (reason simplification)	: 0
1800.09/899.02	c reason swapping (by a shorter reason)	: 0
1800.09/899.02	c Calls to reduceDB	: 0
1800.09/899.02	c Number of update (reduction) of LBD	: 0
1800.09/899.02	c Imported unit clauses	: 0
1800.09/899.02	c number of reductions to clauses (during analyze)	: 0
1800.09/899.02	c number of learned constraints concerned by reduction	: 0
1800.09/899.02	c number of learning phase by resolution	: 0
1800.09/899.02	c number of learning phase by cutting planes	: 0
1800.09/899.02	c speed (assignments/second)	: 453.7258263841726
1800.09/899.02	c non guided choices	0
1800.09/899.02	c learnt constraints type 
1800.09/899.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3803
1800.09/899.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4581
1800.09/899.02	s SATISFIABLE
1800.09/899.02	c Found 10 solution(s)
1800.09/899.03	v -x1 x2 -x3 -x4 x5 x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 x50 x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 x173 x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 x262 -x263 -x264 x265 -x266 -x267 -x268 x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 x457 x458 x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 x517 x518 x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 x610 x611 -x612 x613 -x614 -x615 x616 -x617 x618 -x619 -x620 -x621 -x622 x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 x685 x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 -x722 -x723 x724 x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 x784 -x785 x786 x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 x851 x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 x871 -x872 x873 x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 x911 -x912 x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 x964 -x965 x966 x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 x1044 -x1045 -x1046 x1047 -x1048 x1049 -x1050 -x1051 -x1052 x1053 x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 x1084 -x1085 -x1086 x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 x1194 x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 x1431 -x1432 -x1433 x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 -x1594 -x1595 x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 x1651 x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 x1670 -x1671 x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 x1692 x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 x1716 -x1717 -x1718 x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 x1740 -x1741 x1742 -x1743 x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 x1835 -x1836 x1837 -x1838 x1839 -x1840 -x1841 x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 x2127 -x2128 x2129 -x2130 x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 x2177 x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 x2435 -x2436 -x2437 -x2438 x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 x2481 -x2482 -x2483 x2484 -x2485 x2486 -x2487 x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 x2522 x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 x2608 -x2609 x2610 -x2611 
1800.09/899.03	c objective function=429
1800.09/899.03	c Total wall clock time (in seconds): 898.925

Verifier Data 

OK	429

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

pid=12770
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.69 3.95 3.91 4/197 12773
/proc/meminfo: memFree=30044096/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 105071828 98570240 977 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 24065 977 743 9 0 16771 0
[pid=12773/tid=12774] ppid=12770 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) R 12770 12773 3970 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 105071829 98570240 978 33554432000 1073741824 1073778376 140733609388544 140076778569256 249650038144 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 3.69 3.95 3.91 4/197 12773
/proc/meminfo: memFree=30044096/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 4485 0 1 0 10 1 0 0 20 0 18 0 105071828 9787879424 6116 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2389619 6116 2156 9 0 2380296 0
[pid=12773/tid=12774] ppid=12770 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) R 12770 12773 3970 0 -1 4202560 2384 0 1 0 8 0 0 0 20 0 18 0 105071829 9787879424 6116 33554432000 1073741824 1073778376 140733609388544 140076778574168 249653421325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200279 s]
/proc/loadavg: 3.69 3.95 3.91 4/197 12773
/proc/meminfo: memFree=30044096/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 4963 0 1 0 28 1 0 0 20 0 18 0 105071828 9787879424 6968 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2389619 6968 2219 9 0 2380296 0
[pid=12773/tid=12774] ppid=12770 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) R 12770 12773 3970 0 -1 4202560 2396 0 1 0 18 0 0 0 20 0 18 0 105071829 9787879424 6968 33554432000 1073741824 1073778376 140733609388544 140076778574168 140076617119950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300332 s]
/proc/loadavg: 3.69 3.95 3.91 4/197 12773
/proc/meminfo: memFree=30044096/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 5983 0 1 0 53 1 0 0 20 0 18 0 105071828 9787879424 10062 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2389619 10062 2239 9 0 2380296 0
[pid=12773/tid=12774] ppid=12770 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) R 12770 12773 3970 0 -1 4202560 2401 0 1 0 26 2 0 0 20 0 18 0 105071829 9787879424 10062 33554432000 1073741824 1073778376 140733609388544 140076778565488 140076617115069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700261 s]
/proc/loadavg: 3.69 3.95 3.91 4/197 12773
/proc/meminfo: memFree=30044096/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 7935 0 1 0 73 4 0 0 20 0 19 0 105071828 10060525568 11967 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2456183 11967 2257 9 0 2446860 0
[pid=12773/tid=12774] ppid=12770 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) S 12770 12773 3970 0 -1 4202560 2460 0 1 0 27 2 0 0 20 0 19 0 105071829 10060525568 11967 33554432000 1073741824 1073778376 140733609388544 140076778574712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 3.69 3.95 3.91 6/219 12798
/proc/meminfo: memFree=29993172/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 11065 0 1 0 260 6 0 0 20 0 22 0 105071828 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2456183 18367 2268 9 0 2446860 0
[pid=12773/tid=12774] ppid=12770 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) S 12770 12773 3970 0 -1 4202560 2464 0 1 0 29 2 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076778574712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12776] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12776/stat : 12776 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076740065704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12777] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12777/stat : 12777 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076739013160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12778] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12778/stat : 12778 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076737960104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12779] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12779/stat : 12779 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076736907560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12780] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12780/stat : 12780 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076735855528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12781] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12781/stat : 12781 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076617034792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12782] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12782/stat : 12782 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076615981736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12783] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12783/stat : 12783 (java) S 12770 12773 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076614929192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12784] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12784/stat : 12784 (java) S 12770 12773 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071830 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076602730856 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12785] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12785/stat : 12785 (java) S 12770 12773 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140076601677176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12786] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12786/stat : 12786 (java) S 12770 12773 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075996275592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12787] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12787/stat : 12787 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075995224336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12788] ppid=12770 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/12773/task/12788/stat : 12788 (java) S 12770 12773 3970 0 -1 4202560 3388 0 0 0 46 0 0 0 20 0 22 0 105071833 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075994172216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12789] ppid=12770 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/12773/task/12789/stat : 12789 (java) S 12770 12773 3970 0 -1 4202560 3855 0 0 0 43 0 0 0 20 0 22 0 105071833 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075993119672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12790] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12790/stat : 12790 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075992066808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12791] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12791/stat : 12791 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075991014472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12795] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12795/stat : 12795 (java) S 12770 12773 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105071861 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075986801576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12796] ppid=12770 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/12773/task/12796/stat : 12796 (java) R 12770 12773 3970 0 -1 4202560 11 0 0 0 66 0 0 0 20 0 22 0 105071911 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075988907032 140076617890719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12797] ppid=12770 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/12773/task/12797/stat : 12797 (java) R 12770 12773 3970 0 -1 4202560 18 0 0 0 65 0 0 0 20 0 22 0 105071911 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075989959672 140076617775320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12798] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12798/stat : 12798 (java) S 12770 12773 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071911 10060525568 18367 33554432000 1073741824 1073778376 140733609388544 140075987854632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 3.72 3.95 3.91 5/219 12798
/proc/meminfo: memFree=29964052/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9824732 CPUtime=5.99 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 11091 0 1 0 593 6 0 0 20 0 22 0 105071828 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2456183 27076 2273 9 0 2446860 0
[pid=12773/tid=12774] ppid=12770 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) S 12770 12773 3970 0 -1 4202560 2464 0 1 0 29 2 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076778574712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12776] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12776/stat : 12776 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076740065704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12777] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12777/stat : 12777 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076739013160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12778] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12778/stat : 12778 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076737960104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12779] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12779/stat : 12779 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076736907560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12780] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12780/stat : 12780 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076735855528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12781] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12781/stat : 12781 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076617034792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12782] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12782/stat : 12782 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076615981736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12783] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12783/stat : 12783 (java) S 12770 12773 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076614929192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12784] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12784/stat : 12784 (java) S 12770 12773 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071830 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076602730856 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12785] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12785/stat : 12785 (java) S 12770 12773 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140076601677176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12786] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12786/stat : 12786 (java) S 12770 12773 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075996275592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12787] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12787/stat : 12787 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075995224336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12788] ppid=12770 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/12773/task/12788/stat : 12788 (java) S 12770 12773 3970 0 -1 4202560 3394 0 0 0 56 0 0 0 20 0 22 0 105071833 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075994172216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12789] ppid=12770 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/12773/task/12789/stat : 12789 (java) S 12770 12773 3970 0 -1 4202560 3857 0 0 0 50 0 0 0 20 0 22 0 105071833 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075993119672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12790] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12790/stat : 12790 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075992066808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12791] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12791/stat : 12791 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075991014472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12795] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12795/stat : 12795 (java) S 12770 12773 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105071861 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075986801576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12796] ppid=12770 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/12773/task/12796/stat : 12796 (java) R 12770 12773 3970 0 -1 4202560 22 0 0 0 224 0 0 0 20 0 22 0 105071911 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075988905136 140076617755783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12797] ppid=12770 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/12773/task/12797/stat : 12797 (java) R 12770 12773 3970 0 -1 4202560 25 0 0 0 223 0 0 0 20 0 22 0 105071911 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075989957736 140076617775669 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12798] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12798/stat : 12798 (java) S 12770 12773 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071911 10060525568 27076 33554432000 1073741824 1073778376 140733609388544 140075987854632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 9824732

[startup+6.30088 s]
/proc/loadavg: 3.72 3.95 3.91 5/219 12801
/proc/meminfo: memFree=29850312/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9824732 CPUtime=12.62 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 16477 0 1 0 1251 11 0 0 20 0 22 0 105071828 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2456183 50671 2292 9 0 2446860 0
[pid=12773/tid=12774] ppid=12770 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) S 12770 12773 3970 0 -1 4202560 2464 0 1 0 29 2 0 0 20 0 22 0 105071829 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140076778574712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12776] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12776/stat : 12776 (java) S 12770 12773 3970 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140076740065704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12777] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12777/stat : 12777 (java) S 12770 12773 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140076739013160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12778] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12778/stat : 12778 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140076737960104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12779] ppid=12770 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12773/task/12779/stat : 12779 (java) S 12770 12773 3970 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 105071829 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140076736907560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12780] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12780/stat : 12780 (java) S 12770 12773 3970 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140076735855528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12781] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12781/stat : 12781 (java) S 12770 12773 3970 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140076617034792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12782] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12782/stat : 12782 (java) S 12770 12773 3970 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105071829 10060525568 50671 33554432000 1073741824 1073778376 140733609388544 140076615981736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12783] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 3.95 3.97 3.93 5/219 12998
/proc/meminfo: memFree=27511776/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9824732 CPUtime=1648.4 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 32987 0 1 0 164407 433 0 0 20 0 22 0 105071828 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2456183 947724 2301 9 0 2446860 0
[pid=12773/tid=12774] ppid=12770 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) S 12770 12773 3970 0 -1 4202560 2482 0 1 0 36 3 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076778574712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12776] ppid=12770 vsize=9824732 CPUtime=3.49 cores=1,3,5,7
/proc/12773/task/12776/stat : 12776 (java) S 12770 12773 3970 0 -1 4202560 2087 0 0 0 294 55 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076740065704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12777] ppid=12770 vsize=9824732 CPUtime=3.43 cores=1,3,5,7
/proc/12773/task/12777/stat : 12777 (java) S 12770 12773 3970 0 -1 4202560 1542 0 0 0 294 49 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076739013160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12778] ppid=12770 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/12773/task/12778/stat : 12778 (java) S 12770 12773 3970 0 -1 4202560 1681 0 0 0 279 47 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076737960104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12779] ppid=12770 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/12773/task/12779/stat : 12779 (java) S 12770 12773 3970 0 -1 4202560 1092 0 0 0 247 42 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076736907560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12780] ppid=12770 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/12773/task/12780/stat : 12780 (java) S 12770 12773 3970 0 -1 4202560 1588 0 0 0 289 46 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076735855528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12781] ppid=12770 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/12773/task/12781/stat : 12781 (java) S 12770 12773 3970 0 -1 4202560 1102 0 0 0 293 42 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076617034792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12782] ppid=12770 vsize=9824732 CPUtime=3.87 cores=1,3,5,7
/proc/12773/task/12782/stat : 12782 (java) S 12770 12773 3970 0 -1 4202560 1179 0 0 0 336 51 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076615981736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12783] ppid=12770 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/12773/task/12783/stat : 12783 (java) S 12770 12773 3970 0 -1 4202560 2133 0 0 0 296 44 0 0 20 0 22 0 105071829 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076614929192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12784] ppid=12770 vsize=9824732 CPUtime=5.56 cores=1,3,5,7
/proc/12773/task/12784/stat : 12784 (java) S 12770 12773 3970 0 -1 4202560 2644 0 0 0 550 6 0 0 20 0 22 0 105071830 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076602730856 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12785] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12785/stat : 12785 (java) S 12770 12773 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140076601677176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12786] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12786/stat : 12786 (java) S 12770 12773 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075996275592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12787] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12787/stat : 12787 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075995224336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12788] ppid=12770 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/12773/task/12788/stat : 12788 (java) S 12770 12773 3970 0 -1 4202560 8659 0 0 0 121 2 0 0 20 0 22 0 105071833 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075994172216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12789] ppid=12770 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/12773/task/12789/stat : 12789 (java) S 12770 12773 3970 0 -1 4202560 5183 0 0 0 114 2 0 0 20 0 22 0 105071833 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075993119672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12790] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12790/stat : 12790 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075992066808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12791] ppid=12770 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/12773/task/12791/stat : 12791 (java) S 12770 12773 3970 0 -1 4202560 48 0 0 0 11 13 0 0 20 0 22 0 105071833 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075991014472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12798] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12798/stat : 12798 (java) S 12770 12773 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071911 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075987854632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12995] ppid=12770 vsize=9824732 CPUtime=16.28 cores=1,3,5,7
/proc/12773/task/12995/stat : 12995 (java) R 12770 12773 3970 0 -1 4202560 3 0 0 0 1628 0 0 0 20 0 22 0 105152428 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075988898080 140076617639217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12996] ppid=12770 vsize=9824732 CPUtime=16.28 cores=1,3,5,7
/proc/12773/task/12996/stat : 12996 (java) R 12770 12773 3970 0 -1 4202560 3 0 0 0 1628 0 0 0 20 0 22 0 105152428 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075989957512 140076618028587 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12997] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12997/stat : 12997 (java) S 12770 12773 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105152428 10060525568 947724 33554432000 1073741824 1073778376 140733609388544 140075986801832 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1648.4
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 3.99 3.97 3.93 5/219 12999
/proc/meminfo: memFree=27158304/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9824732 CPUtime=1766.7 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 34303 0 1 0 176207 463 0 0 20 0 22 0 105071828 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2456183 1032457 2301 9 0 2446860 0
[pid=12773/tid=12774] ppid=12770 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) S 12770 12773 3970 0 -1 4202560 2484 0 1 0 36 3 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076778574712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12776] ppid=12770 vsize=9824732 CPUtime=3.83 cores=1,3,5,7
/proc/12773/task/12776/stat : 12776 (java) S 12770 12773 3970 0 -1 4202560 2162 0 0 0 325 58 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076740065704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12777] ppid=12770 vsize=9824732 CPUtime=3.82 cores=1,3,5,7
/proc/12773/task/12777/stat : 12777 (java) S 12770 12773 3970 0 -1 4202560 1610 0 0 0 330 52 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076739013160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12778] ppid=12770 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/12773/task/12778/stat : 12778 (java) S 12770 12773 3970 0 -1 4202560 1785 0 0 0 327 53 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076737960104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12779] ppid=12770 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/12773/task/12779/stat : 12779 (java) S 12770 12773 3970 0 -1 4202560 1163 0 0 0 284 44 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076736907560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12780] ppid=12770 vsize=9824732 CPUtime=3.71 cores=1,3,5,7
/proc/12773/task/12780/stat : 12780 (java) S 12770 12773 3970 0 -1 4202560 1678 0 0 0 322 49 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076735855528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12781] ppid=12770 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/12773/task/12781/stat : 12781 (java) S 12770 12773 3970 0 -1 4202560 1182 0 0 0 329 47 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076617034792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12782] ppid=12770 vsize=9824732 CPUtime=4.24 cores=1,3,5,7
/proc/12773/task/12782/stat : 12782 (java) S 12770 12773 3970 0 -1 4202560 1264 0 0 0 370 54 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076615981736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12783] ppid=12770 vsize=9824732 CPUtime=3.83 cores=1,3,5,7
/proc/12773/task/12783/stat : 12783 (java) S 12770 12773 3970 0 -1 4202560 2184 0 0 0 337 46 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076614929192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12784] ppid=12770 vsize=9824732 CPUtime=8.87 cores=1,3,5,7
/proc/12773/task/12784/stat : 12784 (java) S 12770 12773 3970 0 -1 4202560 3325 0 0 0 880 7 0 0 20 0 22 0 105071830 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076602730856 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12785] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12785/stat : 12785 (java) S 12770 12773 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076601677176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12786] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12786/stat : 12786 (java) S 12770 12773 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075996275592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12787] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12787/stat : 12787 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075995224336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12788] ppid=12770 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/12773/task/12788/stat : 12788 (java) S 12770 12773 3970 0 -1 4202560 8660 0 0 0 121 2 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075994172216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12789] ppid=12770 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/12773/task/12789/stat : 12789 (java) S 12770 12773 3970 0 -1 4202560 5183 0 0 0 114 2 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075993119672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12790] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12790/stat : 12790 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075992066808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12791] ppid=12770 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/12773/task/12791/stat : 12791 (java) S 12770 12773 3970 0 -1 4202560 52 0 0 0 12 14 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075991014472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12798] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12798/stat : 12798 (java) S 12770 12773 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071911 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075987854632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12995] ppid=12770 vsize=9824732 CPUtime=72.15 cores=1,3,5,7
/proc/12773/task/12995/stat : 12995 (java) R 12770 12773 3970 0 -1 4202560 3 0 0 0 7214 1 0 0 20 0 22 0 105152428 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075988905912 140076617755296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12996] ppid=12770 vsize=9824732 CPUtime=72.16 cores=1,3,5,7
/proc/12773/task/12996/stat : 12996 (java) R 12770 12773 3970 0 -1 4202560 6 0 0 0 7215 1 0 0 20 0 22 0 105152428 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075989956800 140076617894474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12997] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12997/stat : 12997 (java) S 12770 12773 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105152428 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075986801832 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1766.7
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.001 s]
/proc/loadavg: 3.99 3.97 3.93 9/219 12999
/proc/meminfo: memFree=27145892/32872528 swapFree=10608/190480
[pid=12773] ppid=12770 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/12773/stat : 12773 (java) S 12770 12773 3970 0 -1 4202496 34303 0 1 0 179545 464 0 0 20 0 22 0 105071828 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140733609379680 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12773/statm: 2456183 1032457 2301 9 0 2446860 0
[pid=12773/tid=12774] ppid=12770 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/12773/task/12774/stat : 12774 (java) S 12770 12773 3970 0 -1 4202560 2484 0 1 0 36 3 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076778574712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12776] ppid=12770 vsize=9824732 CPUtime=3.83 cores=1,3,5,7
/proc/12773/task/12776/stat : 12776 (java) S 12770 12773 3970 0 -1 4202560 2162 0 0 0 325 58 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076740065704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12777] ppid=12770 vsize=9824732 CPUtime=3.82 cores=1,3,5,7
/proc/12773/task/12777/stat : 12777 (java) S 12770 12773 3970 0 -1 4202560 1610 0 0 0 330 52 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076739013160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12778] ppid=12770 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/12773/task/12778/stat : 12778 (java) S 12770 12773 3970 0 -1 4202560 1785 0 0 0 327 53 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076737960104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12779] ppid=12770 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/12773/task/12779/stat : 12779 (java) S 12770 12773 3970 0 -1 4202560 1163 0 0 0 284 44 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076736907560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12780] ppid=12770 vsize=9824732 CPUtime=3.71 cores=1,3,5,7
/proc/12773/task/12780/stat : 12780 (java) S 12770 12773 3970 0 -1 4202560 1678 0 0 0 322 49 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076735855528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12781] ppid=12770 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/12773/task/12781/stat : 12781 (java) S 12770 12773 3970 0 -1 4202560 1182 0 0 0 329 47 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076617034792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12782] ppid=12770 vsize=9824732 CPUtime=4.24 cores=1,3,5,7
/proc/12773/task/12782/stat : 12782 (java) S 12770 12773 3970 0 -1 4202560 1264 0 0 0 370 54 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076615981736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12783] ppid=12770 vsize=9824732 CPUtime=3.83 cores=1,3,5,7
/proc/12773/task/12783/stat : 12783 (java) S 12770 12773 3970 0 -1 4202560 2184 0 0 0 337 46 0 0 20 0 22 0 105071829 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076614929192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12784] ppid=12770 vsize=9824732 CPUtime=8.87 cores=1,3,5,7
/proc/12773/task/12784/stat : 12784 (java) S 12770 12773 3970 0 -1 4202560 3325 0 0 0 880 7 0 0 20 0 22 0 105071830 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076602730856 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12785] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12785/stat : 12785 (java) S 12770 12773 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140076601677176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12786] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12786/stat : 12786 (java) S 12770 12773 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071831 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075996275592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12787] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12787/stat : 12787 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075995224336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12788] ppid=12770 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/12773/task/12788/stat : 12788 (java) S 12770 12773 3970 0 -1 4202560 8660 0 0 0 121 2 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075994172216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12789] ppid=12770 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/12773/task/12789/stat : 12789 (java) S 12770 12773 3970 0 -1 4202560 5183 0 0 0 114 2 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075993119672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12773/tid=12790] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12790/stat : 12790 (java) S 12770 12773 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075992066808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12791] ppid=12770 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/12773/task/12791/stat : 12791 (java) S 12770 12773 3970 0 -1 4202560 52 0 0 0 12 14 0 0 20 0 22 0 105071833 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075991014472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12798] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12798/stat : 12798 (java) S 12770 12773 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071911 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075987854632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12773/tid=12995] ppid=12770 vsize=9824732 CPUtime=88.84 cores=1,3,5,7
/proc/12773/task/12995/stat : 12995 (java) R 12770 12773 3970 0 -1 4202560 3 0 0 0 8883 1 0 0 20 0 22 0 105152428 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075988898080 140076617696286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12773/tid=12996] ppid=12770 vsize=9824732 CPUtime=88.85 cores=1,3,5,7
/proc/12773/task/12996/stat : 12996 (java) R 12770 12773 3970 0 -1 4202560 6 0 0 0 8884 1 0 0 20 0 22 0 105152428 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075989956800 140076617894507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12773/tid=12997] ppid=12770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12773/task/12997/stat : 12997 (java) S 12770 12773 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105152428 10060525568 1032457 33554432000 1073741824 1073778376 140733609388544 140075986801832 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143
Real time (s): 899.05
CPU time (s): 1800.37
CPU user time (s): 1795.5
CPU system time (s): 4.87126
CPU usage (%): 200.252
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.5
system time used= 4.87126
maximum resident set size= 4129940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34340
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23490
involuntary context switches= 18343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.584 second user time and 6.44302 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-06 18:42:45
IDJOB=4081348
IDBENCH=2872
IDSOLVER=2543
FILE ID=node102/4081348-1465231365
RUNJOBID= node102-1465216787-3987
PBS_JOBID= 19843204
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081348-1465231365/watcher-4081348-1465231365 -o /tmp/evaluation-result-4081348-1465231365/solver-4081348-1465231365 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3987 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081348-1465231365.opb

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

MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f
RANDOM SEED=15867748

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.470
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:        30044360 kB
Buffers:           24240 kB
Cached:            54776 kB
SwapCached:         2320 kB
Active:          1880748 kB
Inactive:          52956 kB
Active(anon):    1855116 kB
Inactive(anon):     1568 kB
Active(file):      25632 kB
Inactive(file):    51388 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098420 kB
Dirty:               612 kB
Writeback:             0 kB
AnonPages:       2059768 kB
Mapped:            15376 kB
Shmem:                 0 kB
Slab:             566872 kB
SReclaimable:      10584 kB
SUnreclaim:       556288 kB
KernelStack:        1808 kB
PageTables:         8852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2230920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1998848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node102 at 2016-06-06 18:57:44