Trace number 4118665

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)-146 1800.05 899.759

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament30.lin.opb
MD5SUM27a6077c0a24ef534f3f9188caec09de
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-168
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1275
Total number of constraints1680
Number of constraints which are clauses840
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints840
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 1114
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 1200
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4118665-1467235164.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.48/0.31	c ... done. Wall clock time 0.19s.
0.48/0.31	c declared #vars     1275
0.48/0.31	c #constraints  1680
0.48/0.31	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 840
0.48/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 840
0.48/0.31	c 1680 constraints processed.
0.48/0.31	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 840
0.48/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 840
0.48/0.31	c 1680 constraints processed.
0.48/0.31	c objective function length is 1114 literals
0.48/0.33	c And the winner is solver0
0.61/0.81	c SATISFIABLE
0.61/0.81	c OPTIMIZING...
0.61/0.81	c Got one! Elapsed wall clock time (in seconds):0.697
0.61/0.81	o -101
0.61/0.86	c And the winner is solver0
1.11/1.34	c Got one! Elapsed wall clock time (in seconds):1.219
1.11/1.34	o -102
1.34/1.46	c And the winner is solver0
1.74/1.84	c Got one! Elapsed wall clock time (in seconds):1.727
1.74/1.84	o -103
1.93/1.92	c And the winner is solver0
2.06/2.35	c Got one! Elapsed wall clock time (in seconds):2.233
2.06/2.35	o -104
3.73/3.05	c cleaning 2747 clauses out of 5498 with flag 10019/5498
5.63/3.86	c cleaning 4374 clauses out of 8751 with flag 22019/11498
5.85/3.95	c And the winner is solver0
5.98/4.35	c Got one! Elapsed wall clock time (in seconds):4.237
5.98/4.35	o -105
7.38/5.07	c cleaning 4903 clauses out of 9822 with flag 10007/16943
9.19/5.90	c cleaning 5454 clauses out of 10918 with flag 22013/22942
11.26/6.91	c cleaning 6226 clauses out of 12464 with flag 36014/29942
13.48/8.02	c And the winner is solver1
13.52/8.36	c Got one! Elapsed wall clock time (in seconds):8.243
13.52/8.36	o -113
14.87/9.08	c cleaning 9603 clauses out of 19215 with flag 10516/42919
16.47/9.87	c cleaning 7799 clauses out of 15612 with flag 23345/48919
18.55/10.87	c cleaning 7407 clauses out of 14813 with flag 38150/55919
20.76/11.97	c cleaning 7702 clauses out of 15407 with flag 55149/63920
23.18/13.13	c cleaning 8346 clauses out of 16704 with flag 74211/72919
23.18/13.17	c And the winner is solver1
23.31/13.39	c Got one! Elapsed wall clock time (in seconds):13.277
23.31/13.39	o -114
24.59/14.07	c cleaning 6834 clauses out of 13677 with flag 10552/78238
26.19/14.80	c cleaning 6417 clauses out of 12843 with flag 23171/84238
27.79/15.67	c cleaning 6710 clauses out of 13426 with flag 37917/91238
30.09/16.75	c cleaning 7352 clauses out of 14715 with flag 54709/99237
32.60/17.95	c cleaning 8180 clauses out of 16364 with flag 73602/108238
35.20/19.29	c cleaning 9090 clauses out of 18183 with flag 94661/118237
38.40/20.81	c cleaning 10047 clauses out of 20093 with flag 117791/129237
41.60/22.48	c cleaning 11022 clauses out of 22047 with flag 142993/141238
44.76/23.99	c And the winner is solver1
44.92/24.40	c Got one! Elapsed wall clock time (in seconds):24.282
44.92/24.40	o -119
46.13/25.04	c cleaning 13038 clauses out of 26079 with flag 10557/156292
47.73/25.85	c cleaning 9513 clauses out of 19040 with flag 23212/162291
49.53/26.78	c cleaning 8260 clauses out of 16527 with flag 38002/169291
51.74/27.87	c cleaning 8126 clauses out of 16268 with flag 54891/177292
54.58/29.19	c cleaning 8569 clauses out of 17142 with flag 73963/186292
57.37/30.54	c cleaning 9286 clauses out of 18573 with flag 95278/196292
60.38/32.03	c cleaning 10139 clauses out of 20286 with flag 118859/207291
63.37/33.56	c And the winner is solver1
63.46/33.90	c Got one! Elapsed wall clock time (in seconds):33.787
63.46/33.90	o -125
64.84/34.64	c cleaning 13060 clauses out of 26123 with flag 10496/223267
66.44/35.43	c cleaning 9531 clauses out of 19064 with flag 23165/229268
68.89/36.50	c cleaning 8262 clauses out of 16533 with flag 37889/236268
70.90/37.58	c cleaning 8132 clauses out of 16272 with flag 54805/244269
73.29/38.78	c cleaning 8570 clauses out of 17139 with flag 73812/253268
75.32/39.72	c And the winner is solver1
75.34/39.96	c Got one! Elapsed wall clock time (in seconds):39.844
75.34/39.96	o -126
76.84/40.77	c cleaning 10444 clauses out of 20887 with flag 10495/265586
78.65/41.61	c cleaning 8218 clauses out of 16443 with flag 23079/271586
81.32/42.81	c cleaning 7609 clauses out of 15226 with flag 37861/278587
83.52/43.97	c cleaning 7804 clauses out of 15616 with flag 54752/286586
85.94/45.19	c cleaning 8402 clauses out of 16813 with flag 73709/295587
88.92/46.62	c cleaning 9201 clauses out of 18410 with flag 94876/305586
92.32/48.31	c cleaning 10103 clauses out of 20209 with flag 118111/316586
95.92/50.14	c cleaning 11050 clauses out of 22106 with flag 143524/328586
99.72/52.08	c cleaning 12023 clauses out of 24056 with flag 171123/341586
104.12/54.23	c cleaning 13010 clauses out of 26034 with flag 200724/355587
109.77/57.30	c cleaning 14012 clauses out of 28025 with flag 232426/370588
114.96/59.81	c cleaning 15006 clauses out of 30011 with flag 266294/386586
120.17/62.42	c cleaning 16003 clauses out of 32006 with flag 302234/403587
126.17/65.40	c cleaning 16999 clauses out of 34003 with flag 340166/421587
127.58/66.15	c And the winner is solver1
127.58/66.20	c Got one! Elapsed wall clock time (in seconds):66.079
127.58/66.20	o -127
129.13/66.96	c cleaning 13531 clauses out of 27069 with flag 10518/431652
130.73/67.72	c cleaning 9764 clauses out of 19538 with flag 23124/437652
132.33/68.59	c cleaning 8386 clauses out of 16777 with flag 37961/444655
134.33/69.59	c cleaning 8192 clauses out of 16389 with flag 54868/452653
136.73/70.77	c cleaning 8592 clauses out of 17196 with flag 73878/461652
139.32/72.07	c cleaning 9299 clauses out of 18605 with flag 95326/471653
142.52/73.60	c cleaning 10148 clauses out of 20305 with flag 118667/482652
145.92/75.30	c cleaning 11073 clauses out of 22157 with flag 144113/494652
149.72/77.21	c cleaning 12041 clauses out of 24085 with flag 171667/507653
153.53/79.15	c cleaning 13020 clauses out of 26044 with flag 201333/521653
158.27/81.48	c cleaning 14012 clauses out of 28024 with flag 233157/536653
163.25/83.99	c cleaning 15003 clauses out of 30012 with flag 266942/552653
168.85/86.72	c cleaning 16004 clauses out of 32008 with flag 302774/569652
175.45/90.00	c cleaning 17001 clauses out of 34005 with flag 340676/587653
181.85/93.28	c cleaning 18002 clauses out of 36004 with flag 380681/606653
189.06/96.89	c cleaning 19001 clauses out of 38001 with flag 422817/626652
199.09/102.14	c cleaning 19998 clauses out of 40002 with flag 466882/647654
207.49/106.35	c cleaning 20997 clauses out of 42002 with flag 513023/669652
216.29/110.76	c cleaning 22003 clauses out of 44005 with flag 561622/692652
225.49/115.39	c cleaning 22997 clauses out of 46002 with flag 612164/716652
236.82/120.99	c cleaning 24000 clauses out of 48005 with flag 664938/741652
244.21/124.65	c And the winner is solver1
244.21/124.92	c Got one! Elapsed wall clock time (in seconds):124.806
244.21/124.92	o -145
245.80/125.79	c cleaning 23155 clauses out of 46320 with flag 10559/763967
247.62/126.67	c cleaning 14576 clauses out of 29164 with flag 23319/769966
249.63/127.67	c cleaning 10791 clauses out of 21589 with flag 38279/776967
251.83/128.79	c cleaning 9394 clauses out of 18797 with flag 55372/784966
254.41/130.06	c cleaning 9197 clauses out of 18403 with flag 74558/793966
257.79/131.65	c cleaning 9600 clauses out of 19206 with flag 95833/803966
261.19/133.35	c cleaning 10299 clauses out of 20606 with flag 119027/814966
264.99/135.25	c cleaning 11154 clauses out of 22307 with flag 144467/826966
268.99/137.25	c cleaning 12077 clauses out of 24154 with flag 172063/839967
273.38/139.48	c cleaning 13035 clauses out of 26077 with flag 201740/853967
278.40/141.97	c cleaning 14017 clauses out of 28042 with flag 233421/868967
284.89/145.06	c cleaning 15008 clauses out of 30026 with flag 267181/884968
290.69/147.92	c cleaning 16007 clauses out of 32016 with flag 303151/901966
296.69/150.93	c cleaning 17006 clauses out of 34011 with flag 341123/919968
303.29/154.27	c cleaning 17999 clauses out of 36003 with flag 381349/938966
311.31/158.05	c cleaning 19002 clauses out of 38004 with flag 423715/958966
319.30/162.04	c cleaning 19996 clauses out of 40002 with flag 468230/979966
328.50/166.62	c cleaning 21003 clauses out of 42007 with flag 514818/1001967
339.73/172.14	c cleaning 22002 clauses out of 44003 with flag 563677/1024966
347.33/175.96	c And the winner is solver1
347.33/176.04	c Got one! Elapsed wall clock time (in seconds):175.929
347.33/176.04	o -146
348.83/176.84	c cleaning 21813 clauses out of 43639 with flag 10587/1046604
350.43/177.66	c cleaning 13910 clauses out of 27827 with flag 23394/1052605
352.23/178.57	c cleaning 10451 clauses out of 20915 with flag 38129/1059603
354.88/179.74	c cleaning 9226 clauses out of 18464 with flag 55107/1067603
357.28/180.95	c cleaning 9112 clauses out of 18238 with flag 74106/1076603
360.08/182.31	c cleaning 9560 clauses out of 19128 with flag 95226/1086605
363.09/183.84	c cleaning 10280 clauses out of 20567 with flag 118378/1097604
366.48/185.52	c cleaning 11141 clauses out of 22286 with flag 143697/1109603
370.08/187.30	c cleaning 12070 clauses out of 24146 with flag 171133/1122604
373.89/189.24	c cleaning 13035 clauses out of 26076 with flag 200662/1136604
377.88/191.27	c cleaning 14014 clauses out of 28040 with flag 232271/1151603
382.28/193.47	c cleaning 15008 clauses out of 30027 with flag 266349/1167604
387.10/195.83	c cleaning 16006 clauses out of 32018 with flag 302457/1184603
392.28/198.46	c cleaning 17005 clauses out of 34014 with flag 340658/1202605
397.68/201.15	c cleaning 18001 clauses out of 36007 with flag 380900/1221603
404.08/204.36	c cleaning 18998 clauses out of 38006 with flag 423303/1241603
411.49/208.08	c cleaning 19999 clauses out of 40009 with flag 467640/1262604
421.26/213.43	c cleaning 21005 clauses out of 42009 with flag 514216/1284603
429.25/217.41	c cleaning 22003 clauses out of 44005 with flag 563046/1307604
436.86/221.27	c cleaning 22997 clauses out of 46002 with flag 613746/1331604
445.05/225.32	c cleaning 24000 clauses out of 48005 with flag 666695/1356604
454.85/230.27	c cleaning 25000 clauses out of 50005 with flag 721799/1382604
463.85/234.78	c cleaning 26002 clauses out of 52005 with flag 778803/1409604
473.65/239.69	c cleaning 27001 clauses out of 54003 with flag 838042/1437604
486.16/245.88	c cleaning 28001 clauses out of 56001 with flag 899771/1466603
496.96/251.23	c cleaning 28998 clauses out of 58001 with flag 963326/1496604
510.16/257.81	c cleaning 30001 clauses out of 60003 with flag 1028918/1527604
524.53/264.90	c cleaning 31001 clauses out of 62001 with flag 1096968/1559603
538.93/272.17	c cleaning 31998 clauses out of 64000 with flag 1166897/1592603
553.74/279.58	c cleaning 33002 clauses out of 66003 with flag 1239085/1626604
567.32/286.38	c cleaning 33998 clauses out of 68000 with flag 1313025/1661603
582.59/293.87	c cleaning 34996 clauses out of 70003 with flag 1389232/1697604
597.78/301.50	c cleaning 35998 clauses out of 72006 with flag 1467431/1734603
615.96/310.53	c cleaning 37003 clauses out of 74009 with flag 1548051/1772604
635.18/320.16	c cleaning 38000 clauses out of 76005 with flag 1630596/1811603
654.36/329.75	c cleaning 39003 clauses out of 78006 with flag 1714886/1851604
673.96/339.53	c cleaning 40001 clauses out of 80003 with flag 1801502/1892604
691.88/348.37	c cleaning 40997 clauses out of 82001 with flag 1890214/1934603
709.89/357.38	c cleaning 41996 clauses out of 84005 with flag 1981322/1977604
727.29/366.08	c cleaning 43000 clauses out of 86008 with flag 2074909/2021603
745.50/375.14	c cleaning 44000 clauses out of 88008 with flag 2169893/2066603
768.88/386.84	c cleaning 45001 clauses out of 90008 with flag 2267072/2112603
795.32/399.82	c cleaning 46004 clauses out of 92008 with flag 2366452/2159604
821.92/413.10	c cleaning 47001 clauses out of 94004 with flag 2467665/2207604
849.71/427.00	c cleaning 47998 clauses out of 96003 with flag 2570902/2256604
874.90/439.69	c cleaning 48997 clauses out of 98004 with flag 2676963/2306603
902.41/454.10	c cleaning 49999 clauses out of 100007 with flag 2784846/2357603
924.21/465.00	c cleaning 51000 clauses out of 102009 with flag 2895147/2409604
949.22/477.52	c cleaning 52005 clauses out of 104009 with flag 3006954/2462604
972.52/489.18	c cleaning 52996 clauses out of 106004 with flag 3121344/2516604
997.57/501.52	c cleaning 54002 clauses out of 108008 with flag 3237586/2571604
1022.90/513.96	c cleaning 54998 clauses out of 110005 with flag 3356522/2627603
1055.75/530.13	c cleaning 56004 clauses out of 112007 with flag 3477325/2684603
1087.44/545.79	c cleaning 57000 clauses out of 114004 with flag 3600230/2742604
1119.84/561.73	c cleaning 58001 clauses out of 116003 with flag 3725435/2801603
1160.69/582.89	c cleaning 58997 clauses out of 118002 with flag 3852843/2861603
1197.49/601.12	c cleaning 59999 clauses out of 120006 with flag 3982889/2922604
1234.36/619.47	c cleaning 60998 clauses out of 122006 with flag 4114875/2984603
1280.82/642.34	c cleaning 62000 clauses out of 124008 with flag 4248895/3047603
1321.95/662.63	c cleaning 63000 clauses out of 126008 with flag 4385473/3111603
1368.46/685.36	c cleaning 64000 clauses out of 128009 with flag 4523328/3176604
1416.01/708.73	c cleaning 65002 clauses out of 130009 with flag 4663259/3242604
1438.39/719.82	c cleaning 0 clauses out of 7071 with flag 0/7075
1461.58/731.04	c cleaning 66004 clauses out of 132007 with flag 4804624/3309604
1507.74/755.11	c cleaning 66997 clauses out of 134002 with flag 4948598/3377603
1547.86/775.13	c cleaning 67995 clauses out of 136006 with flag 5094649/3446604
1590.43/796.32	c cleaning 69001 clauses out of 138011 with flag 5242802/3516604
1637.67/819.73	c cleaning 70004 clauses out of 140009 with flag 5393860/3587603
1688.46/844.64	c cleaning 70999 clauses out of 142006 with flag 5546558/3659604
1736.59/868.38	c cleaning 71999 clauses out of 144006 with flag 5701752/3732603
1784.49/892.05	c cleaning 72997 clauses out of 146007 with flag 5858523/3806603
1800.05/899.70	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.05/899.70	c starts		: 74975
1800.05/899.70	c conflicts		: 3834069
1800.05/899.70	c decisions		: 27352928
1800.05/899.70	c propagations		: 170150880
1800.05/899.70	c inspects		: 7642139089
1800.05/899.70	c shortcuts		: 0
1800.05/899.70	c learnt literals	: 0
1800.05/899.70	c learnt binary clauses	: 0
1800.05/899.70	c learnt ternary clauses	: 0
1800.05/899.70	c learnt constraints	: 3834069
1800.05/899.70	c ignored constraints	: 0
1800.05/899.70	c root simplifications	: 0
1800.05/899.70	c removed literals (reason simplification)	: 13440325
1800.05/899.70	c reason swapping (by a shorter reason)	: 0
1800.05/899.70	c Calls to reduceDB	: 154
1800.05/899.70	c Number of update (reduction) of LBD	: 157887
1800.05/899.70	c Imported unit clauses	: 0
1800.05/899.70	c number of reductions to clauses (during analyze)	: 0
1800.05/899.70	c number of learned constraints concerned by reduction	: 0
1800.05/899.70	c number of learning phase by resolution	: 0
1800.05/899.70	c number of learning phase by cutting planes	: 0
1800.05/899.70	c speed (assignments/second)	: 235128.04497189255
1800.05/899.70	c non guided choices	20
1800.05/899.73	c learnt constraints type 
1800.05/899.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 100476
1800.05/899.73	c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<<
1800.05/899.73	c starts		: 41
1800.05/899.73	c conflicts		: 8336
1800.05/899.73	c decisions		: 48718
1800.05/899.73	c propagations		: 325718
1800.05/899.73	c inspects		: 243030521
1800.05/899.73	c shortcuts		: 0
1800.05/899.73	c learnt literals	: 0
1800.05/899.73	c learnt binary clauses	: 0
1800.05/899.73	c learnt ternary clauses	: 0
1800.05/899.73	c learnt constraints	: 8332
1800.05/899.73	c ignored constraints	: 0
1800.05/899.73	c root simplifications	: 0
1800.05/899.73	c removed literals (reason simplification)	: 0
1800.05/899.73	c reason swapping (by a shorter reason)	: 0
1800.05/899.73	c Calls to reduceDB	: 1
1800.05/899.73	c Number of update (reduction) of LBD	: 0
1800.05/899.73	c Imported unit clauses	: 0
1800.05/899.73	c number of reductions to clauses (during analyze)	: 0
1800.05/899.73	c number of learned constraints concerned by reduction	: 0
1800.05/899.73	c number of learning phase by resolution	: 0
1800.05/899.73	c number of learning phase by cutting planes	: 0
1800.05/899.73	c speed (assignments/second)	: 363.7807429115817
1800.05/899.73	c non guided choices	19
1800.05/899.73	c learnt constraints type 
1800.05/899.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8332
1800.05/899.73	s SATISFIABLE
1800.05/899.73	c Found 13 solution(s)
1800.05/899.74	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 
1800.05/899.74	c objective function=-146
1800.05/899.74	c Total wall clock time (in seconds): 899.621

