Trace number 4105450

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)40 1800.74 902.176

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
MD5SUM40b50d0e4bc3f1ba5675c1e65f55a1d7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark0.231963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved YES
Number of variables431
Total number of constraints177
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint26
Number of terms in the objective function 431
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 431
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 431
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4105450-1466253878.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.10/0.19	c ... done. Wall clock time 0.078s.
0.10/0.19	c declared #vars     431
0.10/0.19	c #constraints  177
0.10/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 173
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
0.10/0.19	c 177 constraints processed.
0.10/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4
0.10/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 173
0.10/0.19	c 177 constraints processed.
0.10/0.19	c objective function length is 431 literals
0.28/0.20	c And the winner is solver0
0.28/0.69	c SATISFIABLE
0.28/0.69	c OPTIMIZING...
0.28/0.69	c Got one! Elapsed wall clock time (in seconds):0.584
0.28/0.69	o 51
0.29/0.72	c And the winner is solver0
0.43/1.20	c Got one! Elapsed wall clock time (in seconds):1.089
0.43/1.20	o 50
0.82/1.30	c And the winner is solver1
0.88/1.70	c Got one! Elapsed wall clock time (in seconds):1.593
0.88/1.70	o 49
0.88/1.79	c And the winner is solver1
1.35/2.20	c Got one! Elapsed wall clock time (in seconds):2.095
1.35/2.20	o 48
2.33/2.54	c cleaning 3338 clauses out of 6675 with flag 13524/6675
3.06/2.83	c And the winner is solver1
3.14/3.21	c Got one! Elapsed wall clock time (in seconds):3.098
3.14/3.21	o 47
3.14/3.27	c cleaning 4454 clauses out of 8917 with flag 2758/12255
3.93/3.63	c cleaning 5228 clauses out of 10464 with flag 19248/18256
4.33/3.82	c And the winner is solver1
4.40/4.21	c Got one! Elapsed wall clock time (in seconds):4.1
4.40/4.21	o 46
4.57/4.33	c cleaning 5334 clauses out of 10676 with flag 5757/23696
5.40/4.70	c cleaning 5670 clauses out of 11343 with flag 22736/29697
6.25/5.19	c cleaning 6338 clauses out of 12675 with flag 42022/36699
7.52/5.77	c cleaning 7170 clauses out of 14339 with flag 64527/44701
8.98/6.42	c cleaning 8083 clauses out of 16165 with flag 90911/53697
9.18/6.54	c And the winner is solver1
9.29/6.71	c Got one! Elapsed wall clock time (in seconds):6.602
9.29/6.71	o 45
9.66/6.90	c cleaning 6588 clauses out of 13180 with flag 9433/58795
10.26/7.27	c cleaning 6293 clauses out of 12594 with flag 26874/64797
10.66/7.49	c And the winner is solver1
10.85/7.71	c Got one! Elapsed wall clock time (in seconds):7.605
10.85/7.71	o 44
11.04/7.84	c cleaning 6149 clauses out of 12298 with flag 5380/70794
11.98/8.24	c cleaning 6072 clauses out of 12150 with flag 21747/76795
12.81/8.68	c cleaning 6536 clauses out of 13077 with flag 41519/83794
14.12/9.25	c cleaning 7268 clauses out of 14541 with flag 63385/91794
15.33/9.83	c cleaning 8137 clauses out of 16275 with flag 88045/100796
16.74/10.54	c cleaning 9068 clauses out of 18136 with flag 115664/110794
18.34/11.32	c cleaning 10035 clauses out of 20069 with flag 146338/121795
20.34/12.21	c cleaning 11010 clauses out of 22033 with flag 180306/133794
21.52/12.85	c And the winner is solver1
21.64/13.22	c Got one! Elapsed wall clock time (in seconds):13.108
21.64/13.22	o 43
22.39/13.63	c cleaning 12646 clauses out of 25294 with flag 13553/148065
23.47/14.12	c cleaning 9321 clauses out of 18648 with flag 29195/154065
24.27/14.54	c cleaning 8160 clauses out of 16327 with flag 48306/161065
25.27/15.05	c cleaning 8084 clauses out of 16168 with flag 69707/169066
26.47/15.62	c cleaning 8542 clauses out of 17084 with flag 93755/178066
27.71/16.29	c cleaning 9270 clauses out of 18541 with flag 120876/188065
29.51/17.12	c cleaning 10134 clauses out of 20271 with flag 150683/199065
31.31/18.07	c cleaning 11069 clauses out of 22137 with flag 182077/211065
33.65/19.20	c cleaning 12034 clauses out of 24068 with flag 217491/224065
36.06/20.36	c cleaning 13017 clauses out of 26034 with flag 256470/238065
38.46/21.53	c cleaning 14008 clauses out of 28020 with flag 297611/253068
41.60/23.04	c cleaning 15006 clauses out of 30011 with flag 341765/269067
44.80/24.64	c cleaning 16002 clauses out of 32003 with flag 388356/286065
48.41/26.43	c cleaning 17001 clauses out of 34001 with flag 438030/304065
51.82/28.18	c And the winner is solver1
52.00/28.22	c Got one! Elapsed wall clock time (in seconds):28.112
52.00/28.22	o 42
52.75/28.63	c cleaning 19839 clauses out of 39678 with flag 13291/326743
53.54/29.05	c cleaning 12918 clauses out of 25839 with flag 29411/332743
54.54/29.51	c cleaning 9960 clauses out of 19922 with flag 48254/339744
55.71/30.09	c cleaning 8982 clauses out of 17963 with flag 69770/347745
57.11/30.77	c cleaning 8989 clauses out of 17981 with flag 93490/356745
58.51/31.47	c cleaning 9491 clauses out of 18991 with flag 120827/366744
60.31/32.35	c cleaning 10250 clauses out of 20499 with flag 150276/377743
62.31/33.33	c cleaning 11117 clauses out of 22249 with flag 183574/389743
64.31/34.30	c cleaning 12057 clauses out of 24132 with flag 219742/402743
66.32/35.40	c cleaning 13038 clauses out of 26075 with flag 258328/416743
69.11/36.76	c cleaning 14016 clauses out of 28038 with flag 301255/431744
72.22/38.26	c cleaning 15012 clauses out of 30023 with flag 346039/447745
75.24/39.76	c cleaning 16000 clauses out of 32014 with flag 395245/464748
78.62/41.48	c cleaning 16998 clauses out of 34009 with flag 445071/482743
82.42/43.32	c cleaning 18005 clauses out of 36012 with flag 498099/501744
86.02/45.20	c cleaning 18997 clauses out of 38006 with flag 552541/521743
90.21/47.30	c cleaning 20000 clauses out of 40009 with flag 608077/542743
95.13/49.61	c cleaning 21002 clauses out of 42010 with flag 666789/564744
99.92/52.04	c cleaning 22005 clauses out of 44009 with flag 729016/587745
105.32/54.78	c cleaning 23001 clauses out of 46003 with flag 797933/611744
107.32/55.76	c And the winner is solver1
107.45/56.23	c Got one! Elapsed wall clock time (in seconds):56.119
107.45/56.23	o 41
108.24/56.63	c cleaning 19709 clauses out of 39417 with flag 13076/628159
109.04/57.02	c cleaning 12856 clauses out of 25711 with flag 29659/634162
109.84/57.46	c cleaning 9920 clauses out of 19852 with flag 48409/641159
110.84/57.98	c cleaning 8966 clauses out of 17933 with flag 70507/649160
112.03/58.57	c cleaning 8980 clauses out of 17966 with flag 93758/658159
113.76/59.31	c cleaning 9493 clauses out of 18988 with flag 119896/668161
115.17/60.08	c cleaning 10239 clauses out of 20493 with flag 150241/679159
116.97/60.95	c cleaning 11126 clauses out of 22254 with flag 181559/691159
118.77/61.88	c cleaning 12064 clauses out of 24129 with flag 216943/704160
120.97/62.96	c cleaning 13027 clauses out of 26064 with flag 256045/718159
123.37/64.16	c cleaning 14016 clauses out of 28038 with flag 296718/733160
125.97/65.47	c cleaning 15008 clauses out of 30021 with flag 341821/749159
128.97/66.97	c cleaning 16003 clauses out of 32013 with flag 390363/766159
132.37/68.62	c cleaning 17003 clauses out of 34010 with flag 439895/784159
135.85/70.33	c cleaning 17997 clauses out of 36007 with flag 493472/803159
139.65/72.20	c cleaning 19005 clauses out of 38012 with flag 547534/823161
143.25/74.02	c cleaning 19998 clauses out of 40005 with flag 603996/844159
147.05/75.99	c cleaning 20998 clauses out of 42008 with flag 662284/866160
151.24/78.02	c cleaning 22003 clauses out of 44010 with flag 727339/889160
156.24/80.57	c cleaning 23001 clauses out of 46006 with flag 792877/913159
161.56/83.19	c cleaning 23993 clauses out of 48005 with flag 860397/938159
166.76/85.79	c cleaning 25004 clauses out of 50017 with flag 930584/964164
173.57/89.13	c cleaning 26005 clauses out of 52009 with flag 1003089/991160
180.88/93.12	c cleaning 27000 clauses out of 54004 with flag 1077509/1019160
187.68/96.56	c cleaning 28001 clauses out of 56005 with flag 1159579/1048161
194.68/100.00	c cleaning 28997 clauses out of 58004 with flag 1239279/1078161
201.56/103.42	c cleaning 29998 clauses out of 60006 with flag 1323612/1109160
208.16/106.75	c cleaning 31003 clauses out of 62007 with flag 1409373/1141159
215.35/110.34	c cleaning 32002 clauses out of 64009 with flag 1504655/1174164
220.35/112.81	c And the winner is solver1
220.39/112.90	c Got one! Elapsed wall clock time (in seconds):112.789
220.39/112.90	o 40
221.01/113.30	c cleaning 30775 clauses out of 61553 with flag 13908/1203710
222.09/113.73	c cleaning 18384 clauses out of 36775 with flag 29979/1209707
222.89/114.18	c cleaning 12698 clauses out of 25395 with flag 47952/1216711
224.09/114.70	c cleaning 10347 clauses out of 20697 with flag 69593/1224711
225.09/115.29	c cleaning 9673 clauses out of 19346 with flag 93809/1233707
226.49/115.96	c cleaning 9835 clauses out of 19678 with flag 120365/1243712
228.10/116.72	c cleaning 10418 clauses out of 20839 with flag 151187/1254708
229.49/117.48	c cleaning 11210 clauses out of 22421 with flag 184906/1266708
231.49/118.45	c cleaning 12104 clauses out of 24210 with flag 222663/1279707
233.49/119.44	c cleaning 13051 clauses out of 26106 with flag 260840/1293707
235.69/120.54	c cleaning 14028 clauses out of 28055 with flag 300585/1308707
238.28/121.84	c cleaning 15009 clauses out of 30027 with flag 343061/1324707
241.48/123.40	c cleaning 16008 clauses out of 32018 with flag 388039/1341707
244.87/125.03	c cleaning 17000 clauses out of 34010 with flag 438111/1359707
248.26/126.71	c cleaning 18004 clauses out of 36010 with flag 489404/1378707
251.86/128.51	c cleaning 19001 clauses out of 38007 with flag 543587/1398708
255.46/130.37	c cleaning 20003 clauses out of 40007 with flag 598800/1419709
259.46/132.31	c cleaning 21001 clauses out of 42004 with flag 657533/1441709
263.86/134.53	c cleaning 22001 clauses out of 44002 with flag 720965/1464708
268.53/136.84	c cleaning 22999 clauses out of 46000 with flag 785623/1488707
273.33/139.28	c cleaning 23995 clauses out of 48001 with flag 856225/1513707
278.95/142.08	c cleaning 0 clauses out of 8851 with flag 0/8851
279.80/142.32	c cleaning 24993 clauses out of 50006 with flag 930854/1539707
286.39/145.51	c cleaning 26006 clauses out of 52013 with flag 1009460/1566707
292.91/148.71	c cleaning 27003 clauses out of 54008 with flag 1087083/1594708
299.11/151.90	c cleaning 28003 clauses out of 56005 with flag 1170902/1623708
306.51/155.54	c cleaning 28999 clauses out of 58002 with flag 1254561/1653708
314.45/159.42	c cleaning 29999 clauses out of 60002 with flag 1340283/1684707
321.85/163.15	c cleaning 30996 clauses out of 62004 with flag 1434562/1716708
330.23/167.28	c cleaning 32001 clauses out of 64007 with flag 1531006/1749707
339.03/171.69	c cleaning 32996 clauses out of 66008 with flag 1631422/1783709
348.82/176.52	c cleaning 34000 clauses out of 68010 with flag 1733308/1818707
359.75/181.97	c cleaning 35006 clauses out of 70012 with flag 1839823/1854709
370.16/187.20	c cleaning 35998 clauses out of 72004 with flag 1970327/1891707
380.95/192.59	c cleaning 36999 clauses out of 74006 with flag 2084077/1929707
390.88/197.45	c cleaning 38001 clauses out of 76007 with flag 2208200/1968707
401.09/202.58	c cleaning 39001 clauses out of 78006 with flag 2354706/2008707
412.67/208.36	c cleaning 40003 clauses out of 80008 with flag 2501486/2049710
423.67/213.84	c cleaning 41001 clauses out of 82003 with flag 2640877/2091708
438.07/221.07	c cleaning 42000 clauses out of 84002 with flag 2762085/2134708
451.06/227.58	c cleaning 42995 clauses out of 86001 with flag 2884166/2178707
465.63/234.77	c cleaning 44003 clauses out of 88006 with flag 3009615/2223707
478.83/241.36	c cleaning 44996 clauses out of 90003 with flag 3138126/2269707
493.43/248.70	c cleaning 45998 clauses out of 92009 with flag 3278060/2316709
507.78/255.78	c cleaning 46999 clauses out of 94010 with flag 3415920/2364708
525.38/264.54	c cleaning 48001 clauses out of 96010 with flag 3550878/2413707
542.60/273.69	c cleaning 49004 clauses out of 98010 with flag 3700965/2463708
557.00/280.88	c cleaning 49998 clauses out of 100005 with flag 3845913/2514707
574.01/289.31	c cleaning 50999 clauses out of 102008 with flag 3986170/2566708
589.80/297.25	c cleaning 52003 clauses out of 104008 with flag 4132909/2619707
605.40/305.01	c cleaning 53000 clauses out of 106005 with flag 4280537/2673707
620.59/312.61	c cleaning 53992 clauses out of 108007 with flag 4432921/2728709
640.21/322.49	c cleaning 55004 clauses out of 110013 with flag 4594826/2784707
658.40/331.59	c cleaning 56001 clauses out of 112009 with flag 4753519/2841707
678.20/341.23	c cleaning 57001 clauses out of 114008 with flag 4922052/2899707
696.00/350.14	c cleaning 57998 clauses out of 116007 with flag 5096016/2958707
716.20/360.24	c cleaning 58996 clauses out of 118009 with flag 5268814/3018707
736.80/370.52	c cleaning 60003 clauses out of 120013 with flag 5445336/3079707
756.19/380.22	c cleaning 60999 clauses out of 122011 with flag 5620932/3141708
778.00/391.17	c cleaning 62002 clauses out of 124011 with flag 5792208/3204707
803.80/404.01	c cleaning 63005 clauses out of 126010 with flag 5969397/3268708
825.99/415.16	c cleaning 63999 clauses out of 128005 with flag 6155583/3333708
849.19/426.79	c cleaning 64999 clauses out of 130005 with flag 6358334/3399707
874.80/439.50	c cleaning 66000 clauses out of 132008 with flag 6565805/3466709
905.39/454.88	c cleaning 67001 clauses out of 134006 with flag 6752889/3534707
932.51/468.39	c cleaning 68001 clauses out of 136005 with flag 6951595/3603707
960.71/482.46	c cleaning 69002 clauses out of 138007 with flag 7151543/3673710
994.30/499.23	c cleaning 69998 clauses out of 140002 with flag 7350755/3744707
1023.09/513.68	c cleaning 71002 clauses out of 142005 with flag 7546766/3816708
1052.09/528.12	c cleaning 71999 clauses out of 144002 with flag 7746494/3889707
1082.07/543.12	c cleaning 73002 clauses out of 146004 with flag 7948320/3963708
1111.86/558.06	c cleaning 74001 clauses out of 148001 with flag 8160766/4038707
1139.25/571.74	c cleaning 74999 clauses out of 150000 with flag 8377198/4114707
1168.25/586.21	c cleaning 75991 clauses out of 152001 with flag 8611147/4191707
1201.84/603.02	c cleaning 77001 clauses out of 154010 with flag 8841061/4269707
1234.65/619.43	c cleaning 78002 clauses out of 156009 with flag 9078416/4348707
1276.63/640.43	c cleaning 79001 clauses out of 158007 with flag 9307176/4428707
1315.28/659.62	c cleaning 80004 clauses out of 160007 with flag 9540710/4509708
1351.49/677.75	c cleaning 81001 clauses out of 162002 with flag 9768155/4591707
1386.86/695.44	c cleaning 82001 clauses out of 164001 with flag 9995100/4674707
1420.85/712.48	c cleaning 82998 clauses out of 166000 with flag 10244696/4758707
1451.44/727.75	c cleaning 84002 clauses out of 168003 with flag 10517651/4843708
1484.43/744.22	c cleaning 84994 clauses out of 170001 with flag 10761662/4929708
1522.83/763.45	c cleaning 85996 clauses out of 172006 with flag 11000644/5016707
1568.21/786.17	c cleaning 87003 clauses out of 174011 with flag 11240218/5104708
1613.22/808.70	c cleaning 88001 clauses out of 176007 with flag 11478788/5193707
1656.19/830.16	c cleaning 88998 clauses out of 178006 with flag 11720639/5283707
1705.58/854.88	c cleaning 90002 clauses out of 180008 with flag 11969986/5374707
1755.75/879.93	c cleaning 90992 clauses out of 182006 with flag 12218839/5466707
1800.16/902.11	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.16/902.11	c starts		: 106261
1800.16/902.11	c conflicts		: 5559707
1800.16/902.11	c decisions		: 16613047
1800.16/902.11	c propagations		: 460029248
1800.16/902.11	c inspects		: 17164486829
1800.16/902.11	c shortcuts		: 0
1800.16/902.11	c learnt literals	: 0
1800.16/902.11	c learnt binary clauses	: 0
1800.16/902.11	c learnt ternary clauses	: 0
1800.16/902.11	c learnt constraints	: 5559707
1800.16/902.11	c ignored constraints	: 0
1800.16/902.11	c root simplifications	: 0
1800.16/902.11	c removed literals (reason simplification)	: 18721354
1800.16/902.11	c reason swapping (by a shorter reason)	: 0
1800.16/902.11	c Calls to reduceDB	: 170
1800.16/902.11	c Number of update (reduction) of LBD	: 1251061
1800.16/902.11	c Imported unit clauses	: 0
1800.16/902.11	c number of reductions to clauses (during analyze)	: 0
1800.16/902.11	c number of learned constraints concerned by reduction	: 0
1800.16/902.11	c number of learning phase by resolution	: 0
1800.16/902.11	c number of learning phase by cutting planes	: 0
1800.16/902.11	c speed (assignments/second)	: 582902.0951463814
1800.16/902.11	c non guided choices	0
1800.16/902.14	c learnt constraints type 
1800.16/902.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 184014
1800.16/902.14	c >>>>>>>>>> Solver number 1 (10 answers) <<<<<<<<<<<<<<<<<<
1800.16/902.14	c starts		: 46
1800.16/902.14	c conflicts		: 10343
1800.16/902.14	c decisions		: 77985
1800.16/902.14	c propagations		: 368926
1800.16/902.14	c inspects		: 182899288
1800.16/902.14	c shortcuts		: 0
1800.16/902.14	c learnt literals	: 0
1800.16/902.14	c learnt binary clauses	: 0
1800.16/902.14	c learnt ternary clauses	: 0
1800.16/902.14	c learnt constraints	: 10342
1800.16/902.14	c ignored constraints	: 0
1800.16/902.14	c root simplifications	: 0
1800.16/902.14	c removed literals (reason simplification)	: 0
1800.16/902.14	c reason swapping (by a shorter reason)	: 0
1800.16/902.14	c Calls to reduceDB	: 1
1800.16/902.14	c Number of update (reduction) of LBD	: 0
1800.16/902.14	c Imported unit clauses	: 0
1800.16/902.14	c number of reductions to clauses (during analyze)	: 0
1800.16/902.14	c number of learned constraints concerned by reduction	: 0
1800.16/902.14	c number of learning phase by resolution	: 0
1800.16/902.14	c number of learning phase by cutting planes	: 0
1800.16/902.14	c speed (assignments/second)	: 409.4914516775313
1800.16/902.14	c non guided choices	0
1800.16/902.14	c learnt constraints type 
1800.16/902.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1226
1800.16/902.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9116
1800.16/902.14	s SATISFIABLE
1800.16/902.14	c Found 12 solution(s)
1800.16/902.15	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 
1800.16/902.15	c objective function=40
1800.16/902.15	c Total wall clock time (in seconds): 902.037

