Trace number 4106803

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)-24 1800.16 901.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_5.opb
MD5SUMae2bd1e13f1871c16ad2ebb51fc6f92a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4106803-1466277705.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.48/0.31	c ... done. Wall clock time 0.204s.
0.48/0.31	c declared #vars     200
0.48/0.31	c internal #vars     1452
0.48/0.31	c #constraints  2806
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 => 1252
0.48/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.48/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1252
0.48/0.31	c 2806 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.OriginalBinaryClausePB => 100
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1252
0.48/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 202
0.48/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1252
0.48/0.31	c 2806 constraints processed.
0.48/0.31	c objective function length is 100 literals
0.84/0.46	c And the winner is solver1
1.20/0.81	c SATISFIABLE
1.20/0.81	c OPTIMIZING...
1.20/0.81	c Got one! Elapsed wall clock time (in seconds):0.708
1.20/0.81	o -4
1.20/0.83	c And the winner is solver1
1.23/1.32	c Got one! Elapsed wall clock time (in seconds):1.21
1.23/1.32	o -5
1.23/1.33	c And the winner is solver1
1.30/1.82	c Got one! Elapsed wall clock time (in seconds):1.711
1.30/1.82	o -6
1.30/1.83	c And the winner is solver1
1.36/2.32	c Got one! Elapsed wall clock time (in seconds):2.212
1.36/2.32	o -7
1.36/2.33	c And the winner is solver1
1.38/2.82	c Got one! Elapsed wall clock time (in seconds):2.713
1.38/2.82	o -8
1.38/2.84	c And the winner is solver1
1.68/3.32	c Got one! Elapsed wall clock time (in seconds):3.214
1.68/3.32	o -9
1.68/3.33	c And the winner is solver0
1.68/3.82	c Got one! Elapsed wall clock time (in seconds):3.715
1.68/3.82	o -16
1.68/3.83	c And the winner is solver0
1.73/4.32	c Got one! Elapsed wall clock time (in seconds):4.216
1.73/4.32	o -17
2.32/4.52	c And the winner is solver0
2.70/4.82	c Got one! Elapsed wall clock time (in seconds):4.716
2.70/4.82	o -18
3.08/5.02	c And the winner is solver1
3.15/5.32	c Got one! Elapsed wall clock time (in seconds):5.217
3.15/5.32	o -19
3.30/5.47	c And the winner is solver1
3.52/5.82	c Got one! Elapsed wall clock time (in seconds):5.719
3.52/5.82	o -20
3.66/5.98	c cleaning 3224 clauses out of 6447 with flag 4645/6447
3.94/6.04	c And the winner is solver1
4.08/6.33	c Got one! Elapsed wall clock time (in seconds):6.22
4.08/6.33	o -21
5.19/6.82	c cleaning 4502 clauses out of 9003 with flag 21964/12227
6.44/7.40	c cleaning 5225 clauses out of 10492 with flag 46823/18218
7.72/8.08	c cleaning 6136 clauses out of 12272 with flag 80105/25223
10.01/8.94	c cleaning 7052 clauses out of 14132 with flag 112381/33219
12.36/9.93	c cleaning 8038 clauses out of 16079 with flag 147585/42218
14.38/10.92	c And the winner is solver1
14.43/11.35	c Got one! Elapsed wall clock time (in seconds):11.244
14.43/11.35	o -22
15.71/12.10	c cleaning 11292 clauses out of 22584 with flag 23313/56761
16.91/12.64	c cleaning 8644 clauses out of 17293 with flag 49834/62762
18.14/13.26	c cleaning 7799 clauses out of 15648 with flag 82221/69761
19.79/14.01	c cleaning 7911 clauses out of 15849 with flag 117075/77761
21.39/14.85	c cleaning 8463 clauses out of 16955 with flag 157188/86778
23.19/15.78	c cleaning 9207 clauses out of 18475 with flag 200347/96761
25.86/17.02	c cleaning 10109 clauses out of 20269 with flag 245784/107762
28.26/18.22	c cleaning 11078 clauses out of 22169 with flag 297167/119771
31.26/19.72	c cleaning 12046 clauses out of 24098 with flag 353837/132778
34.50/21.38	c cleaning 13015 clauses out of 26038 with flag 412061/146764
37.91/23.05	c cleaning 13991 clauses out of 28020 with flag 475437/161761
41.36/24.75	c cleaning 14981 clauses out of 30029 with flag 540779/177761
45.55/26.86	c cleaning 16023 clauses out of 32056 with flag 609946/194769
50.15/29.16	c cleaning 17011 clauses out of 34025 with flag 681905/212761
54.75/31.44	c cleaning 17995 clauses out of 36017 with flag 754598/231764
60.64/34.38	c cleaning 18998 clauses out of 38019 with flag 828548/251761
66.26/37.15	c cleaning 20004 clauses out of 40021 with flag 909939/272761
72.93/40.43	c cleaning 21005 clauses out of 42017 with flag 981736/294761
78.53/43.22	c cleaning 22002 clauses out of 44012 with flag 1064462/317761
84.32/46.12	c cleaning 23004 clauses out of 46010 with flag 1155320/341761
90.57/49.24	c cleaning 23983 clauses out of 48006 with flag 1254125/366761
97.36/52.60	c cleaning 24993 clauses out of 50023 with flag 1370033/392761
104.23/56.03	c And the winner is solver1
104.23/56.36	c Got one! Elapsed wall clock time (in seconds):56.258
104.23/56.36	o -23
106.51/57.51	c cleaning 28370 clauses out of 56739 with flag 27431/424470
107.90/58.20	c cleaning 17184 clauses out of 34367 with flag 59055/430468
109.10/58.84	c cleaning 12092 clauses out of 24183 with flag 94307/437468
110.32/59.50	c cleaning 10033 clauses out of 20091 with flag 132651/445468
111.90/60.24	c cleaning 9525 clauses out of 19059 with flag 174546/454469
113.50/61.02	c cleaning 9753 clauses out of 19534 with flag 222558/464469
115.50/62.01	c cleaning 10385 clauses out of 20780 with flag 272836/475468
117.70/63.13	c cleaning 11171 clauses out of 22400 with flag 327523/487473
120.37/64.41	c cleaning 12112 clauses out of 24225 with flag 388272/500469
122.97/65.77	c cleaning 13038 clauses out of 26113 with flag 452707/514469
126.36/67.48	c cleaning 14040 clauses out of 28079 with flag 517936/529473
129.56/69.04	c cleaning 15020 clauses out of 30039 with flag 597357/545473
132.96/70.72	c cleaning 16005 clauses out of 32014 with flag 678229/562468
136.60/72.58	c cleaning 17005 clauses out of 34009 with flag 763521/580468
140.80/74.60	c cleaning 17963 clauses out of 36004 with flag 856273/599468
145.20/76.82	c cleaning 18991 clauses out of 38041 with flag 951811/619468
150.84/79.60	c cleaning 19989 clauses out of 40050 with flag 1047001/640468
156.23/82.32	c cleaning 21029 clauses out of 42066 with flag 1154330/662473
162.63/85.50	c cleaning 22015 clauses out of 44037 with flag 1264842/685473
168.69/88.58	c cleaning 22981 clauses out of 46017 with flag 1376365/709468
174.88/91.66	c cleaning 23991 clauses out of 48036 with flag 1499972/734468
181.74/95.08	c cleaning 25001 clauses out of 50045 with flag 1614609/760468
189.34/98.82	c cleaning 26030 clauses out of 52059 with flag 1736413/787483
196.98/102.61	c cleaning 27007 clauses out of 54014 with flag 1867098/815468
204.62/106.42	c cleaning 28006 clauses out of 56011 with flag 2003758/844472
212.62/110.41	c cleaning 28972 clauses out of 58001 with flag 2148170/874468
221.29/114.76	c cleaning 30004 clauses out of 60029 with flag 2295306/905468
227.89/118.05	c cleaning 0 clauses out of 6823 with flag 0/6824
230.75/119.38	c cleaning 31004 clauses out of 62025 with flag 2453522/937468
240.75/124.35	c cleaning 31974 clauses out of 64021 with flag 2610692/970468
250.59/129.25	c cleaning 33018 clauses out of 66054 with flag 2771609/1004475
261.20/134.52	c cleaning 33996 clauses out of 68030 with flag 2935799/1039469
273.04/140.41	c cleaning 34999 clauses out of 70034 with flag 3106586/1075469
284.08/145.99	c cleaning 36016 clauses out of 72034 with flag 3288116/1112468
295.53/151.68	c cleaning 37009 clauses out of 74018 with flag 3469878/1150468
305.57/156.69	c cleaning 38005 clauses out of 76009 with flag 3630996/1189468
318.43/163.02	c cleaning 38993 clauses out of 78004 with flag 3822925/1229468
331.29/169.44	c cleaning 40006 clauses out of 80011 with flag 4012154/1270468
345.96/176.77	c cleaning 40997 clauses out of 82005 with flag 4219893/1312468
361.85/184.62	c cleaning 42002 clauses out of 84016 with flag 4436460/1355476
377.33/192.38	c cleaning 42996 clauses out of 86009 with flag 4643341/1399471
394.51/201.13	c cleaning 44003 clauses out of 88010 with flag 4857425/1444468
411.98/209.82	c cleaning 45000 clauses out of 90007 with flag 5067752/1490468
428.50/218.02	c cleaning 45980 clauses out of 92007 with flag 5283263/1537468
444.56/226.00	c cleaning 46991 clauses out of 94027 with flag 5486342/1585468
461.06/234.26	c cleaning 48018 clauses out of 96036 with flag 5677070/1634468
479.33/243.38	c cleaning 48994 clauses out of 98019 with flag 5873309/1684469
499.20/253.25	c cleaning 50002 clauses out of 100025 with flag 6100971/1735469
518.46/262.90	c cleaning 50980 clauses out of 102022 with flag 6341131/1787468
538.39/272.80	c cleaning 51996 clauses out of 104044 with flag 6613019/1840470
560.12/283.90	c cleaning 53023 clauses out of 106046 with flag 6878853/1894468
580.56/294.02	c cleaning 54004 clauses out of 108023 with flag 7139014/1949468
604.87/306.12	c cleaning 55003 clauses out of 110023 with flag 7383585/2005472
628.11/317.79	c cleaning 55984 clauses out of 112016 with flag 7637132/2062468
652.21/329.71	c cleaning 56995 clauses out of 114032 with flag 7925442/2120468
675.92/341.51	c cleaning 58019 clauses out of 116037 with flag 8197987/2179468
703.82/355.48	c cleaning 58988 clauses out of 118018 with flag 8480761/2239468
727.71/367.37	c cleaning 60001 clauses out of 120031 with flag 8720828/2300469
756.05/381.41	c cleaning 61003 clauses out of 122029 with flag 9008534/2362468
770.32/388.51	c cleaning 0 clauses out of 12817 with flag 0/12818
781.40/394.09	c cleaning 62007 clauses out of 124027 with flag 9262903/2425469
812.91/410.17	c cleaning 62979 clauses out of 126019 with flag 9543381/2489468
844.47/425.81	c cleaning 64017 clauses out of 128041 with flag 9826869/2554469
873.71/440.45	c cleaning 64998 clauses out of 130028 with flag 10091359/2620473
904.56/455.82	c cleaning 65998 clauses out of 132025 with flag 10400751/2687468
937.25/472.14	c cleaning 66985 clauses out of 134027 with flag 10713552/2755468
968.96/487.96	c cleaning 68000 clauses out of 136042 with flag 11045056/2824468
1000.31/503.54	c cleaning 69014 clauses out of 138042 with flag 11376504/2894468
1032.97/519.89	c cleaning 69998 clauses out of 140028 with flag 11719075/2965468
1066.47/536.51	c cleaning 71004 clauses out of 142030 with flag 12103036/3037468
1100.82/553.63	c cleaning 71996 clauses out of 144026 with flag 12468168/3110468
1137.13/571.79	c cleaning 72988 clauses out of 146032 with flag 12855065/3184470
1175.47/590.88	c cleaning 74009 clauses out of 148044 with flag 13211820/3259470
1216.04/611.06	c cleaning 74999 clauses out of 150033 with flag 13552419/3335468
1258.92/632.50	c cleaning 75995 clauses out of 152035 with flag 13900154/3412469
1298.23/651.96	c cleaning 77015 clauses out of 154039 with flag 14237517/3490468
1334.17/669.88	c cleaning 77998 clauses out of 156025 with flag 14564269/3569469
1375.42/690.34	c cleaning 79001 clauses out of 158026 with flag 14909589/3649468
1421.27/713.13	c cleaning 79999 clauses out of 160029 with flag 15280109/3730472
1465.19/735.04	c cleaning 80995 clauses out of 162026 with flag 15682709/3812468
1491.71/748.28	c And the winner is solver1
1491.71/748.32	c Got one! Elapsed wall clock time (in seconds):748.216
1491.71/748.32	o -24
1496.18/750.60	c cleaning 69556 clauses out of 139111 with flag 24237/3870548
1498.77/751.88	c cleaning 37778 clauses out of 75555 with flag 53271/3876548
1500.77/752.82	c cleaning 22374 clauses out of 44777 with flag 90324/3883548
1502.19/753.57	c cleaning 15171 clauses out of 30403 with flag 131139/3891548
1503.77/754.35	c cleaning 12110 clauses out of 24232 with flag 178586/3900548
1505.37/755.17	c cleaning 11043 clauses out of 22122 with flag 233627/3910548
1507.37/756.15	c cleaning 11024 clauses out of 22079 with flag 289449/3921548
1509.37/757.15	c cleaning 11525 clauses out of 23055 with flag 356858/3933548
1511.77/758.32	c cleaning 12220 clauses out of 24530 with flag 423426/3946548
1514.17/759.57	c cleaning 13142 clauses out of 26311 with flag 496795/3960549
1516.97/760.97	c cleaning 14072 clauses out of 28169 with flag 573494/3975549
1520.08/762.46	c cleaning 15039 clauses out of 30096 with flag 657995/3991548
1523.07/763.92	c cleaning 16018 clauses out of 32058 with flag 744401/4008549
1526.26/765.58	c cleaning 16993 clauses out of 34039 with flag 834195/4026548
1529.86/767.39	c cleaning 18019 clauses out of 36046 with flag 928838/4045548
1533.66/769.30	c cleaning 19003 clauses out of 38027 with flag 1034751/4065548
1537.86/771.38	c cleaning 20012 clauses out of 40024 with flag 1141684/4086548
1542.66/773.72	c cleaning 20956 clauses out of 42012 with flag 1248799/4108548
1548.37/776.50	c cleaning 22028 clauses out of 44056 with flag 1351260/4131548
1553.77/779.20	c cleaning 23016 clauses out of 46031 with flag 1463614/4155551
1559.58/782.11	c cleaning 23982 clauses out of 48012 with flag 1584282/4180548
1565.57/785.19	c cleaning 24992 clauses out of 50030 with flag 1715567/4206548
1572.08/788.38	c cleaning 26019 clauses out of 52038 with flag 1857937/4233548
1578.88/791.72	c cleaning 27012 clauses out of 54024 with flag 2004447/4261553
1585.87/795.29	c cleaning 28000 clauses out of 56008 with flag 2156885/4290549
1594.17/799.36	c cleaning 28995 clauses out of 58007 with flag 2309385/4320548
1602.37/803.43	c cleaning 29979 clauses out of 60012 with flag 2467416/4351548
1610.77/807.66	c cleaning 30992 clauses out of 62033 with flag 2614859/4383548
1619.92/812.19	c cleaning 32008 clauses out of 64041 with flag 2771901/4416548
1629.72/817.03	c cleaning 33000 clauses out of 66033 with flag 2923888/4450548
1639.13/821.80	c cleaning 33990 clauses out of 68033 with flag 3086544/4485548
1649.03/826.69	c cleaning 35007 clauses out of 70043 with flag 3250428/4521548
1660.04/832.15	c cleaning 36007 clauses out of 72036 with flag 3430805/4558548
1671.23/837.70	c cleaning 36992 clauses out of 74029 with flag 3614412/4596548
1683.13/843.66	c cleaning 37983 clauses out of 76037 with flag 3796007/4635548
1695.73/849.91	c cleaning 39002 clauses out of 78054 with flag 3985156/4675548
1709.26/856.69	c cleaning 39990 clauses out of 80052 with flag 4178670/4716548
1723.86/863.94	c cleaning 40995 clauses out of 82062 with flag 4387350/4758548
1738.56/871.28	c cleaning 42033 clauses out of 84067 with flag 4600454/4801548
1754.45/879.11	c cleaning 43017 clauses out of 86034 with flag 4827077/4845548
1769.25/886.54	c cleaning 43969 clauses out of 88017 with flag 5032669/4890548
1785.77/894.72	c cleaning 45006 clauses out of 90049 with flag 5290626/4936549
1800.16/901.90	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.16/901.90	c starts		: 61661
1800.16/901.90	c conflicts		: 4978622
1800.16/901.90	c decisions		: 37039768
1800.16/901.90	c propagations		: 236121454
1800.16/901.90	c inspects		: 9605712098
1800.16/901.90	c shortcuts		: 0
1800.16/901.90	c learnt literals	: 0
1800.16/901.90	c learnt binary clauses	: 7
1800.16/901.90	c learnt ternary clauses	: 5195
1800.16/901.90	c learnt constraints	: 4978622
1800.16/901.90	c ignored constraints	: 0
1800.16/901.90	c root simplifications	: 0
1800.16/901.90	c removed literals (reason simplification)	: 353018096
1800.16/901.90	c reason swapping (by a shorter reason)	: 0
1800.16/901.90	c Calls to reduceDB	: 148
1800.16/901.90	c Number of update (reduction) of LBD	: 2627770
1800.16/901.90	c Imported unit clauses	: 0
1800.16/901.90	c number of reductions to clauses (during analyze)	: 0
1800.16/901.90	c number of learned constraints concerned by reduction	: 0
1800.16/901.90	c number of learning phase by resolution	: 0
1800.16/901.90	c number of learning phase by cutting planes	: 0
1800.16/901.90	c speed (assignments/second)	: 1537429.3081220456
1800.16/901.90	c non guided choices	0
1800.16/901.93	c learnt constraints type 
1800.16/901.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.16/901.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87110
1800.16/901.93	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
1800.16/901.93	c starts		: 59
1800.16/901.93	c conflicts		: 17162
1800.16/901.93	c decisions		: 77493
1800.16/901.93	c propagations		: 1272817
1800.16/901.93	c inspects		: 934242663
1800.16/901.93	c shortcuts		: 0
1800.16/901.93	c learnt literals	: 0
1800.16/901.93	c learnt binary clauses	: 0
1800.16/901.93	c learnt ternary clauses	: 0
1800.16/901.93	c learnt constraints	: 17160
1800.16/901.93	c ignored constraints	: 0
1800.16/901.93	c root simplifications	: 0
1800.16/901.93	c removed literals (reason simplification)	: 0
1800.16/901.93	c reason swapping (by a shorter reason)	: 0
1800.16/901.93	c Calls to reduceDB	: 2
1800.16/901.93	c Number of update (reduction) of LBD	: 0
1800.16/901.93	c Imported unit clauses	: 0
1800.16/901.93	c number of reductions to clauses (during analyze)	: 0
1800.16/901.93	c number of learned constraints concerned by reduction	: 0
1800.16/901.93	c number of learning phase by resolution	: 0
1800.16/901.93	c number of learning phase by cutting planes	: 0
1800.16/901.93	c speed (assignments/second)	: 1418.7970260057295
1800.16/901.93	c non guided choices	2
1800.16/901.94	c learnt constraints type 
1800.16/901.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.16/901.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17158
1800.16/901.94	s SATISFIABLE
1800.16/901.94	c Found 15 solution(s)
1800.16/901.94	v -x1 -x2 -x3 -x4 x5 x6 x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 x91 -x92 -x93 x94 -x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 x149 x150 -x151 x152 x153 -x154 x155 x156 -x157 x158 x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 
1800.16/901.94	c objective function=-24
1800.16/901.94	c Total wall clock time (in seconds): 901.836

