Trace number 4118962

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)-238 1800.21 905.152

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-05.lin.opb
MD5SUM880a7980df3d2b06275e6dfd41d8e0a1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-250
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables507
Total number of constraints924
Number of constraints which are clauses462
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints462
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 507
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 10496
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 10496
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118962-1467238401.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.23/0.26	c ... done. Wall clock time 0.142s.
0.23/0.26	c declared #vars     507
0.23/0.26	c #constraints  924
0.23/0.27	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.27	c constraints type 
0.23/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 462
0.23/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 462
0.23/0.27	c 924 constraints processed.
0.23/0.27	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.27	c constraints type 
0.23/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 462
0.23/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPb => 462
0.23/0.27	c 924 constraints processed.
0.23/0.27	c objective function length is 507 literals
0.23/0.28	c And the winner is solver1
0.43/0.77	c SATISFIABLE
0.43/0.77	c OPTIMIZING...
0.43/0.77	c Got one! Elapsed wall clock time (in seconds):0.648
0.43/0.77	o -130
0.43/0.79	c And the winner is solver0
0.58/1.28	c Got one! Elapsed wall clock time (in seconds):1.158
0.58/1.28	o -132
1.44/1.59	c And the winner is solver0
1.93/1.79	c Got one! Elapsed wall clock time (in seconds):1.663
1.93/1.79	o -136
1.93/1.79	c And the winner is solver0
2.06/2.29	c Got one! Elapsed wall clock time (in seconds):2.166
2.06/2.29	o -138
2.06/2.29	c And the winner is solver0
2.07/2.79	c Got one! Elapsed wall clock time (in seconds):2.67
2.07/2.79	o -140
2.09/2.80	c And the winner is solver0
2.12/3.30	c Got one! Elapsed wall clock time (in seconds):3.172
2.12/3.30	o -142
2.16/3.35	c And the winner is solver0
2.37/3.80	c Got one! Elapsed wall clock time (in seconds):3.675
2.37/3.80	o -144
2.37/3.85	c And the winner is solver0
2.49/4.30	c Got one! Elapsed wall clock time (in seconds):4.177
2.49/4.30	o -146
2.49/4.30	c And the winner is solver0
2.50/4.80	c Got one! Elapsed wall clock time (in seconds):4.679
2.50/4.80	o -150
2.50/4.80	c And the winner is solver0
3.78/5.55	c Got one! Elapsed wall clock time (in seconds):5.431
3.78/5.55	o -152
4.13/5.70	c And the winner is solver0
4.15/6.06	c Got one! Elapsed wall clock time (in seconds):5.933
4.15/6.06	o -154
4.22/6.14	c And the winner is solver0
4.32/6.56	c Got one! Elapsed wall clock time (in seconds):6.435
4.32/6.56	o -156
4.64/6.76	c And the winner is solver0
4.77/7.06	c Got one! Elapsed wall clock time (in seconds):6.937
4.77/7.06	o -157
4.77/7.07	c And the winner is solver0
4.92/7.56	c Got one! Elapsed wall clock time (in seconds):7.439
4.92/7.56	o -158
4.98/7.65	c And the winner is solver0
5.11/8.06	c Got one! Elapsed wall clock time (in seconds):7.941
5.11/8.06	o -160
5.80/8.43	c cleaning 4925 clauses out of 9850 with flag 6140/9850
7.11/9.00	c And the winner is solver1
7.11/9.07	c Got one! Elapsed wall clock time (in seconds):8.943
7.11/9.07	o -162
7.19/9.16	c And the winner is solver0
7.34/9.57	c Got one! Elapsed wall clock time (in seconds):9.445
7.34/9.57	o -164
7.41/9.66	c And the winner is solver0
7.57/10.07	c Got one! Elapsed wall clock time (in seconds):9.947
7.57/10.07	o -166
7.62/10.17	c And the winner is solver0
7.80/10.57	c Got one! Elapsed wall clock time (in seconds):10.449
7.80/10.57	o -167
7.80/10.59	c And the winner is solver0
7.88/11.07	c Got one! Elapsed wall clock time (in seconds):10.951
7.88/11.07	o -170
9.94/11.93	c cleaning 9225 clauses out of 18458 with flag 12030/23383
10.33/12.02	c And the winner is solver1
10.33/12.08	c Got one! Elapsed wall clock time (in seconds):11.952
10.33/12.08	o -216
12.11/12.75	c cleaning 7510 clauses out of 15030 with flag 12594/29180
13.92/13.41	c cleaning 6755 clauses out of 13521 with flag 28524/35181
15.60/14.24	c cleaning 6883 clauses out of 13768 with flag 49396/42183
17.22/15.09	c cleaning 7435 clauses out of 14883 with flag 68702/50181
19.71/16.20	c cleaning 8220 clauses out of 16447 with flag 89533/59180
21.90/17.33	c cleaning 9114 clauses out of 18227 with flag 111948/69180
24.84/18.71	c cleaning 10055 clauses out of 20113 with flag 134793/80180
27.84/20.20	c cleaning 11026 clauses out of 22059 with flag 160735/92181
31.16/21.89	c And the winner is solver1
31.30/22.08	c Got one! Elapsed wall clock time (in seconds):21.956
31.30/22.08	o -219
32.94/22.92	c cleaning 14033 clauses out of 28073 with flag 13338/109221
34.34/23.68	c cleaning 10015 clauses out of 20039 with flag 28964/115220
35.94/24.49	c cleaning 8509 clauses out of 17025 with flag 45993/122221
37.77/25.39	c cleaning 8254 clauses out of 16515 with flag 64654/130220
39.97/26.48	c cleaning 8628 clauses out of 17263 with flag 86177/139222
42.47/27.68	c cleaning 9317 clauses out of 18634 with flag 113745/149221
45.26/29.08	c cleaning 10153 clauses out of 20316 with flag 144401/160220
48.46/30.60	c cleaning 11077 clauses out of 22164 with flag 175594/172221
52.21/32.45	c cleaning 12041 clauses out of 24087 with flag 210372/185221
56.01/34.35	c cleaning 13018 clauses out of 26045 with flag 246840/199220
56.81/34.79	c And the winner is solver0
57.03/35.11	c Got one! Elapsed wall clock time (in seconds):34.983
57.03/35.11	o -221
57.23/35.24	c cleaning 9048 clauses out of 18095 with flag 2460/204288
58.61/35.98	c cleaning 7524 clauses out of 15047 with flag 16192/210288
60.21/36.79	c cleaning 7259 clauses out of 14522 with flag 31600/217287
62.21/37.75	c cleaning 7631 clauses out of 15263 with flag 49465/225287
63.41/38.31	c And the winner is solver1
63.43/38.61	c Got one! Elapsed wall clock time (in seconds):38.485
63.43/38.61	o -225
63.60/38.75	c cleaning 6729 clauses out of 13464 with flag 2336/231119
65.20/39.50	c cleaning 6361 clauses out of 12734 with flag 17684/237118
67.10/40.42	c cleaning 6680 clauses out of 13372 with flag 35202/244117
68.93/41.36	c cleaning 7346 clauses out of 14692 with flag 55111/252117
71.13/42.46	c cleaning 8171 clauses out of 16347 with flag 77697/261118
73.73/43.79	c cleaning 9084 clauses out of 18175 with flag 102559/271117
76.74/45.27	c cleaning 10041 clauses out of 20091 with flag 130129/282117
80.13/46.96	c cleaning 11020 clauses out of 22051 with flag 159639/294118
84.04/48.84	c cleaning 12008 clauses out of 24030 with flag 190298/307117
88.44/51.04	c cleaning 13007 clauses out of 26023 with flag 229276/321118
91.83/52.70	c And the winner is solver1
91.83/53.11	c Got one! Elapsed wall clock time (in seconds):52.99
91.83/53.11	o -228
93.60/54.07	c cleaning 14777 clauses out of 29553 with flag 13393/337655
95.81/55.04	c cleaning 10388 clauses out of 20776 with flag 29655/343655
97.79/56.01	c cleaning 8694 clauses out of 17388 with flag 48694/350655
99.89/57.07	c cleaning 8341 clauses out of 16694 with flag 71210/358655
102.29/58.24	c cleaning 8675 clauses out of 17354 with flag 94514/367656
104.91/59.55	c cleaning 9340 clauses out of 18679 with flag 122582/377656
107.89/61.02	c cleaning 10166 clauses out of 20339 with flag 150564/388656
111.30/62.74	c cleaning 11081 clauses out of 22172 with flag 178851/400655
115.81/65.28	c cleaning 12041 clauses out of 24091 with flag 209460/413655
119.63/67.16	c cleaning 13019 clauses out of 26050 with flag 242688/427655
124.03/69.33	c cleaning 14017 clauses out of 28033 with flag 281177/442657
128.81/71.78	c cleaning 15005 clauses out of 30014 with flag 328950/458655
134.86/74.74	c cleaning 16001 clauses out of 32010 with flag 380819/475656
140.86/77.77	c cleaning 17005 clauses out of 34010 with flag 425987/493657
147.66/81.12	c cleaning 17998 clauses out of 36004 with flag 474614/512656
155.35/84.93	c cleaning 18999 clauses out of 38006 with flag 531260/532656
162.75/88.62	c cleaning 20001 clauses out of 40007 with flag 581216/553656
171.40/92.97	c cleaning 20998 clauses out of 42005 with flag 632880/575655
179.79/97.14	c cleaning 22001 clauses out of 44009 with flag 685745/598657
189.68/102.05	c cleaning 23000 clauses out of 46007 with flag 741989/622656
199.68/107.09	c cleaning 24002 clauses out of 48007 with flag 803626/647656
203.21/108.79	c And the winner is solver0
203.37/109.20	c Got one! Elapsed wall clock time (in seconds):109.079
203.37/109.20	o -231
205.44/110.25	c cleaning 19808 clauses out of 39616 with flag 10600/663267
207.45/111.22	c cleaning 12904 clauses out of 25808 with flag 23760/669267
209.45/112.24	c cleaning 9950 clauses out of 19904 with flag 39242/676267
211.65/113.33	c cleaning 8974 clauses out of 17955 with flag 55806/684268
214.05/114.52	c cleaning 8986 clauses out of 17982 with flag 74478/693269
216.64/115.80	c cleaning 9495 clauses out of 18994 with flag 95710/703267
219.24/117.19	c cleaning 10247 clauses out of 20499 with flag 118854/714267
222.92/118.98	c cleaning 11123 clauses out of 22253 with flag 144115/726268
226.91/120.94	c cleaning 12060 clauses out of 24129 with flag 171335/739267
231.53/123.27	c cleaning 13035 clauses out of 26069 with flag 200432/753267
236.51/125.76	c cleaning 14013 clauses out of 28034 with flag 231706/768267
241.79/128.36	c cleaning 15005 clauses out of 30021 with flag 265040/784267
247.39/131.18	c cleaning 16008 clauses out of 32017 with flag 300294/801268
253.99/134.47	c cleaning 17002 clauses out of 34008 with flag 337342/819267
261.10/137.91	c cleaning 17998 clauses out of 36006 with flag 377754/838267
268.50/141.65	c cleaning 19003 clauses out of 38008 with flag 419573/858267
277.49/146.48	c cleaning 19997 clauses out of 40005 with flag 463414/879267
286.67/151.04	c cleaning 21002 clauses out of 42008 with flag 509390/901267
296.92/156.13	c cleaning 21999 clauses out of 44006 with flag 557893/924267
307.32/161.36	c cleaning 23001 clauses out of 46007 with flag 607300/948267
318.77/167.06	c cleaning 24004 clauses out of 48007 with flag 659666/973268
330.97/173.11	c cleaning 25000 clauses out of 50002 with flag 713006/999267
343.50/179.32	c cleaning 26000 clauses out of 52003 with flag 770216/1026268
356.19/185.64	c cleaning 27001 clauses out of 54003 with flag 830111/1054268
370.01/192.50	c cleaning 27996 clauses out of 56002 with flag 890700/1083268
386.11/200.59	c cleaning 29003 clauses out of 58005 with flag 951024/1113267
402.00/208.40	c cleaning 29996 clauses out of 60002 with flag 1016253/1144267
419.71/217.29	c cleaning 31000 clauses out of 62006 with flag 1082839/1176267
438.64/226.62	c cleaning 31994 clauses out of 64006 with flag 1151105/1209267
456.45/235.53	c cleaning 32999 clauses out of 66012 with flag 1221559/1243267
475.14/244.86	c cleaning 34004 clauses out of 68013 with flag 1293787/1278267
496.06/255.29	c cleaning 35003 clauses out of 70009 with flag 1368386/1314267
519.41/266.83	c cleaning 35995 clauses out of 72006 with flag 1445949/1351267
542.15/278.14	c cleaning 37003 clauses out of 74011 with flag 1525969/1389267
566.53/290.12	c cleaning 38001 clauses out of 76009 with flag 1606993/1428268
590.99/302.22	c cleaning 39002 clauses out of 78007 with flag 1690252/1468267
616.62/314.94	c cleaning 39993 clauses out of 80006 with flag 1776473/1509268
644.05/328.53	c cleaning 41005 clauses out of 82013 with flag 1863401/1551268
672.44/342.56	c cleaning 41996 clauses out of 84007 with flag 1951488/1594267
702.42/357.43	c cleaning 43002 clauses out of 86011 with flag 2040410/1638267
735.54/374.44	c cleaning 43997 clauses out of 88010 with flag 2135766/1683268
767.70/390.46	c cleaning 45005 clauses out of 90013 with flag 2232785/1729268
801.38/407.29	c cleaning 46000 clauses out of 92007 with flag 2330306/1776267
834.55/423.75	c cleaning 46997 clauses out of 94008 with flag 2431110/1824268
870.66/441.74	c cleaning 48004 clauses out of 96012 with flag 2529854/1873269
908.30/460.43	c cleaning 48996 clauses out of 98006 with flag 2631998/1923267
950.15/481.20	c cleaning 49999 clauses out of 100011 with flag 2737344/1974268
987.11/499.53	c cleaning 51000 clauses out of 102011 with flag 2846613/2026267
1026.07/518.83	c cleaning 52002 clauses out of 104013 with flag 2958097/2079269
1040.91/526.22	c cleaning 0 clauses out of 8176 with flag 0/8186
1066.81/538.84	c cleaning 53003 clauses out of 106010 with flag 3068631/2133268
1108.79/559.67	c cleaning 53998 clauses out of 108006 with flag 3181190/2188267
1152.53/581.39	c cleaning 54998 clauses out of 110009 with flag 3295235/2244268
1196.82/603.34	c cleaning 56006 clauses out of 112011 with flag 3412369/2301268
1248.28/628.91	c cleaning 57001 clauses out of 114004 with flag 3531413/2359267
1297.61/653.41	c cleaning 57997 clauses out of 116003 with flag 3653642/2418267
1350.25/679.52	c cleaning 58999 clauses out of 118006 with flag 3776361/2478267
1400.54/704.60	c cleaning 59999 clauses out of 120008 with flag 3904278/2539268
1455.44/731.82	c cleaning 60997 clauses out of 122008 with flag 4034752/2601267
1516.87/762.37	c cleaning 62002 clauses out of 124012 with flag 4166770/2664268
1547.58/777.70	c And the winner is solver1
1547.58/778.04	c Got one! Elapsed wall clock time (in seconds):777.919
1547.58/778.04	o -235
1552.81/780.60	c cleaning 53072 clauses out of 106155 with flag 11575/2708413
1555.62/782.06	c cleaning 29534 clauses out of 59082 with flag 25348/2714412
1558.02/783.26	c cleaning 18267 clauses out of 36549 with flag 42290/2721413
1560.22/784.39	c cleaning 13137 clauses out of 26282 with flag 61928/2729413
1562.81/785.61	c cleaning 11071 clauses out of 22146 with flag 84049/2738414
1565.21/786.81	c cleaning 10531 clauses out of 21073 with flag 106826/2748412
1567.81/788.18	c cleaning 10767 clauses out of 21544 with flag 132446/2759414
1571.34/789.86	c cleaning 11383 clauses out of 22775 with flag 160761/2771412
1575.13/791.74	c cleaning 12196 clauses out of 24392 with flag 194530/2784412
1579.13/793.79	c cleaning 13097 clauses out of 26196 with flag 230341/2798412
1583.73/796.02	c cleaning 14050 clauses out of 28100 with flag 268609/2813413
1588.53/798.50	c cleaning 15020 clauses out of 30049 with flag 304789/2829412
1594.46/801.34	c cleaning 16009 clauses out of 32029 with flag 342955/2846412
1600.66/804.48	c cleaning 17005 clauses out of 34022 with flag 384860/2864414
1607.46/807.87	c cleaning 18001 clauses out of 36015 with flag 429450/2883412
1615.83/811.94	c cleaning 18995 clauses out of 38014 with flag 478125/2903412
1624.02/816.09	c cleaning 20000 clauses out of 40019 with flag 530027/2924412
1633.43/820.78	c cleaning 21007 clauses out of 42020 with flag 583592/2946413
1643.60/825.73	c cleaning 22004 clauses out of 44013 with flag 638628/2969413
1653.99/830.99	c cleaning 23000 clauses out of 46008 with flag 698586/2993412
1665.56/836.67	c cleaning 24002 clauses out of 48009 with flag 761267/3018413
1677.36/842.55	c cleaning 24999 clauses out of 50008 with flag 825849/3044414
1690.55/849.06	c cleaning 26003 clauses out of 52007 with flag 892620/3071412
1704.36/855.94	c cleaning 26999 clauses out of 54005 with flag 962521/3099413
1721.35/865.37	c cleaning 27999 clauses out of 56006 with flag 1036560/3128413
1736.04/872.68	c cleaning 28999 clauses out of 58006 with flag 1108493/3158412
1751.63/880.43	c cleaning 29998 clauses out of 60007 with flag 1180226/3189412
1766.54/887.83	c cleaning 31001 clauses out of 62011 with flag 1252561/3221414
1783.80/896.43	c cleaning 32002 clauses out of 64009 with flag 1326945/3254413
1791.00/900.01	c And the winner is solver0
1791.81/900.97	c Got one! Elapsed wall clock time (in seconds):900.845
1791.81/900.97	o -238
1794.20/902.26	c cleaning 27969 clauses out of 55938 with flag 11720/3278344
1796.40/903.32	c cleaning 16982 clauses out of 33969 with flag 25325/3284344
1798.49/904.31	c cleaning 11991 clauses out of 23987 with flag 40871/3291344
1800.08/905.10	c >>>>>>>>>> Solver number 0 (21 answers) <<<<<<<<<<<<<<<<<<
1800.08/905.10	c starts		: 23057
1800.08/905.10	c conflicts		: 3298339
1800.08/905.10	c decisions		: 5604234
1800.08/905.10	c propagations		: 65859777
1800.08/905.10	c inspects		: 10539447081
1800.08/905.10	c shortcuts		: 0
1800.08/905.10	c learnt literals	: 0
1800.08/905.10	c learnt binary clauses	: 284
1800.08/905.10	c learnt ternary clauses	: 857
1800.08/905.10	c learnt constraints	: 3298339
1800.08/905.10	c ignored constraints	: 0
1800.08/905.10	c root simplifications	: 0
1800.08/905.10	c removed literals (reason simplification)	: 22921593
1800.08/905.10	c reason swapping (by a shorter reason)	: 0
1800.08/905.10	c Calls to reduceDB	: 146
1800.08/905.10	c Number of update (reduction) of LBD	: 68517
1800.08/905.10	c Imported unit clauses	: 0
1800.08/905.10	c number of reductions to clauses (during analyze)	: 0
1800.08/905.10	c number of learned constraints concerned by reduction	: 0
1800.08/905.10	c number of learning phase by resolution	: 0
1800.08/905.10	c number of learning phase by cutting planes	: 0
1800.08/905.10	c speed (assignments/second)	: 518344.1971383148
1800.08/905.10	c non guided choices	0
1800.08/905.12	c learnt constraints type 
1800.08/905.12	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 284
1800.08/905.12	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18707
1800.08/905.12	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.08/905.12	c starts		: 80
1800.08/905.12	c conflicts		: 11043
1800.08/905.12	c decisions		: 14403
1800.08/905.12	c propagations		: 362229
1800.08/905.12	c inspects		: 872920562
1800.08/905.12	c shortcuts		: 0
1800.08/905.12	c learnt literals	: 0
1800.08/905.12	c learnt binary clauses	: 0
1800.08/905.12	c learnt ternary clauses	: 15
1800.08/905.12	c learnt constraints	: 11031
1800.08/905.12	c ignored constraints	: 0
1800.08/905.12	c root simplifications	: 0
1800.08/905.12	c removed literals (reason simplification)	: 0
1800.08/905.12	c reason swapping (by a shorter reason)	: 0
1800.08/905.12	c Calls to reduceDB	: 1
1800.08/905.12	c Number of update (reduction) of LBD	: 0
1800.08/905.12	c Imported unit clauses	: 0
1800.08/905.12	c number of reductions to clauses (during analyze)	: 0
1800.08/905.12	c number of learned constraints concerned by reduction	: 0
1800.08/905.12	c number of learning phase by resolution	: 0
1800.08/905.12	c number of learning phase by cutting planes	: 0
1800.08/905.12	c speed (assignments/second)	: 87452.6798647996
1800.08/905.12	c non guided choices	0
1800.08/905.12	c learnt constraints type 
1800.08/905.12	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.08/905.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11024
1800.08/905.12	s SATISFIABLE
1800.08/905.12	c Found 28 solution(s)
1800.08/905.12	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 
1800.08/905.12	c objective function=-238
1800.08/905.12	c Total wall clock time (in seconds): 905.0