Verifier Data 

OK	-146

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

pid=8186
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: 4.04 4.15 3.77 2/194 8189
/proc/meminfo: memFree=26458092/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 1224 0 0 0 0 0 0 0 20 0 2 0 4471498 24780800 867 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 6050 867 654 9 0 385 0
[pid=8189/tid=8190] ppid=8186 vsize=89740 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) R 8186 8189 5003 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 2 0 4471499 91893760 893 33554432000 1073741824 1073778376 140733305217232 140733305206296 214369690551 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 4.04 4.15 3.77 2/194 8189
/proc/meminfo: memFree=26458092/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 4407 0 1 0 8 2 0 0 20 0 18 0 4471498 9787879424 6042 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2389619 6042 2126 9 0 2380296 0
[pid=8189/tid=8190] ppid=8186 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) R 8186 8189 5003 0 -1 4202560 2385 0 1 0 6 1 0 0 20 0 18 0 4471499 9787879424 6042 33554432000 1073741824 1073778376 140733305217232 139661320264608 139661326114209 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200308 s]
/proc/loadavg: 4.04 4.15 3.77 2/194 8189
/proc/meminfo: memFree=26458092/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 4689 0 1 0 24 2 0 0 20 0 18 0 4471498 9787879424 7287 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2389619 7287 2202 9 0 2380296 0
[pid=8189/tid=8190] ppid=8186 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) R 8186 8189 5003 0 -1 4202560 2412 0 1 0 16 1 0 0 20 0 18 0 4471499 9787879424 7287 33554432000 1073741824 1073778376 140733305217232 139661320264608 139661146171421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300261 s]
/proc/loadavg: 4.04 4.15 3.77 2/194 8189
/proc/meminfo: memFree=26458092/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 6213 0 1 0 46 2 0 0 20 0 18 0 4471498 9787879424 9197 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2389619 9197 2235 9 0 2380296 0
[pid=8189/tid=8190] ppid=8186 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) R 8186 8189 5003 0 -1 4202560 2414 0 1 0 26 1 0 0 20 0 18 0 4471499 9787879424 9197 33554432000 1073741824 1073778376 140733305217232 139661320265256 139661146176773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700347 s]
/proc/loadavg: 4.04 4.15 3.77 2/194 8189
/proc/meminfo: memFree=26458092/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 6314 0 1 0 57 4 0 0 20 0 19 0 4471498 10060525568 10276 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2456183 10276 2249 9 0 2446860 0
[pid=8189/tid=8190] ppid=8186 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) S 8186 8189 5003 0 -1 4202560 2426 0 1 0 27 2 0 0 20 0 19 0 4471499 10060525568 10276 33554432000 1073741824 1073778376 140733305217232 139661320266616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9824732