Verifier Data 

OK	40

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

pid=1044
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: 3.94 4.11 3.93 2/194 1047
/proc/meminfo: memFree=30495248/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/1047/stat : 1047 (java) R 1044 1047 18358 0 -1 4202496 727 0 0 0 0 0 0 0 20 0 1 0 27434615 23793664 377 33554432000 1073741824 1073778376 140735141019824 140735141008888 214360439361 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 5809 389 297 9 0 128 0
[pid=1047/tid=1048] ppid=1044 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) D 1044 1047 18358 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 27434616 95129600 927 33554432000 1073741824 1073778376 140735141019824 140098576043560 214360485159 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0

[startup+0.100158 s]
/proc/loadavg: 3.94 4.11 3.93 2/194 1047
/proc/meminfo: memFree=30495248/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 4441 0 1 0 9 1 0 0 20 0 18 0 27434615 9787879424 6070 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2389619 6072 2141 9 0 2380296 0
[pid=1047/tid=1048] ppid=1044 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) R 1044 1047 18358 0 -1 4202560 2385 0 1 0 7 0 0 0 20 0 18 0 27434616 9787879424 6073 33554432000 1073741824 1073778376 140735141019824 140098576047008 214373033229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200268 s]
/proc/loadavg: 3.94 4.11 3.93 2/194 1047
/proc/meminfo: memFree=30495248/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9691604 CPUtime=0.28 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 5032 0 1 0 27 1 0 0 20 0 20 0 27434615 9924202496 8040 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2422901 8040 2222 9 0 2413578 0
[pid=1047/tid=1048] ppid=1044 vsize=9691604 CPUtime=0.17 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) S 1044 1047 18358 0 -1 4202560 2420 0 1 0 17 0 0 0 20 0 20 0 27434616 9924202496 8040 33554432000 1073741824 1073778376 140735141019824 140098576049016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9691604

