Trace number 4080729

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)48034 1800.13 906.975

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
MD5SUMa588ec671da067d931709859b503c557
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark44391
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1945
Total number of constraints3355
Number of constraints which are clauses3355
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 constraint1
Maximum length of a constraint55
Number of terms in the objective function 1036
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1671510
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1671510
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4080729-1465252906.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  objective function found
0.47/0.34	c ... done. Wall clock time 0.209s.
0.47/0.34	c declared #vars     1945
0.47/0.34	c #constraints  3355
0.47/0.34	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.47/0.34	c constraints type 
0.47/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 920
0.47/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.47/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2431
0.47/0.34	c 3355 constraints processed.
0.47/0.34	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.47/0.34	c constraints type 
0.47/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2431
0.47/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 920
0.47/0.34	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.47/0.34	c 3355 constraints processed.
0.47/0.34	c objective function length is 1036 literals
0.47/0.37	c And the winner is solver1
0.80/0.84	c SATISFIABLE
0.80/0.84	c OPTIMIZING...
0.80/0.84	c Got one! Elapsed wall clock time (in seconds):0.716
0.80/0.85	o 60200
0.80/0.88	c And the winner is solver0
0.92/1.36	c Got one! Elapsed wall clock time (in seconds):1.232
0.92/1.36	o 58956
0.92/1.38	c And the winner is solver0
1.78/1.87	c Got one! Elapsed wall clock time (in seconds):1.742
1.78/1.87	o 58898
1.78/1.88	c And the winner is solver0
1.87/2.38	c Got one! Elapsed wall clock time (in seconds):2.249
1.87/2.38	o 57654
1.87/2.39	c And the winner is solver0
1.90/2.88	c Got one! Elapsed wall clock time (in seconds):2.754
1.90/2.88	o 57596
1.94/2.91	c And the winner is solver0
2.05/3.39	c Got one! Elapsed wall clock time (in seconds):3.258
2.05/3.39	o 56352
2.05/3.39	c And the winner is solver0
2.52/3.89	c Got one! Elapsed wall clock time (in seconds):3.764
2.52/3.89	o 56294
2.52/3.90	c And the winner is solver0
2.56/4.40	c Got one! Elapsed wall clock time (in seconds):4.267
2.56/4.40	o 55116
2.56/4.40	c And the winner is solver0
2.56/4.90	c Got one! Elapsed wall clock time (in seconds):4.77
2.56/4.90	o 55050
2.56/4.93	c And the winner is solver0
2.68/5.40	c Got one! Elapsed wall clock time (in seconds):5.273
2.68/5.40	o 55044
5.43/6.71	c cleaning 2552 clauses out of 5120 with flag 24275/5120
8.12/8.06	c cleaning 4274 clauses out of 8568 with flag 59596/11120
11.30/9.58	c cleaning 5634 clauses out of 11294 with flag 91093/18120
14.73/11.21	c cleaning 6807 clauses out of 13660 with flag 126658/26120
18.59/13.10	c And the winner is solver1
18.76/13.41	c Got one! Elapsed wall clock time (in seconds):13.278
18.76/13.41	o 54534
18.99/13.51	c And the winner is solver1
19.03/13.91	c Got one! Elapsed wall clock time (in seconds):13.781
19.03/13.91	o 53742
21.75/15.20	c cleaning 10437 clauses out of 20875 with flag 20476/40142
24.65/16.61	c cleaning 8214 clauses out of 16438 with flag 46658/46142
27.88/18.25	c cleaning 7599 clauses out of 15224 with flag 83930/53142
31.35/19.98	c cleaning 7812 clauses out of 15626 with flag 120697/61143
35.56/22.03	c cleaning 8407 clauses out of 16813 with flag 162283/70142
40.03/24.28	c cleaning 9198 clauses out of 18407 with flag 206106/80143
45.31/26.83	c cleaning 10099 clauses out of 20208 with flag 252708/91142
45.51/26.92	c And the winner is solver1
45.51/27.42	c Got one! Elapsed wall clock time (in seconds):27.286
45.51/27.42	o 53215
47.67/28.54	c cleaning 7775 clauses out of 15554 with flag 14770/96587
50.28/29.89	c cleaning 6888 clauses out of 13781 with flag 35118/102589
53.26/31.31	c cleaning 6945 clauses out of 13892 with flag 62847/109588
56.47/32.93	c cleaning 7470 clauses out of 14946 with flag 94007/117587
60.39/34.83	c cleaning 8230 clauses out of 16476 with flag 128827/126587
64.88/37.01	c cleaning 9123 clauses out of 18246 with flag 167790/136587
67.90/38.59	c And the winner is solver1
68.03/38.92	c Got one! Elapsed wall clock time (in seconds):38.79
68.03/38.92	o 52589
70.74/40.28	c cleaning 10683 clauses out of 21419 with flag 21456/148883
72.54/41.10	c And the winner is solver1
72.55/41.42	c Got one! Elapsed wall clock time (in seconds):41.293
72.55/41.42	o 52466
73.50/41.96	c cleaning 8240 clauses out of 16500 with flag 7438/154647
73.89/42.17	c And the winner is solver1
74.04/42.43	c Got one! Elapsed wall clock time (in seconds):42.297
74.04/42.43	o 52452
74.57/42.77	c And the winner is solver1
74.74/42.93	c Got one! Elapsed wall clock time (in seconds):42.8
74.74/42.93	o 52440
76.67/43.92	c cleaning 7195 clauses out of 14420 with flag 13620/160807
79.47/45.30	c cleaning 6611 clauses out of 13224 with flag 36811/166806
82.67/46.99	c cleaning 6759 clauses out of 13612 with flag 69399/173805
86.26/48.79	c cleaning 7385 clauses out of 14853 with flag 104107/181805
88.10/49.59	c And the winner is solver1
88.25/49.93	c Got one! Elapsed wall clock time (in seconds):49.804
88.25/49.93	o 52371
89.18/50.40	c cleaning 6321 clauses out of 12642 with flag 5346/186979
91.79/51.79	c cleaning 6159 clauses out of 12320 with flag 21994/192978
94.78/53.29	c cleaning 6561 clauses out of 13161 with flag 46888/199978
97.19/54.41	c And the winner is solver1
97.19/54.44	c Got one! Elapsed wall clock time (in seconds):54.308
97.19/54.44	o 51382
97.32/54.59	c And the winner is solver1
97.53/54.94	c Got one! Elapsed wall clock time (in seconds):54.811
97.53/54.94	o 51196
100.05/56.23	c cleaning 8689 clauses out of 17392 with flag 15742/210770
102.43/57.48	c cleaning 7345 clauses out of 14703 with flag 39751/216770
105.63/59.02	c cleaning 7178 clauses out of 14358 with flag 70612/223770
109.57/60.91	c cleaning 7591 clauses out of 15181 with flag 103501/231771
113.58/62.97	c cleaning 8292 clauses out of 16589 with flag 140631/240770
118.38/65.37	c cleaning 9126 clauses out of 18297 with flag 182205/250770
123.78/68.05	c cleaning 10078 clauses out of 20171 with flag 226081/261770
130.33/71.25	c cleaning 11041 clauses out of 22093 with flag 278677/273770
137.13/74.61	c cleaning 12008 clauses out of 24052 with flag 337139/286770
140.93/76.58	c And the winner is solver1
141.01/76.95	c Got one! Elapsed wall clock time (in seconds):76.818
141.01/76.95	o 50938
143.89/78.41	c cleaning 12491 clauses out of 25009 with flag 17574/299735
145.71/79.39	c And the winner is solver1
145.88/79.45	c Got one! Elapsed wall clock time (in seconds):79.322
145.88/79.45	o 49920
146.17/79.68	c cleaning 8781 clauses out of 17571 with flag 2655/304788
149.55/81.27	c cleaning 7389 clauses out of 14791 with flag 21627/310789
152.75/82.85	c cleaning 7198 clauses out of 14402 with flag 48611/317789
156.15/84.59	c cleaning 7590 clauses out of 15203 with flag 81516/325788
159.95/86.48	c cleaning 8299 clauses out of 16614 with flag 118382/334789
164.36/88.64	c cleaning 9155 clauses out of 18315 with flag 162270/344789
169.36/91.13	c cleaning 10080 clauses out of 20159 with flag 210168/355788
174.56/93.72	c cleaning 11033 clauses out of 22079 with flag 262227/367788
175.36/94.10	c And the winner is solver1
175.36/94.46	c Got one! Elapsed wall clock time (in seconds):94.329
175.36/94.46	o 48689
177.23/95.44	c cleaning 8429 clauses out of 16863 with flag 11519/373605
180.04/96.81	c cleaning 7219 clauses out of 14438 with flag 29918/379609
183.03/98.36	c cleaning 7100 clauses out of 14214 with flag 61314/386604
187.94/101.20	c cleaning 7546 clauses out of 15114 with flag 95028/394604
192.34/103.32	c cleaning 8279 clauses out of 16569 with flag 133843/403605
196.74/105.60	c cleaning 9141 clauses out of 18289 with flag 173909/413604
201.74/108.01	c cleaning 10065 clauses out of 20148 with flag 221533/424604
207.14/110.73	c cleaning 11042 clauses out of 22083 with flag 273598/436604
213.14/113.71	c cleaning 12013 clauses out of 24041 with flag 329685/449604
219.83/117.04	c cleaning 13007 clauses out of 26028 with flag 392255/463604
227.23/120.77	c cleaning 14010 clauses out of 28025 with flag 454046/478608
235.23/124.73	c cleaning 15003 clauses out of 30011 with flag 519189/494604
243.93/129.07	c cleaning 15992 clauses out of 32008 with flag 594912/511604
252.93/133.52	c cleaning 17007 clauses out of 34018 with flag 678586/529606
262.93/138.51	c cleaning 17989 clauses out of 36009 with flag 763421/548604
273.22/143.63	c cleaning 18997 clauses out of 38020 with flag 855864/568604
283.23/148.61	c cleaning 19995 clauses out of 40024 with flag 946018/589605
294.15/154.02	c cleaning 21015 clauses out of 42029 with flag 1038826/611605
305.53/159.77	c cleaning 21969 clauses out of 44013 with flag 1135413/634604
318.34/166.20	c cleaning 22979 clauses out of 46044 with flag 1245107/658604
330.13/172.04	c And the winner is solver1
330.13/172.41	c Got one! Elapsed wall clock time (in seconds):172.283
330.13/172.41	o 48034
333.21/173.86	c cleaning 25178 clauses out of 50393 with flag 15536/685932
336.00/175.29	c cleaning 15592 clauses out of 31215 with flag 35814/691932
339.41/176.98	c cleaning 11300 clauses out of 22623 with flag 58178/698932
343.21/178.86	c cleaning 9658 clauses out of 19323 with flag 84411/706932
347.21/180.89	c cleaning 9316 clauses out of 18665 with flag 112459/715932
351.81/183.12	c cleaning 9668 clauses out of 19349 with flag 147087/725932
356.60/185.54	c cleaning 10340 clauses out of 20681 with flag 188200/736932
362.02/188.22	c cleaning 11171 clauses out of 22345 with flag 231504/748936
367.82/191.19	c cleaning 12075 clauses out of 24170 with flag 283957/761932
374.70/194.49	c cleaning 13045 clauses out of 26095 with flag 339344/775932
381.70/197.94	c cleaning 14016 clauses out of 28050 with flag 398070/790932
389.30/201.78	c cleaning 15003 clauses out of 30034 with flag 461921/806932
397.70/205.93	c cleaning 16012 clauses out of 32031 with flag 533715/823932
408.78/212.08	c cleaning 16974 clauses out of 34019 with flag 613610/841932
419.04/217.05	c cleaning 18024 clauses out of 36047 with flag 694198/860934
428.44/221.73	c cleaning 19010 clauses out of 38021 with flag 768274/880932
438.84/226.96	c cleaning 19996 clauses out of 40011 with flag 856092/901932
449.91/232.46	c cleaning 20991 clauses out of 42015 with flag 943417/923932
461.61/238.21	c cleaning 22012 clauses out of 44024 with flag 1031764/946932
473.21/244.01	c cleaning 22991 clauses out of 46012 with flag 1123004/970932
485.72/250.23	c cleaning 23981 clauses out of 48021 with flag 1226852/995932
498.92/256.85	c cleaning 24995 clauses out of 50041 with flag 1344431/1021933
513.11/263.91	c cleaning 26023 clauses out of 52045 with flag 1478478/1048932
527.66/271.13	c cleaning 26996 clauses out of 54022 with flag 1617290/1076932
542.86/278.71	c cleaning 28010 clauses out of 56027 with flag 1744181/1105933
558.46/286.55	c cleaning 29007 clauses out of 58016 with flag 1880115/1135932
574.25/294.43	c cleaning 30006 clauses out of 60011 with flag 2017056/1166934
591.45/303.06	c cleaning 31002 clauses out of 62003 with flag 2162986/1198932
609.29/311.81	c cleaning 32002 clauses out of 64004 with flag 2287086/1231935
626.49/320.43	c cleaning 32982 clauses out of 66000 with flag 2433203/1265933
644.29/329.33	c cleaning 33999 clauses out of 68017 with flag 2583680/1300932
662.48/338.40	c cleaning 34988 clauses out of 70018 with flag 2729433/1336932
681.10/347.72	c cleaning 35992 clauses out of 72030 with flag 2869895/1373932
700.28/357.31	c cleaning 37019 clauses out of 74039 with flag 3018997/1411933
719.68/367.07	c cleaning 38010 clauses out of 76019 with flag 3181038/1450932
740.68/377.56	c cleaning 38992 clauses out of 78009 with flag 3377222/1490932
762.07/388.24	c cleaning 40009 clauses out of 80017 with flag 3579509/1531932
784.07/399.21	c cleaning 41004 clauses out of 82008 with flag 3801920/1573932
806.86/410.65	c cleaning 41990 clauses out of 84004 with flag 4020434/1616932
830.71/422.43	c cleaning 42967 clauses out of 86014 with flag 4227987/1660932
854.09/434.13	c cleaning 43966 clauses out of 88047 with flag 4431406/1705932
877.10/445.69	c cleaning 45037 clauses out of 90081 with flag 4634879/1751932
901.68/457.95	c cleaning 46006 clauses out of 92044 with flag 4852202/1798932
925.67/469.92	c cleaning 46994 clauses out of 94038 with flag 5074755/1846932
950.68/482.44	c cleaning 48013 clauses out of 96044 with flag 5296515/1895932
977.87/496.02	c cleaning 49016 clauses out of 98031 with flag 5529145/1945932
1005.66/509.98	c cleaning 50004 clauses out of 100016 with flag 5753349/1996933
1034.06/524.11	c cleaning 50985 clauses out of 102011 with flag 5992174/2048932
1063.66/538.95	c cleaning 52008 clauses out of 104026 with flag 6240942/2101932
1093.25/553.74	c cleaning 52968 clauses out of 106018 with flag 6482037/2155932
1122.65/568.46	c cleaning 54021 clauses out of 108050 with flag 6704557/2210932
1152.45/583.36	c cleaning 54999 clauses out of 110029 with flag 6952283/2266932
1183.04/598.68	c cleaning 55981 clauses out of 112030 with flag 7197497/2323932
1214.83/614.58	c cleaning 57016 clauses out of 114049 with flag 7436715/2381932
1246.44/630.35	c cleaning 58001 clauses out of 116033 with flag 7661708/2440932
1278.63/646.48	c cleaning 58989 clauses out of 118032 with flag 7899025/2500932
1311.03/662.67	c cleaning 60018 clauses out of 120045 with flag 8158965/2561934
1343.23/678.79	c cleaning 61011 clauses out of 122026 with flag 8405252/2623933
1378.67/696.38	c cleaning 62006 clauses out of 124014 with flag 8645013/2686932
1412.84/713.48	c cleaning 63003 clauses out of 126008 with flag 8867744/2750932
1447.25/730.63	c cleaning 63990 clauses out of 128005 with flag 9064189/2815932
1482.84/748.47	c cleaning 64995 clauses out of 130015 with flag 9299351/2881932
1519.45/766.72	c cleaning 66009 clauses out of 132021 with flag 9530900/2948933
1558.21/786.08	c cleaning 67001 clauses out of 134011 with flag 9794107/3016932
1596.63/805.25	c cleaning 68002 clauses out of 136011 with flag 10069628/3085933
1635.81/824.81	c cleaning 68978 clauses out of 138008 with flag 10345222/3155932
1674.80/844.39	c cleaning 70003 clauses out of 140030 with flag 10671806/3226932
1715.14/864.43	c cleaning 71010 clauses out of 142027 with flag 10987295/3298932
1756.13/884.93	c cleaning 71987 clauses out of 144017 with flag 11323994/3371932
1797.33/905.56	c cleaning 73011 clauses out of 146030 with flag 11642914/3445932
1800.13/906.90	c >>>>>>>>>> Solver number 0 (9 answers) <<<<<<<<<<<<<<<<<<
1800.13/906.90	c starts		: 60227
1800.13/906.90	c conflicts		: 3451367
1800.13/906.90	c decisions		: 41158139
1800.13/906.90	c propagations		: 2561141807
1800.13/906.90	c inspects		: 4749383116
1800.13/906.90	c shortcuts		: 0
1800.13/906.90	c learnt literals	: 0
1800.13/906.90	c learnt binary clauses	: 0
1800.13/906.90	c learnt ternary clauses	: 0
1800.13/906.90	c learnt constraints	: 3451367
1800.13/906.90	c ignored constraints	: 0
1800.13/906.90	c root simplifications	: 0
1800.13/906.90	c removed literals (reason simplification)	: 17455230
1800.13/906.90	c reason swapping (by a shorter reason)	: 0
1800.13/906.90	c Calls to reduceDB	: 134
1800.13/906.90	c Number of update (reduction) of LBD	: 1687029
1800.13/906.90	c Imported unit clauses	: 0
1800.13/906.90	c number of reductions to clauses (during analyze)	: 0
1800.13/906.90	c number of learned constraints concerned by reduction	: 0
1800.13/906.90	c number of learning phase by resolution	: 0
1800.13/906.90	c number of learning phase by cutting planes	: 0
1800.13/906.90	c speed (assignments/second)	: 3486980.446216203
1800.13/906.90	c non guided choices	0
1800.13/906.93	c learnt constraints type 
1800.13/906.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 78454
1800.13/906.93	c >>>>>>>>>> Solver number 1 (15 answers) <<<<<<<<<<<<<<<<<<
1800.13/906.93	c starts		: 43
1800.13/906.93	c conflicts		: 3774
1800.13/906.93	c decisions		: 117645
1800.13/906.93	c propagations		: 781507
1800.13/906.93	c inspects		: 79620011
1800.13/906.93	c shortcuts		: 0
1800.13/906.93	c learnt literals	: 0
1800.13/906.93	c learnt binary clauses	: 0
1800.13/906.93	c learnt ternary clauses	: 0
1800.13/906.93	c learnt constraints	: 3770
1800.13/906.93	c ignored constraints	: 0
1800.13/906.93	c root simplifications	: 0
1800.13/906.93	c removed literals (reason simplification)	: 0
1800.13/906.93	c reason swapping (by a shorter reason)	: 0
1800.13/906.93	c Calls to reduceDB	: 0
1800.13/906.93	c Number of update (reduction) of LBD	: 0
1800.13/906.93	c Imported unit clauses	: 0
1800.13/906.93	c number of reductions to clauses (during analyze)	: 0
1800.13/906.93	c number of learned constraints concerned by reduction	: 0
1800.13/906.93	c number of learning phase by resolution	: 0
1800.13/906.93	c number of learning phase by cutting planes	: 0
1800.13/906.93	c speed (assignments/second)	: 866.8760905181355
1800.13/906.93	c non guided choices	0
1800.13/906.93	c learnt constraints type 
1800.13/906.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3770
1800.13/906.93	s SATISFIABLE
1800.13/906.93	c Found 24 solution(s)
1800.13/906.94	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 
1800.13/906.94	c objective function=48034
1800.13/906.94	c Total wall clock time (in seconds): 906.815

