Trace number 4105546

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)92 1800.32 896.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-duke2.b.opb
MD5SUMad998dfe89909927555ae6165c9e8c9e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70
Optimality of the best value was proved NO
Number of variables1821
Total number of constraints4706
Number of constraints which are clauses4706
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 constraint1
Maximum length of a constraint382
Number of terms in the objective function 1821
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 1821
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1821
Number of bits of the biggest sum of numbers11
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4105546-1466254781.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.84/0.53	c ... done. Wall clock time 0.417s.
0.84/0.53	c declared #vars     1821
0.84/0.53	c #constraints  4706
0.84/0.53	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.84/0.53	c constraints type 
0.84/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4462
0.84/0.53	c org.sat4j.specs.Constr$1 => 216
0.84/0.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8
0.84/0.53	c org.sat4j.minisat.constraints.cnf.UnitClause => 20
0.84/0.53	c 4706 constraints processed.
0.84/0.53	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.84/0.53	c constraints type 
0.84/0.53	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8
0.84/0.53	c org.sat4j.specs.Constr$1 => 216
0.84/0.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4462
0.84/0.53	c org.sat4j.pb.constraints.pb.UnitClausePB => 20
0.84/0.53	c 4706 constraints processed.
0.84/0.53	c objective function length is 1821 literals
0.84/0.56	c And the winner is solver0
1.15/1.04	c SATISFIABLE
1.15/1.04	c OPTIMIZING...
1.15/1.04	c Got one! Elapsed wall clock time (in seconds):0.924
1.15/1.04	o 102
2.85/1.55	c And the winner is solver1
2.85/1.55	c Got one! Elapsed wall clock time (in seconds):1.434
2.85/1.55	o 101
3.16/1.68	c And the winner is solver0
3.47/2.05	c Got one! Elapsed wall clock time (in seconds):1.941
3.47/2.05	o 100
4.04/2.33	c cleaning 2819 clauses out of 5637 with flag 3752/5637
5.51/3.03	c And the winner is solver1
5.51/3.06	c Got one! Elapsed wall clock time (in seconds):2.948
5.51/3.06	o 99
6.91/3.70	c cleaning 4222 clauses out of 8446 with flag 11002/11265
6.91/3.77	c And the winner is solver1
7.01/4.07	c Got one! Elapsed wall clock time (in seconds):3.951
7.01/4.07	o 98
9.12/5.12	c cleaning 4705 clauses out of 9424 with flag 19640/16465
12.00/6.60	c cleaning 5349 clauses out of 10719 with flag 42137/22465
16.12/8.43	c cleaning 6185 clauses out of 12370 with flag 67518/29465
20.62/10.60	c cleaning 7089 clauses out of 14187 with flag 97901/37467
25.54/13.04	c cleaning 8046 clauses out of 16097 with flag 133153/46466
31.26/15.82	c cleaning 9025 clauses out of 18050 with flag 164290/56465
37.06/18.80	c cleaning 10010 clauses out of 20025 with flag 202099/67465
44.18/22.12	c cleaning 10981 clauses out of 22015 with flag 247149/79465
51.37/25.71	c cleaning 12017 clauses out of 24035 with flag 295063/92466
51.97/26.02	c And the winner is solver0
51.97/26.07	c Got one! Elapsed wall clock time (in seconds):25.957
51.97/26.07	o 97
54.12/27.09	c cleaning 8596 clauses out of 17192 with flag 14964/97640
57.33/28.66	c cleaning 7290 clauses out of 14596 with flag 36199/103640
61.13/30.50	c cleaning 7122 clauses out of 14306 with flag 60230/110640
65.15/32.60	c cleaning 7574 clauses out of 15184 with flag 88161/118640
70.57/35.11	c cleaning 8306 clauses out of 16612 with flag 122326/127642
75.97/37.83	c cleaning 9147 clauses out of 18304 with flag 154521/137640
81.78/40.76	c cleaning 10032 clauses out of 20159 with flag 191955/148642
88.16/43.96	c cleaning 11063 clauses out of 22125 with flag 237522/160640
96.40/47.94	c cleaning 12030 clauses out of 24066 with flag 282204/173644
104.21/51.86	c cleaning 13009 clauses out of 26032 with flag 329787/187640
112.60/55.91	c cleaning 13986 clauses out of 28023 with flag 381655/202640
121.60/60.47	c cleaning 15003 clauses out of 30037 with flag 433721/218640
132.01/65.63	c cleaning 15997 clauses out of 32034 with flag 492374/235640
144.09/72.08	c cleaning 17006 clauses out of 34037 with flag 552191/253640
155.48/77.74	c cleaning 18015 clauses out of 36031 with flag 618887/272640
167.75/83.88	c cleaning 18998 clauses out of 38016 with flag 688503/292640
180.61/90.23	c cleaning 19964 clauses out of 40018 with flag 766079/313640
194.01/96.86	c cleaning 21025 clauses out of 42054 with flag 845783/335640
208.20/103.99	c cleaning 21977 clauses out of 44029 with flag 923190/358640
224.54/112.06	c cleaning 23022 clauses out of 46052 with flag 993978/382640
240.13/119.86	c cleaning 24015 clauses out of 48030 with flag 1070891/407640
257.55/128.55	c cleaning 25003 clauses out of 50015 with flag 1155781/433640
275.49/137.39	c cleaning 25984 clauses out of 52012 with flag 1242070/460640
293.46/146.25	c cleaning 27000 clauses out of 54028 with flag 1332892/488640
312.25/155.66	c cleaning 27972 clauses out of 56028 with flag 1423608/517640
332.82/165.90	c cleaning 29023 clauses out of 58060 with flag 1515117/547644
355.22/177.52	c cleaning 30003 clauses out of 60036 with flag 1616944/578643
359.82/179.90	c And the winner is solver0
360.24/180.25	c Got one! Elapsed wall clock time (in seconds):180.135
360.24/180.25	o 96
362.54/181.40	c cleaning 21521 clauses out of 43102 with flag 18983/591712
364.95/182.70	c cleaning 13777 clauses out of 27581 with flag 48643/597712
368.14/184.20	c cleaning 10385 clauses out of 20804 with flag 86258/604712
371.75/186.05	c cleaning 9194 clauses out of 18419 with flag 120534/612712
375.74/188.07	c cleaning 9071 clauses out of 18225 with flag 160583/621712
380.74/190.51	c cleaning 9570 clauses out of 19158 with flag 196699/631716
386.20/193.28	c cleaning 10256 clauses out of 20587 with flag 237196/642715
392.40/196.30	c cleaning 11136 clauses out of 22328 with flag 282886/654712
399.00/199.64	c cleaning 12071 clauses out of 24194 with flag 331481/667714
406.34/203.29	c cleaning 13061 clauses out of 26121 with flag 385518/681712
414.54/207.30	c cleaning 14001 clauses out of 28061 with flag 439301/696713
422.98/211.58	c cleaning 15030 clauses out of 30059 with flag 497201/712712
432.94/216.50	c cleaning 16016 clauses out of 32034 with flag 557314/729717
443.74/221.85	c cleaning 17001 clauses out of 34015 with flag 623580/747714
457.13/228.45	c cleaning 17939 clauses out of 36012 with flag 685007/766712
470.16/234.82	c cleaning 19027 clauses out of 38073 with flag 751441/786712
484.60/241.96	c cleaning 20018 clauses out of 40046 with flag 816823/807712
487.63/243.49	c And the winner is solver1
487.82/243.87	c Got one! Elapsed wall clock time (in seconds):243.752
487.82/243.87	o 95
490.08/245.08	c cleaning 15119 clauses out of 30237 with flag 23001/817921
493.09/246.58	c cleaning 10558 clauses out of 21125 with flag 45853/823928
496.88/248.45	c cleaning 8768 clauses out of 17560 with flag 72509/830921
501.74/250.73	c cleaning 8388 clauses out of 16792 with flag 102009/838921
506.74/253.22	c cleaning 8687 clauses out of 17404 with flag 133685/847921
512.34/256.07	c cleaning 9359 clauses out of 18717 with flag 168360/857921
518.88/259.19	c cleaning 10177 clauses out of 20361 with flag 208088/868924
525.88/262.65	c cleaning 11083 clauses out of 22181 with flag 251647/880921
533.30/266.37	c cleaning 12041 clauses out of 24098 with flag 296970/893921
542.42/270.77	c cleaning 13028 clauses out of 26058 with flag 344056/907922
551.62/275.36	c cleaning 14004 clauses out of 28029 with flag 391155/922921
561.26/280.08	c cleaning 15016 clauses out of 30031 with flag 447504/938927
570.65/284.79	c cleaning 16006 clauses out of 32011 with flag 509267/955923
582.31/290.45	c cleaning 17002 clauses out of 34003 with flag 567805/973921
594.29/296.42	c cleaning 17983 clauses out of 36001 with flag 626783/992921
607.49/303.07	c cleaning 18995 clauses out of 38018 with flag 689077/1012921
621.10/309.72	c cleaning 20009 clauses out of 40023 with flag 757586/1033921
635.52/317.00	c cleaning 21007 clauses out of 42014 with flag 827252/1055921
650.06/324.19	c cleaning 21996 clauses out of 44007 with flag 906954/1078921
666.44/332.23	c cleaning 23006 clauses out of 46011 with flag 989620/1102921
682.24/340.16	c cleaning 23984 clauses out of 48005 with flag 1076487/1127921
699.61/348.74	c cleaning 25010 clauses out of 50022 with flag 1162065/1153922
718.59/358.12	c cleaning 26005 clauses out of 52012 with flag 1244877/1180922
736.99/367.20	c cleaning 27001 clauses out of 54006 with flag 1334348/1208921
755.39/376.47	c cleaning 27995 clauses out of 56006 with flag 1433524/1237922
775.12/386.18	c cleaning 28991 clauses out of 58010 with flag 1533668/1267921
796.16/396.50	c cleaning 30005 clauses out of 60019 with flag 1622995/1298921
817.90/407.25	c cleaning 30995 clauses out of 62014 with flag 1722852/1330921
820.72/408.64	c cleaning 0 clauses out of 6796 with flag 0/6798
839.60/417.76	c cleaning 32007 clauses out of 64019 with flag 1824197/1363921
865.68/430.54	c cleaning 33005 clauses out of 66012 with flag 1933683/1397921
893.75/445.64	c cleaning 34003 clauses out of 68009 with flag 2044328/1432923
918.31/457.68	c cleaning 34993 clauses out of 70004 with flag 2161013/1468921
920.90/458.94	c And the winner is solver0
921.12/459.25	c Got one! Elapsed wall clock time (in seconds):459.136
921.12/459.25	o 94
921.67/459.50	c cleaning 20284 clauses out of 40571 with flag 4063/1474481
924.27/460.83	c cleaning 13105 clauses out of 26287 with flag 32108/1480481
927.86/462.57	c cleaning 10075 clauses out of 20182 with flag 64158/1487481
931.65/464.49	c cleaning 9025 clauses out of 18107 with flag 94605/1495481
936.05/466.65	c cleaning 8985 clauses out of 18082 with flag 132313/1504481
941.05/469.19	c cleaning 9513 clauses out of 19097 with flag 174048/1514481
947.47/472.26	c cleaning 10269 clauses out of 20584 with flag 222535/1525481
953.87/475.43	c cleaning 11154 clauses out of 22318 with flag 265400/1537484
961.71/479.21	c cleaning 12071 clauses out of 24162 with flag 312268/1550482
969.71/483.27	c cleaning 13014 clauses out of 26090 with flag 362923/1564481
978.42/487.44	c cleaning 14038 clauses out of 28076 with flag 417664/1579481
987.22/491.86	c cleaning 15011 clauses out of 30038 with flag 473090/1595481
996.60/496.48	c cleaning 16001 clauses out of 32027 with flag 536653/1612481
1007.40/501.82	c cleaning 17004 clauses out of 34026 with flag 595994/1630481
1018.74/507.40	c cleaning 17943 clauses out of 36022 with flag 660917/1649481
1030.67/513.31	c cleaning 19026 clauses out of 38079 with flag 734136/1669481
1042.47/519.25	c cleaning 19972 clauses out of 40053 with flag 816387/1690481
1054.75/525.33	c cleaning 21043 clauses out of 42085 with flag 896306/1712485
1067.67/531.73	c cleaning 22020 clauses out of 44039 with flag 995579/1735482
1082.39/539.05	c cleaning 22951 clauses out of 46018 with flag 1081988/1759481
1097.80/546.76	c cleaning 24032 clauses out of 48067 with flag 1169992/1784481
1114.11/554.82	c cleaning 25008 clauses out of 50035 with flag 1248768/1810481
1131.85/563.61	c cleaning 26015 clauses out of 52035 with flag 1338276/1837489
1148.86/572.01	c cleaning 27006 clauses out of 54012 with flag 1436562/1865481
1167.44/581.25	c cleaning 27999 clauses out of 56010 with flag 1532196/1894485
1184.84/589.99	c cleaning 29007 clauses out of 58013 with flag 1632194/1924487
1204.28/599.46	c cleaning 29995 clauses out of 60003 with flag 1737016/1955484
1224.92/609.69	c cleaning 31001 clauses out of 62007 with flag 1844844/1987483
1246.36/620.22	c cleaning 31987 clauses out of 64004 with flag 1954175/2020481
1267.89/630.87	c cleaning 33009 clauses out of 66017 with flag 2068060/2054481
1292.33/642.86	c cleaning 33980 clauses out of 68008 with flag 2183901/2089481
1316.36/654.70	c cleaning 35013 clauses out of 70028 with flag 2322852/2125481
1343.38/668.14	c cleaning 36007 clauses out of 72015 with flag 2443359/2162481
1371.69/684.12	c cleaning 36977 clauses out of 74008 with flag 2576882/2200481
1394.97/695.75	c And the winner is solver1
1395.15/695.91	c Got one! Elapsed wall clock time (in seconds):695.797
1395.15/695.91	o 93
1397.52/697.11	c cleaning 40041 clauses out of 80117 with flag 22428/2243567
1400.46/698.55	c cleaning 23038 clauses out of 46076 with flag 48474/2249567
1403.65/700.19	c cleaning 15018 clauses out of 30038 with flag 75089/2256567
1407.64/702.14	c cleaning 11511 clauses out of 23022 with flag 109870/2264569
1412.04/704.32	c cleaning 10247 clauses out of 20509 with flag 145097/2273567
1417.04/706.88	c cleaning 10111 clauses out of 20262 with flag 186847/2283567
1422.98/709.75	c cleaning 10555 clauses out of 21151 with flag 235880/2294567
1429.39/712.96	c cleaning 11301 clauses out of 22603 with flag 281290/2306574
1436.39/716.46	c cleaning 12148 clauses out of 24296 with flag 326682/2319568
1444.98/720.63	c cleaning 13075 clauses out of 26154 with flag 384082/2333574
1453.97/725.18	c cleaning 14021 clauses out of 28072 with flag 435205/2348567
1463.35/729.79	c cleaning 15009 clauses out of 30051 with flag 492468/2364567
1473.96/734.99	c cleaning 16019 clauses out of 32042 with flag 551554/2381567
1484.76/740.40	c cleaning 17014 clauses out of 34028 with flag 613242/2399572
1495.76/745.86	c cleaning 17991 clauses out of 36009 with flag 676208/2418567
1508.80/752.28	c cleaning 18992 clauses out of 38019 with flag 744286/2438568
1522.84/759.12	c cleaning 20003 clauses out of 40026 with flag 813795/2459567
1537.09/766.12	c cleaning 21001 clauses out of 42023 with flag 889288/2481567
1551.89/773.53	c cleaning 22012 clauses out of 44023 with flag 965560/2504568
1566.96/780.95	c cleaning 22991 clauses out of 46014 with flag 1039802/2528571
1583.05/788.89	c cleaning 24011 clauses out of 48021 with flag 1116179/2553569
1600.03/797.32	c cleaning 25002 clauses out of 50008 with flag 1194968/2579567
1617.27/805.88	c cleaning 26005 clauses out of 52009 with flag 1284390/2606570
1635.77/814.91	c cleaning 26998 clauses out of 54003 with flag 1378604/2634569
1655.80/824.87	c cleaning 27985 clauses out of 56003 with flag 1471264/2663567
1675.07/834.38	c cleaning 29004 clauses out of 58018 with flag 1577843/2693567
1695.84/844.44	c cleaning 30010 clauses out of 60019 with flag 1681762/2724572
1698.63/845.84	c And the winner is solver0
1699.21/846.38	c Got one! Elapsed wall clock time (in seconds):846.27
1699.21/846.38	o 92
1701.52/847.53	c cleaning 20009 clauses out of 40045 with flag 23345/2734608
1704.32/848.93	c cleaning 13015 clauses out of 26036 with flag 50264/2740608
1707.52/850.55	c cleaning 9995 clauses out of 20021 with flag 78464/2747608
1711.32/852.49	c cleaning 8973 clauses out of 18026 with flag 110857/2755608
1716.16/854.79	c cleaning 9028 clauses out of 18056 with flag 145305/2764611
1721.15/857.27	c cleaning 9511 clauses out of 19025 with flag 189637/2774608
1726.96/860.17	c cleaning 10235 clauses out of 20514 with flag 235235/2785608
1733.74/863.41	c cleaning 11140 clauses out of 22280 with flag 280529/2797609
1740.75/866.95	c cleaning 12063 clauses out of 24140 with flag 330455/2810609
1748.69/870.80	c cleaning 13037 clauses out of 26077 with flag 382019/2824609
1757.29/875.11	c cleaning 14000 clauses out of 28040 with flag 433481/2839609
1766.64/879.72	c cleaning 15018 clauses out of 30039 with flag 504142/2855608
1776.64/884.72	c cleaning 15984 clauses out of 32021 with flag 571617/2872608
1787.02/889.90	c cleaning 17008 clauses out of 34037 with flag 634552/2890608
1798.15/895.35	c cleaning 18000 clauses out of 36029 with flag 702123/2909608
1800.14/896.30	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.14/896.30	c starts		: 43100
1800.14/896.30	c conflicts		: 2913429
1800.14/896.30	c decisions		: 31519724
1800.14/896.30	c propagations		: 1398979577
1800.14/896.30	c inspects		: 7779456379
1800.14/896.30	c shortcuts		: 0
1800.14/896.30	c learnt literals	: 0
1800.14/896.30	c learnt binary clauses	: 0
1800.14/896.31	c learnt ternary clauses	: 0
1800.14/896.31	c learnt constraints	: 2913429
1800.14/896.31	c ignored constraints	: 0
1800.14/896.31	c root simplifications	: 0
1800.14/896.31	c removed literals (reason simplification)	: 16305724
1800.14/896.31	c reason swapping (by a shorter reason)	: 0
1800.14/896.31	c Calls to reduceDB	: 163
1800.14/896.31	c Number of update (reduction) of LBD	: 1341247
1800.14/896.31	c Imported unit clauses	: 0
1800.14/896.31	c number of reductions to clauses (during analyze)	: 0
1800.14/896.31	c number of learned constraints concerned by reduction	: 0
1800.14/896.31	c number of learning phase by resolution	: 0
1800.14/896.31	c number of learning phase by cutting planes	: 0
1800.14/896.31	c speed (assignments/second)	: 6981423.737187229
1800.14/896.31	c non guided choices	0
1800.14/896.32	c learnt constraints type 
1800.14/896.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 21850
1800.14/896.32	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.14/896.32	c starts		: 70
1800.14/896.32	c conflicts		: 10798
1800.14/896.32	c decisions		: 486826
1800.14/896.32	c propagations		: 1661280
1800.14/896.32	c inspects		: 820733337
1800.14/896.32	c shortcuts		: 0
1800.14/896.32	c learnt literals	: 0
1800.14/896.32	c learnt binary clauses	: 0
1800.14/896.32	c learnt ternary clauses	: 0
1800.14/896.32	c learnt constraints	: 10795
1800.14/896.32	c ignored constraints	: 0
1800.14/896.32	c root simplifications	: 0
1800.14/896.32	c removed literals (reason simplification)	: 0
1800.14/896.32	c reason swapping (by a shorter reason)	: 0
1800.14/896.32	c Calls to reduceDB	: 1
1800.14/896.32	c Number of update (reduction) of LBD	: 0
1800.14/896.32	c Imported unit clauses	: 0
1800.14/896.32	c number of reductions to clauses (during analyze)	: 0
1800.14/896.32	c number of learned constraints concerned by reduction	: 0
1800.14/896.32	c number of learning phase by resolution	: 0
1800.14/896.32	c number of learning phase by cutting planes	: 0
1800.14/896.32	c speed (assignments/second)	: 33281.51294174213
1800.14/896.32	c non guided choices	0
1800.14/896.32	c learnt constraints type 
1800.14/896.32	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 52
1800.14/896.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 59
1800.14/896.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10684
1800.14/896.32	s SATISFIABLE
1800.14/896.32	c Found 11 solution(s)
1800.14/896.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 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 x1755 -x1756 -x1757 x1758 x1759 x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 
1800.14/896.33	c objective function=92
1800.14/896.33	c Total wall clock time (in seconds): 896.214

