Trace number 4081771

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)-122 1800.73 891.077

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_2.opb
MD5SUM1af848a7208b60f67c27d4022c7b5abe
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-122
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -151
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint50
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31544
Sum of products size (including duplicates)63088
Number of different products15772
Sum of products size31544

Quality of the solution as a function of time


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

Solver Data 

0.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4081771-1465256258.opb
0.08/0.13	c reading problem ... 
0.08/0.14	c  objective function found
2.42/1.04	c ... done. Wall clock time 0.905s.
2.42/1.04	c declared #vars     1000
2.42/1.04	c internal #vars     16772
2.42/1.04	c #constraints  33544
2.42/1.04	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.42/1.04	c constraints type 
2.42/1.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15772
2.42/1.04	c org.sat4j.minisat.constraints.cnf.UnitClauses => 900
2.42/1.04	c org.sat4j.specs.Constr$1 => 1046
2.42/1.04	c org.sat4j.minisat.constraints.cnf.UnitClause => 54
2.42/1.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15772
2.42/1.04	c 33544 constraints processed.
2.42/1.04	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.42/1.04	c constraints type 
2.42/1.04	c org.sat4j.specs.Constr$1 => 1046
2.42/1.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15772
2.42/1.04	c org.sat4j.pb.constraints.pb.UnitClausesPB => 900
2.42/1.04	c org.sat4j.pb.constraints.pb.UnitClausePB => 54
2.42/1.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15772
2.42/1.04	c 33544 constraints processed.
2.42/1.04	c objective function length is 1000 literals
3.21/1.26	c And the winner is solver0
3.48/1.54	c SATISFIABLE
3.48/1.54	c OPTIMIZING...
3.48/1.54	c Got one! Elapsed wall clock time (in seconds):1.411
3.48/1.54	o -102
3.67/1.63	c And the winner is solver0
3.97/2.05	c Got one! Elapsed wall clock time (in seconds):1.915
3.97/2.05	o -103
4.17/2.12	c And the winner is solver1
4.41/2.55	c Got one! Elapsed wall clock time (in seconds):2.419
4.41/2.55	o -104
4.56/2.61	c And the winner is solver1
4.64/3.06	c Got one! Elapsed wall clock time (in seconds):2.923
4.64/3.06	o -105
4.78/3.14	c And the winner is solver1
4.87/3.56	c Got one! Elapsed wall clock time (in seconds):3.425
4.87/3.56	o -106
4.98/3.67	c And the winner is solver1
5.32/4.06	c Got one! Elapsed wall clock time (in seconds):3.926
5.32/4.06	o -107
5.39/4.13	c And the winner is solver1
5.51/4.56	c Got one! Elapsed wall clock time (in seconds):4.428
5.51/4.56	o -108
5.85/4.72	c And the winner is solver1
5.91/5.06	c Got one! Elapsed wall clock time (in seconds):4.929
5.91/5.06	o -112
6.89/5.59	c And the winner is solver1
7.07/6.06	c Got one! Elapsed wall clock time (in seconds):5.931
7.07/6.06	o -115
8.70/6.82	c cleaning 3491 clauses out of 6982 with flag 6698/6982
11.77/8.22	c cleaning 4744 clauses out of 9490 with flag 20050/12981
11.77/8.23	c And the winner is solver1
11.87/8.57	c Got one! Elapsed wall clock time (in seconds):8.432
11.87/8.57	o -116
14.04/9.68	c cleaning 4901 clauses out of 9801 with flag 11313/18036
17.18/11.12	c cleaning 5450 clauses out of 10900 with flag 25468/24036
20.15/12.56	c And the winner is solver1
20.15/12.57	c Got one! Elapsed wall clock time (in seconds):12.434
20.15/12.57	o -117
22.77/13.82	c cleaning 8289 clauses out of 16578 with flag 11810/35164
25.58/15.23	c cleaning 7142 clauses out of 14289 with flag 25539/41164
29.62/17.12	c cleaning 7074 clauses out of 14148 with flag 42384/48165
29.82/17.28	c And the winner is solver1
30.00/17.61	c Got one! Elapsed wall clock time (in seconds):17.475
30.00/17.61	o -118
32.19/18.80	c cleaning 6360 clauses out of 12726 with flag 11297/53817
35.63/20.34	c cleaning 6178 clauses out of 12365 with flag 24887/59816
39.08/22.02	c cleaning 6590 clauses out of 13188 with flag 41488/66817
42.87/23.93	c cleaning 7300 clauses out of 14600 with flag 59933/74819
47.26/26.19	c cleaning 8149 clauses out of 16299 with flag 80948/83818
47.66/26.39	c And the winner is solver1
47.87/26.61	c Got one! Elapsed wall clock time (in seconds):26.478
47.87/26.61	o -119
51.84/28.81	c cleaning 6998 clauses out of 14003 with flag 11603/89671
54.84/30.30	c cleaning 6498 clauses out of 13006 with flag 26230/95672
58.25/32.04	c cleaning 6754 clauses out of 13507 with flag 43488/102671
62.04/33.93	c cleaning 7375 clauses out of 14754 with flag 61968/110672
66.81/36.25	c cleaning 8190 clauses out of 16380 with flag 83351/119673
72.01/38.85	c cleaning 9095 clauses out of 18189 with flag 107857/129672
74.62/40.16	c And the winner is solver1
74.75/40.46	c Got one! Elapsed wall clock time (in seconds):40.323
74.75/40.46	o -120
77.45/41.81	c cleaning 9645 clauses out of 19291 with flag 11533/139869
80.43/43.34	c cleaning 7824 clauses out of 15648 with flag 25980/145871
84.33/45.20	c cleaning 7411 clauses out of 14823 with flag 43008/152870
88.31/47.13	c cleaning 7703 clauses out of 15412 with flag 61386/160870
92.91/49.45	c cleaning 8351 clauses out of 16708 with flag 82553/169869
98.11/52.00	c cleaning 9178 clauses out of 18358 with flag 106912/179870
104.24/54.95	c cleaning 10087 clauses out of 20180 with flag 133202/190870
110.84/58.22	c cleaning 11046 clauses out of 22092 with flag 161882/202869
118.72/62.01	c cleaning 12023 clauses out of 24047 with flag 194245/215870
126.93/66.15	c cleaning 13012 clauses out of 26023 with flag 229071/229869
138.11/72.16	c cleaning 14006 clauses out of 28012 with flag 264458/244870
146.91/76.55	c cleaning 15000 clauses out of 30007 with flag 301791/260871
156.84/81.45	c cleaning 15998 clauses out of 32006 with flag 342240/277870
167.83/86.97	c cleaning 17004 clauses out of 34008 with flag 386179/295870
179.61/92.71	c cleaning 17998 clauses out of 36004 with flag 432610/314870
191.45/98.51	c And the winner is solver1
191.45/98.55	c Got one! Elapsed wall clock time (in seconds):98.413
191.45/98.55	o -121
195.38/100.52	c cleaning 21224 clauses out of 42447 with flag 11541/339311
199.20/102.42	c cleaning 13605 clauses out of 27225 with flag 25477/345313
202.78/104.27	c cleaning 10307 clauses out of 20619 with flag 41754/352312
207.25/106.36	c cleaning 9148 clauses out of 18312 with flag 60622/360312
211.65/108.55	c cleaning 9076 clauses out of 18164 with flag 81346/369312
216.86/111.18	c cleaning 9544 clauses out of 19087 with flag 105598/379311
222.65/114.06	c cleaning 10272 clauses out of 20544 with flag 132800/390312
229.56/117.34	c cleaning 11136 clauses out of 22271 with flag 162644/402311
235.96/120.55	c cleaning 12067 clauses out of 24136 with flag 193268/415312
244.32/124.51	c cleaning 13029 clauses out of 26068 with flag 226044/429311
253.12/128.93	c cleaning 14020 clauses out of 28039 with flag 262237/444311
264.00/134.14	c cleaning 15008 clauses out of 30022 with flag 302597/460314
274.40/139.30	c cleaning 16005 clauses out of 32011 with flag 344753/477311
277.63/140.79	c And the winner is solver1
277.82/141.18	c Got one! Elapsed wall clock time (in seconds):141.049
277.82/141.18	o -122
278.45/141.52	c cleaning 10795 clauses out of 21601 with flag 2291/482906
281.46/143.08	c cleaning 8400 clauses out of 16805 with flag 16134/488905
285.25/144.94	c cleaning 7697 clauses out of 15405 with flag 33166/495905
290.09/147.11	c cleaning 7851 clauses out of 15709 with flag 51858/503906
294.69/149.42	c cleaning 8427 clauses out of 16858 with flag 73181/512906
299.50/151.85	c cleaning 9215 clauses out of 18430 with flag 96543/522905
306.33/155.01	c cleaning 10108 clauses out of 20215 with flag 123150/533905
312.93/158.34	c cleaning 11049 clauses out of 22107 with flag 151646/545905
320.67/161.95	c cleaning 12027 clauses out of 24058 with flag 181972/558905
328.27/165.71	c cleaning 13016 clauses out of 26032 with flag 216094/572906
337.15/169.99	c cleaning 14008 clauses out of 28015 with flag 251962/587905
348.39/176.21	c cleaning 15002 clauses out of 30007 with flag 289788/603905
357.79/180.99	c cleaning 15998 clauses out of 32005 with flag 330856/620905
367.66/185.90	c cleaning 17004 clauses out of 34007 with flag 374094/638905
379.77/191.82	c cleaning 17999 clauses out of 36002 with flag 421171/657904
391.23/197.57	c cleaning 19004 clauses out of 38007 with flag 468434/677908
403.44/203.51	c cleaning 19998 clauses out of 39999 with flag 517315/698904
416.44/209.91	c cleaning 21000 clauses out of 42002 with flag 568849/720905
429.84/216.63	c cleaning 22000 clauses out of 44001 with flag 623557/743904
444.65/223.92	c cleaning 22994 clauses out of 46001 with flag 681040/767904
460.91/231.95	c cleaning 23997 clauses out of 48008 with flag 740719/792905
475.81/239.23	c cleaning 25004 clauses out of 50011 with flag 801125/818905
493.63/247.93	c cleaning 26001 clauses out of 52006 with flag 867520/845904
511.45/256.70	c cleaning 27001 clauses out of 54006 with flag 934322/873905
532.75/266.86	c cleaning 28000 clauses out of 56004 with flag 1006319/902904
555.78/277.82	c cleaning 28997 clauses out of 58005 with flag 1080815/932905
580.32/289.56	c cleaning 29998 clauses out of 60007 with flag 1155953/963904
608.67/304.80	c cleaning 31005 clauses out of 62010 with flag 1235811/995905
633.12/316.87	c cleaning 31997 clauses out of 64004 with flag 1318641/1028904
660.05/330.06	c cleaning 32998 clauses out of 66008 with flag 1401886/1062905
685.51/342.52	c cleaning 34005 clauses out of 68009 with flag 1485243/1097904
713.60/356.31	c cleaning 34995 clauses out of 70004 with flag 1573749/1133904
742.15/370.34	c cleaning 35998 clauses out of 72009 with flag 1665359/1170904
770.92/384.42	c cleaning 37001 clauses out of 74011 with flag 1755268/1208904
797.80/397.51	c cleaning 37996 clauses out of 76010 with flag 1847910/1247904
822.95/409.92	c cleaning 38999 clauses out of 78014 with flag 1941091/1287904
860.55/428.13	c cleaning 40008 clauses out of 80015 with flag 2039726/1328904
888.01/441.47	c cleaning 0 clauses out of 9261 with flag 0/9261
896.40/445.46	c cleaning 41000 clauses out of 82007 with flag 2141830/1370904
943.77/468.58	c cleaning 42000 clauses out of 84008 with flag 2248450/1413905
985.44/490.12	c cleaning 43000 clauses out of 86010 with flag 2356508/1457907
1022.38/508.46	c cleaning 43998 clauses out of 88007 with flag 2468478/1502904
1061.45/527.68	c cleaning 45004 clauses out of 90010 with flag 2581849/1548905
1100.95/547.20	c cleaning 45997 clauses out of 92005 with flag 2697183/1595904
1144.84/568.60	c cleaning 47002 clauses out of 94009 with flag 2815958/1643905
1197.25/594.24	c cleaning 47998 clauses out of 96006 with flag 2935455/1692904
1241.22/615.52	c cleaning 49002 clauses out of 98008 with flag 3052729/1742904
1288.58/638.63	c cleaning 50003 clauses out of 100006 with flag 3173326/1793904
1356.23/673.45	c cleaning 50998 clauses out of 102003 with flag 3303132/1845904
1405.30/697.74	c cleaning 51999 clauses out of 104005 with flag 3430737/1898904
1476.46/732.92	c cleaning 53004 clauses out of 106007 with flag 3563170/1952905
1528.42/758.57	c cleaning 54001 clauses out of 108002 with flag 3696046/2007904
1586.28/786.93	c cleaning 54995 clauses out of 110001 with flag 3831108/2063904
1661.93/823.65	c cleaning 55999 clauses out of 112006 with flag 3971968/2120904
1720.21/852.17	c cleaning 57004 clauses out of 114008 with flag 4113941/2178905
1780.25/881.36	c cleaning 58000 clauses out of 116005 with flag 4258262/2237906
1800.03/891.01	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.03/891.01	c starts		: 44586
1800.03/891.01	c conflicts		: 2259234
1800.03/891.01	c decisions		: 40628744
1800.03/891.01	c propagations		: 54435660
1800.03/891.01	c inspects		: 5915753240
1800.03/891.01	c shortcuts		: 0
1800.03/891.01	c learnt literals	: 0
1800.03/891.01	c learnt binary clauses	: 0
1800.03/891.01	c learnt ternary clauses	: 0
1800.03/891.01	c learnt constraints	: 2259234
1800.03/891.01	c ignored constraints	: 0
1800.03/891.01	c root simplifications	: 0
1800.03/891.01	c removed literals (reason simplification)	: 32165233
1800.03/891.01	c reason swapping (by a shorter reason)	: 0
1800.03/891.01	c Calls to reduceDB	: 101
1800.03/891.01	c Number of update (reduction) of LBD	: 70234
1800.03/891.01	c Imported unit clauses	: 0
1800.03/891.01	c number of reductions to clauses (during analyze)	: 0
1800.03/891.01	c number of learned constraints concerned by reduction	: 0
1800.03/891.01	c number of learning phase by resolution	: 0
1800.03/891.01	c number of learning phase by cutting planes	: 0
1800.03/891.01	c speed (assignments/second)	: 72597.72267165982
1800.03/891.01	c non guided choices	0
1800.03/891.03	c learnt constraints type 
1800.03/891.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 79333
1800.03/891.03	c >>>>>>>>>> Solver number 1 (14 answers) <<<<<<<<<<<<<<<<<<
1800.03/891.03	c starts		: 53
1800.03/891.03	c conflicts		: 13243
1800.03/891.03	c decisions		: 28996
1800.03/891.03	c propagations		: 518156
1800.03/891.03	c inspects		: 723441782
1800.03/891.03	c shortcuts		: 0
1800.03/891.03	c learnt literals	: 0
1800.03/891.03	c learnt binary clauses	: 0
1800.03/891.03	c learnt ternary clauses	: 0
1800.03/891.03	c learnt constraints	: 13243
1800.03/891.03	c ignored constraints	: 0
1800.03/891.03	c root simplifications	: 0
1800.03/891.03	c removed literals (reason simplification)	: 0
1800.03/891.03	c reason swapping (by a shorter reason)	: 0
1800.03/891.03	c Calls to reduceDB	: 1
1800.03/891.03	c Number of update (reduction) of LBD	: 0
1800.03/891.03	c Imported unit clauses	: 0
1800.03/891.03	c number of reductions to clauses (during analyze)	: 0
1800.03/891.03	c number of learned constraints concerned by reduction	: 0
1800.03/891.03	c number of learning phase by resolution	: 0
1800.03/891.03	c number of learning phase by cutting planes	: 0
1800.03/891.03	c speed (assignments/second)	: 582.8664119174919
1800.03/891.03	c non guided choices	0
1800.03/891.04	c learnt constraints type 
1800.03/891.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 665
1800.03/891.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12578
1800.03/891.04	s SATISFIABLE
1800.03/891.04	c Found 16 solution(s)
1800.03/891.04	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 -x286 x287 -x288 -x289 -x290 x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 x494 -x495 x496 -x497 -x498 x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 x610 -x611 -x612 x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 x652 x653 -x654 -x655 -x656 -x657 -x658 x659 x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 x786 -x787 -x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 x939 -x940 -x941 x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 
1800.03/891.04	c objective function=-122
1800.03/891.04	c Total wall clock time (in seconds): 890.91