Verifier Data 

OK	-24

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

pid=29022
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.37 4.26 4.07 4/197 29025
/proc/meminfo: memFree=27338688/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 29817101 98570240 977 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 24065 977 743 9 0 16771 0
[pid=29025/tid=29026] ppid=29022 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) R 29022 29025 28084 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 29817102 98570240 977 33554432000 1073741824 1073778376 140736681689008 140142347066920 270707541376 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 4.37 4.26 4.07 4/197 29025
/proc/meminfo: memFree=27338688/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 4496 0 1 0 9 1 0 0 20 0 18 0 29817101 9787879424 6134 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2389619 6134 2156 9 0 2380296 0
[pid=29025/tid=29026] ppid=29022 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) R 29022 29025 28084 0 -1 4202560 2386 0 1 0 6 1 0 0 20 0 18 0 29817102 9787879424 6134 33554432000 1073741824 1073778376 140736681689008 140142347067320 270710924557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.20034 s]
/proc/loadavg: 4.37 4.26 4.07 4/197 29025
/proc/meminfo: memFree=27338688/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 4606 0 1 0 23 1 0 0 20 0 18 0 29817101 9787879424 7237 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2389619 7237 2213 9 0 2380296 0
[pid=29025/tid=29026] ppid=29022 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) R 29022 29025 28084 0 -1 4202560 2406 0 1 0 16 2 0 0 20 0 18 0 29817102 9787879424 7237 33554432000 1073741824 1073778376 140736681689008 140142347067320 140142182481319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300352 s]
/proc/loadavg: 4.37 4.26 4.07 4/197 29025
/proc/meminfo: memFree=27338688/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 5891 0 1 0 46 2 0 0 20 0 18 0 29817101 9787879424 9635 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2389619 9635 2240 9 0 2380296 0
[pid=29025/tid=29026] ppid=29022 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) R 29022 29025 28084 0 -1 4202560 2411 0 1 0 26 2 0 0 20 0 18 0 29817102 9787879424 9635 33554432000 1073741824 1073778376 140736681689008 140142347067320 140142182422837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700227 s]
/proc/loadavg: 4.37 4.26 4.07 4/197 29025
/proc/meminfo: memFree=27338688/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 9757 0 1 0 115 5 0 0 20 0 19 0 29817101 10060525568 13474 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2456183 13474 2265 9 0 2446860 0
[pid=29025/tid=29026] ppid=29022 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) S 29022 29025 28084 0 -1 4202560 2422 0 1 0 28 2 0 0 20 0 19 0 29817102 10060525568 13474 33554432000 1073741824 1073778376 140736681689008 140142347072376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 4.37 4.26 4.07 3/216 29050
/proc/meminfo: memFree=27282364/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 9801 0 1 0 122 8 0 0 20 0 19 0 29817101 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2456183 16546 2265 9 0 2446860 0
[pid=29025/tid=29026] ppid=29022 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) S 29022 29025 28084 0 -1 4202560 2424 0 1 0 28 2 0 0 20 0 19 0 29817102 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142347072376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29028] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29028/stat : 29028 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142308563880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29029] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29029/stat : 29029 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142307511336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29030] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29030/stat : 29030 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142306458280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29031] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29031/stat : 29031 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142305405736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29032] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29032/stat : 29032 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142304352680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29033] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29033/stat : 29033 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142303300136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29034] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29034/stat : 29034 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142302247080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29035] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29035/stat : 29035 (java) S 29022 29025 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142301194536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29036] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29036/stat : 29036 (java) S 29022 29025 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142171036520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29037] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29037/stat : 29037 (java) S 29022 29025 28084 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142169982840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29038] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29038/stat : 29038 (java) S 29022 29025 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142168929672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29039] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29039/stat : 29039 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817106 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142167878416 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29040] ppid=29022 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/29025/task/29040/stat : 29040 (java) S 29022 29025 28084 0 -1 4202560 2168 0 0 0 31 0 0 0 20 0 19 0 29817106 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140142166825272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29041] ppid=29022 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/29025/task/29041/stat : 29041 (java) S 29022 29025 28084 0 -1 4202560 3861 0 0 0 29 0 0 0 20 0 19 0 29817106 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140141293201848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29042] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29042/stat : 29042 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817106 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140141292148984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29043] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29043/stat : 29043 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817106 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140141291096648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29046] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29046/stat : 29046 (java) S 29022 29025 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29817134 10060525568 16546 33554432000 1073741824 1073778376 140736681689008 140141287937320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9824732