Verifier Data 

OK	48034

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

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

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


[startup+0 s]
/proc/loadavg: 3.96 4.07 3.15 2/170 18013
/proc/meminfo: memFree=30458256/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18013/stat : 18013 (java) R 18010 18013 17726 0 -1 4202496 566 0 0 0 0 0 0 0 20 0 1 0 107222992 23793664 217 33554432000 1073741824 1073778376 140736505888144 140736505877208 213410419131 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 5809 224 176 9 0 128 0

[startup+0.100057 s]
/proc/loadavg: 3.96 4.07 3.15 2/170 18013
/proc/meminfo: memFree=30458256/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 4444 0 1 0 8 1 0 0 20 0 18 0 107222992 9787879424 5053 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2389619 5053 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200242 s]
/proc/loadavg: 3.96 4.07 3.15 2/170 18013
/proc/meminfo: memFree=30458256/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 4860 0 1 0 23 2 0 0 20 0 18 0 107222992 9787879424 6387 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2389619 6387 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300244 s]
/proc/loadavg: 3.96 4.07 3.15 2/170 18013
/proc/meminfo: memFree=30458256/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 5983 0 1 0 45 2 0 0 20 0 18 0 107222992 9787879424 8645 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2389619 8645 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700224 s]
/proc/loadavg: 3.96 4.07 3.15 2/170 18013
/proc/meminfo: memFree=30458256/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 10562 0 1 0 75 5 0 0 20 0 19 0 107222992 10060525568 13155 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2456183 13155 2257 9 0 2446860 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 9824732