Verifier Data 

OK	-122

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

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

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


[startup+0 s]
/proc/loadavg: 4.04 4.16 4.08 5/197 16130
/proc/meminfo: memFree=28303832/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/16130/stat : 16130 (java) R 16127 16130 15518 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 107559038 3653632 48 33554432000 1073741824 1073778376 140736457584704 140736457581832 214360489616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 892 49 38 9 0 30 0

[startup+0.100123 s]
/proc/loadavg: 4.04 4.16 4.08 5/197 16130
/proc/meminfo: memFree=28303832/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 4295 0 1 0 7 1 0 0 20 0 18 0 107559038 9787879424 5419 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2389619 5419 2088 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200288 s]
/proc/loadavg: 4.04 4.16 4.08 5/197 16130
/proc/meminfo: memFree=28303832/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 4663 0 1 0 20 1 0 0 20 0 18 0 107559038 9787879424 7267 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2389619 7268 2195 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300267 s]
/proc/loadavg: 4.04 4.16 4.08 5/197 16130
/proc/meminfo: memFree=28303832/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 5690 0 1 0 40 1 0 0 20 0 18 0 107559038 9787879424 8355 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2389619 8355 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9558476

[startup+0.700179 s]
/proc/loadavg: 4.04 4.16 4.08 5/197 16130
/proc/meminfo: memFree=28303832/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9558476 CPUtime=1.52 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 21932 0 1 0 148 4 0 0 20 0 18 0 107559038 9787879424 26752 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2389619 26752 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9558476

