Trace number 4110541

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.04 898.35

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap41_wcsp.wbo
MD5SUM58e4788c719f1a12516705b51263d664
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13812213
Best CPU time to get the best result obtained on this benchmark1800.04
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 55743026
Min constraint cost 1
Max constraint cost 55743026
Sum of constraints costs 44948405826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4110541-1466347536.wbo
0.11/0.11	c reading problem ... 
0.27/0.26	c ... done. Wall clock time 0.156s.
0.27/0.26	c declared #vars     832
0.27/0.26	c internal #vars     2446
0.27/0.26	c #constraints  1746
0.27/0.27	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.27/0.27	c constraints type 
0.27/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850
0.27/0.27	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.27/0.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 846
0.27/0.27	c 1746 constraints processed.
0.27/0.27	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.27/0.27	c constraints type 
0.27/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 846
0.27/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 850
0.27/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.27/0.27	c 1746 constraints processed.
0.27/0.27	c objective function length is 1614 literals
0.51/0.30	c And the winner is solver1
0.55/0.77	c SATISFIABLE
0.55/0.77	c OPTIMIZING...
0.55/0.77	c Got one! Elapsed wall clock time (in seconds):0.663
0.55/0.77	o 9065142
3.74/1.82	c cleaning 2494 clauses out of 5002 with flag 11868/5002
5.26/2.57	c cleaning 4253 clauses out of 8506 with flag 31641/11000
7.07/3.42	c cleaning 5619 clauses out of 11253 with flag 55611/18000
8.89/4.39	c cleaning 6809 clauses out of 13634 with flag 85058/26000
11.32/5.54	c cleaning 7905 clauses out of 15826 with flag 117513/35001
13.73/6.78	c cleaning 8957 clauses out of 17922 with flag 150949/45002
16.77/8.20	c cleaning 9975 clauses out of 19965 with flag 188543/56002
19.77/9.74	c cleaning 10984 clauses out of 21991 with flag 227759/68003
23.17/11.44	c cleaning 12001 clauses out of 24004 with flag 269712/81000
26.84/13.29	c cleaning 12998 clauses out of 26003 with flag 314677/95000
31.03/15.31	c cleaning 13997 clauses out of 28006 with flag 361589/110001
35.30/17.46	c cleaning 15002 clauses out of 30008 with flag 412445/126000
39.90/19.72	c cleaning 16002 clauses out of 32006 with flag 465747/143000
44.93/22.25	c cleaning 16987 clauses out of 34005 with flag 518843/161001
50.33/24.92	c cleaning 18006 clauses out of 36017 with flag 573374/180000
56.21/27.87	c cleaning 18999 clauses out of 38013 with flag 636268/200002
62.55/30.95	c cleaning 20004 clauses out of 40012 with flag 701989/221000
69.34/34.40	c cleaning 21001 clauses out of 42009 with flag 769130/243001
76.79/38.01	c cleaning 21996 clauses out of 44007 with flag 837841/266000
84.46/41.83	c cleaning 22994 clauses out of 46011 with flag 914061/290000
92.69/45.96	c cleaning 24006 clauses out of 48019 with flag 990902/315002
101.09/50.19	c cleaning 24997 clauses out of 50014 with flag 1071850/341003
110.12/54.67	c cleaning 25994 clauses out of 52016 with flag 1157043/368002
119.37/59.23	c cleaning 27006 clauses out of 54021 with flag 1240628/396001
128.85/63.97	c cleaning 27998 clauses out of 56014 with flag 1333201/425000
139.05/69.03	c cleaning 28999 clauses out of 58017 with flag 1433212/455001
149.26/74.19	c cleaning 29996 clauses out of 60018 with flag 1529477/486001
161.08/80.05	c cleaning 30983 clauses out of 62021 with flag 1636184/518000
172.93/85.97	c cleaning 32008 clauses out of 64038 with flag 1733804/551000
185.57/92.21	c cleaning 33013 clauses out of 66030 with flag 1849384/585000
198.79/98.83	c cleaning 34010 clauses out of 68019 with flag 1973822/620002
212.44/105.65	c cleaning 34999 clauses out of 70007 with flag 2087777/656000
227.25/113.07	c cleaning 36005 clauses out of 72010 with flag 2197224/693002
241.12/119.99	c cleaning 37001 clauses out of 74003 with flag 2317516/731000
256.17/127.44	c cleaning 37991 clauses out of 76002 with flag 2451385/770000
272.24/135.45	c cleaning 39003 clauses out of 78014 with flag 2580968/810003
287.67/143.11	c cleaning 39976 clauses out of 80008 with flag 2733852/851000
287.67/143.12	c And the winner is solver0
287.67/143.38	c Got one! Elapsed wall clock time (in seconds):143.276
287.67/143.38	o 9064893
289.33/144.24	c cleaning 22522 clauses out of 45092 with flag 13955/856060
290.91/145.07	c cleaning 14259 clauses out of 28570 with flag 32527/862060
292.73/145.96	c cleaning 10646 clauses out of 21311 with flag 56192/869060
294.73/147.00	c cleaning 9314 clauses out of 18665 with flag 83015/877060
297.13/148.15	c cleaning 9162 clauses out of 18353 with flag 113906/886062
299.73/149.43	c cleaning 9589 clauses out of 19191 with flag 145602/896062
302.57/150.83	c cleaning 10295 clauses out of 20603 with flag 181551/907063
305.75/152.45	c cleaning 11139 clauses out of 22306 with flag 218732/919061
309.16/154.18	c cleaning 12080 clauses out of 24166 with flag 257717/932060
313.15/156.15	c cleaning 13039 clauses out of 26086 with flag 301568/946060
317.57/158.34	c cleaning 14022 clauses out of 28049 with flag 345783/961062
322.19/160.70	c cleaning 15007 clauses out of 30025 with flag 392966/977060
327.17/163.10	c cleaning 15998 clauses out of 32018 with flag 453696/994060
332.37/165.74	c cleaning 17011 clauses out of 34022 with flag 510152/1012062
337.81/168.49	c cleaning 17994 clauses out of 36012 with flag 570645/1031063
343.81/171.45	c cleaning 18997 clauses out of 38016 with flag 636057/1051061
350.42/174.74	c cleaning 19996 clauses out of 40019 with flag 702268/1072061
357.25/178.10	c cleaning 20993 clauses out of 42024 with flag 773236/1094062
364.46/181.76	c cleaning 21995 clauses out of 44029 with flag 845229/1117060
372.08/185.50	c cleaning 23015 clauses out of 46034 with flag 925890/1141060
380.12/189.58	c cleaning 24007 clauses out of 48019 with flag 1005252/1166060
388.55/193.78	c cleaning 24999 clauses out of 50014 with flag 1087865/1192062
397.98/198.45	c cleaning 26006 clauses out of 52015 with flag 1173011/1219062
407.61/203.20	c cleaning 27003 clauses out of 54007 with flag 1259790/1247060
416.65/207.77	c cleaning 27996 clauses out of 56004 with flag 1355884/1276060
426.71/212.79	c cleaning 29004 clauses out of 58010 with flag 1452453/1306062
437.93/218.37	c cleaning 30007 clauses out of 60013 with flag 1546752/1337069
448.97/223.81	c cleaning 30981 clauses out of 61997 with flag 1654093/1369060
460.60/229.64	c cleaning 32008 clauses out of 64017 with flag 1764759/1402061
472.46/235.57	c cleaning 32990 clauses out of 66008 with flag 1879427/1436060
485.09/241.85	c cleaning 34006 clauses out of 68018 with flag 2006518/1471060
498.35/248.48	c cleaning 35007 clauses out of 70013 with flag 2115731/1507061
512.97/255.70	c cleaning 36004 clauses out of 72008 with flag 2236019/1544063
528.61/263.55	c cleaning 36991 clauses out of 74002 with flag 2350046/1582061
544.68/271.78	c cleaning 37999 clauses out of 76010 with flag 2472730/1621060
559.70/279.28	c cleaning 39002 clauses out of 78011 with flag 2605980/1661060
575.58/287.17	c cleaning 39989 clauses out of 80009 with flag 2744998/1702060
592.03/295.39	c cleaning 41007 clauses out of 82020 with flag 2881022/1744060
608.31/303.48	c cleaning 42002 clauses out of 84013 with flag 3021705/1787060
623.94/311.24	c cleaning 42997 clauses out of 86011 with flag 3166659/1831060
640.39/319.40	c cleaning 44000 clauses out of 88015 with flag 3309655/1876061
657.63/328.03	c cleaning 44989 clauses out of 90016 with flag 3465960/1922062
674.72/336.56	c cleaning 46001 clauses out of 92025 with flag 3624665/1969060
694.62/346.45	c cleaning 46990 clauses out of 94024 with flag 3779846/2017060
716.32/357.47	c cleaning 48015 clauses out of 96037 with flag 3934223/2066063
738.79/368.68	c cleaning 48996 clauses out of 98022 with flag 4091254/2116063
761.66/380.01	c cleaning 50009 clauses out of 100024 with flag 4264028/2167061
784.94/391.69	c cleaning 50996 clauses out of 102014 with flag 4431615/2219060
809.98/404.12	c cleaning 51996 clauses out of 104018 with flag 4630936/2272060
835.46/416.84	c cleaning 53011 clauses out of 106025 with flag 4801348/2326063
862.77/430.47	c cleaning 54001 clauses out of 108011 with flag 4965073/2381060
888.45/443.20	c cleaning 54992 clauses out of 110010 with flag 5148815/2437060
915.78/456.85	c cleaning 55993 clauses out of 112018 with flag 5333958/2494060
943.45/470.65	c cleaning 57002 clauses out of 114028 with flag 5525368/2552063
972.20/485.15	c cleaning 58002 clauses out of 116025 with flag 5712463/2611062
1000.48/499.20	c cleaning 59000 clauses out of 118023 with flag 5907617/2671062
1030.37/514.11	c cleaning 60004 clauses out of 120021 with flag 6095983/2732060
1058.63/528.23	c cleaning 60990 clauses out of 122017 with flag 6314297/2794060
1087.31/542.57	c cleaning 62012 clauses out of 124027 with flag 6515928/2857060
1116.61/557.19	c cleaning 62999 clauses out of 126015 with flag 6710100/2921060
1150.78/574.14	c cleaning 64004 clauses out of 128017 with flag 6916550/2986061
1182.21/590.02	c cleaning 64999 clauses out of 130012 with flag 7122808/3052060
1195.45/596.69	c And the winner is solver1
1195.45/596.85	c Got one! Elapsed wall clock time (in seconds):596.743
1195.45/596.85	o 9061073
1199.55/598.98	c cleaning 50913 clauses out of 101845 with flag 15093/3088892
1201.97/600.17	c cleaning 28447 clauses out of 56932 with flag 34338/3094892
1204.37/601.33	c cleaning 17735 clauses out of 35487 with flag 57282/3101894
1206.58/602.49	c cleaning 12867 clauses out of 25753 with flag 84029/3109895
1209.38/603.80	c cleaning 10932 clauses out of 21886 with flag 113360/3118895
1212.18/605.25	c cleaning 10477 clauses out of 20954 with flag 145381/3128895
1215.59/606.91	c cleaning 10738 clauses out of 21476 with flag 182778/3139894
1219.20/608.77	c cleaning 11364 clauses out of 22739 with flag 222610/3151895
1223.43/610.81	c cleaning 12188 clauses out of 24376 with flag 266062/3164896
1227.82/613.07	c cleaning 13077 clauses out of 26184 with flag 317434/3178892
1233.04/615.61	c cleaning 14047 clauses out of 28109 with flag 371116/3193894
1238.26/618.30	c cleaning 15030 clauses out of 30061 with flag 422931/3209893
1244.06/621.16	c cleaning 16011 clauses out of 32030 with flag 476345/3226892
1250.49/624.35	c cleaning 17009 clauses out of 34019 with flag 533065/3244892
1257.11/627.66	c cleaning 17999 clauses out of 36010 with flag 594755/3263892
1264.12/631.13	c cleaning 19002 clauses out of 38011 with flag 659019/3283892
1271.35/634.77	c cleaning 19998 clauses out of 40009 with flag 728457/3304892
1279.36/638.71	c cleaning 21006 clauses out of 42011 with flag 800965/3326892
1287.78/642.91	c cleaning 21998 clauses out of 44006 with flag 876303/3349893
1297.21/647.67	c cleaning 23000 clauses out of 46007 with flag 955640/3373892
1307.04/652.55	c cleaning 24004 clauses out of 48010 with flag 1035843/3398895
1318.10/658.08	c cleaning 24997 clauses out of 50003 with flag 1121237/3424892
1328.74/663.40	c cleaning 26001 clauses out of 52010 with flag 1210836/3451896
1341.15/669.58	c cleaning 27000 clauses out of 54006 with flag 1301609/3479893
1353.78/675.89	c cleaning 28000 clauses out of 56005 with flag 1400431/3508892
1366.62/682.23	c cleaning 28996 clauses out of 58006 with flag 1500208/3538893
1381.08/689.44	c cleaning 30007 clauses out of 60013 with flag 1602185/3569896
1396.13/696.99	c cleaning 30995 clauses out of 62003 with flag 1707676/3601893
1411.61/704.62	c cleaning 32001 clauses out of 64007 with flag 1817810/3634892
1426.84/712.20	c cleaning 32993 clauses out of 66006 with flag 1930888/3668892
1442.89/720.22	c cleaning 34006 clauses out of 68013 with flag 2046335/3703892
1461.56/729.56	c cleaning 35001 clauses out of 70007 with flag 2162375/3739892
1478.65/738.09	c cleaning 36003 clauses out of 72006 with flag 2284691/3776892
1497.52/747.42	c cleaning 36995 clauses out of 74003 with flag 2409456/3814892
1517.60/757.49	c cleaning 38004 clauses out of 76008 with flag 2539717/3853892
1537.66/767.41	c cleaning 39002 clauses out of 78005 with flag 2677295/3893893
1557.50/777.32	c cleaning 40002 clauses out of 80004 with flag 2817844/3934894
1580.20/788.68	c cleaning 41001 clauses out of 82003 with flag 2954187/3976895
1603.05/800.23	c cleaning 41999 clauses out of 83999 with flag 3096570/4019892
1626.14/811.71	c cleaning 43000 clauses out of 86001 with flag 3250270/4063893
1652.10/824.67	c cleaning 44001 clauses out of 88001 with flag 3401958/4108893
1674.48/835.73	c cleaning 45000 clauses out of 89999 with flag 3562991/4154892
1698.99/847.98	c cleaning 46000 clauses out of 91999 with flag 3728187/4201892
1727.85/862.37	c cleaning 47000 clauses out of 93999 with flag 3899352/4249892
1756.34/876.58	c cleaning 48000 clauses out of 96000 with flag 4079164/4298893
1781.40/889.07	c cleaning 49000 clauses out of 98000 with flag 4249328/4348893
1800.04/898.30	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.04/898.30	c starts		: 25673
1800.04/898.30	c conflicts		: 4387000
1800.04/898.30	c decisions		: 14274592
1800.04/898.30	c propagations		: 1265418321
1800.04/898.30	c inspects		: 7456111695
1800.04/898.30	c shortcuts		: 0
1800.04/898.30	c learnt literals	: 0
1800.04/898.30	c learnt binary clauses	: 0
1800.04/898.30	c learnt ternary clauses	: 0
1800.04/898.30	c learnt constraints	: 4387000
1800.04/898.30	c ignored constraints	: 0
1800.04/898.30	c root simplifications	: 0
1800.04/898.30	c removed literals (reason simplification)	: 2963499
1800.04/898.30	c reason swapping (by a shorter reason)	: 0
1800.04/898.30	c Calls to reduceDB	: 145
1800.04/898.30	c Number of update (reduction) of LBD	: 1884075
1800.04/898.30	c Imported unit clauses	: 0
1800.04/898.30	c number of reductions to clauses (during analyze)	: 0
1800.04/898.30	c number of learned constraints concerned by reduction	: 0
1800.04/898.30	c number of learning phase by resolution	: 0
1800.04/898.30	c number of learning phase by cutting planes	: 0
1800.04/898.30	c speed (assignments/second)	: 4197869.318577642
1800.04/898.30	c non guided choices	4
1800.04/898.33	c learnt constraints type 
1800.04/898.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87107
1800.04/898.33	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.04/898.33	c starts		: 5
1800.04/898.33	c conflicts		: 1122
1800.04/898.33	c decisions		: 521150
1800.04/898.33	c propagations		: 1174651
1800.04/898.33	c inspects		: 75251418
1800.04/898.33	c shortcuts		: 0
1800.04/898.33	c learnt literals	: 0
1800.04/898.33	c learnt binary clauses	: 0
1800.04/898.33	c learnt ternary clauses	: 0
1800.04/898.33	c learnt constraints	: 1122
1800.04/898.33	c ignored constraints	: 0
1800.04/898.33	c root simplifications	: 0
1800.04/898.33	c removed literals (reason simplification)	: 0
1800.04/898.33	c reason swapping (by a shorter reason)	: 0
1800.04/898.33	c Calls to reduceDB	: 0
1800.04/898.33	c Number of update (reduction) of LBD	: 0
1800.04/898.33	c Imported unit clauses	: 0
1800.04/898.33	c number of reductions to clauses (during analyze)	: 0
1800.04/898.33	c number of learned constraints concerned by reduction	: 0
1800.04/898.33	c number of learning phase by resolution	: 0
1800.04/898.33	c number of learning phase by cutting planes	: 0
1800.04/898.33	c speed (assignments/second)	: 1555.9651572190417
1800.04/898.33	c non guided choices	0
1800.04/898.33	c learnt constraints type 
1800.04/898.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1122
1800.04/898.33	s SATISFIABLE
1800.04/898.33	c Found 3 solution(s)
1800.04/898.33	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 
1800.04/898.33	c objective function=9061073
1800.04/898.33	c Total wall clock time (in seconds): 898.224