[startup+1.50079 s]
/proc/loadavg: 4.04 4.15 3.77 4/216 8217
/proc/meminfo: memFree=26348996/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 16532 0 1 0 162 8 0 0 20 0 20 0 4471498 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2456183 18926 2253 9 0 2446860 0
[pid=8189/tid=8190] ppid=8186 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) S 8186 8189 5003 0 -1 4202560 2427 0 1 0 29 2 0 0 20 0 20 0 4471499 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661320266616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8192] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8192/stat : 8192 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471500 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661281757608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8193] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8193/stat : 8193 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471500 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661280705064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8194] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8194/stat : 8194 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471500 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661279652008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8195] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8195/stat : 8195 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471500 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661278599464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8196] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8196/stat : 8196 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471500 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661277547432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8197] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8197/stat : 8197 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471500 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661276494888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8198] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8198/stat : 8198 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471500 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661275441832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8199] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8199/stat : 8199 (java) S 8186 8189 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4471500 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661274389288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8203] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8203/stat : 8203 (java) S 8186 8189 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 4471501 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661143951720 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8204] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8204/stat : 8204 (java) S 8186 8189 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 4471502 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661142898040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8205] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8205/stat : 8205 (java) S 8186 8189 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4471502 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661141844872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8206] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8206/stat : 8206 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471504 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661140793616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8207] ppid=8186 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/8189/task/8207/stat : 8207 (java) S 8186 8189 5003 0 -1 4202560 8520 0 0 0 54 2 0 0 20 0 20 0 4471504 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661139741496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8208] ppid=8186 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/8189/task/8208/stat : 8208 (java) R 8186 8189 5003 0 -1 4202560 4233 0 0 0 41 0 0 0 20 0 20 0 4471504 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661138688952 139661322850873 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8209] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8209/stat : 8209 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471504 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661137636088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8210] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8210/stat : 8210 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4471504 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661136583752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8213] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8213/stat : 8213 (java) S 8186 8189 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4471531 10060525568 18926 33554432000 1073741824 1073778376 140733305217232 139661133423400 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9824732