############
# WARNING:
# current cumulated CPU time (0.27 s) is less than in the last sample (0.28 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.01 s) to the 'lost time'.

[startup+0.200268 s]
/proc/loadavg: 3.94 4.11 3.93 2/194 1047
/proc/meminfo: memFree=30495248/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9691604 CPUtime=0.28 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 5032 0 1 0 27 1 0 0 20 0 20 0 27434615 9924202496 8040 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2422901 8040 2222 9 0 2413578 0
[pid=1047/tid=1048] ppid=1044 vsize=9691604 CPUtime=0.17 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) S 1044 1047 18358 0 -1 4202560 2420 0 1 0 17 0 0 0 20 0 20 0 27434616 9924202496 8040 33554432000 1073741824 1073778376 140735141019824 140098576049016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9691604

[startup+0.300341 s]
/proc/loadavg: 3.94 4.11 3.93 2/194 1047
/proc/meminfo: memFree=30495248/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 5055 0 1 0 26 1 0 0 20 0 19 0 27434615 10060525568 8018 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2456183 8018 2225 9 0 2446860 0
[pid=1047/tid=1048] ppid=1044 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) S 1044 1047 18358 0 -1 4202560 2420 0 1 0 17 0 0 0 20 0 19 0 27434616 10060525568 8018 33554432000 1073741824 1073778376 140735141019824 140098576049016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824732
#
############