Verifier Data 

OK	-238

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

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

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


[startup+0 s]
/proc/loadavg: 4.22 4.24 4.14 5/197 12617
/proc/meminfo: memFree=23975944/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12617/stat : 12617 (java) D 12614 12617 6338 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 4794930 9515008 185 33554432000 1073741824 1073778376 140733387243040 140733387234264 229355711927 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/12617/statm: 2323 185 142 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 4.22 4.24 4.14 5/197 12617
/proc/meminfo: memFree=23975944/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 4399 0 1 0 8 1 0 0 20 0 18 0 4794930 9787879424 6025 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 4.22 4.24 4.14 5/197 12617
/proc/meminfo: memFree=23975944/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 4666 0 1 0 22 1 0 0 20 0 18 0 4794930 9787879424 7263 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2389619 7263 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300293 s]
/proc/loadavg: 4.22 4.24 4.14 5/197 12617
/proc/meminfo: memFree=23975944/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 6541 0 1 0 41 2 0 0 20 0 19 0 4794930 10060525568 10027 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2456183 10027 2248 9 0 2446860 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824732

[startup+0.700222 s]
/proc/loadavg: 4.22 4.24 4.14 5/197 12617
/proc/meminfo: memFree=23975944/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 6541 0 1 0 41 2 0 0 20 0 19 0 4794930 10060525568 10027 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2456183 10027 2248 9 0 2446860 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824732