Verifier Data 

OK	92

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

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

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


[startup+0 s]
/proc/loadavg: 4.45 4.42 4.19 2/194 1346
/proc/meminfo: memFree=30412208/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/1346/stat : 1346 (java) D 1343 1346 18358 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 27524885 9515008 184 33554432000 1073741824 1073778376 140733634922368 140733634913592 214369463735 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/1346/statm: 2323 184 142 9 0 71 0

[startup+0.100153 s]
/proc/loadavg: 4.45 4.42 4.19 2/194 1346
/proc/meminfo: memFree=30412208/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 27524885 9787879424 6041 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2389619 6041 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 4.45 4.42 4.19 2/194 1346
/proc/meminfo: memFree=30412208/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 4989 0 1 0 27 1 0 0 20 0 18 0 27524885 9787879424 6941 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2389619 6941 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300237 s]
/proc/loadavg: 4.45 4.42 4.19 2/194 1346
/proc/meminfo: memFree=30412208/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 7444 0 1 0 56 2 0 0 20 0 18 0 27524885 9787879424 10937 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2389619 10937 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700234 s]
/proc/loadavg: 4.45 4.42 4.19 2/194 1346
/proc/meminfo: memFree=30412208/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 13603 0 1 0 108 7 0 0 20 0 19 0 27524885 10060525568 32317 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2456183 32317 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9824732