[startup+3.10073 s]
/proc/loadavg: 4.04 4.15 3.77 1/213 8229
/proc/meminfo: memFree=26335148/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9824732 CPUtime=4.06 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 21442 0 1 0 393 13 0 0 20 0 22 0 4471498 10060525568 35718 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2456183 35722 2270 9 0 2446860 0
[pid=8189/tid=8190] ppid=8186 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) S 8186 8189 5003 0 -1 4202560 2429 0 1 0 30 2 0 0 20 0 22 0 4471499 10060525568 35723 33554432000 1073741824 1073778376 140733305217232 139661320266616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8192] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8192/stat : 8192 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 35351 33554432000 1073741824 1073778376 140733305217232 139661281757608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8193] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8193/stat : 8193 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 35351 33554432000 1073741824 1073778376 140733305217232 139661280705064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8194] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8194/stat : 8194 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661279652008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8195] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8195/stat : 8195 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661278599464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8196] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8196/stat : 8196 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661277547432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8197] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8197/stat : 8197 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661276494888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8198] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8198/stat : 8198 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661275441832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8199] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8199/stat : 8199 (java) S 8186 8189 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661274389288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8203] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8203/stat : 8203 (java) S 8186 8189 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4471501 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661143951720 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8204] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8204/stat : 8204 (java) S 8186 8189 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661142898040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8205] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8205/stat : 8205 (java) S 8186 8189 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661141844872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8206] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8206/stat : 8206 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661140793616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8207] ppid=8186 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/8189/task/8207/stat : 8207 (java) R 8186 8189 5003 0 -1 4202560 11065 0 0 0 91 2 0 0 20 0 22 0 4471504 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661139717192 214369275723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8208] ppid=8186 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/8189/task/8208/stat : 8208 (java) S 8186 8189 5003 0 -1 4202560 6560 0 0 0 70 1 0 0 20 0 22 0 4471504 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661138688952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8209] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8209/stat : 8209 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661137636088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8210] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8210/stat : 8210 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661136583752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8213] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8213/stat : 8213 (java) S 8186 8189 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4471531 10060525568 35352 33554432000 1073741824 1073778376 140733305217232 139661133423400 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9824732