Verifier Data 

OK	9061073

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-4110541-1466347536/watcher-4110541-1466347536 -o /tmp/evaluation-result-4110541-1466347536/solver-4110541-1466347536 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466347526-8348 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110541-1466347536.wbo 

pid=8804
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: 1.44 1.23 1.28 4/197 8807
/proc/meminfo: memFree=30340560/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 36802873 98570240 978 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 24065 978 744 9 0 16771 0
[pid=8807/tid=8808] ppid=8804 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) R 8804 8807 5243 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 36802873 98570240 978 33554432000 1073741824 1073778376 140735992031136 140395332304424 219513963904 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 1.44 1.23 1.28 4/197 8807
/proc/meminfo: memFree=30340560/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 4497 0 1 0 10 1 0 0 20 0 18 0 36802873 9787879424 6128 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2389619 6128 2156 9 0 2380296 0
[pid=8807/tid=8808] ppid=8804 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) R 8804 8807 5243 0 -1 4202560 2390 0 1 0 7 0 0 0 20 0 18 0 36802873 9787879424 6128 33554432000 1073741824 1073778376 140735992031136 140395332307656 219517347085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200336 s]
/proc/loadavg: 1.44 1.23 1.28 4/197 8807
/proc/meminfo: memFree=30340560/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 4785 0 1 0 26 1 0 0 20 0 18 0 36802873 9787879424 7860 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2389619 7860 2221 9 0 2380296 0
[pid=8807/tid=8808] ppid=8804 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) R 8804 8807 5243 0 -1 4202560 2408 0 1 0 16 1 0 0 20 0 18 0 36802873 9787879424 7860 33554432000 1073741824 1073778376 140735992031136 140395332308024 140395182929188 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300286 s]
/proc/loadavg: 1.44 1.23 1.28 4/197 8807
/proc/meminfo: memFree=30340560/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 5606 0 1 0 50 1 0 0 20 0 22 0 36802873 10060525568 10056 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2456183 10056 2244 9 0 2446860 0
[pid=8807/tid=8808] ppid=8804 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) S 8804 8807 5243 0 -1 4202560 2424 0 1 0 23 2 0 0 20 0 22 0 36802873 10060525568 10056 33554432000 1073741824 1073778376 140735992031136 140395332309880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732