[startup+1.50086 s]
/proc/loadavg: 4.45 4.42 4.19 7/219 1379
/proc/meminfo: memFree=30259044/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 19216 0 1 0 277 8 0 0 20 0 22 0 27524885 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2456183 40739 2274 9 0 2446860 0
[pid=1346/tid=1348] ppid=1343 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/1346/task/1348/stat : 1348 (java) S 1343 1346 18358 0 -1 4202560 2484 0 1 0 49 3 0 0 20 0 22 0 27524886 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139783016330104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1349] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1349/stat : 1349 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139783005391656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1350] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1350/stat : 1350 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139783004338856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1351] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1351/stat : 1351 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139783003286568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1353] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1353/stat : 1353 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139783002233768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1354] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1354/stat : 1354 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139783001180456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1356] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1356/stat : 1356 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139783000127656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1359] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1359/stat : 1359 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782853966376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1360] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1360/stat : 1360 (java) S 1343 1346 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782852913576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1361] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1361/stat : 1361 (java) S 1343 1346 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27524888 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782840503016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1362] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1362/stat : 1362 (java) S 1343 1346 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782839449080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1363] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1363/stat : 1363 (java) S 1343 1346 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782838396680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1364] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1364/stat : 1364 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782837345168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1365] ppid=1343 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/1346/task/1365/stat : 1365 (java) R 1343 1346 18358 0 -1 4202560 7645 0 0 0 62 1 0 0 20 0 22 0 27524891 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782836269112 139783019347827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1366] ppid=1343 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/1346/task/1366/stat : 1366 (java) S 1343 1346 18358 0 -1 4202560 7738 0 0 0 68 2 0 0 20 0 22 0 27524891 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782835238968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1368] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1368/stat : 1368 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782834186872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1369] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1369/stat : 1369 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782833134280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1375] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1375/stat : 1375 (java) S 1343 1346 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27524940 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782829975208 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1377] ppid=1343 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/1346/task/1377/stat : 1377 (java) R 1343 1346 18358 0 -1 4202560 8 0 0 0 43 0 0 0 20 0 22 0 27524991 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782831025224 139782882314037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1378] ppid=1343 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/1346/task/1378/stat : 1378 (java) R 1343 1346 18358 0 -1 4202560 26 0 0 0 43 0 0 0 20 0 22 0 27524991 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782832079144 139782881622150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1379] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1379/stat : 1379 (java) S 1343 1346 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27524991 10060525568 40739 33554432000 1073741824 1073778376 140734855231424 139782828922024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 9824732