[startup+3.10089 s]
/proc/loadavg: 4.37 4.26 4.07 3/216 29056
/proc/meminfo: memFree=27273796/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 14878 0 1 0 155 13 0 0 20 0 19 0 29817101 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2456183 23531 2265 9 0 2446860 0
[pid=29025/tid=29026] ppid=29022 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) S 29022 29025 28084 0 -1 4202560 2425 0 1 0 28 2 0 0 20 0 19 0 29817102 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142347072376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29028] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29028/stat : 29028 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142308563880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29029] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29029/stat : 29029 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142307511336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29030] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29030/stat : 29030 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142306458280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29031] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29031/stat : 29031 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142305405736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29032] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29032/stat : 29032 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142304352680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29033] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29033/stat : 29033 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142303300136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29034] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29034/stat : 29034 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142302247080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29035] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29035/stat : 29035 (java) S 29022 29025 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142301194536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29036] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29036/stat : 29036 (java) S 29022 29025 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142171036520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29037] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29037/stat : 29037 (java) S 29022 29025 28084 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142169982840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29038] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29038/stat : 29038 (java) S 29022 29025 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142168929672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29039] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29039/stat : 29039 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817106 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142167878416 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29040] ppid=29022 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/29025/task/29040/stat : 29040 (java) S 29022 29025 28084 0 -1 4202560 7201 0 0 0 52 2 0 0 20 0 19 0 29817106 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140142166825272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29041] ppid=29022 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/29025/task/29041/stat : 29041 (java) S 29022 29025 28084 0 -1 4202560 3873 0 0 0 35 1 0 0 20 0 19 0 29817106 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140141293201848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29042] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29042/stat : 29042 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817106 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140141292148984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29043] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29043/stat : 29043 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817106 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140141291096648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29046] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29046/stat : 29046 (java) S 29022 29025 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29817134 10060525568 23531 33554432000 1073741824 1073778376 140736681689008 140141287937320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=29 pid=1814 uid=0 cmd=