[startup+0.300341 s]
/proc/loadavg: 3.94 4.11 3.93 2/194 1047
/proc/meminfo: memFree=30495248/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 5055 0 1 0 26 1 0 0 20 0 19 0 27434615 10060525568 8018 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2456183 8018 2225 9 0 2446860 0
[pid=1047/tid=1048] ppid=1044 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) S 1044 1047 18358 0 -1 4202560 2420 0 1 0 17 0 0 0 20 0 19 0 27434616 10060525568 8018 33554432000 1073741824 1073778376 140735141019824 140098576049016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824732

[startup+0.700259 s]
/proc/loadavg: 3.94 4.11 3.93 2/194 1047
/proc/meminfo: memFree=30495248/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 5058 0 1 0 27 1 0 0 20 0 19 0 27434615 10060525568 8021 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2456183 8021 2225 9 0 2446860 0
[pid=1047/tid=1048] ppid=1044 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) R 1044 1047 18358 0 -1 4202560 2423 0 1 0 17 0 0 0 20 0 19 0 27434616 10060525568 8021 33554432000 1073741824 1073778376 140735141019824 140098576049016 140098583200883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 3.94 4.11 3.93 1/213 1080
/proc/meminfo: memFree=30427424/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 7089 0 1 0 81 6 0 0 20 0 19 0 27434615 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2456183 11893 2255 9 0 2446860 0
[pid=1047/tid=1048] ppid=1044 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) S 1044 1047 18358 0 -1 4202560 2424 0 1 0 18 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098576049016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1052] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1052/stat : 1052 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098548500648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1053] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1053/stat : 1053 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098547448104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1054] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1054/stat : 1054 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098546395560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1055] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1055/stat : 1055 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098416454184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1056] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1056/stat : 1056 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098415401640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1057] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1057/stat : 1057 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098414349096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1058] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1058/stat : 1058 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098413296552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1059] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1059/stat : 1059 (java) S 1044 1047 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140098412244008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1060] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1060/stat : 1060 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27434617 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140097929730152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1061] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1061/stat : 1061 (java) S 1044 1047 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27434618 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140097928676472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1062] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1062/stat : 1062 (java) S 1044 1047 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27434618 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140097927623816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1063] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1063/stat : 1063 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434620 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140097926572560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1064] ppid=1044 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/1047/task/1064/stat : 1064 (java) S 1044 1047 18358 0 -1 4202560 1587 0 0 0 18 0 0 0 20 0 19 0 27434620 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140097925519928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1065] ppid=1044 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/1047/task/1065/stat : 1065 (java) S 1044 1047 18358 0 -1 4202560 1720 0 0 0 19 0 0 0 20 0 19 0 27434620 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140097924467384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1066] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1066/stat : 1066 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434620 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140097923415032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1067] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1067/stat : 1067 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434620 10060525568 11893 33554432000 1073741824 1073778376 140735141019824 140097922362696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 3.94 4.11 3.93 1/189 1121
/proc/meminfo: memFree=30470608/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 13902 0 1 0 302 11 0 0 20 0 19 0 27434615 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2456183 32675 2270 9 0 2446860 0
[pid=1047/tid=1048] ppid=1044 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) S 1044 1047 18358 0 -1 4202560 2425 0 1 0 18 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098576049016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1052] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1052/stat : 1052 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098548500648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1053] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1053/stat : 1053 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098547448104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1054] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1054/stat : 1054 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098546395560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1055] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1055/stat : 1055 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098416454184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1056] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1056/stat : 1056 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098415401640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1057] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1057/stat : 1057 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098414349096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1058] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1058/stat : 1058 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098413296552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1059] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1059/stat : 1059 (java) S 1044 1047 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27434616 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140098412244008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1060] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1060/stat : 1060 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27434617 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097929730152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1061] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1061/stat : 1061 (java) S 1044 1047 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27434618 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097928676472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1062] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1062/stat : 1062 (java) S 1044 1047 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27434618 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097927623816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1063] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1063/stat : 1063 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434620 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097926572560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1064] ppid=1044 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/1047/task/1064/stat : 1064 (java) S 1044 1047 18358 0 -1 4202560 5983 0 0 0 67 2 0 0 20 0 19 0 27434620 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097925519928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1065] ppid=1044 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/1047/task/1065/stat : 1065 (java) S 1044 1047 18358 0 -1 4202560 4087 0 0 0 55 2 0 0 20 0 19 0 27434620 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097924467384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1066] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1066/stat : 1066 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434620 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097923415032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1067] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1067/stat : 1067 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27434620 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097922362696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1086] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1086/stat : 1086 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27434736 10060525568 32675 33554432000 1073741824 1073778376 140735141019824 140097920254888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 9824732