[startup+6.30087 s]
/proc/loadavg: 3.80 4.10 3.75 5/219 8250
/proc/meminfo: memFree=26051644/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9824732 CPUtime=10.05 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 22919 0 1 0 985 20 0 0 20 0 22 0 4471498 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2456183 58697 2285 9 0 2446860 0
[pid=8189/tid=8190] ppid=8186 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) S 8186 8189 5003 0 -1 4202560 2430 0 1 0 31 2 0 0 20 0 22 0 4471499 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661320266616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8192] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8192/stat : 8192 (java) R 8186 8189 5003 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661281757784 139661327162284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8193] ppid=8186 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8189/task/8193/stat : 8193 (java) R 8186 8189 5003 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 4471500 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661280705240 139661322737337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8194] ppid=8186 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8189/task/8194/stat : 8194 (java) R 8186 8189 5003 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 22 0 4471500 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661279652184 139661322737353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8195] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8195/stat : 8195 (java) R 8186 8189 5003 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 4471500 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661278599464 139661322737395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8196] ppid=8186 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8189/task/8196/stat : 8196 (java) R 8186 8189 5003 0 -1 4202560 91 0 0 0 1 0 0 0 20 0 22 0 4471500 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661277547432 139661322737395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8197] ppid=8186 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8189/task/8197/stat : 8197 (java) R 8186 8189 5003 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 4471500 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661276495064 139661322737353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8198] ppid=8186 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/8189/task/8198/stat : 8198 (java) R 8186 8189 5003 0 -1 4202560 88 0 0 0 1 1 0 0 20 0 22 0 4471500 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661275442008 139661322737395 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8199] ppid=8186 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/8189/task/8199/stat : 8199 (java) R 8186 8189 5003 0 -1 4202560 287 0 0 0 1 1 0 0 20 0 22 0 4471500 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661274389464 139661322737395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8203] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8203/stat : 8203 (java) S 8186 8189 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4471501 10060525568 58697 33554432000 1073741824 1073778376 140733305217232 139661143950600 214373020732 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8204] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8204/stat : 8204 (java) S 8186 8189 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 59209 33554432000 1073741824 1073778376 140733305217232 139661142898040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8205] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8205/stat : 8205 (java) S 8186 8189 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 59209 33554432000 1073741824 1073778376 140733305217232 139661141844872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8206] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8206/stat : 8206 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 59209 33554432000 1073741824 1073778376 140733305217232 139661140793616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8207] ppid=8186 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/8189/task/8207/stat : 8207 (java) S 8186 8189 5003 0 -1 4202560 11895 0 0 0 114 2 0 0 20 0 22 0 4471504 10060525568 59209 33554432000 1073741824 1073778376 140733305217232 139661139741496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8208] ppid=8186 vsize=9824732 CPUtime=0.81 cores=0,2,4,6

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