[startup+6.30073 s]
/proc/loadavg: 4.18 4.22 4.06 4/216 29077
/proc/meminfo: memFree=27159944/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 19173 0 1 0 384 24 0 0 20 0 19 0 29817101 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2456183 49461 2291 9 0 2446860 0
[pid=29025/tid=29026] ppid=29022 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) S 29022 29025 28084 0 -1 4202560 2426 0 1 0 29 2 0 0 20 0 19 0 29817102 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142347072376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29028] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29028/stat : 29028 (java) S 29022 29025 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142308563880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29029] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29029/stat : 29029 (java) S 29022 29025 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142307511336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29030] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29030/stat : 29030 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142306458280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29031] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29031/stat : 29031 (java) S 29022 29025 28084 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142305405736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29032] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29032/stat : 29032 (java) S 29022 29025 28084 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142304352680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29033] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29033/stat : 29033 (java) S 29022 29025 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142303300136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29034] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29034/stat : 29034 (java) S 29022 29025 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142302247080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29035] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29035/stat : 29035 (java) S 29022 29025 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29817103 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142301194536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29036] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29036/stat : 29036 (java) S 29022 29025 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142171036520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29037] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29037/stat : 29037 (java) S 29022 29025 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142169982840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29038] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29038/stat : 29038 (java) S 29022 29025 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29817104 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142168929672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29039] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29039/stat : 29039 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29817106 10060525568 49461 33554432000 1073741824 1073778376 140736681689008 140142167878416 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29040] ppid=29022 vsize=9824732 CPUtime=0.87 cores=1,3,5,7

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