[startup+6.30094 s]
/proc/loadavg: 3.78 4.07 3.92 6/219 1175
/proc/meminfo: memFree=30226604/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9824732 CPUtime=8.77 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 14538 0 1 0 856 21 0 0 20 0 22 0 27434615 10060525568 60871 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0

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

[pid=1047/tid=1052] ppid=1044 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/1047/task/1052/stat : 1052 (java) S 1044 1047 18358 0 -1 4202560 404 0 0 0 85 10 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098548500648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1053] ppid=1044 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/1047/task/1053/stat : 1053 (java) S 1044 1047 18358 0 -1 4202560 338 0 0 0 77 10 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098547448104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1054] ppid=1044 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/1047/task/1054/stat : 1054 (java) S 1044 1047 18358 0 -1 4202560 495 0 0 0 95 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098546395560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1055] ppid=1044 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/1047/task/1055/stat : 1055 (java) S 1044 1047 18358 0 -1 4202560 560 0 0 0 97 14 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098416454184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1056] ppid=1044 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/1047/task/1056/stat : 1056 (java) S 1044 1047 18358 0 -1 4202560 419 0 0 0 91 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098415401640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1057] ppid=1044 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/1047/task/1057/stat : 1057 (java) S 1044 1047 18358 0 -1 4202560 405 0 0 0 99 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098414349096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1058] ppid=1044 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/1047/task/1058/stat : 1058 (java) S 1044 1047 18358 0 -1 4202560 392 0 0 0 97 12 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098413296552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1059] ppid=1044 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/1047/task/1059/stat : 1059 (java) S 1044 1047 18358 0 -1 4202560 524 0 0 0 105 16 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098412244008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1060] ppid=1044 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/1047/task/1060/stat : 1060 (java) S 1044 1047 18358 0 -1 4202560 2262 0 0 0 191 4 0 0 20 0 22 0 27434617 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097929730152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1061] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1061/stat : 1061 (java) S 1044 1047 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27434618 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097928676472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1062] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1062/stat : 1062 (java) S 1044 1047 18358 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 27434618 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097927623816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1063] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1063/stat : 1063 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097926572560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1064] ppid=1044 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/1047/task/1064/stat : 1064 (java) S 1044 1047 18358 0 -1 4202560 5985 0 0 0 78 2 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097925519928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1065] ppid=1044 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/1047/task/1065/stat : 1065 (java) S 1044 1047 18358 0 -1 4202560 10570 0 0 0 150 3 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097924467384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1066] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1066/stat : 1066 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097923415032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1067] ppid=1044 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/1047/task/1067/stat : 1067 (java) S 1044 1047 18358 0 -1 4202560 51 0 0 0 6 13 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097922362696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1086] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1086/stat : 1086 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27434736 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097920254888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1198] ppid=1044 vsize=9824732 CPUtime=766.9 cores=1,3,5,7
/proc/1047/task/1198/stat : 1198 (java) R 1044 1047 18358 0 -1 4202560 13 0 0 0 76679 11 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097919193376 140098427918591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1199] ppid=1044 vsize=9824732 CPUtime=766.81 cores=1,3,5,7
/proc/1047/task/1199/stat : 1199 (java) R 1044 1047 18358 0 -1 4202560 14 0 0 0 76668 13 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097918147328 140098428159659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1200] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1200/stat : 1200 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097921308328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.108 s]
/proc/loadavg: 4.45 4.42 4.19 4/215 1293
/proc/meminfo: memFree=27088464/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9824732 CPUtime=1800.15 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 28064 0 1 0 179836 179 0 0 20 0 22 0 27434615 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2456183 854698 2294 9 0 2446860 0
[pid=1047/tid=1048] ppid=1044 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) S 1044 1047 18358 0 -1 4202560 2430 0 1 0 20 3 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098576049016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1052] ppid=1044 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/1047/task/1052/stat : 1052 (java) S 1044 1047 18358 0 -1 4202560 404 0 0 0 85 10 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098548500648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1053] ppid=1044 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/1047/task/1053/stat : 1053 (java) S 1044 1047 18358 0 -1 4202560 338 0 0 0 77 10 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098547448104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1054] ppid=1044 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/1047/task/1054/stat : 1054 (java) S 1044 1047 18358 0 -1 4202560 495 0 0 0 95 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098546395560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1055] ppid=1044 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/1047/task/1055/stat : 1055 (java) S 1044 1047 18358 0 -1 4202560 560 0 0 0 97 14 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098416454184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1056] ppid=1044 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/1047/task/1056/stat : 1056 (java) S 1044 1047 18358 0 -1 4202560 419 0 0 0 91 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098415401640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1057] ppid=1044 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/1047/task/1057/stat : 1057 (java) S 1044 1047 18358 0 -1 4202560 405 0 0 0 99 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098414349096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1058] ppid=1044 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/1047/task/1058/stat : 1058 (java) S 1044 1047 18358 0 -1 4202560 392 0 0 0 97 12 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098413296552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1059] ppid=1044 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/1047/task/1059/stat : 1059 (java) S 1044 1047 18358 0 -1 4202560 524 0 0 0 105 16 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098412244008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1060] ppid=1044 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/1047/task/1060/stat : 1060 (java) S 1044 1047 18358 0 -1 4202560 2262 0 0 0 191 4 0 0 20 0 22 0 27434617 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097929730152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1061] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1061/stat : 1061 (java) S 1044 1047 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27434618 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097928676472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1062] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1062/stat : 1062 (java) S 1044 1047 18358 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 27434618 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097927623816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1063] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1063/stat : 1063 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097926572560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1064] ppid=1044 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/1047/task/1064/stat : 1064 (java) S 1044 1047 18358 0 -1 4202560 5985 0 0 0 78 2 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097925519928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1065] ppid=1044 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/1047/task/1065/stat : 1065 (java) S 1044 1047 18358 0 -1 4202560 10570 0 0 0 150 3 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097924467384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1066] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1066/stat : 1066 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097923415032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1067] ppid=1044 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/1047/task/1067/stat : 1067 (java) S 1044 1047 18358 0 -1 4202560 51 0 0 0 6 13 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097922362696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1086] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1086/stat : 1086 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27434736 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097920254888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1198] ppid=1044 vsize=9824732 CPUtime=786.7 cores=1,3,5,7
/proc/1047/task/1198/stat : 1198 (java) R 1044 1047 18358 0 -1 4202560 13 0 0 0 78659 11 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097919193376 140098428474832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1199] ppid=1044 vsize=9824732 CPUtime=786.61 cores=1,3,5,7
/proc/1047/task/1199/stat : 1199 (java) R 1044 1047 18358 0 -1 4202560 14 0 0 0 78648 13 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097918147328 140098428159668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1200] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1200/stat : 1200 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097921308328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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 1047 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+902.108 s]
/proc/loadavg: 4.45 4.42 4.19 4/215 1293
/proc/meminfo: memFree=27088464/32872528 swapFree=1286400/1433568
[pid=1047] ppid=1044 vsize=9824732 CPUtime=1800.15 cores=1,3,5,7
/proc/1047/stat : 1047 (java) S 1044 1047 18358 0 -1 4202496 28064 0 1 0 179836 179 0 0 20 0 22 0 27434615 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140735141010960 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1047/statm: 2456183 854698 2294 9 0 2446860 0
[pid=1047/tid=1048] ppid=1044 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/1047/task/1048/stat : 1048 (java) S 1044 1047 18358 0 -1 4202560 2430 0 1 0 20 3 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098576049016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1052] ppid=1044 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/1047/task/1052/stat : 1052 (java) S 1044 1047 18358 0 -1 4202560 404 0 0 0 85 10 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098548500648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1053] ppid=1044 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/1047/task/1053/stat : 1053 (java) S 1044 1047 18358 0 -1 4202560 338 0 0 0 77 10 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098547448104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1054] ppid=1044 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/1047/task/1054/stat : 1054 (java) S 1044 1047 18358 0 -1 4202560 495 0 0 0 95 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098546395560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1055] ppid=1044 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/1047/task/1055/stat : 1055 (java) S 1044 1047 18358 0 -1 4202560 560 0 0 0 97 14 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098416454184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1056] ppid=1044 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/1047/task/1056/stat : 1056 (java) S 1044 1047 18358 0 -1 4202560 419 0 0 0 91 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098415401640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1057] ppid=1044 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/1047/task/1057/stat : 1057 (java) S 1044 1047 18358 0 -1 4202560 405 0 0 0 99 13 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098414349096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1058] ppid=1044 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/1047/task/1058/stat : 1058 (java) S 1044 1047 18358 0 -1 4202560 392 0 0 0 97 12 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098413296552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1059] ppid=1044 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/1047/task/1059/stat : 1059 (java) S 1044 1047 18358 0 -1 4202560 524 0 0 0 105 16 0 0 20 0 22 0 27434616 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140098412244008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1047/tid=1060] ppid=1044 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/1047/task/1060/stat : 1060 (java) S 1044 1047 18358 0 -1 4202560 2262 0 0 0 191 4 0 0 20 0 22 0 27434617 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097929730152 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1061] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1061/stat : 1061 (java) S 1044 1047 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27434618 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097928676472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1062] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1062/stat : 1062 (java) S 1044 1047 18358 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 27434618 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097927623816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1063] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1063/stat : 1063 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097926572560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1064] ppid=1044 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/1047/task/1064/stat : 1064 (java) S 1044 1047 18358 0 -1 4202560 5985 0 0 0 78 2 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097925519928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1065] ppid=1044 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/1047/task/1065/stat : 1065 (java) S 1044 1047 18358 0 -1 4202560 10570 0 0 0 150 3 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097924467384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1047/tid=1066] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1066/stat : 1066 (java) S 1044 1047 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097923415032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1067] ppid=1044 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/1047/task/1067/stat : 1067 (java) S 1044 1047 18358 0 -1 4202560 51 0 0 0 6 13 0 0 20 0 22 0 27434620 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097922362696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1086] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1086/stat : 1086 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27434736 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097920254888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1198] ppid=1044 vsize=9824732 CPUtime=786.7 cores=1,3,5,7
/proc/1047/task/1198/stat : 1198 (java) R 1044 1047 18358 0 -1 4202560 13 0 0 0 78659 11 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097919193376 140098428474832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1047/tid=1199] ppid=1044 vsize=9824732 CPUtime=786.61 cores=1,3,5,7
/proc/1047/task/1199/stat : 1199 (java) R 1044 1047 18358 0 -1 4202560 14 0 0 0 78648 13 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097918147328 140098428159668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1047/tid=1200] ppid=1044 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1047/task/1200/stat : 1200 (java) S 1044 1047 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27445906 10060525568 854698 33554432000 1073741824 1073778376 140735141019824 140097921308328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.01
#  lost CPU user time (s): 0.01
#  lost CPU system time (s): 0