[startup+1.50074 s]
/proc/loadavg: 3.96 4.07 3.15 1/213 18075
/proc/meminfo: memFree=30348624/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 17719 0 1 0 125 9 0 0 20 0 20 0 107222992 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2456183 20133 2261 9 0 2446860 0
[pid=18013/tid=18015] ppid=18010 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/18013/task/18015/stat : 18015 (java) S 18010 18013 17726 0 -1 4202560 2480 0 1 0 32 2 0 0 20 0 20 0 107222993 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983924970360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18016] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18016/stat : 18016 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222994 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983769037224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18017] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18017/stat : 18017 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222994 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983767984680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18018] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18018/stat : 18018 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222994 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983766931624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18019] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18019/stat : 18019 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222994 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983765879080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18020] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18020/stat : 18020 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222994 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983764827048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18021] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18021/stat : 18021 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222994 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983763774504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18022] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18022/stat : 18022 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222994 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983762721448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18023] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18023/stat : 18023 (java) S 18010 18013 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 107222994 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983761668904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18024] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18024/stat : 18024 (java) S 18010 18013 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 107222996 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983749257576 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18025] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18025/stat : 18025 (java) S 18010 18013 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 107222996 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983748203896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18026] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18026/stat : 18026 (java) S 18010 18013 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 107222996 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983747150728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18027] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18027/stat : 18027 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222998 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983746099472 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18028] ppid=18010 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/18013/task/18028/stat : 18028 (java) R 18010 18013 17726 0 -1 4202560 4929 0 0 0 39 0 0 0 20 0 20 0 107222998 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983745033872 139983927692713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18029] ppid=18010 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/18013/task/18029/stat : 18029 (java) R 18010 18013 17726 0 -1 4202560 8946 0 0 0 30 1 0 0 20 0 20 0 107222998 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983743982088 139983927585713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18030] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18030/stat : 18030 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222998 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983742941944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18031] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18031/stat : 18031 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107222999 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983741889608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18075] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18075/stat : 18075 (java) S 18010 18013 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 107223079 10060525568 20133 33554432000 1073741824 1073778376 140736505888144 139983737627944 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9824732