[startup+1.50077 s]
/proc/loadavg: 4.12 4.22 4.13 4/216 12642
/proc/meminfo: memFree=23938256/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 15045 0 1 0 137 7 0 0 20 0 22 0 4794930 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2456183 19125 2252 9 0 2446860 0
[pid=12617/tid=12619] ppid=12614 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/12617/task/12619/stat : 12619 (java) S 12614 12617 6338 0 -1 4202560 2411 0 1 0 24 1 0 0 20 0 22 0 4794931 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507930456952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12620] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12620/stat : 12620 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794933 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507919518632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12621] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12621/stat : 12621 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794933 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507918466088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12622] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12622/stat : 12622 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794933 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507917413032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12623] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12623/stat : 12623 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794933 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507916360488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12624] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12624/stat : 12624 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794933 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507915307432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12625] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12625/stat : 12625 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794933 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507914254888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12626] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12626/stat : 12626 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794933 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507913201832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12627] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12627/stat : 12627 (java) S 12614 12617 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4794933 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507912149288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12628] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12628/stat : 12628 (java) S 12614 12617 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507754441576 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12629] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12629/stat : 12629 (java) S 12614 12617 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507753387896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12630] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12630/stat : 12630 (java) S 12614 12617 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507752334728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12631] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12631/stat : 12631 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507751283472 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12632] ppid=12614 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/12617/task/12632/stat : 12632 (java) R 12614 12617 6338 0 -1 4202560 5848 0 0 0 31 1 0 0 20 0 22 0 4794937 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507750207480 140507934570905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12633] ppid=12614 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/12617/task/12633/stat : 12633 (java) R 12614 12617 6338 0 -1 4202560 5436 0 0 0 31 1 0 0 20 0 22 0 4794937 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507749165312 140507932546048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12634] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12634/stat : 12634 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507748124920 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12635] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12635/stat : 12635 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507747072584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12642] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12642/stat : 12642 (java) S 12614 12617 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4795009 10060525568 19125 33554432000 1073741824 1073778376 140733993078544 140507742860072 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9824732