[startup+0.70035 s]
/proc/loadavg: 1.44 1.23 1.28 4/197 8807
/proc/meminfo: memFree=30340560/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 5608 0 1 0 52 3 0 0 20 0 19 0 36802873 10060525568 10047 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2456183 10047 2246 9 0 2446860 0
[pid=8807/tid=8808] ppid=8804 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) S 8804 8807 5243 0 -1 4202560 2424 0 1 0 23 2 0 0 20 0 19 0 36802873 10060525568 10047 33554432000 1073741824 1073778376 140735992031136 140395332309880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 1.44 1.23 1.28 7/219 8832
/proc/meminfo: memFree=30226080/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9824732 CPUtime=3.07 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 14727 0 1 0 302 5 0 0 20 0 22 0 36802873 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2456183 22332 2264 9 0 2446860 0
[pid=8807/tid=8808] ppid=8804 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) S 8804 8807 5243 0 -1 4202560 2430 0 1 0 26 2 0 0 20 0 22 0 36802873 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395332309880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395304761512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8811] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8811/stat : 8811 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395303708968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8812] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8812/stat : 8812 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395302656424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8813] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8813/stat : 8813 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395301603880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8814] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8814/stat : 8814 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395171850920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8815] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8815/stat : 8815 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395170798376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8816] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8816/stat : 8816 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395169745832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8817] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8817/stat : 8817 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140395168693288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8818] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8818/stat : 8818 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36802875 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394686179432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8819] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8819/stat : 8819 (java) S 8804 8807 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394685125752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8820] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8820/stat : 8820 (java) S 8804 8807 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394684073096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8821] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8821/stat : 8821 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394683021840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8822] ppid=8804 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/8807/task/8822/stat : 8822 (java) S 8804 8807 5243 0 -1 4202560 4701 0 0 0 57 0 0 0 20 0 22 0 36802878 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394681969208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8823] ppid=8804 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/8807/task/8823/stat : 8823 (java) S 8804 8807 5243 0 -1 4202560 6211 0 0 0 72 0 0 0 20 0 22 0 36802878 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394680916664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8824] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8824/stat : 8824 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394679864312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8825] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8825/stat : 8825 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394678811976 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8828] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8828/stat : 8828 (java) S 8804 8807 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36802901 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394675651624 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8830] ppid=8804 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/8807/task/8830/stat : 8830 (java) R 8804 8807 5243 0 -1 4202560 14 0 0 0 68 0 0 0 20 0 22 0 36802952 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394677756520 140395183427535 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8831] ppid=8804 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/8807/task/8831/stat : 8831 (java) R 8804 8807 5243 0 -1 4202560 55 0 0 0 69 0 0 0 20 0 22 0 36802952 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394676703832 140395183803926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8832] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8832/stat : 8832 (java) S 8804 8807 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36802953 10060525568 22332 33554432000 1073741824 1073778376 140735992031136 140394674599464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 1.44 1.23 1.28 5/219 8832
/proc/meminfo: memFree=30176324/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9824732 CPUtime=6.46 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 14771 0 1 0 640 6 0 0 20 0 22 0 36802873 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2456183 39234 2270 9 0 2446860 0
[pid=8807/tid=8808] ppid=8804 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) S 8804 8807 5243 0 -1 4202560 2430 0 1 0 26 2 0 0 20 0 22 0 36802873 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395332309880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395304761512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8811] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8811/stat : 8811 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395303708968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8812] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8812/stat : 8812 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395302656424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8813] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8813/stat : 8813 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395301603880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8814] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8814/stat : 8814 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395171850920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8815] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8815/stat : 8815 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395170798376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8816] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8816/stat : 8816 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395169745832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8817] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8817/stat : 8817 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140395168693288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8818] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8818/stat : 8818 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36802875 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394686179432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8819] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8819/stat : 8819 (java) S 8804 8807 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394685125752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8820] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8820/stat : 8820 (java) S 8804 8807 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394684073096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8821] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8821/stat : 8821 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394683021840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8822] ppid=8804 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/8807/task/8822/stat : 8822 (java) S 8804 8807 5243 0 -1 4202560 4706 0 0 0 62 0 0 0 20 0 22 0 36802878 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394681969208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8823] ppid=8804 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/8807/task/8823/stat : 8823 (java) S 8804 8807 5243 0 -1 4202560 6215 0 0 0 87 0 0 0 20 0 22 0 36802878 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394680916664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8824] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8824/stat : 8824 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394679864312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8825] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8825/stat : 8825 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394678811976 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8828] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8828/stat : 8828 (java) S 8804 8807 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36802901 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394675651624 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8830] ppid=8804 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/8807/task/8830/stat : 8830 (java) R 8804 8807 5243 0 -1 4202560 16 0 0 0 225 0 0 0 20 0 22 0 36802952 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394677754920 140395183427540 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8831] ppid=8804 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/8807/task/8831/stat : 8831 (java) R 8804 8807 5243 0 -1 4202560 88 0 0 0 227 1 0 0 20 0 22 0 36802952 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394676702248 140395183432877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8832] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8832/stat : 8832 (java) S 8804 8807 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36802953 10060525568 39234 33554432000 1073741824 1073778376 140735992031136 140394674599464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 1.73 1.30 1.30 5/219 8832
/proc/meminfo: memFree=30084056/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9824732 CPUtime=12.91 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 14831 0 1 0 1283 8 0 0 20 0 22 0 36802873 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2456183 46871 2283 9 0 2446860 0
[pid=8807/tid=8808] ppid=8804 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) S 8804 8807 5243 0 -1 4202560 2430 0 1 0 26 2 0 0 20 0 22 0 36802873 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140395332309880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (java) S 8804 8807 5243 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140395304761512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8811] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8811/stat : 8811 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140395303708968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8812] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8812/stat : 8812 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140395302656424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8813] ppid=8804 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8807/task/8813/stat : 8813 (java) S 8804 8807 5243 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 36802874 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140395301603880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8814] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8814/stat : 8814 (java) S 8804 8807 5243 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140395171850920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8815] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8815/stat : 8815 (java) S 8804 8807 5243 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140395170798376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8816] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8816/stat : 8816 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36802874 10060525568 46871 33554432000 1073741824 1073778376 140735992031136 140395169745832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8817] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=8807/tid=8817] ppid=8804 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/8807/task/8817/stat : 8817 (java) S 8804 8807 5243 0 -1 4202560 1909 0 0 0 196 8 0 0 20 0 22 0 36802874 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140395168693288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8818] ppid=8804 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/8807/task/8818/stat : 8818 (java) S 8804 8807 5243 0 -1 4202560 2146 0 0 0 217 29 0 0 20 0 22 0 36802875 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394686179432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8819] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8819/stat : 8819 (java) S 8804 8807 5243 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394685125752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8820] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8820/stat : 8820 (java) S 8804 8807 5243 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394684073096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8821] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8821/stat : 8821 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394683021840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8822] ppid=8804 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/8807/task/8822/stat : 8822 (java) S 8804 8807 5243 0 -1 4202560 4727 0 0 0 88 0 0 0 20 0 22 0 36802878 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394681969208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8823] ppid=8804 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/8807/task/8823/stat : 8823 (java) S 8804 8807 5243 0 -1 4202560 6216 0 0 0 93 0 0 0 20 0 22 0 36802878 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394680916664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8824] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8824/stat : 8824 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394679864312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8825] ppid=8804 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/8807/task/8825/stat : 8825 (java) S 8804 8807 5243 0 -1 4202560 50 0 0 0 11 23 0 0 20 0 22 0 36802878 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394678811976 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8838] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8838/stat : 8838 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36817213 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394677756840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8850] ppid=8804 vsize=9824732 CPUtime=282.56 cores=1,3,5,7
/proc/8807/task/8850/stat : 8850 (java) R 8804 8807 5243 0 -1 4202560 329 0 0 0 28252 4 0 0 20 0 22 0 36862559 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394676702656 140395183672698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8851] ppid=8804 vsize=9824732 CPUtime=282.53 cores=1,3,5,7
/proc/8807/task/8851/stat : 8851 (java) R 8804 8807 5243 0 -1 4202560 3534 0 0 0 28247 6 0 0 20 0 22 0 36862559 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394675649200 140395183432879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8852] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8852/stat : 8852 (java) S 8804 8807 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36862559 10060525568 135146 33554432000 1073741824 1073778376 140735992031136 140394674599208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1765.22
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.301 s]
/proc/loadavg: 4.19 4.07 3.09 3/192 8894
/proc/meminfo: memFree=29945860/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9824732 CPUtime=1797.3 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 35790 0 1 0 179572 158 0 0 20 0 22 0 36802873 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2456183 132969 2293 9 0 2446860 0
[pid=8807/tid=8808] ppid=8804 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) S 8804 8807 5243 0 -1 4202560 2445 0 1 0 30 3 0 0 20 0 22 0 36802873 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395332309880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (java) S 8804 8807 5243 0 -1 4202560 2180 0 0 0 203 10 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395304761512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8811] ppid=8804 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/8807/task/8811/stat : 8811 (java) S 8804 8807 5243 0 -1 4202560 1414 0 0 0 196 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395303708968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8812] ppid=8804 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/8807/task/8812/stat : 8812 (java) S 8804 8807 5243 0 -1 4202560 1472 0 0 0 207 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395302656424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8813] ppid=8804 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/8807/task/8813/stat : 8813 (java) S 8804 8807 5243 0 -1 4202560 1668 0 0 0 214 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395301603880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8814] ppid=8804 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/8807/task/8814/stat : 8814 (java) S 8804 8807 5243 0 -1 4202560 2082 0 0 0 206 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395171850920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8815] ppid=8804 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/8807/task/8815/stat : 8815 (java) S 8804 8807 5243 0 -1 4202560 1670 0 0 0 215 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395170798376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8816] ppid=8804 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/8807/task/8816/stat : 8816 (java) S 8804 8807 5243 0 -1 4202560 1417 0 0 0 199 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395169745832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8817] ppid=8804 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/8807/task/8817/stat : 8817 (java) S 8804 8807 5243 0 -1 4202560 1909 0 0 0 198 8 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395168693288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8818] ppid=8804 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/8807/task/8818/stat : 8818 (java) S 8804 8807 5243 0 -1 4202560 2146 0 0 0 217 29 0 0 20 0 22 0 36802875 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394686179432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8819] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8819/stat : 8819 (java) S 8804 8807 5243 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394685125752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8820] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8820/stat : 8820 (java) S 8804 8807 5243 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394684073096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8821] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8821/stat : 8821 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394683021840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8822] ppid=8804 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/8807/task/8822/stat : 8822 (java) S 8804 8807 5243 0 -1 4202560 4727 0 0 0 88 0 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394681969208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8823] ppid=8804 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/8807/task/8823/stat : 8823 (java) S 8804 8807 5243 0 -1 4202560 6216 0 0 0 93 0 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394680916664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8824] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8824/stat : 8824 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394679864312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8825] ppid=8804 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/8807/task/8825/stat : 8825 (java) S 8804 8807 5243 0 -1 4202560 50 0 0 0 11 24 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394678811976 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8838] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8838/stat : 8838 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36817213 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394677756840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8850] ppid=8804 vsize=9824732 CPUtime=298.44 cores=1,3,5,7
/proc/8807/task/8850/stat : 8850 (java) R 8804 8807 5243 0 -1 4202560 331 0 0 0 29840 4 0 0 20 0 22 0 36862559 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394676704128 140395183407528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8851] ppid=8804 vsize=9824732 CPUtime=298.42 cores=1,3,5,7
/proc/8807/task/8851/stat : 8851 (java) R 8804 8807 5243 0 -1 4202560 3535 0 0 0 29836 6 0 0 20 0 22 0 36862559 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394675650160 140395183433002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8852] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8852/stat : 8852 (java) S 8804 8807 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36862559 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394674599208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.3
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 8807 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.301 s]
/proc/loadavg: 4.19 4.07 3.09 3/192 8894
/proc/meminfo: memFree=29945860/32872528 swapFree=1075284/1157044
[pid=8807] ppid=8804 vsize=9824732 CPUtime=1797.3 cores=1,3,5,7
/proc/8807/stat : 8807 (java) S 8804 8807 5243 0 -1 4202496 35790 0 1 0 179572 158 0 0 20 0 22 0 36802873 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140735992022272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8807/statm: 2456183 132969 2293 9 0 2446860 0
[pid=8807/tid=8808] ppid=8804 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (java) S 8804 8807 5243 0 -1 4202560 2445 0 1 0 30 3 0 0 20 0 22 0 36802873 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395332309880 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (java) S 8804 8807 5243 0 -1 4202560 2180 0 0 0 203 10 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395304761512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8811] ppid=8804 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/8807/task/8811/stat : 8811 (java) S 8804 8807 5243 0 -1 4202560 1414 0 0 0 196 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395303708968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8812] ppid=8804 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/8807/task/8812/stat : 8812 (java) S 8804 8807 5243 0 -1 4202560 1472 0 0 0 207 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395302656424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8813] ppid=8804 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/8807/task/8813/stat : 8813 (java) S 8804 8807 5243 0 -1 4202560 1668 0 0 0 214 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395301603880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8814] ppid=8804 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/8807/task/8814/stat : 8814 (java) S 8804 8807 5243 0 -1 4202560 2082 0 0 0 206 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395171850920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8815] ppid=8804 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/8807/task/8815/stat : 8815 (java) S 8804 8807 5243 0 -1 4202560 1670 0 0 0 215 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395170798376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8816] ppid=8804 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/8807/task/8816/stat : 8816 (java) S 8804 8807 5243 0 -1 4202560 1417 0 0 0 199 9 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395169745832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8817] ppid=8804 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/8807/task/8817/stat : 8817 (java) S 8804 8807 5243 0 -1 4202560 1909 0 0 0 198 8 0 0 20 0 22 0 36802874 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140395168693288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8818] ppid=8804 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/8807/task/8818/stat : 8818 (java) S 8804 8807 5243 0 -1 4202560 2146 0 0 0 217 29 0 0 20 0 22 0 36802875 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394686179432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8819] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8819/stat : 8819 (java) S 8804 8807 5243 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394685125752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8807/tid=8820] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8820/stat : 8820 (java) S 8804 8807 5243 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36802876 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394684073096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8821] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8821/stat : 8821 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394683021840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8822] ppid=8804 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/8807/task/8822/stat : 8822 (java) S 8804 8807 5243 0 -1 4202560 4727 0 0 0 88 0 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394681969208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8823] ppid=8804 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/8807/task/8823/stat : 8823 (java) S 8804 8807 5243 0 -1 4202560 6216 0 0 0 93 0 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394680916664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8824] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8824/stat : 8824 (java) S 8804 8807 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394679864312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8825] ppid=8804 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/8807/task/8825/stat : 8825 (java) S 8804 8807 5243 0 -1 4202560 50 0 0 0 11 24 0 0 20 0 22 0 36802878 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394678811976 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8838] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8838/stat : 8838 (java) S 8804 8807 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36817213 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394677756840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8850] ppid=8804 vsize=9824732 CPUtime=298.44 cores=1,3,5,7
/proc/8807/task/8850/stat : 8850 (java) R 8804 8807 5243 0 -1 4202560 331 0 0 0 29840 4 0 0 20 0 22 0 36862559 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394676704128 140395183407528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8851] ppid=8804 vsize=9824732 CPUtime=298.42 cores=1,3,5,7
/proc/8807/task/8851/stat : 8851 (java) R 8804 8807 5243 0 -1 4202560 3535 0 0 0 29836 6 0 0 20 0 22 0 36862559 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394675650160 140395183433002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8807/tid=8852] ppid=8804 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8852/stat : 8852 (java) S 8804 8807 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36862559 10060525568 132969 33554432000 1073741824 1073778376 140735992031136 140394674599208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.3
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8807 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=329220
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=820723
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1797.3
#
# 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): 2.74005
#  lost CPU user time (s): 2.92007
#  lost CPU system time (s): -0.18