[startup+1.5008 s]
/proc/loadavg: 4.04 4.16 4.08 6/215 16219
/proc/meminfo: memFree=30389380/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 27919 0 1 0 340 8 0 0 20 0 19 0 107559038 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2456183 40555 2269 9 0 2446860 0
[pid=16130/tid=16132] ppid=16127 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (java) S 16127 16130 15518 0 -1 4202560 2468 0 1 0 98 3 0 0 20 0 19 0 107559039 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228609979256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559041 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228453894952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16134] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16134/stat : 16134 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559041 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228452842152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16135] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16135/stat : 16135 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559041 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228451789864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16136] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16136/stat : 16136 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559041 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228450737064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16137] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16137/stat : 16137 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559041 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228449683752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16138] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16138/stat : 16138 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559041 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228448630952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16139] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16139/stat : 16139 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559041 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228447578664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16140] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16140/stat : 16140 (java) S 16127 16130 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107559041 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228446525864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16141] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16141/stat : 16141 (java) S 16127 16130 15518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107559042 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228434115304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16142] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16142/stat : 16142 (java) S 16127 16130 15518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107559042 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228433061368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16143] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16143/stat : 16143 (java) S 16127 16130 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107559042 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228432008968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16144] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16144/stat : 16144 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559045 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228430957456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16145] ppid=16127 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/16130/task/16145/stat : 16145 (java) S 16127 16130 15518 0 -1 4202560 11787 0 0 0 98 3 0 0 20 0 19 0 107559045 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228429904056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16146] ppid=16127 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/16130/task/16146/stat : 16146 (java) S 16127 16130 15518 0 -1 4202560 12347 0 0 0 96 2 0 0 20 0 19 0 107559045 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228428851256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16147] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16147/stat : 16147 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559045 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228427799160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16148] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16148/stat : 16148 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559045 10060525568 40555 33554432000 1073741824 1073778376 140736457584704 140228426746568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 9824732