[pid=8189/tid=8199] ppid=8186 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/8189/task/8199/stat : 8199 (java) S 8186 8189 5003 0 -1 4202560 1552 0 0 0 391 43 0 0 20 0 22 0 4471500 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661274389288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8203] ppid=8186 vsize=9824732 CPUtime=9.01 cores=0,2,4,6
/proc/8189/task/8203/stat : 8203 (java) S 8186 8189 5003 0 -1 4202560 3804 0 0 0 895 6 0 0 20 0 22 0 4471501 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661143951720 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8204] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8204/stat : 8204 (java) S 8186 8189 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661142898040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8205] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8205/stat : 8205 (java) S 8186 8189 5003 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661141844872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8206] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8206/stat : 8206 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661140793616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8207] ppid=8186 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/8189/task/8207/stat : 8207 (java) S 8186 8189 5003 0 -1 4202560 11903 0 0 0 142 2 0 0 20 0 22 0 4471504 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661139741496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8208] ppid=8186 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/8189/task/8208/stat : 8208 (java) S 8186 8189 5003 0 -1 4202560 15958 0 0 0 189 3 0 0 20 0 22 0 4471504 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661138688952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8209] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8209/stat : 8209 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661137636088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8210] ppid=8186 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/8189/task/8210/stat : 8210 (java) S 8186 8189 5003 0 -1 4202560 51 0 0 0 9 15 0 0 20 0 22 0 4471504 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661136583752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8247] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8247/stat : 8247 (java) S 8186 8189 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4471935 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661132370728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8290] ppid=8186 vsize=9824732 CPUtime=690.63 cores=0,2,4,6
/proc/8189/task/8290/stat : 8290 (java) R 8186 8189 5003 0 -1 4202560 27 0 0 0 69052 11 0 0 20 0 22 0 4489104 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661134473856 139661146818969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8291] ppid=8186 vsize=9824732 CPUtime=690.6 cores=0,2,4,6
/proc/8189/task/8291/stat : 8291 (java) R 8186 8189 5003 0 -1 4202560 32 0 0 0 69050 10 0 0 20 0 22 0 4489104 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661135527424 139661146926639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8292] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8292/stat : 8292 (java) S 8186 8189 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4489104 10060525568 1187712 33554432000 1073741824 1073778376 140733305217232 139661133423400 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.45
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.701 s]
/proc/loadavg: 4.06 4.23 4.05 7/219 8414
/proc/meminfo: memFree=21835912/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9824732 CPUtime=1799.76 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 46121 0 1 0 179603 373 0 0 20 0 22 0 4471498 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2456183 1204595 2295 9 0 2446860 0
[pid=8189/tid=8190] ppid=8186 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) S 8186 8189 5003 0 -1 4202560 2445 0 1 0 36 3 0 0 20 0 22 0 4471499 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661320266616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8192] ppid=8186 vsize=9824732 CPUtime=3.96 cores=0,2,4,6
/proc/8189/task/8192/stat : 8192 (java) S 8186 8189 5003 0 -1 4202560 928 0 0 0 362 34 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661281757608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8193] ppid=8186 vsize=9824732 CPUtime=3.94 cores=0,2,4,6
/proc/8189/task/8193/stat : 8193 (java) S 8186 8189 5003 0 -1 4202560 944 0 0 0 359 35 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661280705064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8194] ppid=8186 vsize=9824732 CPUtime=3.81 cores=0,2,4,6
/proc/8189/task/8194/stat : 8194 (java) S 8186 8189 5003 0 -1 4202560 906 0 0 0 353 28 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661279652008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8195] ppid=8186 vsize=9824732 CPUtime=3.81 cores=0,2,4,6
/proc/8189/task/8195/stat : 8195 (java) S 8186 8189 5003 0 -1 4202560 1322 0 0 0 344 37 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661278599464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8196] ppid=8186 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/8189/task/8196/stat : 8196 (java) S 8186 8189 5003 0 -1 4202560 1318 0 0 0 375 42 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661277547432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8197] ppid=8186 vsize=9824732 CPUtime=4.03 cores=0,2,4,6
/proc/8189/task/8197/stat : 8197 (java) S 8186 8189 5003 0 -1 4202560 850 0 0 0 367 36 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661276494888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8198] ppid=8186 vsize=9824732 CPUtime=4.33 cores=0,2,4,6
/proc/8189/task/8198/stat : 8198 (java) S 8186 8189 5003 0 -1 4202560 1057 0 0 0 395 38 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661275441832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8199] ppid=8186 vsize=9824732 CPUtime=4.44 cores=0,2,4,6
/proc/8189/task/8199/stat : 8199 (java) S 8186 8189 5003 0 -1 4202560 1560 0 0 0 401 43 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661274389288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8203] ppid=8186 vsize=9824732 CPUtime=9.01 cores=0,2,4,6
/proc/8189/task/8203/stat : 8203 (java) S 8186 8189 5003 0 -1 4202560 3823 0 0 0 895 6 0 0 20 0 22 0 4471501 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661143951720 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8204] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8204/stat : 8204 (java) S 8186 8189 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661142898040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8205] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8205/stat : 8205 (java) S 8186 8189 5003 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661141844872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8206] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8206/stat : 8206 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661140793616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8207] ppid=8186 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/8189/task/8207/stat : 8207 (java) S 8186 8189 5003 0 -1 4202560 11903 0 0 0 142 2 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661139741496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8208] ppid=8186 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/8189/task/8208/stat : 8208 (java) S 8186 8189 5003 0 -1 4202560 15958 0 0 0 189 3 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661138688952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8209] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8209/stat : 8209 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661137636088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8210] ppid=8186 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/8189/task/8210/stat : 8210 (java) S 8186 8189 5003 0 -1 4202560 53 0 0 0 9 15 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661136583752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8247] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8247/stat : 8247 (java) S 8186 8189 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4471935 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661132370728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8290] ppid=8186 vsize=9824732 CPUtime=707.69 cores=0,2,4,6
/proc/8189/task/8290/stat : 8290 (java) R 8186 8189 5003 0 -1 4202560 28 0 0 0 70758 11 0 0 20 0 22 0 4489104 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661134473824 139661146911451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8291] ppid=8186 vsize=9824732 CPUtime=707.67 cores=0,2,4,6
/proc/8189/task/8291/stat : 8291 (java) R 8186 8189 5003 0 -1 4202560 33 0 0 0 70757 10 0 0 20 0 22 0 4489104 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661135527440 139661146824096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8292] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8292/stat : 8292 (java) S 8186 8189 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4489104 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661133423400 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.76
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 8189 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.701 s]
/proc/loadavg: 4.06 4.23 4.05 7/219 8414
/proc/meminfo: memFree=21835912/32872528 swapFree=1268996/1432516
[pid=8189] ppid=8186 vsize=9824732 CPUtime=1799.76 cores=0,2,4,6
/proc/8189/stat : 8189 (java) S 8186 8189 5003 0 -1 4202496 46121 0 1 0 179603 373 0 0 20 0 22 0 4471498 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 140733305208368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8189/statm: 2456183 1204595 2295 9 0 2446860 0
[pid=8189/tid=8190] ppid=8186 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8189/task/8190/stat : 8190 (java) S 8186 8189 5003 0 -1 4202560 2445 0 1 0 36 3 0 0 20 0 22 0 4471499 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661320266616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8192] ppid=8186 vsize=9824732 CPUtime=3.96 cores=0,2,4,6
/proc/8189/task/8192/stat : 8192 (java) S 8186 8189 5003 0 -1 4202560 928 0 0 0 362 34 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661281757608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8193] ppid=8186 vsize=9824732 CPUtime=3.94 cores=0,2,4,6
/proc/8189/task/8193/stat : 8193 (java) S 8186 8189 5003 0 -1 4202560 944 0 0 0 359 35 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661280705064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8194] ppid=8186 vsize=9824732 CPUtime=3.81 cores=0,2,4,6
/proc/8189/task/8194/stat : 8194 (java) S 8186 8189 5003 0 -1 4202560 906 0 0 0 353 28 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661279652008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8195] ppid=8186 vsize=9824732 CPUtime=3.81 cores=0,2,4,6
/proc/8189/task/8195/stat : 8195 (java) S 8186 8189 5003 0 -1 4202560 1322 0 0 0 344 37 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661278599464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8196] ppid=8186 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/8189/task/8196/stat : 8196 (java) S 8186 8189 5003 0 -1 4202560 1318 0 0 0 375 42 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661277547432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8197] ppid=8186 vsize=9824732 CPUtime=4.03 cores=0,2,4,6
/proc/8189/task/8197/stat : 8197 (java) S 8186 8189 5003 0 -1 4202560 850 0 0 0 367 36 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661276494888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8198] ppid=8186 vsize=9824732 CPUtime=4.33 cores=0,2,4,6
/proc/8189/task/8198/stat : 8198 (java) S 8186 8189 5003 0 -1 4202560 1057 0 0 0 395 38 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661275441832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8199] ppid=8186 vsize=9824732 CPUtime=4.44 cores=0,2,4,6
/proc/8189/task/8199/stat : 8199 (java) S 8186 8189 5003 0 -1 4202560 1560 0 0 0 401 43 0 0 20 0 22 0 4471500 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661274389288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8203] ppid=8186 vsize=9824732 CPUtime=9.01 cores=0,2,4,6
/proc/8189/task/8203/stat : 8203 (java) S 8186 8189 5003 0 -1 4202560 3823 0 0 0 895 6 0 0 20 0 22 0 4471501 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661143951720 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8204] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8204/stat : 8204 (java) S 8186 8189 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661142898040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8205] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8205/stat : 8205 (java) S 8186 8189 5003 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4471502 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661141844872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8206] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8206/stat : 8206 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661140793616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8207] ppid=8186 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/8189/task/8207/stat : 8207 (java) S 8186 8189 5003 0 -1 4202560 11903 0 0 0 142 2 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661139741496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8208] ppid=8186 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/8189/task/8208/stat : 8208 (java) S 8186 8189 5003 0 -1 4202560 15958 0 0 0 189 3 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661138688952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8209] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8209/stat : 8209 (java) S 8186 8189 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661137636088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8210] ppid=8186 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/8189/task/8210/stat : 8210 (java) S 8186 8189 5003 0 -1 4202560 53 0 0 0 9 15 0 0 20 0 22 0 4471504 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661136583752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8189/tid=8247] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8247/stat : 8247 (java) S 8186 8189 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4471935 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661132370728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8189/tid=8290] ppid=8186 vsize=9824732 CPUtime=707.69 cores=0,2,4,6
/proc/8189/task/8290/stat : 8290 (java) R 8186 8189 5003 0 -1 4202560 28 0 0 0 70758 11 0 0 20 0 22 0 4489104 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661134473824 139661146911451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8189/tid=8291] ppid=8186 vsize=9824732 CPUtime=707.67 cores=0,2,4,6
/proc/8189/task/8291/stat : 8291 (java) R 8186 8189 5003 0 -1 4202560 33 0 0 0 70757 10 0 0 20 0 22 0 4489104 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661135527440 139661146824096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8189/tid=8292] ppid=8186 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8189/task/8292/stat : 8292 (java) S 8186 8189 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4489104 10060525568 1204595 33554432000 1073741824 1073778376 140733305217232 139661133423400 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.76
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8189 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=408512
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=72380
# CPU time returned by wait4() is 1796.48
# while last known CPU time is 1799.76
#
# 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.289986
#  lost CPU user time (s): 0.330009
#  lost CPU system time (s): -0.04