Real time (s): 898.35
CPU time (s): 1800.04
CPU user time (s): 1798.64
CPU system time (s): 1.4
CPU usage (%): 200.372
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 1.82072
maximum resident set size= 547196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35832
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34962
involuntary context switches= 48209

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13291 second user time and 6.25405 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-19 16:45:36
IDJOB=4110541
IDBENCH=79512
IDSOLVER=2552
FILE ID=node114/4110541-1466347536
RUNJOBID= node114-1466347526-8348
PBS_JOBID= 19922038
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap41_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110541-1466347536/watcher-4110541-1466347536 -o /tmp/evaluation-result-4110541-1466347536/solver-4110541-1466347536 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466347526-8348 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110541-1466347536.wbo

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

MD5SUM BENCH= 58e4788c719f1a12516705b51263d664
RANDOM SEED=1047772715

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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.761
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.761
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.761
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:        30341088 kB
Buffers:          149936 kB
Cached:           331436 kB
SwapCached:          836 kB
Active:           260516 kB
Inactive:         344768 kB
Active(anon):     124488 kB
Inactive(anon):     1760 kB
Active(file):     136028 kB
Inactive(file):   343008 kB
Unevictable:     1157044 kB
Mlocked:         1075284 kB
SwapTotal:      67108856 kB
SwapFree:       67100572 kB
Dirty:              1996 kB
Writeback:             0 kB
AnonPages:       1290584 kB
Mapped:            16400 kB
Shmem:                 0 kB
Slab:             624744 kB
SReclaimable:      67556 kB
SUnreclaim:       557188 kB
KernelStack:        1600 kB
PageTables:         6924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1847840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71724 MiB
End job on node114 at 2016-06-19 17:00:35