[startup+3.10072 s]
/proc/loadavg: 4.04 4.16 4.08 2/213 16232
/proc/meminfo: memFree=30345064/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9824732 CPUtime=4.78 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 29207 0 1 0 460 18 0 0 20 0 21 0 107559038 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2456183 58511 2281 9 0 2446860 0
[pid=16130/tid=16132] ppid=16127 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (java) S 16127 16130 15518 0 -1 4202560 2469 0 1 0 99 3 0 0 20 0 21 0 107559039 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228609979256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (java) R 16127 16130 15518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 107559041 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228453895128 140228612449993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16134] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16134/stat : 16134 (java) R 16127 16130 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 107559041 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228452842328 214369602695 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16135] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16135/stat : 16135 (java) R 16127 16130 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 107559041 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228451789992 214369602695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16136] ppid=16127 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/16130/task/16136/stat : 16136 (java) R 16127 16130 15518 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 21 0 107559041 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228450737240 214369602695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16137] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16137/stat : 16137 (java) R 16127 16130 15518 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 21 0 107559041 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228449683928 140228618024098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16138] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16138/stat : 16138 (java) R 16127 16130 15518 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 107559041 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228448631080 140228618024098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16139] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16139/stat : 16139 (java) R 16127 16130 15518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 107559041 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228447578840 214369602695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16140] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16140/stat : 16140 (java) R 16127 16130 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 107559041 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228446525744 140228613731328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16141] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16141/stat : 16141 (java) S 16127 16130 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 107559042 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228434114184 214373020732 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16142] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16142/stat : 16142 (java) S 16127 16130 15518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 107559042 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228433061368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16143] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16143/stat : 16143 (java) S 16127 16130 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 107559042 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228432008968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16144] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16144/stat : 16144 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107559045 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228430957456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16145] ppid=16127 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/16130/task/16145/stat : 16145 (java) S 16127 16130 15518 0 -1 4202560 12931 0 0 0 131 3 0 0 20 0 21 0 107559045 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228429904056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16146] ppid=16127 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/16130/task/16146/stat : 16146 (java) S 16127 16130 15518 0 -1 4202560 12355 0 0 0 131 2 0 0 20 0 21 0 107559045 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228428837240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16147] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16147/stat : 16147 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107559045 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228427799160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16148] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16148/stat : 16148 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107559045 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228426746568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16232] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16232/stat : 16232 (java) S 16127 16130 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 107559244 10060525568 58511 33554432000 1073741824 1073778376 140736457584704 140228422534440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 9824732