Real time (s): 902.176
CPU time (s): 1800.74
CPU user time (s): 1798.52
CPU system time (s): 2.22266
CPU usage (%): 199.6
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 2.22266
maximum resident set size= 3418940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28109
page faults= 1
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22322
involuntary context switches= 20696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74313 second user time and 6.90495 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 14:44:38
IDJOB=4105450
IDBENCH=2867
IDSOLVER=2543
FILE ID=node130/4105450-1466253878
RUNJOBID= node130-1466240252-18375
PBS_JOBID= 19918180
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105450-1466253878/watcher-4105450-1466253878 -o /tmp/evaluation-result-4105450-1466253878/solver-4105450-1466253878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18375 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105450-1466253878.opb

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

MD5SUM BENCH= 40b50d0e4bc3f1ba5675c1e65f55a1d7
RANDOM SEED=809273034

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.365
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.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
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.56
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.365
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:        30495628 kB
Buffers:           25016 kB
Cached:           143792 kB
SwapCached:         1896 kB
Active:            88668 kB
Inactive:         122156 kB
Active(anon):      42292 kB
Inactive(anon):     2208 kB
Active(file):      46376 kB
Inactive(file):   119948 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098716 kB
Dirty:              1240 kB
Writeback:             0 kB
AnonPages:       1560828 kB
Mapped:            15444 kB
Shmem:                 0 kB
Slab:             600576 kB
SReclaimable:      43624 kB
SUnreclaim:       556952 kB
KernelStack:        1760 kB
PageTables:         7160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2131328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node130 at 2016-06-18 14:59:41