[pid=29025/tid=29035] ppid=29022 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/29025/task/29035/stat : 29035 (java) S 29022 29025 28084 0 -1 4202560 579 0 0 0 200 17 0 0 20 0 22 0 29817103 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140142301194536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29036] ppid=29022 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/29025/task/29036/stat : 29036 (java) S 29022 29025 28084 0 -1 4202560 1986 0 0 0 194 14 0 0 20 0 22 0 29817104 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140142171036520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29037] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29037/stat : 29037 (java) S 29022 29025 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29817104 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140142169982840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29038] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29038/stat : 29038 (java) S 29022 29025 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29817104 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140142168929672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29039] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29039/stat : 29039 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29817106 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140142167878416 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29040] ppid=29022 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/29025/task/29040/stat : 29040 (java) S 29022 29025 28084 0 -1 4202560 15471 0 0 0 168 3 0 0 20 0 22 0 29817106 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140142166825272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29041] ppid=29022 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/29025/task/29041/stat : 29041 (java) S 29022 29025 28084 0 -1 4202560 7790 0 0 0 145 2 0 0 20 0 22 0 29817106 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140141293201848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29042] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29042/stat : 29042 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29817106 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140141292148984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29043] ppid=29022 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/29025/task/29043/stat : 29043 (java) S 29022 29025 28084 0 -1 4202560 52 0 0 0 15 21 0 0 20 0 22 0 29817106 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140141291096648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29074] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29074/stat : 29074 (java) S 29022 29025 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29817584 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140141290042152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29110] ppid=29022 vsize=9824732 CPUtime=132.9 cores=1,3,5,7
/proc/29025/task/29110/stat : 29110 (java) R 29022 29025 28084 0 -1 4202560 5 0 0 0 13288 2 0 0 20 0 22 0 29891934 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140141286874864 140142183105468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29111] ppid=29022 vsize=9824732 CPUtime=132.86 cores=1,3,5,7
/proc/29025/task/29111/stat : 29111 (java) R 29022 29025 28084 0 -1 4202560 12 0 0 0 13284 2 0 0 20 0 22 0 29891934 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140141287935248 140142183078529 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29112] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29112/stat : 29112 (java) S 29022 29025 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29891934 10060525568 837585 33554432000 1073741824 1073778376 140736681689008 140141288990248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1757.49
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.901 s]
/proc/loadavg: 4.24 4.30 4.20 5/219 29184
/proc/meminfo: memFree=24337356/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9824732 CPUtime=1796.79 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 36107 0 1 0 179442 237 0 0 20 0 22 0 29817101 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2456183 837587 2301 9 0 2446860 0
[pid=29025/tid=29026] ppid=29022 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) S 29022 29025 28084 0 -1 4202560 2431 0 1 0 32 3 0 0 20 0 22 0 29817102 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142347072376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29028] ppid=29022 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/29025/task/29028/stat : 29028 (java) S 29022 29025 28084 0 -1 4202560 565 0 0 0 206 13 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142308563880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29029] ppid=29022 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/29025/task/29029/stat : 29029 (java) S 29022 29025 28084 0 -1 4202560 620 0 0 0 208 16 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142307511336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29030] ppid=29022 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/29025/task/29030/stat : 29030 (java) S 29022 29025 28084 0 -1 4202560 533 0 0 0 211 15 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142306458280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29031] ppid=29022 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/29025/task/29031/stat : 29031 (java) S 29022 29025 28084 0 -1 4202560 550 0 0 0 202 16 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142305405736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29032] ppid=29022 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/29025/task/29032/stat : 29032 (java) S 29022 29025 28084 0 -1 4202560 545 0 0 0 214 14 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142304352680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29033] ppid=29022 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/29025/task/29033/stat : 29033 (java) S 29022 29025 28084 0 -1 4202560 542 0 0 0 198 17 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142303300136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29034] ppid=29022 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/29025/task/29034/stat : 29034 (java) S 29022 29025 28084 0 -1 4202560 507 0 0 0 199 14 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142302247080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29035] ppid=29022 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/29025/task/29035/stat : 29035 (java) S 29022 29025 28084 0 -1 4202560 579 0 0 0 202 17 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142301194536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29036] ppid=29022 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/29025/task/29036/stat : 29036 (java) S 29022 29025 28084 0 -1 4202560 1988 0 0 0 194 14 0 0 20 0 22 0 29817104 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142171036520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29037] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29037/stat : 29037 (java) S 29022 29025 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29817104 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142169982840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29038] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29038/stat : 29038 (java) S 29022 29025 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29817104 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142168929672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29039] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29039/stat : 29039 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142167878416 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29040] ppid=29022 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/29025/task/29040/stat : 29040 (java) S 29022 29025 28084 0 -1 4202560 15471 0 0 0 168 3 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142166825272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29041] ppid=29022 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/29025/task/29041/stat : 29041 (java) S 29022 29025 28084 0 -1 4202560 7790 0 0 0 145 2 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141293201848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29042] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29042/stat : 29042 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141292148984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29043] ppid=29022 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/29025/task/29043/stat : 29043 (java) S 29022 29025 28084 0 -1 4202560 52 0 0 0 16 22 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141291096648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29074] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29074/stat : 29074 (java) S 29022 29025 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29817584 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141290042152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29110] ppid=29022 vsize=9824732 CPUtime=152.38 cores=1,3,5,7
/proc/29025/task/29110/stat : 29110 (java) R 29022 29025 28084 0 -1 4202560 5 0 0 0 15236 2 0 0 20 0 22 0 29891934 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141286874864 140142183039216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29111] ppid=29022 vsize=9824732 CPUtime=152.33 cores=1,3,5,7
/proc/29025/task/29111/stat : 29111 (java) R 29022 29025 28084 0 -1 4202560 12 0 0 0 15231 2 0 0 20 0 22 0 29891934 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141287935264 140142183078723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29112] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29112/stat : 29112 (java) S 29022 29025 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29891934 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141288990248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.79
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 29025 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+901.901 s]
/proc/loadavg: 4.24 4.30 4.20 5/219 29184
/proc/meminfo: memFree=24337356/32872528 swapFree=1542984/1696284
[pid=29025] ppid=29022 vsize=9824732 CPUtime=1796.79 cores=1,3,5,7
/proc/29025/stat : 29025 (java) S 29022 29025 28084 0 -1 4202496 36107 0 1 0 179442 237 0 0 20 0 22 0 29817101 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140736681680144 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29025/statm: 2456183 837587 2301 9 0 2446860 0
[pid=29025/tid=29026] ppid=29022 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29025/task/29026/stat : 29026 (java) S 29022 29025 28084 0 -1 4202560 2431 0 1 0 32 3 0 0 20 0 22 0 29817102 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142347072376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29028] ppid=29022 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/29025/task/29028/stat : 29028 (java) S 29022 29025 28084 0 -1 4202560 565 0 0 0 206 13 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142308563880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29029] ppid=29022 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/29025/task/29029/stat : 29029 (java) S 29022 29025 28084 0 -1 4202560 620 0 0 0 208 16 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142307511336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29030] ppid=29022 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/29025/task/29030/stat : 29030 (java) S 29022 29025 28084 0 -1 4202560 533 0 0 0 211 15 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142306458280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29031] ppid=29022 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/29025/task/29031/stat : 29031 (java) S 29022 29025 28084 0 -1 4202560 550 0 0 0 202 16 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142305405736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29032] ppid=29022 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/29025/task/29032/stat : 29032 (java) S 29022 29025 28084 0 -1 4202560 545 0 0 0 214 14 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142304352680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29033] ppid=29022 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/29025/task/29033/stat : 29033 (java) S 29022 29025 28084 0 -1 4202560 542 0 0 0 198 17 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142303300136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29034] ppid=29022 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/29025/task/29034/stat : 29034 (java) S 29022 29025 28084 0 -1 4202560 507 0 0 0 199 14 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142302247080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29035] ppid=29022 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/29025/task/29035/stat : 29035 (java) S 29022 29025 28084 0 -1 4202560 579 0 0 0 202 17 0 0 20 0 22 0 29817103 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142301194536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29036] ppid=29022 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/29025/task/29036/stat : 29036 (java) S 29022 29025 28084 0 -1 4202560 1988 0 0 0 194 14 0 0 20 0 22 0 29817104 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142171036520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29037] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29037/stat : 29037 (java) S 29022 29025 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29817104 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142169982840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29038] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29038/stat : 29038 (java) S 29022 29025 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29817104 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142168929672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29039] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29039/stat : 29039 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142167878416 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29040] ppid=29022 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/29025/task/29040/stat : 29040 (java) S 29022 29025 28084 0 -1 4202560 15471 0 0 0 168 3 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140142166825272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29025/tid=29041] ppid=29022 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/29025/task/29041/stat : 29041 (java) S 29022 29025 28084 0 -1 4202560 7790 0 0 0 145 2 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141293201848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29042] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29042/stat : 29042 (java) S 29022 29025 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141292148984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29043] ppid=29022 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/29025/task/29043/stat : 29043 (java) S 29022 29025 28084 0 -1 4202560 52 0 0 0 16 22 0 0 20 0 22 0 29817106 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141291096648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29074] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29074/stat : 29074 (java) S 29022 29025 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29817584 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141290042152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29025/tid=29110] ppid=29022 vsize=9824732 CPUtime=152.38 cores=1,3,5,7
/proc/29025/task/29110/stat : 29110 (java) R 29022 29025 28084 0 -1 4202560 5 0 0 0 15236 2 0 0 20 0 22 0 29891934 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141286874864 140142183039216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29025/tid=29111] ppid=29022 vsize=9824732 CPUtime=152.33 cores=1,3,5,7
/proc/29025/task/29111/stat : 29111 (java) R 29022 29025 28084 0 -1 4202560 12 0 0 0 15231 2 0 0 20 0 22 0 29891934 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141287935264 140142183078723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29025/tid=29112] ppid=29022 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29025/task/29112/stat : 29112 (java) S 29022 29025 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29891934 10060525568 837587 33554432000 1073741824 1073778376 140736681689008 140141288990248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29025 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=729311
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=671593
# CPU time returned by wait4() is 1796.4
# while last known CPU time is 1796.79
#
# 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): 3.36985
#  lost CPU user time (s): 3.56992
#  lost CPU system time (s): -0.2