[startup+3.10073 s]
/proc/loadavg: 3.96 4.07 3.15 1/213 18087
/proc/meminfo: memFree=30214696/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 19591 0 1 0 193 12 0 0 20 0 19 0 107222992 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2456183 24399 2270 9 0 2446860 0
[pid=18013/tid=18015] ppid=18010 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/18013/task/18015/stat : 18015 (java) S 18010 18013 17726 0 -1 4202560 2483 0 1 0 34 2 0 0 20 0 19 0 107222993 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983924970360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18016] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18016/stat : 18016 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222994 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983769037224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18017] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18017/stat : 18017 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222994 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983767984680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18018] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18018/stat : 18018 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222994 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983766931624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18019] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18019/stat : 18019 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222994 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983765879080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18020] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18020/stat : 18020 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222994 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983764827048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18021] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18021/stat : 18021 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222994 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983763774504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18022] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18022/stat : 18022 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222994 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983762721448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18023] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18023/stat : 18023 (java) S 18010 18013 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107222994 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983761668904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18024] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18024/stat : 18024 (java) S 18010 18013 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107222996 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983749257576 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18025] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18025/stat : 18025 (java) S 18010 18013 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107222996 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983748203896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18026] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18026/stat : 18026 (java) S 18010 18013 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107222996 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983747150728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18027] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18027/stat : 18027 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222998 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983746099472 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18028] ppid=18010 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/18013/task/18028/stat : 18028 (java) S 18010 18013 17726 0 -1 4202560 4951 0 0 0 56 0 0 0 20 0 19 0 107222998 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983745047352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18029] ppid=18010 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/18013/task/18029/stat : 18029 (java) S 18010 18013 17726 0 -1 4202560 10768 0 0 0 66 2 0 0 20 0 19 0 107222998 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983743994808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18030] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18030/stat : 18030 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222998 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983742941944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18031] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18031/stat : 18031 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107222999 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983741889608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18075] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18075/stat : 18075 (java) S 18010 18013 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107223079 10060525568 24399 33554432000 1073741824 1073778376 140736505888144 139983737627944 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=27 pid=1767 uid=0 cmd=