Real time (s): 899.759
CPU time (s): 1800.05
CPU user time (s): 1796.36
CPU system time (s): 3.69
CPU usage (%): 200.059
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.41
system time used= 4.07238
maximum resident set size= 4818516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46165
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23729
involuntary context switches= 26073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.16237 second user time and 4.07738 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-29 23:19:24
IDJOB=4118665
IDBENCH=111519
IDSOLVER=2543
FILE ID=node130/4118665-1467235164
RUNJOBID= node130-1467233347-7541
PBS_JOBID= 19997578
Free space on /tmp= 71668 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament30.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118665-1467235164/watcher-4118665-1467235164 -o /tmp/evaluation-result-4118665-1467235164/solver-4118665-1467235164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7541 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118665-1467235164.opb

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

MD5SUM BENCH= 27a6077c0a24ef534f3f9188caec09de
RANDOM SEED=801592775

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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.813
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.813
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.813
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:        26459232 kB
Buffers:          138712 kB
Cached:          3753580 kB
SwapCached:            0 kB
Active:           810796 kB
Inactive:        3419772 kB
Active(anon):     340712 kB
Inactive(anon):        0 kB
Active(file):     470084 kB
Inactive(file):  3419772 kB
Unevictable:     1432516 kB
Mlocked:         1268996 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1696 kB
Writeback:             0 kB
AnonPages:       1770516 kB
Mapped:            22300 kB
Shmem:               204 kB
Slab:             617372 kB
SReclaimable:      60956 kB
SUnreclaim:       556416 kB
KernelStack:        1632 kB
PageTables:         7380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2359228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    430080 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= 71664 MiB
End job on node130 at 2016-06-29 23:34:24