[startup+3.1008 s]
/proc/loadavg: 4.12 4.22 4.13 3/216 12648
/proc/meminfo: memFree=23903144/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 16589 0 1 0 201 11 0 0 20 0 19 0 4794930 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2456183 22590 2257 9 0 2446860 0
[pid=12617/tid=12619] ppid=12614 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/12617/task/12619/stat : 12619 (java) S 12614 12617 6338 0 -1 4202560 2413 0 1 0 24 2 0 0 20 0 19 0 4794931 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507930456952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12620] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12620/stat : 12620 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507919518632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12621] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12621/stat : 12621 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507918466088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12622] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12622/stat : 12622 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507917413032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12623] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12623/stat : 12623 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507916360488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12624] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12624/stat : 12624 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507915307432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12625] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12625/stat : 12625 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507914254888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12626] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12626/stat : 12626 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507913201832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12627] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12627/stat : 12627 (java) S 12614 12617 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507912149288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12628] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12628/stat : 12628 (java) S 12614 12617 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4794934 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507754441576 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12629] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12629/stat : 12629 (java) S 12614 12617 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4794934 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507753387896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12630] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12630/stat : 12630 (java) S 12614 12617 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4794934 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507752334728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12631] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12631/stat : 12631 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794937 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507751283472 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12632] ppid=12614 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/12617/task/12632/stat : 12632 (java) S 12614 12617 6338 0 -1 4202560 7335 0 0 0 58 2 0 0 20 0 19 0 4794937 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507750230328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12633] ppid=12614 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/12617/task/12633/stat : 12633 (java) S 12614 12617 6338 0 -1 4202560 5465 0 0 0 47 2 0 0 20 0 19 0 4794937 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507749177784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12634] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12634/stat : 12634 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794937 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507748124920 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12635] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12635/stat : 12635 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794937 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507747072584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12642] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12642/stat : 12642 (java) S 12614 12617 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4795009 10060525568 22590 33554432000 1073741824 1073778376 140733993078544 140507742860072 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=25 pid=1817 uid=0 cmd=