[startup+6.30085 s]
/proc/loadavg: 3.96 4.07 3.16 7/215 18242
/proc/meminfo: memFree=30313700/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9824732 CPUtime=4.6 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 19719 0 1 0 444 16 0 0 20 0 22 0 107222992 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2456183 41689 2277 9 0 2446860 0
[pid=18013/tid=18015] ppid=18010 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/18013/task/18015/stat : 18015 (java) S 18010 18013 17726 0 -1 4202560 2486 0 1 0 35 2 0 0 20 0 22 0 107222993 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983924970360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18016] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18016/stat : 18016 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222994 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983769037224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18017] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18017/stat : 18017 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222994 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983767984680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18018] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18018/stat : 18018 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222994 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983766931624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18019] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18019/stat : 18019 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222994 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983765879080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18020] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18020/stat : 18020 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222994 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983764827048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18021] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18021/stat : 18021 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222994 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983763774504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18022] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18022/stat : 18022 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222994 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983762721448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18023] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18023/stat : 18023 (java) S 18010 18013 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107222994 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983761668904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18024] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18024/stat : 18024 (java) S 18010 18013 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983749257576 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18025] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18025/stat : 18025 (java) S 18010 18013 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983748203896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18026] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18026/stat : 18026 (java) S 18010 18013 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983747150728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18027] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18027/stat : 18027 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222998 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983746099472 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18028] ppid=18010 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/18013/task/18028/stat : 18028 (java) S 18010 18013 17726 0 -1 4202560 4982 0 0 0 86 0 0 0 20 0 22 0 107222998 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983745047352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18029] ppid=18010 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/18013/task/18029/stat : 18029 (java) S 18010 18013 17726 0 -1 4202560 10792 0 0 0 94 2 0 0 20 0 22 0 107222998 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983743994808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18030] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18030/stat : 18030 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222998 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983742941944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18031] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18031/stat : 18031 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222999 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983741889608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18075] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18075/stat : 18075 (java) S 18010 18013 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107223079 10060525568 41689 33554432000 1073741824 1073778376 140736505888144 139983737627944 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18233] ppid=18010 vsize=9824732 CPUtime=0.84 cores=0,2,4,6

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