[startup+3.10091 s]
/proc/loadavg: 4.49 4.43 4.19 6/219 1386
/proc/meminfo: memFree=30217476/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9824732 CPUtime=5.67 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 20195 0 1 0 552 15 0 0 20 0 22 0 27524885 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2456183 47979 2292 9 0 2446860 0
[pid=1346/tid=1348] ppid=1343 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/1346/task/1348/stat : 1348 (java) S 1343 1346 18358 0 -1 4202560 2484 0 1 0 51 3 0 0 20 0 22 0 27524886 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139783016330104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1349] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1349/stat : 1349 (java) S 1343 1346 18358 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139783005391656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1350] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1350/stat : 1350 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139783004338856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1351] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1351/stat : 1351 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139783003286568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1353] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1353/stat : 1353 (java) S 1343 1346 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139783002233768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1354] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1354/stat : 1354 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139783001180456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1356] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1356/stat : 1356 (java) S 1343 1346 18358 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139783000127656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1359] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1359/stat : 1359 (java) S 1343 1346 18358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782853966376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1360] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1360/stat : 1360 (java) S 1343 1346 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782852913576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1361] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1361/stat : 1361 (java) S 1343 1346 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27524888 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782840503016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1362] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1362/stat : 1362 (java) S 1343 1346 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782839449080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1363] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1363/stat : 1363 (java) S 1343 1346 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782838396680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1364] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1364/stat : 1364 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782837345168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1365] ppid=1343 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/1346/task/1365/stat : 1365 (java) S 1343 1346 18358 0 -1 4202560 7652 0 0 0 80 1 0 0 20 0 22 0 27524891 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782836291768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1366] ppid=1343 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/1346/task/1366/stat : 1366 (java) S 1343 1346 18358 0 -1 4202560 8637 0 0 0 91 2 0 0 20 0 22 0 27524891 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782835238968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1368] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1368/stat : 1368 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782834186872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1369] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1369/stat : 1369 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782833134280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1386] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1386/stat : 1386 (java) S 1343 1346 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27525092 10060525568 47979 33554432000 1073741824 1073778376 140734855231424 139782828921768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 4.49 4.43 4.19 6/219 1392
/proc/meminfo: memFree=30163772/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9824732 CPUtime=11.58 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 20723 0 1 0 1139 19 0 0 20 0 22 0 27524885 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2456183 54468 2293 9 0 2446860 0
[pid=1346/tid=1348] ppid=1343 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/1346/task/1348/stat : 1348 (java) S 1343 1346 18358 0 -1 4202560 2485 0 1 0 51 3 0 0 20 0 22 0 27524886 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139783016330104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1349] ppid=1343 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1346/task/1349/stat : 1349 (java) S 1343 1346 18358 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 27524887 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139783005391656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1350] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1350/stat : 1350 (java) S 1343 1346 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139783004338856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1351] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1351/stat : 1351 (java) S 1343 1346 18358 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139783003286568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1353] ppid=1343 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1346/task/1353/stat : 1353 (java) S 1343 1346 18358 0 -1 4202560 162 0 0 0 1 0 0 0 20 0 22 0 27524887 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139783002233768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1354] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1354/stat : 1354 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139783001180456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1356] ppid=1343 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1346/task/1356/stat : 1356 (java) S 1343 1346 18358 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 27524887 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139783000127656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1359] ppid=1343 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1346/task/1359/stat : 1359 (java) S 1343 1346 18358 0 -1 4202560 171 0 0 0 1 0 0 0 20 0 22 0 27524887 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782853966376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1360] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1360/stat : 1360 (java) S 1343 1346 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27524887 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782852913576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1361] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1361/stat : 1361 (java) S 1343 1346 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27524888 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782840503016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1362] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1362/stat : 1362 (java) S 1343 1346 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782839449080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1363] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1363/stat : 1363 (java) S 1343 1346 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782838396680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1364] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1364/stat : 1364 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782837345168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1365] ppid=1343 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/1346/task/1365/stat : 1365 (java) S 1343 1346 18358 0 -1 4202560 7652 0 0 0 90 1 0 0 20 0 22 0 27524891 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782836291768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1366] ppid=1343 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/1346/task/1366/stat : 1366 (java) S 1343 1346 18358 0 -1 4202560 8638 0 0 0 96 2 0 0 20 0 22 0 27524891 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782835238968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1368] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1368/stat : 1368 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 54468 33554432000 1073741824 1073778376 140734855231424 139782834186872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1369] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.33 4.28 4.20 5/219 1477
/proc/meminfo: memFree=25670540/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9824732 CPUtime=1771.85 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 32822 0 1 0 176885 300 0 0 20 0 22 0 27524885 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2456183 1066971 2302 9 0 2446860 0
[pid=1346/tid=1348] ppid=1343 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/1346/task/1348/stat : 1348 (java) S 1343 1346 18358 0 -1 4202560 2499 0 1 0 57 5 0 0 20 0 22 0 27524886 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139783016330104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1349] ppid=1343 vsize=9824732 CPUtime=4.72 cores=1,3,5,7
/proc/1346/task/1349/stat : 1349 (java) S 1343 1346 18358 0 -1 4202560 1024 0 0 0 450 22 0 0 20 0 22 0 27524887 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139783005391656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1350] ppid=1343 vsize=9824732 CPUtime=5.18 cores=1,3,5,7
/proc/1346/task/1350/stat : 1350 (java) S 1343 1346 18358 0 -1 4202560 912 0 0 0 491 27 0 0 20 0 22 0 27524887 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139783004338856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1351] ppid=1343 vsize=9824732 CPUtime=4.82 cores=1,3,5,7
/proc/1346/task/1351/stat : 1351 (java) S 1343 1346 18358 0 -1 4202560 1066 0 0 0 459 23 0 0 20 0 22 0 27524887 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139783003286568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1353] ppid=1343 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/1346/task/1353/stat : 1353 (java) S 1343 1346 18358 0 -1 4202560 1172 0 0 0 466 28 0 0 20 0 22 0 27524887 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139783002233768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1354] ppid=1343 vsize=9824732 CPUtime=4.84 cores=1,3,5,7
/proc/1346/task/1354/stat : 1354 (java) S 1343 1346 18358 0 -1 4202560 873 0 0 0 461 23 0 0 20 0 22 0 27524887 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139783001180456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1356] ppid=1343 vsize=9824732 CPUtime=4.46 cores=1,3,5,7
/proc/1346/task/1356/stat : 1356 (java) S 1343 1346 18358 0 -1 4202560 810 0 0 0 424 22 0 0 20 0 22 0 27524887 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139783000127656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1359] ppid=1343 vsize=9824732 CPUtime=4.49 cores=1,3,5,7
/proc/1346/task/1359/stat : 1359 (java) S 1343 1346 18358 0 -1 4202560 1107 0 0 0 426 23 0 0 20 0 22 0 27524887 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782853966376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1360] ppid=1343 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
/proc/1346/task/1360/stat : 1360 (java) S 1343 1346 18358 0 -1 4202560 850 0 0 0 472 26 0 0 20 0 22 0 27524887 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782852913576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1361] ppid=1343 vsize=9824732 CPUtime=8.69 cores=1,3,5,7
/proc/1346/task/1361/stat : 1361 (java) S 1343 1346 18358 0 -1 4202560 3239 0 0 0 861 8 0 0 20 0 22 0 27524888 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782840503016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1362] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1362/stat : 1362 (java) S 1343 1346 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782839449080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1363] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1363/stat : 1363 (java) S 1343 1346 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782838396680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1364] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1364/stat : 1364 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782837345168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1365] ppid=1343 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/1346/task/1365/stat : 1365 (java) S 1343 1346 18358 0 -1 4202560 7706 0 0 0 116 1 0 0 20 0 22 0 27524891 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782836291768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1366] ppid=1343 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/1346/task/1366/stat : 1366 (java) S 1343 1346 18358 0 -1 4202560 8774 0 0 0 178 2 0 0 20 0 22 0 27524891 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782835238968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1368] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1368/stat : 1368 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782834186872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1369] ppid=1343 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/1346/task/1369/stat : 1369 (java) S 1343 1346 18358 0 -1 4202560 51 0 0 0 14 21 0 0 20 0 22 0 27524891 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782833134280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1469] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1469/stat : 1469 (java) S 1343 1346 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27594478 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782829974824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1475] ppid=1343 vsize=9824732 CPUtime=35.52 cores=1,3,5,7
/proc/1346/task/1475/stat : 1475 (java) R 1343 1346 18358 0 -1 4202560 3 0 0 0 3552 0 0 0 20 0 22 0 27609525 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782831018512 139782882286090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1476] ppid=1343 vsize=9824732 CPUtime=35.52 cores=1,3,5,7
/proc/1346/task/1476/stat : 1476 (java) R 1343 1346 18358 0 -1 4202560 4 0 0 0 3552 0 0 0 20 0 22 0 27609525 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782832078752 139782882763323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1477] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1477/stat : 1477 (java) S 1343 1346 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27609526 10060525568 1066971 33554432000 1073741824 1073778376 140734855231424 139782828921768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1771.85
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.301 s]
/proc/loadavg: 4.28 4.27 4.20 5/219 1477
/proc/meminfo: memFree=25645720/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 32877 0 1 0 179712 302 0 0 20 0 22 0 27524885 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2456183 1073122 2302 9 0 2446860 0
[pid=1346/tid=1348] ppid=1343 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/1346/task/1348/stat : 1348 (java) S 1343 1346 18358 0 -1 4202560 2500 0 1 0 57 5 0 0 20 0 22 0 27524886 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783016330104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1349] ppid=1343 vsize=9824732 CPUtime=4.84 cores=1,3,5,7
/proc/1346/task/1349/stat : 1349 (java) S 1343 1346 18358 0 -1 4202560 1032 0 0 0 461 23 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783005391656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1350] ppid=1343 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/1346/task/1350/stat : 1350 (java) S 1343 1346 18358 0 -1 4202560 923 0 0 0 500 27 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783004338856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1351] ppid=1343 vsize=9824732 CPUtime=4.91 cores=1,3,5,7
/proc/1346/task/1351/stat : 1351 (java) S 1343 1346 18358 0 -1 4202560 1070 0 0 0 468 23 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783003286568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1353] ppid=1343 vsize=9824732 CPUtime=4.99 cores=1,3,5,7
/proc/1346/task/1353/stat : 1353 (java) S 1343 1346 18358 0 -1 4202560 1177 0 0 0 471 28 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783002233768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1354] ppid=1343 vsize=9824732 CPUtime=4.88 cores=1,3,5,7
/proc/1346/task/1354/stat : 1354 (java) S 1343 1346 18358 0 -1 4202560 879 0 0 0 465 23 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783001180456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1356] ppid=1343 vsize=9824732 CPUtime=4.57 cores=1,3,5,7
/proc/1346/task/1356/stat : 1356 (java) S 1343 1346 18358 0 -1 4202560 818 0 0 0 435 22 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783000127656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1359] ppid=1343 vsize=9824732 CPUtime=4.52 cores=1,3,5,7
/proc/1346/task/1359/stat : 1359 (java) S 1343 1346 18358 0 -1 4202560 1110 0 0 0 429 23 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782853966376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1360] ppid=1343 vsize=9824732 CPUtime=5.07 cores=1,3,5,7
/proc/1346/task/1360/stat : 1360 (java) S 1343 1346 18358 0 -1 4202560 853 0 0 0 481 26 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782852913576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1361] ppid=1343 vsize=9824732 CPUtime=8.69 cores=1,3,5,7
/proc/1346/task/1361/stat : 1361 (java) S 1343 1346 18358 0 -1 4202560 3241 0 0 0 861 8 0 0 20 0 22 0 27524888 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782840503016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1362] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1362/stat : 1362 (java) S 1343 1346 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782839449080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1363] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1363/stat : 1363 (java) S 1343 1346 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782838396680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1364] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1364/stat : 1364 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782837345168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1365] ppid=1343 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/1346/task/1365/stat : 1365 (java) S 1343 1346 18358 0 -1 4202560 7706 0 0 0 116 1 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782836291768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1366] ppid=1343 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/1346/task/1366/stat : 1366 (java) S 1343 1346 18358 0 -1 4202560 8774 0 0 0 178 2 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782835238968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1368] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1368/stat : 1368 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782834186872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1369] ppid=1343 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/1346/task/1369/stat : 1369 (java) S 1343 1346 18358 0 -1 4202560 53 0 0 0 14 21 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782833134280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1469] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1469/stat : 1469 (java) S 1343 1346 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27594478 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782829974824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1475] ppid=1343 vsize=9824732 CPUtime=49.34 cores=1,3,5,7
/proc/1346/task/1475/stat : 1475 (java) R 1343 1346 18358 0 -1 4202560 3 0 0 0 4934 0 0 0 20 0 22 0 27609525 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782831018512 139782882285831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1476] ppid=1343 vsize=9824732 CPUtime=49.35 cores=1,3,5,7
/proc/1346/task/1476/stat : 1476 (java) R 1343 1346 18358 0 -1 4202560 6 0 0 0 4935 0 0 0 20 0 22 0 27609525 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782832078720 139782882763201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1477] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1477/stat : 1477 (java) S 1343 1346 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27609526 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782828921768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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 1346 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896.301 s]
/proc/loadavg: 4.28 4.27 4.20 5/219 1477
/proc/meminfo: memFree=25645720/32872528 swapFree=1286400/1433568
[pid=1346] ppid=1343 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/1346/stat : 1346 (java) S 1343 1346 18358 0 -1 4202496 32877 0 1 0 179712 302 0 0 20 0 22 0 27524885 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 140734855222560 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1346/statm: 2456183 1073122 2302 9 0 2446860 0
[pid=1346/tid=1348] ppid=1343 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/1346/task/1348/stat : 1348 (java) S 1343 1346 18358 0 -1 4202560 2500 0 1 0 57 5 0 0 20 0 22 0 27524886 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783016330104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1349] ppid=1343 vsize=9824732 CPUtime=4.84 cores=1,3,5,7
/proc/1346/task/1349/stat : 1349 (java) S 1343 1346 18358 0 -1 4202560 1032 0 0 0 461 23 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783005391656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1350] ppid=1343 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/1346/task/1350/stat : 1350 (java) S 1343 1346 18358 0 -1 4202560 923 0 0 0 500 27 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783004338856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1351] ppid=1343 vsize=9824732 CPUtime=4.91 cores=1,3,5,7
/proc/1346/task/1351/stat : 1351 (java) S 1343 1346 18358 0 -1 4202560 1070 0 0 0 468 23 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783003286568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1353] ppid=1343 vsize=9824732 CPUtime=4.99 cores=1,3,5,7
/proc/1346/task/1353/stat : 1353 (java) S 1343 1346 18358 0 -1 4202560 1177 0 0 0 471 28 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783002233768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1354] ppid=1343 vsize=9824732 CPUtime=4.88 cores=1,3,5,7
/proc/1346/task/1354/stat : 1354 (java) S 1343 1346 18358 0 -1 4202560 879 0 0 0 465 23 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783001180456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1356] ppid=1343 vsize=9824732 CPUtime=4.57 cores=1,3,5,7
/proc/1346/task/1356/stat : 1356 (java) S 1343 1346 18358 0 -1 4202560 818 0 0 0 435 22 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139783000127656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1359] ppid=1343 vsize=9824732 CPUtime=4.52 cores=1,3,5,7
/proc/1346/task/1359/stat : 1359 (java) S 1343 1346 18358 0 -1 4202560 1110 0 0 0 429 23 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782853966376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1360] ppid=1343 vsize=9824732 CPUtime=5.07 cores=1,3,5,7
/proc/1346/task/1360/stat : 1360 (java) S 1343 1346 18358 0 -1 4202560 853 0 0 0 481 26 0 0 20 0 22 0 27524887 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782852913576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1361] ppid=1343 vsize=9824732 CPUtime=8.69 cores=1,3,5,7
/proc/1346/task/1361/stat : 1361 (java) S 1343 1346 18358 0 -1 4202560 3241 0 0 0 861 8 0 0 20 0 22 0 27524888 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782840503016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1346/tid=1362] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1362/stat : 1362 (java) S 1343 1346 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782839449080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1363] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1363/stat : 1363 (java) S 1343 1346 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27524889 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782838396680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1364] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1364/stat : 1364 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782837345168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1365] ppid=1343 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/1346/task/1365/stat : 1365 (java) S 1343 1346 18358 0 -1 4202560 7706 0 0 0 116 1 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782836291768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1366] ppid=1343 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/1346/task/1366/stat : 1366 (java) S 1343 1346 18358 0 -1 4202560 8774 0 0 0 178 2 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782835238968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1368] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1368/stat : 1368 (java) S 1343 1346 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782834186872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1369] ppid=1343 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/1346/task/1369/stat : 1369 (java) S 1343 1346 18358 0 -1 4202560 53 0 0 0 14 21 0 0 20 0 22 0 27524891 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782833134280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1469] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1469/stat : 1469 (java) S 1343 1346 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27594478 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782829974824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1346/tid=1475] ppid=1343 vsize=9824732 CPUtime=49.34 cores=1,3,5,7
/proc/1346/task/1475/stat : 1475 (java) R 1343 1346 18358 0 -1 4202560 3 0 0 0 4934 0 0 0 20 0 22 0 27609525 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782831018512 139782882285831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1346/tid=1476] ppid=1343 vsize=9824732 CPUtime=49.35 cores=1,3,5,7
/proc/1346/task/1476/stat : 1476 (java) R 1343 1346 18358 0 -1 4202560 6 0 0 0 4935 0 0 0 20 0 22 0 27609525 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782832078720 139782882763201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1346/tid=1477] ppid=1343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1346/task/1477/stat : 1477 (java) S 1343 1346 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27609526 10060525568 1073122 33554432000 1073741824 1073778376 140734855231424 139782828921768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 896.36
CPU time (s): 1800.32
CPU user time (s): 1797.12
CPU system time (s): 3.20151
CPU usage (%): 200.848
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.12
system time used= 3.20151
maximum resident set size= 4292600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32915
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24004
involuntary context switches= 28850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04493 second user time and 6.18306 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 14:59:41
IDJOB=4105546
IDBENCH=2892
IDSOLVER=2543
FILE ID=node130/4105546-1466254781
RUNJOBID= node130-1466240252-18375
PBS_JOBID= 19918180
Free space on /tmp= 71744 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-duke2.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105546-1466254781/watcher-4105546-1466254781 -o /tmp/evaluation-result-4105546-1466254781/solver-4105546-1466254781 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18375 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105546-1466254781.opb

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

MD5SUM BENCH= ad998dfe89909927555ae6165c9e8c9e
RANDOM SEED=83986019

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:        30412860 kB
Buffers:           26256 kB
Cached:           146912 kB
SwapCached:         1896 kB
Active:           168580 kB
Inactive:         124040 kB
Active(anon):     119976 kB
Inactive(anon):     2208 kB
Active(file):      48604 kB
Inactive(file):   121832 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098716 kB
Dirty:              3872 kB
Writeback:             0 kB
AnonPages:       1546628 kB
Mapped:            14992 kB
Shmem:                 0 kB
Slab:             600548 kB
SReclaimable:      43640 kB
SUnreclaim:       556908 kB
KernelStack:        1608 kB
PageTables:         7044 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:    237568 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 15:14:38