[startup+6.30088 s]
/proc/loadavg: 4.11 4.21 4.13 4/218 12666
/proc/meminfo: memFree=23793628/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 18570 0 1 0 411 21 0 0 20 0 19 0 4794930 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2456183 47253 2281 9 0 2446860 0
[pid=12617/tid=12619] ppid=12614 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/12617/task/12619/stat : 12619 (java) S 12614 12617 6338 0 -1 4202560 2415 0 1 0 25 2 0 0 20 0 19 0 4794931 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507930456952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12620] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12620/stat : 12620 (java) S 12614 12617 6338 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507919518632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12621] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12621/stat : 12621 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507918466088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12622] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12622/stat : 12622 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507917413032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12623] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12623/stat : 12623 (java) S 12614 12617 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507916360488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12624] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12624/stat : 12624 (java) S 12614 12617 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507915307432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12625] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12625/stat : 12625 (java) S 12614 12617 6338 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507914254888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12626] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12626/stat : 12626 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507913201832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12627] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12627/stat : 12627 (java) S 12614 12617 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4794933 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507912149288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12628] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12628/stat : 12628 (java) S 12614 12617 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4794934 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507754441576 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12629] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12629/stat : 12629 (java) S 12614 12617 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4794934 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507753387896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12630] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12630/stat : 12630 (java) S 12614 12617 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4794934 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507752334728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12631] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12631/stat : 12631 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794937 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507751283472 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12632] ppid=12614 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/12617/task/12632/stat : 12632 (java) S 12614 12617 6338 0 -1 4202560 7365 0 0 0 95 2 0 0 20 0 19 0 4794937 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507750230328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12633] ppid=12614 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/12617/task/12633/stat : 12633 (java) S 12614 12617 6338 0 -1 4202560 7285 0 0 0 85 2 0 0 20 0 19 0 4794937 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507749177784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12634] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12634/stat : 12634 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4794937 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507748124920 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12635] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12635/stat : 12635 (java) S 12614 12617 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4794937 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507747072584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12642] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12642/stat : 12642 (java) S 12614 12617 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4795009 10060525568 47253 33554432000 1073741824 1073778376 140733993078544 140507742860072 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.32

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