[pid=18013/tid=18023] ppid=18010 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/18013/task/18023/stat : 18023 (java) S 18010 18013 17726 0 -1 4202560 630 0 0 0 100 21 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983761668904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18024] ppid=18010 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/18013/task/18024/stat : 18024 (java) S 18010 18013 17726 0 -1 4202560 2504 0 0 0 228 6 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983749257576 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18025] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18025/stat : 18025 (java) S 18010 18013 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983748203896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18026] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18026/stat : 18026 (java) S 18010 18013 17726 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983747150728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18027] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18027/stat : 18027 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983746099472 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18028] ppid=18010 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/18013/task/18028/stat : 18028 (java) S 18010 18013 17726 0 -1 4202560 5183 0 0 0 161 2 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983745047352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18029] ppid=18010 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/18013/task/18029/stat : 18029 (java) S 18010 18013 17726 0 -1 4202560 10827 0 0 0 120 2 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983743994808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18030] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18030/stat : 18030 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983742941944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18031] ppid=18010 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/18013/task/18031/stat : 18031 (java) S 18010 18013 17726 0 -1 4202560 51 0 0 0 8 11 0 0 20 0 22 0 107222999 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983741889608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18235] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18235/stat : 18235 (java) S 18010 18013 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107223533 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983738680360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=19046] ppid=18010 vsize=9824732 CPUtime=705.16 cores=0,2,4,6
/proc/18013/task/19046/stat : 19046 (java) R 18010 18013 17726 0 -1 4202560 10 0 0 0 70505 11 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983740776432 139983797146603 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=19047] ppid=18010 vsize=9824732 CPUtime=705.24 cores=0,2,4,6
/proc/18013/task/19047/stat : 19047 (java) R 18010 18013 17726 0 -1 4202560 56 0 0 0 70511 13 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983737625824 139983797614734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=19048] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/19048/stat : 19048 (java) S 18010 18013 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983739732776 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1750.59
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.901 s]
/proc/loadavg: 4.18 4.14 3.75 6/219 19305
/proc/meminfo: memFree=24069628/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9824732 CPUtime=1799.78 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 28589 0 1 0 179745 233 0 0 20 0 22 0 107222992 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2456183 902668 2302 9 0 2446860 0
[pid=18013/tid=18015] ppid=18010 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/18013/task/18015/stat : 18015 (java) S 18010 18013 17726 0 -1 4202560 2487 0 1 0 41 3 0 0 20 0 22 0 107222993 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983924970360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18016] ppid=18010 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/18013/task/18016/stat : 18016 (java) S 18010 18013 17726 0 -1 4202560 380 0 0 0 103 18 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983769037224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18017] ppid=18010 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/18013/task/18017/stat : 18017 (java) S 18010 18013 17726 0 -1 4202560 766 0 0 0 98 18 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983767984680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18018] ppid=18010 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/18013/task/18018/stat : 18018 (java) S 18010 18013 17726 0 -1 4202560 755 0 0 0 112 21 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983766931624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18019] ppid=18010 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/18013/task/18019/stat : 18019 (java) S 18010 18013 17726 0 -1 4202560 654 0 0 0 104 17 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983765879080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18020] ppid=18010 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/18013/task/18020/stat : 18020 (java) S 18010 18013 17726 0 -1 4202560 510 0 0 0 98 17 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983764827048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18021] ppid=18010 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/18013/task/18021/stat : 18021 (java) S 18010 18013 17726 0 -1 4202560 407 0 0 0 93 16 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983763774504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18022] ppid=18010 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/18013/task/18022/stat : 18022 (java) S 18010 18013 17726 0 -1 4202560 681 0 0 0 96 14 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983762721448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18023] ppid=18010 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/18013/task/18023/stat : 18023 (java) S 18010 18013 17726 0 -1 4202560 630 0 0 0 100 21 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983761668904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18024] ppid=18010 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/18013/task/18024/stat : 18024 (java) S 18010 18013 17726 0 -1 4202560 2504 0 0 0 228 6 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983749257576 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18025] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18025/stat : 18025 (java) S 18010 18013 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983748203896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18026] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18026/stat : 18026 (java) S 18010 18013 17726 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983747150728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18027] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18027/stat : 18027 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983746099472 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18028] ppid=18010 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/18013/task/18028/stat : 18028 (java) S 18010 18013 17726 0 -1 4202560 5183 0 0 0 161 2 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983745047352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18029] ppid=18010 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/18013/task/18029/stat : 18029 (java) S 18010 18013 17726 0 -1 4202560 10827 0 0 0 120 2 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983743994808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18030] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18030/stat : 18030 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983742941944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18031] ppid=18010 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/18013/task/18031/stat : 18031 (java) S 18010 18013 17726 0 -1 4202560 53 0 0 0 8 11 0 0 20 0 22 0 107222999 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983741889608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18235] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18235/stat : 18235 (java) S 18010 18013 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107223533 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983738680360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=19046] ppid=18010 vsize=9824732 CPUtime=729.69 cores=0,2,4,6
/proc/18013/task/19046/stat : 19046 (java) R 18010 18013 17726 0 -1 4202560 10 0 0 0 72957 12 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983740776432 139983797353729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=19047] ppid=18010 vsize=9824732 CPUtime=729.77 cores=0,2,4,6
/proc/18013/task/19047/stat : 19047 (java) R 18010 18013 17726 0 -1 4202560 56 0 0 0 72963 14 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983737625824 139983797614705 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=19048] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/19048/stat : 19048 (java) S 18010 18013 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983739732776 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.78
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 18013 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+906.901 s]
/proc/loadavg: 4.18 4.14 3.75 6/219 19305
/proc/meminfo: memFree=24069628/32872528 swapFree=16636/1570076
[pid=18013] ppid=18010 vsize=9824732 CPUtime=1799.78 cores=0,2,4,6
/proc/18013/stat : 18013 (java) S 18010 18013 17726 0 -1 4202496 28589 0 1 0 179745 233 0 0 20 0 22 0 107222992 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 140736505879280 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18013/statm: 2456183 902668 2302 9 0 2446860 0
[pid=18013/tid=18015] ppid=18010 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/18013/task/18015/stat : 18015 (java) S 18010 18013 17726 0 -1 4202560 2487 0 1 0 41 3 0 0 20 0 22 0 107222993 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983924970360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18016] ppid=18010 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/18013/task/18016/stat : 18016 (java) S 18010 18013 17726 0 -1 4202560 380 0 0 0 103 18 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983769037224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18017] ppid=18010 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/18013/task/18017/stat : 18017 (java) S 18010 18013 17726 0 -1 4202560 766 0 0 0 98 18 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983767984680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18018] ppid=18010 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/18013/task/18018/stat : 18018 (java) S 18010 18013 17726 0 -1 4202560 755 0 0 0 112 21 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983766931624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18019] ppid=18010 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/18013/task/18019/stat : 18019 (java) S 18010 18013 17726 0 -1 4202560 654 0 0 0 104 17 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983765879080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18020] ppid=18010 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/18013/task/18020/stat : 18020 (java) S 18010 18013 17726 0 -1 4202560 510 0 0 0 98 17 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983764827048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=18021] ppid=18010 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/18013/task/18021/stat : 18021 (java) S 18010 18013 17726 0 -1 4202560 407 0 0 0 93 16 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983763774504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18022] ppid=18010 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/18013/task/18022/stat : 18022 (java) S 18010 18013 17726 0 -1 4202560 681 0 0 0 96 14 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983762721448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18023] ppid=18010 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/18013/task/18023/stat : 18023 (java) S 18010 18013 17726 0 -1 4202560 630 0 0 0 100 21 0 0 20 0 22 0 107222994 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983761668904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18024] ppid=18010 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/18013/task/18024/stat : 18024 (java) S 18010 18013 17726 0 -1 4202560 2504 0 0 0 228 6 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983749257576 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18025] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18025/stat : 18025 (java) S 18010 18013 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983748203896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18026] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18026/stat : 18026 (java) S 18010 18013 17726 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 107222996 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983747150728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18027] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18027/stat : 18027 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983746099472 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18028] ppid=18010 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/18013/task/18028/stat : 18028 (java) S 18010 18013 17726 0 -1 4202560 5183 0 0 0 161 2 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983745047352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18029] ppid=18010 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/18013/task/18029/stat : 18029 (java) S 18010 18013 17726 0 -1 4202560 10827 0 0 0 120 2 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983743994808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18013/tid=18030] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18030/stat : 18030 (java) S 18010 18013 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107222998 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983742941944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18013/tid=18031] ppid=18010 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/18013/task/18031/stat : 18031 (java) S 18010 18013 17726 0 -1 4202560 53 0 0 0 8 11 0 0 20 0 22 0 107222999 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983741889608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=18235] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/18235/stat : 18235 (java) S 18010 18013 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107223533 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983738680360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=19046] ppid=18010 vsize=9824732 CPUtime=729.69 cores=0,2,4,6
/proc/18013/task/19046/stat : 19046 (java) R 18010 18013 17726 0 -1 4202560 10 0 0 0 72957 12 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983740776432 139983797353729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18013/tid=19047] ppid=18010 vsize=9824732 CPUtime=729.77 cores=0,2,4,6
/proc/18013/task/19047/stat : 19047 (java) R 18010 18013 17726 0 -1 4202560 56 0 0 0 72963 14 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983737625824 139983797614705 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18013/tid=19048] ppid=18010 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18013/task/19048/stat : 19048 (java) S 18010 18013 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107240234 10060525568 902668 33554432000 1073741824 1073778376 140736505888144 139983739732776 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.78
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18013 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=748308
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=731584
# CPU time returned by wait4() is 1796.48
# while last known CPU time is 1799.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.349979
#  lost CPU user time (s): 0.399986
#  lost CPU system time (s): -0.05