[startup+6.30081 s]
/proc/loadavg: 3.87 4.12 4.07 5/216 16330
/proc/meminfo: memFree=30245712/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9824732 CPUtime=7.57 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 29793 0 1 0 725 32 0 0 20 0 22 0 107559038 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2456183 73282 2291 9 0 2446860 0
[pid=16130/tid=16132] ppid=16127 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (java) S 16127 16130 15518 0 -1 4202560 2469 0 1 0 100 3 0 0 20 0 22 0 107559039 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228609979256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (java) S 16127 16130 15518 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 107559041 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228453894952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16134] ppid=16127 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16130/task/16134/stat : 16134 (java) S 16127 16130 15518 0 -1 4202560 80 0 0 0 4 0 0 0 20 0 22 0 107559041 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228452842152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16135] ppid=16127 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16130/task/16135/stat : 16135 (java) S 16127 16130 15518 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 22 0 107559041 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228451789864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16136] ppid=16127 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16130/task/16136/stat : 16136 (java) S 16127 16130 15518 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 22 0 107559041 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228450737064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16137] ppid=16127 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16130/task/16137/stat : 16137 (java) S 16127 16130 15518 0 -1 4202560 80 0 0 0 1 0 0 0 20 0 22 0 107559041 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228449683752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16138] ppid=16127 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16130/task/16138/stat : 16138 (java) S 16127 16130 15518 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 107559041 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228448630952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16139] ppid=16127 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16130/task/16139/stat : 16139 (java) S 16127 16130 15518 0 -1 4202560 114 0 0 0 4 0 0 0 20 0 22 0 107559041 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228447578664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16140] ppid=16127 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16130/task/16140/stat : 16140 (java) S 16127 16130 15518 0 -1 4202560 141 0 0 0 3 0 0 0 20 0 22 0 107559041 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228446525864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16141] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16141/stat : 16141 (java) S 16127 16130 15518 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228434115304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16142] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16142/stat : 16142 (java) S 16127 16130 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228433061368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16143] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16143/stat : 16143 (java) S 16127 16130 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228432008968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16144] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16144/stat : 16144 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228430957456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16145] ppid=16127 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/16130/task/16145/stat : 16145 (java) S 16127 16130 15518 0 -1 4202560 12931 0 0 0 151 3 0 0 20 0 22 0 107559045 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228429904056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16146] ppid=16127 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/16130/task/16146/stat : 16146 (java) S 16127 16130 15518 0 -1 4202560 12360 0 0 0 152 2 0 0 20 0 22 0 107559045 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228428851256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16147] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16147/stat : 16147 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228427799160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16148] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16148/stat : 16148 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228426746568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16232] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16232/stat : 16232 (java) S 16127 16130 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107559244 10060525568 73282 33554432000 1073741824 1073778376 140736457584704 140228422534440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 9824732

[startup+12.7009 s]
/proc/loadavg: 3.88 4.12 4.07 5/219 16348

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