/proc/12617/statm: 2456183 927043 2297 9 0 2446860 0
[pid=12617/tid=12619] ppid=12614 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12617/task/12619/stat : 12619 (java) S 12614 12617 6338 0 -1 4202560 2424 0 1 0 31 4 0 0 20 0 22 0 4794931 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507930456952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12620] ppid=12614 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/12617/task/12620/stat : 12620 (java) S 12614 12617 6338 0 -1 4202560 626 0 0 0 312 16 0 0 20 0 22 0 4794933 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507919518632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12621] ppid=12614 vsize=9824732 CPUtime=3.45 cores=1,3,5,7
/proc/12617/task/12621/stat : 12621 (java) S 12614 12617 6338 0 -1 4202560 564 0 0 0 328 17 0 0 20 0 22 0 4794933 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507918466088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12622] ppid=12614 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/12617/task/12622/stat : 12622 (java) S 12614 12617 6338 0 -1 4202560 619 0 0 0 270 13 0 0 20 0 22 0 4794933 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507917413032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12623] ppid=12614 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/12617/task/12623/stat : 12623 (java) S 12614 12617 6338 0 -1 4202560 623 0 0 0 309 20 0 0 20 0 22 0 4794933 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507916360488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12624] ppid=12614 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/12617/task/12624/stat : 12624 (java) S 12614 12617 6338 0 -1 4202560 634 0 0 0 298 14 0 0 20 0 22 0 4794933 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507915307432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12625] ppid=12614 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/12617/task/12625/stat : 12625 (java) S 12614 12617 6338 0 -1 4202560 1012 0 0 0 309 17 0 0 20 0 22 0 4794933 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507914254888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12626] ppid=12614 vsize=9824732 CPUtime=3.32 cores=1,3,5,7
/proc/12617/task/12626/stat : 12626 (java) S 12614 12617 6338 0 -1 4202560 763 0 0 0 316 16 0 0 20 0 22 0 4794933 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507913201832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12627] ppid=12614 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/12617/task/12627/stat : 12627 (java) S 12614 12617 6338 0 -1 4202560 691 0 0 0 310 19 0 0 20 0 22 0 4794933 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507912149288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12628] ppid=12614 vsize=9824732 CPUtime=4.57 cores=1,3,5,7
/proc/12617/task/12628/stat : 12628 (java) S 12614 12617 6338 0 -1 4202560 2263 0 0 0 447 10 0 0 20 0 22 0 4794934 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507754441576 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12629] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12629/stat : 12629 (java) S 12614 12617 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507753387896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12630] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12630/stat : 12630 (java) S 12614 12617 6338 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507752334728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12631] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12631/stat : 12631 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507751283472 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12632] ppid=12614 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/12617/task/12632/stat : 12632 (java) S 12614 12617 6338 0 -1 4202560 10782 0 0 0 237 2 0 0 20 0 22 0 4794937 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507750230328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12633] ppid=12614 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/12617/task/12633/stat : 12633 (java) S 12614 12617 6338 0 -1 4202560 9707 0 0 0 182 2 0 0 20 0 22 0 4794937 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507749177784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12634] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12634/stat : 12634 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507748124920 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12635] ppid=12614 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12617/task/12635/stat : 12635 (java) S 12614 12617 6338 0 -1 4202560 54 0 0 0 12 23 0 0 20 0 22 0 4794937 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507747072584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12845] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12845/stat : 12845 (java) S 12614 12617 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4872735 10060525568 927043 33554432000 1073741824 1073778376 140733993078544 140507742860712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.33
Current children cumulated vsize (KiB) 9824732
#
############




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+905.101 s]
/proc/loadavg: 4.09 4.23 4.18 5/219 12851
/proc/meminfo: memFree=21452580/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9824732 CPUtime=1796.6 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 33736 0 1 0 179386 274 0 0 20 0 22 0 4794930 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2456183 927045 2297 9 0 2446860 0
[pid=12617/tid=12619] ppid=12614 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12617/task/12619/stat : 12619 (java) S 12614 12617 6338 0 -1 4202560 2424 0 1 0 31 4 0 0 20 0 22 0 4794931 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507930456952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12620] ppid=12614 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/12617/task/12620/stat : 12620 (java) S 12614 12617 6338 0 -1 4202560 626 0 0 0 313 16 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507919518632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12621] ppid=12614 vsize=9824732 CPUtime=3.46 cores=1,3,5,7
/proc/12617/task/12621/stat : 12621 (java) S 12614 12617 6338 0 -1 4202560 564 0 0 0 329 17 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507918466088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12622] ppid=12614 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/12617/task/12622/stat : 12622 (java) S 12614 12617 6338 0 -1 4202560 619 0 0 0 271 13 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507917413032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12623] ppid=12614 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/12617/task/12623/stat : 12623 (java) S 12614 12617 6338 0 -1 4202560 624 0 0 0 314 20 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507916360488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12624] ppid=12614 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/12617/task/12624/stat : 12624 (java) S 12614 12617 6338 0 -1 4202560 634 0 0 0 300 14 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507915307432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12625] ppid=12614 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/12617/task/12625/stat : 12625 (java) S 12614 12617 6338 0 -1 4202560 1012 0 0 0 313 17 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507914254888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12626] ppid=12614 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/12617/task/12626/stat : 12626 (java) S 12614 12617 6338 0 -1 4202560 763 0 0 0 318 16 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507913201832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12627] ppid=12614 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/12617/task/12627/stat : 12627 (java) S 12614 12617 6338 0 -1 4202560 691 0 0 0 311 19 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507912149288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12628] ppid=12614 vsize=9824732 CPUtime=4.57 cores=1,3,5,7
/proc/12617/task/12628/stat : 12628 (java) S 12614 12617 6338 0 -1 4202560 2263 0 0 0 447 10 0 0 20 0 22 0 4794934 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507754441576 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12629] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12629/stat : 12629 (java) S 12614 12617 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507753387896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12630] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12630/stat : 12630 (java) S 12614 12617 6338 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507752334728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12631] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12631/stat : 12631 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507751283472 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12632] ppid=12614 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/12617/task/12632/stat : 12632 (java) S 12614 12617 6338 0 -1 4202560 10782 0 0 0 237 2 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507750230328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12633] ppid=12614 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/12617/task/12633/stat : 12633 (java) S 12614 12617 6338 0 -1 4202560 9707 0 0 0 182 2 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507749177784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12634] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12634/stat : 12634 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507748124920 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12635] ppid=12614 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12617/task/12635/stat : 12635 (java) S 12614 12617 6338 0 -1 4202560 54 0 0 0 12 23 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507747072584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12845] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12845/stat : 12845 (java) S 12614 12617 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4872735 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507742860712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12849] ppid=12614 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/12617/task/12849/stat : 12849 (java) R 12614 12617 6338 0 -1 4202560 3 0 0 0 405 0 0 0 20 0 22 0 4885028 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507744956256 140507792294511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12850] ppid=12614 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/12617/task/12850/stat : 12850 (java) R 12614 12617 6338 0 -1 4202560 4 0 0 0 405 0 0 0 20 0 22 0 4885028 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507746016752 140507792298072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12851] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12851/stat : 12851 (java) S 12614 12617 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4885028 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507743912744 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.6
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 12617 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+905.101 s]
/proc/loadavg: 4.09 4.23 4.18 5/219 12851
/proc/meminfo: memFree=21452580/32872528 swapFree=1370068/1517236
[pid=12617] ppid=12614 vsize=9824732 CPUtime=1796.6 cores=1,3,5,7
/proc/12617/stat : 12617 (java) S 12614 12617 6338 0 -1 4202496 33736 0 1 0 179386 274 0 0 20 0 22 0 4794930 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140733993069680 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12617/statm: 2456183 927045 2297 9 0 2446860 0
[pid=12617/tid=12619] ppid=12614 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12617/task/12619/stat : 12619 (java) S 12614 12617 6338 0 -1 4202560 2424 0 1 0 31 4 0 0 20 0 22 0 4794931 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507930456952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12620] ppid=12614 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/12617/task/12620/stat : 12620 (java) S 12614 12617 6338 0 -1 4202560 626 0 0 0 313 16 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507919518632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12621] ppid=12614 vsize=9824732 CPUtime=3.46 cores=1,3,5,7
/proc/12617/task/12621/stat : 12621 (java) S 12614 12617 6338 0 -1 4202560 564 0 0 0 329 17 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507918466088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12622] ppid=12614 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/12617/task/12622/stat : 12622 (java) S 12614 12617 6338 0 -1 4202560 619 0 0 0 271 13 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507917413032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12623] ppid=12614 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/12617/task/12623/stat : 12623 (java) S 12614 12617 6338 0 -1 4202560 624 0 0 0 314 20 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507916360488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12624] ppid=12614 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/12617/task/12624/stat : 12624 (java) S 12614 12617 6338 0 -1 4202560 634 0 0 0 300 14 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507915307432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12625] ppid=12614 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/12617/task/12625/stat : 12625 (java) S 12614 12617 6338 0 -1 4202560 1012 0 0 0 313 17 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507914254888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12626] ppid=12614 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/12617/task/12626/stat : 12626 (java) S 12614 12617 6338 0 -1 4202560 763 0 0 0 318 16 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507913201832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12627] ppid=12614 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/12617/task/12627/stat : 12627 (java) S 12614 12617 6338 0 -1 4202560 691 0 0 0 311 19 0 0 20 0 22 0 4794933 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507912149288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12628] ppid=12614 vsize=9824732 CPUtime=4.57 cores=1,3,5,7
/proc/12617/task/12628/stat : 12628 (java) S 12614 12617 6338 0 -1 4202560 2263 0 0 0 447 10 0 0 20 0 22 0 4794934 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507754441576 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12629] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12629/stat : 12629 (java) S 12614 12617 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507753387896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12630] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12630/stat : 12630 (java) S 12614 12617 6338 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 4794934 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507752334728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12631] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12631/stat : 12631 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507751283472 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12632] ppid=12614 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/12617/task/12632/stat : 12632 (java) S 12614 12617 6338 0 -1 4202560 10782 0 0 0 237 2 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507750230328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12633] ppid=12614 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/12617/task/12633/stat : 12633 (java) S 12614 12617 6338 0 -1 4202560 9707 0 0 0 182 2 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507749177784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12634] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12634/stat : 12634 (java) S 12614 12617 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507748124920 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12635] ppid=12614 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12617/task/12635/stat : 12635 (java) S 12614 12617 6338 0 -1 4202560 54 0 0 0 12 23 0 0 20 0 22 0 4794937 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507747072584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12617/tid=12845] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12845/stat : 12845 (java) S 12614 12617 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4872735 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507742860712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12617/tid=12849] ppid=12614 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/12617/task/12849/stat : 12849 (java) R 12614 12617 6338 0 -1 4202560 3 0 0 0 405 0 0 0 20 0 22 0 4885028 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507744956256 140507792294511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12617/tid=12850] ppid=12614 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/12617/task/12850/stat : 12850 (java) R 12614 12617 6338 0 -1 4202560 4 0 0 0 405 0 0 0 20 0 22 0 4885028 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507746016752 140507792298072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12617/tid=12851] ppid=12614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12617/task/12851/stat : 12851 (java) S 12614 12617 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4885028 10060525568 927045 33554432000 1073741824 1073778376 140733993078544 140507743912744 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 9824732