Real time (s): 901.96
CPU time (s): 1800.16
CPU user time (s): 1797.99
CPU system time (s): 2.17
CPU usage (%): 199.583
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.73
system time used= 2.67159
maximum resident set size= 3350464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36145
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25377
involuntary context switches= 35372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34204 second user time and 8.39672 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 21:21:45
IDJOB=4106803
IDBENCH=48265
IDSOLVER=2543
FILE ID=node125/4106803-1466277705
RUNJOBID= node125-1466274976-28101
PBS_JOBID= 19918241
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106803-1466277705/watcher-4106803-1466277705 -o /tmp/evaluation-result-4106803-1466277705/solver-4106803-1466277705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466274976-28101 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106803-1466277705.opb

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

MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a
RANDOM SEED=489729848

node125.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.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.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.54
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.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.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:        27339324 kB
Buffers:          146616 kB
Cached:           173824 kB
SwapCached:          688 kB
Active:          2841656 kB
Inactive:         245212 kB
Active(anon):    2767744 kB
Inactive(anon):     1040 kB
Active(file):      73912 kB
Inactive(file):   244172 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:              1776 kB
Writeback:             0 kB
AnonPages:       4411080 kB
Mapped:            15408 kB
Shmem:                 0 kB
Slab:             604836 kB
SReclaimable:      48376 kB
SUnreclaim:       556460 kB
KernelStack:        1608 kB
PageTables:        12972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4960844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2807808 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= 71744 MiB
End job on node125 at 2016-06-18 21:36:47