[startup+822.301 s]
/proc/loadavg: 4.28 4.25 4.18 5/219 16400
/proc/meminfo: memFree=22926872/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9824732 CPUtime=1659.21 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 43724 0 1 0 165553 368 0 0 20 0 22 0 107559038 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2456183 1230908 2304 9 0 2446860 0
[pid=16130/tid=16132] ppid=16127 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (java) S 16127 16130 15518 0 -1 4202560 2487 0 1 0 104 4 0 0 20 0 22 0 107559039 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228609979256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=9824732 CPUtime=9.07 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (java) R 16127 16130 15518 0 -1 4202560 1034 0 0 0 872 35 0 0 20 0 22 0 107559041 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228453894832 140228616487311 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16134] ppid=16127 vsize=9824732 CPUtime=9.25 cores=0,2,4,6
/proc/16130/task/16134/stat : 16134 (java) R 16127 16130 15518 0 -1 4202560 1035 0 0 0 891 34 0 0 20 0 22 0 107559041 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228452842328 140228616487343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16135] ppid=16127 vsize=9824732 CPUtime=8.66 cores=0,2,4,6
/proc/16130/task/16135/stat : 16135 (java) R 16127 16130 15518 0 -1 4202560 1051 0 0 0 829 37 0 0 20 0 22 0 107559041 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228451790040 140228616487347 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16136] ppid=16127 vsize=9824732 CPUtime=8.34 cores=0,2,4,6
/proc/16130/task/16136/stat : 16136 (java) R 16127 16130 15518 0 -1 4202560 1127 0 0 0 803 31 0 0 20 0 22 0 107559041 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228450737240 140228616877138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16137] ppid=16127 vsize=9824732 CPUtime=9.4 cores=0,2,4,6
/proc/16130/task/16137/stat : 16137 (java) R 16127 16130 15518 0 -1 4202560 960 0 0 0 907 33 0 0 20 0 22 0 107559041 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228449683880 140228618024098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16138] ppid=16127 vsize=9824732 CPUtime=9.54 cores=0,2,4,6
/proc/16130/task/16138/stat : 16138 (java) R 16127 16130 15518 0 -1 4202560 1446 0 0 0 902 52 0 0 20 0 22 0 107559041 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228448631128 140228614154489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16139] ppid=16127 vsize=9824732 CPUtime=8.73 cores=0,2,4,6
/proc/16130/task/16139/stat : 16139 (java) R 16127 16130 15518 0 -1 4202560 1047 0 0 0 845 28 0 0 20 0 22 0 107559041 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228447578664 214369602695 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16140] ppid=16127 vsize=9824732 CPUtime=8.84 cores=0,2,4,6
/proc/16130/task/16140/stat : 16140 (java) R 16127 16130 15518 0 -1 4202560 920 0 0 0 853 31 0 0 20 0 22 0 107559041 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228446525864 214369602695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16141] ppid=16127 vsize=9824732 CPUtime=12.84 cores=0,2,4,6
/proc/16130/task/16141/stat : 16141 (java) S 16127 16130 15518 0 -1 4202560 4174 0 0 0 1273 11 0 0 20 0 22 0 107559042 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228434114184 214373020732 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16142] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16142/stat : 16142 (java) S 16127 16130 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228433061368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16143] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16143/stat : 16143 (java) S 16127 16130 15518 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228432008968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16144] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16144/stat : 16144 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228430957456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16145] ppid=16127 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/16130/task/16145/stat : 16145 (java) S 16127 16130 15518 0 -1 4202560 12936 0 0 0 181 3 0 0 20 0 22 0 107559045 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228429904056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16146] ppid=16127 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/16130/task/16146/stat : 16146 (java) S 16127 16130 15518 0 -1 4202560 12420 0 0 0 214 2 0 0 20 0 22 0 107559045 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228428851256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16147] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16147/stat : 16147 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228427799160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16148] ppid=16127 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/16130/task/16148/stat : 16148 (java) S 16127 16130 15518 0 -1 4202560 47 0 0 0 19 16 0 0 20 0 22 0 107559045 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228426746568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16232] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16232/stat : 16232 (java) S 16127 16130 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107559244 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228422534440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16373] ppid=16127 vsize=9824732 CPUtime=654.7 cores=0,2,4,6
/proc/16130/task/16373/stat : 16373 (java) S 16127 16130 15518 0 -1 4202560 7 0 0 0 65459 11 0 0 20 0 22 0 107573157 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228423584712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16374] ppid=16127 vsize=9824732 CPUtime=654.69 cores=0,2,4,6
/proc/16130/task/16374/stat : 16374 (java) S 16127 16130 15518 0 -1 4202560 87 0 0 0 65460 9 0 0 20 0 22 0 107573157 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228424638152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16375] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16375/stat : 16375 (java) S 16127 16130 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107573157 10060525568 1230908 33554432000 1073741824 1073778376 140736457584704 140228425692712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1659.21
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.46 4.34 4.22 6/219 16401
/proc/meminfo: memFree=22979796/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9824732 CPUtime=1782.26 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 44042 0 1 0 177839 387 0 0 20 0 22 0 107559038 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2456183 1286188 2304 9 0 2446860 0
[pid=16130/tid=16132] ppid=16127 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (java) S 16127 16130 15518 0 -1 4202560 2489 0 1 0 104 4 0 0 20 0 22 0 107559039 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228609979256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=9824732 CPUtime=9.9 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (java) S 16127 16130 15518 0 -1 4202560 1077 0 0 0 952 38 0 0 20 0 22 0 107559041 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228453894952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16134] ppid=16127 vsize=9824732 CPUtime=10.05 cores=0,2,4,6
/proc/16130/task/16134/stat : 16134 (java) S 16127 16130 15518 0 -1 4202560 1089 0 0 0 968 37 0 0 20 0 22 0 107559041 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228452842152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16135] ppid=16127 vsize=9824732 CPUtime=9.56 cores=0,2,4,6
/proc/16130/task/16135/stat : 16135 (java) S 16127 16130 15518 0 -1 4202560 1082 0 0 0 917 39 0 0 20 0 22 0 107559041 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228451789864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16136] ppid=16127 vsize=9824732 CPUtime=9.06 cores=0,2,4,6
/proc/16130/task/16136/stat : 16136 (java) S 16127 16130 15518 0 -1 4202560 1161 0 0 0 873 33 0 0 20 0 22 0 107559041 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228450737064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16137] ppid=16127 vsize=9824732 CPUtime=10.18 cores=0,2,4,6
/proc/16130/task/16137/stat : 16137 (java) S 16127 16130 15518 0 -1 4202560 992 0 0 0 983 35 0 0 20 0 22 0 107559041 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228449683752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16138] ppid=16127 vsize=9824732 CPUtime=10.26 cores=0,2,4,6
/proc/16130/task/16138/stat : 16138 (java) S 16127 16130 15518 0 -1 4202560 1476 0 0 0 973 53 0 0 20 0 22 0 107559041 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228448630952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16139] ppid=16127 vsize=9824732 CPUtime=9.5 cores=0,2,4,6
/proc/16130/task/16139/stat : 16139 (java) S 16127 16130 15518 0 -1 4202560 1069 0 0 0 921 29 0 0 20 0 22 0 107559041 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228447578664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16140] ppid=16127 vsize=9824732 CPUtime=9.53 cores=0,2,4,6
/proc/16130/task/16140/stat : 16140 (java) S 16127 16130 15518 0 -1 4202560 957 0 0 0 919 34 0 0 20 0 22 0 107559041 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228446525864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16141] ppid=16127 vsize=9824732 CPUtime=12.86 cores=0,2,4,6
/proc/16130/task/16141/stat : 16141 (java) S 16127 16130 15518 0 -1 4202560 4198 0 0 0 1274 12 0 0 20 0 22 0 107559042 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228434115304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16142] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16142/stat : 16142 (java) S 16127 16130 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228433061368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16143] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16143/stat : 16143 (java) S 16127 16130 15518 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228432008968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16144] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16144/stat : 16144 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228430957456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16145] ppid=16127 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/16130/task/16145/stat : 16145 (java) S 16127 16130 15518 0 -1 4202560 12936 0 0 0 181 3 0 0 20 0 22 0 107559045 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228429904056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16146] ppid=16127 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/16130/task/16146/stat : 16146 (java) S 16127 16130 15518 0 -1 4202560 12420 0 0 0 214 2 0 0 20 0 22 0 107559045 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228428851256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16147] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16147/stat : 16147 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228427799160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16148] ppid=16127 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/16130/task/16148/stat : 16148 (java) S 16127 16130 15518 0 -1 4202560 51 0 0 0 21 17 0 0 20 0 22 0 107559045 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228426746568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16232] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16232/stat : 16232 (java) S 16127 16130 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107559244 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228422534440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16373] ppid=16127 vsize=9824732 CPUtime=713.13 cores=0,2,4,6
/proc/16130/task/16373/stat : 16373 (java) R 16127 16130 15518 0 -1 4202560 9 0 0 0 71301 12 0 0 20 0 22 0 107573157 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228423577728 140228483582563 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16374] ppid=16127 vsize=9824732 CPUtime=713.1 cores=0,2,4,6
/proc/16130/task/16374/stat : 16374 (java) R 16127 16130 15518 0 -1 4202560 90 0 0 0 71298 12 0 0 20 0 22 0 107573157 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228424639488 140228483546199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16375] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16375/stat : 16375 (java) S 16127 16130 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107573157 10060525568 1286188 33554432000 1073741824 1073778376 140736457584704 140228425692712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+891.001 s]
/proc/loadavg: 4.39 4.32 4.21 5/219 16401
/proc/meminfo: memFree=22948648/32872528 swapFree=15784/1434320
[pid=16130] ppid=16127 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/16130/stat : 16130 (java) S 16127 16130 15518 0 -1 4202496 44112 0 1 0 179611 392 0 0 20 0 22 0 107559038 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140736457575840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16130/statm: 2456183 1295921 2304 9 0 2446860 0
[pid=16130/tid=16132] ppid=16127 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (java) S 16127 16130 15518 0 -1 4202560 2489 0 1 0 104 4 0 0 20 0 22 0 107559039 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228609979256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=9824732 CPUtime=9.95 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (java) S 16127 16130 15518 0 -1 4202560 1083 0 0 0 957 38 0 0 20 0 22 0 107559041 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228453894952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16134] ppid=16127 vsize=9824732 CPUtime=10.2 cores=0,2,4,6
/proc/16130/task/16134/stat : 16134 (java) S 16127 16130 15518 0 -1 4202560 1097 0 0 0 982 38 0 0 20 0 22 0 107559041 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228452842152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16135] ppid=16127 vsize=9824732 CPUtime=9.74 cores=0,2,4,6
/proc/16130/task/16135/stat : 16135 (java) S 16127 16130 15518 0 -1 4202560 1099 0 0 0 934 40 0 0 20 0 22 0 107559041 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228451789864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16136] ppid=16127 vsize=9824732 CPUtime=9.23 cores=0,2,4,6
/proc/16130/task/16136/stat : 16136 (java) S 16127 16130 15518 0 -1 4202560 1174 0 0 0 889 34 0 0 20 0 22 0 107559041 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228450737064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16137] ppid=16127 vsize=9824732 CPUtime=10.21 cores=0,2,4,6
/proc/16130/task/16137/stat : 16137 (java) S 16127 16130 15518 0 -1 4202560 994 0 0 0 986 35 0 0 20 0 22 0 107559041 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228449683752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16138] ppid=16127 vsize=9824732 CPUtime=10.32 cores=0,2,4,6
/proc/16130/task/16138/stat : 16138 (java) S 16127 16130 15518 0 -1 4202560 1477 0 0 0 979 53 0 0 20 0 22 0 107559041 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228448630952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16139] ppid=16127 vsize=9824732 CPUtime=9.59 cores=0,2,4,6
/proc/16130/task/16139/stat : 16139 (java) S 16127 16130 15518 0 -1 4202560 1079 0 0 0 929 30 0 0 20 0 22 0 107559041 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228447578664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16140] ppid=16127 vsize=9824732 CPUtime=9.57 cores=0,2,4,6
/proc/16130/task/16140/stat : 16140 (java) S 16127 16130 15518 0 -1 4202560 964 0 0 0 923 34 0 0 20 0 22 0 107559041 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228446525864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16141] ppid=16127 vsize=9824732 CPUtime=12.86 cores=0,2,4,6
/proc/16130/task/16141/stat : 16141 (java) S 16127 16130 15518 0 -1 4202560 4203 0 0 0 1274 12 0 0 20 0 22 0 107559042 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228434115304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16142] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16142/stat : 16142 (java) S 16127 16130 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228433061368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16143] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16143/stat : 16143 (java) S 16127 16130 15518 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 107559042 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228432008968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16144] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16144/stat : 16144 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228430957456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16145] ppid=16127 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/16130/task/16145/stat : 16145 (java) S 16127 16130 15518 0 -1 4202560 12936 0 0 0 181 3 0 0 20 0 22 0 107559045 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228429904056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16146] ppid=16127 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/16130/task/16146/stat : 16146 (java) S 16127 16130 15518 0 -1 4202560 12420 0 0 0 214 2 0 0 20 0 22 0 107559045 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228428851256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16147] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16147/stat : 16147 (java) S 16127 16130 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559045 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228427799160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16148] ppid=16127 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/16130/task/16148/stat : 16148 (java) S 16127 16130 15518 0 -1 4202560 51 0 0 0 21 17 0 0 20 0 22 0 107559045 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228426746568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16232] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16232/stat : 16232 (java) S 16127 16130 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107559244 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228422534440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16130/tid=16373] ppid=16127 vsize=9824732 CPUtime=721.64 cores=0,2,4,6
/proc/16130/task/16373/stat : 16373 (java) R 16127 16130 15518 0 -1 4202560 9 0 0 0 72152 12 0 0 20 0 22 0 107573157 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228423584656 140228483908743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16374] ppid=16127 vsize=9824732 CPUtime=721.61 cores=0,2,4,6
/proc/16130/task/16374/stat : 16374 (java) R 16127 16130 15518 0 -1 4202560 91 0 0 0 72149 12 0 0 20 0 22 0 107573157 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228424638400 140228483201284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16130/tid=16375] ppid=16127 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16375/stat : 16375 (java) S 16127 16130 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107573157 10060525568 1295921 33554432000 1073741824 1073778376 140736457584704 140228425692712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 16130 sig 9
??? kill -16130 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 891.077
CPU time (s): 1800.73
CPU user time (s): 1796.35
CPU system time (s): 4.38333
CPU usage (%): 202.085
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.35
system time used= 4.38333
maximum resident set size= 5183800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44148
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25083
involuntary context switches= 44823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57215 second user time and 7.52585 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-07 01:37:38
IDJOB=4081771
IDBENCH=48209
IDSOLVER=2543
FILE ID=node130/4081771-1465256258
RUNJOBID= node130-1465253566-15534
PBS_JOBID= 19843263
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081771-1465256258/watcher-4081771-1465256258 -o /tmp/evaluation-result-4081771-1465256258/solver-4081771-1465256258 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15534 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081771-1465256258.opb

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

MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe
RANDOM SEED=898874572

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.261
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.52
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.261
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.261
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.261
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.61
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.261
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.261
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.261
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.261
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:        28304740 kB
Buffers:           50760 kB
Cached:           112732 kB
SwapCached:         1748 kB
Active:          2326064 kB
Inactive:          99184 kB
Active(anon):    2262944 kB
Inactive(anon):     1200 kB
Active(file):      63120 kB
Inactive(file):    97984 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098356 kB
Dirty:              1288 kB
Writeback:             0 kB
AnonPages:       3697252 kB
Mapped:            15332 kB
Shmem:                 0 kB
Slab:             568796 kB
SReclaimable:      12408 kB
SUnreclaim:       556388 kB
KernelStack:        1600 kB
PageTables:        11796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3873088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3639296 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= 71748 MiB
End job on node130 at 2016-06-07 01:52:29