Real time (s): 906.975
CPU time (s): 1800.13
CPU user time (s): 1797.85
CPU system time (s): 2.28
CPU usage (%): 198.476
Max. virtual memory (cumulated for all children) (KiB): 9825112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.75
system time used= 2.73158
maximum resident set size= 3610788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28630
page faults= 1
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22902
involuntary context switches= 23792

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28304 second user time and 6.68598 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 00:41:46
IDJOB=4080729
IDBENCH=25050
IDSOLVER=2543
FILE ID=node140/4080729-1465252906
RUNJOBID= node140-1465252001-17742
PBS_JOBID= 19843256
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080729-1465252906/watcher-4080729-1465252906 -o /tmp/evaluation-result-4080729-1465252906/solver-4080729-1465252906 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080729-1465252906.opb

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

MD5SUM BENCH= a588ec671da067d931709859b503c557
RANDOM SEED=1215918200

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30458792 kB
Buffers:           60096 kB
Cached:            77800 kB
SwapCached:         1744 kB
Active:            45652 kB
Inactive:          95404 kB
Active(anon):       3040 kB
Inactive(anon):     2608 kB
Active(file):      42612 kB
Inactive(file):    92796 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098608 kB
Dirty:               912 kB
Writeback:             0 kB
AnonPages:       1572912 kB
Mapped:             6964 kB
Shmem:                 0 kB
Slab:             568468 kB
SReclaimable:      12296 kB
SUnreclaim:       556172 kB
KernelStack:        1392 kB
PageTables:         7348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1666588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 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 node140 at 2016-06-07 00:56:53