Child status: 143

# 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): 3.47984
#  lost CPU user time (s): 3.74995
#  lost CPU system time (s): -0.27

Real time (s): 905.152
CPU time (s): 1800.21
CPU user time (s): 1797.56
CPU system time (s): 2.65056
CPU usage (%): 198.885
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.81
system time used= 2.92056
maximum resident set size= 3708332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33786
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24613
involuntary context switches= 27660

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86211 second user time and 7.45587 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-30 00:13:21
IDJOB=4118962
IDBENCH=111552
IDSOLVER=2543
FILE ID=node129/4118962-1467238401
RUNJOBID= node129-1467233815-9716
PBS_JOBID= 19997579
Free space on /tmp= 71600 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-autocorr_bern45-05.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118962-1467238401/watcher-4118962-1467238401 -o /tmp/evaluation-result-4118962-1467238401/solver-4118962-1467238401 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9716 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118962-1467238401.opb

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

MD5SUM BENCH= 880a7980df3d2b06275e6dfd41d8e0a1
RANDOM SEED=78884997

node129.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.683
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.36
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.683
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.56
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.683
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.683
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.683
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.683
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.56
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.683
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.683
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:        23976860 kB
Buffers:           92692 kB
Cached:          1784672 kB
SwapCached:            0 kB
Active:          5029208 kB
Inactive:        1583708 kB
Active(anon):    4736164 kB
Inactive(anon):     2104 kB
Active(file):     293044 kB
Inactive(file):  1581604 kB
Unevictable:     1517236 kB
Mlocked:         1370068 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       6255016 kB
Mapped:            22248 kB
Shmem:               204 kB
Slab:             618216 kB
SReclaimable:      62436 kB
SUnreclaim:       555780 kB
KernelStack:        1808 kB
PageTables:        16236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6820072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4788224 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= 71600 MiB
End job on node129 at 2016-06-30 00:28:26