Trace number 4106806

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)-43 1800.13 906.067

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_5.opb
MD5SUM996170804397234947041ed4d87d3aa0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-47
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4106806-1466277729.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
0.69/0.44	c ... done. Wall clock time 0.317s.
0.69/0.44	c declared #vars     400
0.69/0.44	c internal #vars     2928
0.69/0.44	c #constraints  5658
0.69/0.44	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.69/0.44	c constraints type 
0.69/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528
0.69/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.69/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.69/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528
0.69/0.44	c 5658 constraints processed.
0.69/0.44	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.69/0.44	c constraints type 
0.69/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.69/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2528
0.69/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.69/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2528
0.69/0.44	c 5658 constraints processed.
0.69/0.44	c objective function length is 200 literals
1.84/0.78	c And the winner is solver1
2.33/0.94	c SATISFIABLE
2.33/0.94	c OPTIMIZING...
2.33/0.94	c Got one! Elapsed wall clock time (in seconds):0.822
2.33/0.94	o -5
2.33/0.97	c And the winner is solver1
2.45/1.45	c Got one! Elapsed wall clock time (in seconds):1.324
2.45/1.45	o -17
2.63/1.50	c And the winner is solver1
2.75/1.95	c Got one! Elapsed wall clock time (in seconds):1.83
2.75/1.95	o -18
2.75/1.98	c And the winner is solver1
2.84/2.45	c Got one! Elapsed wall clock time (in seconds):2.331
2.84/2.45	o -19
2.84/2.47	c And the winner is solver1
2.93/2.95	c Got one! Elapsed wall clock time (in seconds):2.833
2.93/2.95	o -20
2.93/2.98	c And the winner is solver1
3.01/3.46	c Got one! Elapsed wall clock time (in seconds):3.334
3.01/3.46	o -21
3.01/3.47	c And the winner is solver1
3.05/3.96	c Got one! Elapsed wall clock time (in seconds):3.835
3.05/3.96	o -25
3.05/3.98	c And the winner is solver1
3.09/4.46	c Got one! Elapsed wall clock time (in seconds):4.336
3.09/4.46	o -26
3.09/4.48	c And the winner is solver1
3.15/4.96	c Got one! Elapsed wall clock time (in seconds):4.838
3.15/4.96	o -27
3.15/4.98	c And the winner is solver1
3.20/5.46	c Got one! Elapsed wall clock time (in seconds):5.339
3.20/5.46	o -28
3.32/5.51	c And the winner is solver1
3.34/5.96	c Got one! Elapsed wall clock time (in seconds):5.841
3.34/5.96	o -29
3.34/5.98	c And the winner is solver1
3.38/6.46	c Got one! Elapsed wall clock time (in seconds):6.342
3.38/6.46	o -30
3.38/6.47	c And the winner is solver1
3.39/6.96	c Got one! Elapsed wall clock time (in seconds):6.843
3.39/6.96	o -31
3.39/6.98	c And the winner is solver1
3.47/7.47	c Got one! Elapsed wall clock time (in seconds):7.344
3.47/7.47	o -32
3.47/7.48	c And the winner is solver1
3.56/7.97	c Got one! Elapsed wall clock time (in seconds):7.845
3.56/7.97	o -33
3.56/7.98	c And the winner is solver1
3.60/8.47	c Got one! Elapsed wall clock time (in seconds):8.345
3.60/8.47	o -34
3.60/8.49	c And the winner is solver1
3.66/8.97	c Got one! Elapsed wall clock time (in seconds):8.846
3.66/8.97	o -35
4.44/9.36	c And the winner is solver1
4.58/9.47	c Got one! Elapsed wall clock time (in seconds):9.347
4.58/9.47	o -36
5.79/10.09	c And the winner is solver1
5.94/10.47	c Got one! Elapsed wall clock time (in seconds):10.348
5.94/10.47	o -37
7.05/11.00	c cleaning 3370 clauses out of 6741 with flag 11359/6741
9.00/11.94	c And the winner is solver1
9.00/11.97	c Got one! Elapsed wall clock time (in seconds):11.849
9.00/11.97	o -38
10.20/12.52	c cleaning 4639 clauses out of 9283 with flag 11567/12653
12.81/13.64	c cleaning 5330 clauses out of 10659 with flag 44715/18668
16.28/15.13	c cleaning 6159 clauses out of 12322 with flag 91450/25661
20.31/17.05	c cleaning 7047 clauses out of 14155 with flag 138741/33653
24.51/19.11	c cleaning 8050 clauses out of 16108 with flag 189717/42653
28.77/21.26	c cleaning 9009 clauses out of 18058 with flag 245212/52653
33.58/23.66	c And the winner is solver1
33.65/23.97	c Got one! Elapsed wall clock time (in seconds):23.852
33.65/23.97	o -39
36.57/25.43	c cleaning 12358 clauses out of 24715 with flag 30268/68319
38.79/26.57	c cleaning 9179 clauses out of 18357 with flag 77336/74319
41.37/27.85	c cleaning 8052 clauses out of 16178 with flag 134130/81319
44.43/29.30	c cleaning 8062 clauses out of 16126 with flag 197629/89319
47.85/31.03	c cleaning 8541 clauses out of 17081 with flag 261611/98336
51.66/33.00	c cleaning 9262 clauses out of 18524 with flag 331548/108320
56.47/35.33	c cleaning 10111 clauses out of 20268 with flag 400161/119326
61.73/37.95	c cleaning 11084 clauses out of 22179 with flag 481866/131348
67.93/41.09	c cleaning 12034 clauses out of 24067 with flag 569792/144320
74.38/44.21	c cleaning 13011 clauses out of 26032 with flag 665311/158319
81.18/47.67	c cleaning 14016 clauses out of 28031 with flag 766149/173329
88.66/51.37	c cleaning 14989 clauses out of 30005 with flag 869650/189319
95.66/54.84	c And the winner is solver1
95.66/55.02	c Got one! Elapsed wall clock time (in seconds):54.896
95.66/55.02	o -40
98.42/56.45	c cleaning 17810 clauses out of 35621 with flag 33621/209924
100.82/57.63	c cleaning 11904 clauses out of 23811 with flag 75400/215924
103.47/58.98	c cleaning 9453 clauses out of 18906 with flag 122203/222923
106.47/60.44	c cleaning 8677 clauses out of 17453 with flag 176399/230923
109.87/62.16	c cleaning 8891 clauses out of 17781 with flag 235627/239928
113.87/64.16	c cleaning 9384 clauses out of 18885 with flag 302746/249923
118.12/66.25	c cleaning 10229 clauses out of 20502 with flag 374535/260924
122.33/68.34	c cleaning 11112 clauses out of 22290 with flag 448188/272941
127.51/70.90	c cleaning 12059 clauses out of 24168 with flag 530832/285931
133.19/73.80	c cleaning 13048 clauses out of 26105 with flag 620854/299927
139.99/77.16	c cleaning 13979 clauses out of 28057 with flag 719806/314927
146.83/80.57	c cleaning 15020 clauses out of 30075 with flag 829189/330924
154.03/84.16	c cleaning 16025 clauses out of 32056 with flag 942323/347925
161.92/88.07	c cleaning 17017 clauses out of 34033 with flag 1066255/365927
170.72/92.47	c cleaning 17977 clauses out of 36021 with flag 1183084/384932
180.36/97.25	c cleaning 18961 clauses out of 38036 with flag 1322209/404924
190.99/102.51	c cleaning 20031 clauses out of 40074 with flag 1439527/425923
202.65/108.39	c cleaning 21013 clauses out of 42048 with flag 1588050/447928
213.51/113.77	c cleaning 21977 clauses out of 44031 with flag 1741669/470924
226.30/120.13	c cleaning 22996 clauses out of 46058 with flag 1885406/494928
238.54/126.25	c cleaning 24013 clauses out of 48066 with flag 2043819/519932
251.41/132.64	c cleaning 25018 clauses out of 50044 with flag 2205124/545923
266.53/140.19	c And the winner is solver1
266.53/140.59	c Got one! Elapsed wall clock time (in seconds):140.469
266.53/140.59	o -41
270.03/142.39	c cleaning 27574 clauses out of 55147 with flag 36187/576044
272.47/143.59	c cleaning 16782 clauses out of 33563 with flag 74712/582034
275.27/144.90	c cleaning 11851 clauses out of 23779 with flag 119261/589032
278.28/146.47	c cleaning 9937 clauses out of 19926 with flag 171869/597030
281.68/148.14	c cleaning 9474 clauses out of 18991 with flag 236825/606032
285.48/150.07	c cleaning 9724 clauses out of 19515 with flag 302260/616030
290.31/152.40	c cleaning 10399 clauses out of 20798 with flag 373747/627037
295.37/154.90	c cleaning 11162 clauses out of 22392 with flag 451154/639030
300.81/157.66	c cleaning 12076 clauses out of 24230 with flag 540359/652030
307.56/161.22	c cleaning 13036 clauses out of 26154 with flag 644036/666030
314.57/164.73	c cleaning 14060 clauses out of 28119 with flag 755866/681031
321.38/168.13	c cleaning 15019 clauses out of 30058 with flag 864268/697030
329.21/172.00	c cleaning 16010 clauses out of 32041 with flag 972857/714032
337.47/176.14	c cleaning 16994 clauses out of 34029 with flag 1078083/732030
339.70/177.21	c And the winner is solver1
339.70/177.37	c Got one! Elapsed wall clock time (in seconds):177.248
339.70/177.37	o -42
341.76/178.44	c cleaning 13578 clauses out of 27156 with flag 37599/742151
343.99/179.53	c cleaning 9735 clauses out of 19577 with flag 79349/748150
346.39/180.70	c cleaning 8369 clauses out of 16842 with flag 127498/755150
348.99/182.07	c cleaning 8216 clauses out of 16478 with flag 185510/763155
352.61/183.85	c cleaning 8620 clauses out of 17258 with flag 245258/772151
356.41/185.76	c cleaning 9267 clauses out of 18637 with flag 311301/782150
360.83/187.99	c cleaning 10136 clauses out of 20371 with flag 377772/793151
365.64/190.33	c cleaning 11118 clauses out of 22236 with flag 451949/805152
371.45/193.20	c cleaning 12059 clauses out of 24118 with flag 529236/818152
377.06/196.07	c cleaning 13029 clauses out of 26058 with flag 623557/832151
383.08/199.06	c cleaning 13995 clauses out of 28028 with flag 715096/847150
389.91/202.49	c cleaning 14957 clauses out of 30033 with flag 828209/863150
398.16/206.55	c cleaning 16030 clauses out of 32077 with flag 925982/880151
406.99/210.93	c cleaning 17019 clauses out of 34047 with flag 1051144/898151
415.61/215.24	c cleaning 17992 clauses out of 36050 with flag 1159860/917173
425.24/220.00	c cleaning 18964 clauses out of 38037 with flag 1272456/937152
434.66/224.77	c cleaning 20026 clauses out of 40071 with flag 1400069/958150
444.95/229.84	c cleaning 21024 clauses out of 42048 with flag 1532001/980153
453.02/233.83	c cleaning 0 clauses out of 7998 with flag 0/7998
455.48/234.97	c cleaning 22009 clauses out of 44025 with flag 1685267/1003154
466.19/240.22	c cleaning 23002 clauses out of 46013 with flag 1834127/1027151
479.01/246.66	c cleaning 24008 clauses out of 48016 with flag 1999851/1052156
491.04/252.63	c cleaning 25002 clauses out of 50003 with flag 2169671/1078151
503.10/258.61	c cleaning 25994 clauses out of 52001 with flag 2336960/1105151
519.14/266.94	c cleaning 26948 clauses out of 54008 with flag 2507641/1133152
534.22/274.49	c cleaning 28011 clauses out of 56058 with flag 2705079/1162150
549.87/282.24	c cleaning 29027 clauses out of 58054 with flag 2891292/1192157
566.00/290.26	c cleaning 29985 clauses out of 60023 with flag 3085068/1223153
581.88/298.15	c cleaning 31008 clauses out of 62035 with flag 3272952/1255150
597.15/305.76	c cleaning 32005 clauses out of 64027 with flag 3487507/1288150
615.82/315.05	c cleaning 32962 clauses out of 66022 with flag 3695742/1322150
633.89/324.03	c cleaning 34028 clauses out of 68060 with flag 3904603/1357150
652.15/333.12	c cleaning 34986 clauses out of 70047 with flag 4139525/1393165
671.27/342.60	c cleaning 36024 clauses out of 72048 with flag 4362721/1430152
691.13/352.50	c cleaning 37011 clauses out of 74024 with flag 4617335/1468152
714.48/364.13	c cleaning 37979 clauses out of 76016 with flag 4885873/1507155
740.76/377.22	c cleaning 39014 clauses out of 78045 with flag 5136932/1547163
763.96/389.11	c cleaning 40010 clauses out of 80022 with flag 5400754/1588154
792.03/403.19	c cleaning 40996 clauses out of 82008 with flag 5666533/1630150
821.52/417.84	c cleaning 41972 clauses out of 84014 with flag 5929638/1673152
849.70/431.87	c cleaning 42989 clauses out of 86047 with flag 6218134/1717157
877.22/445.57	c cleaning 44023 clauses out of 88051 with flag 6510397/1762150
904.73/459.22	c cleaning 44978 clauses out of 90031 with flag 6796441/1808153
935.25/474.49	c cleaning 46022 clauses out of 92050 with flag 7107675/1855150
969.79/491.64	c cleaning 46976 clauses out of 94031 with flag 7403076/1903153
1001.55/507.44	c cleaning 47972 clauses out of 96054 with flag 7697313/1952152
1033.28/523.27	c cleaning 49014 clauses out of 98092 with flag 8002207/2002162
1063.97/538.51	c cleaning 50039 clauses out of 100078 with flag 8299214/2053162
1097.61/555.86	c cleaning 50983 clauses out of 102028 with flag 8591514/2105151
1131.59/572.77	c cleaning 52023 clauses out of 104046 with flag 8896440/2158152
1165.90/589.82	c cleaning 53010 clauses out of 106021 with flag 9227905/2212150
1200.66/607.16	c cleaning 54006 clauses out of 108017 with flag 9551804/2267156
1244.99/629.21	c cleaning 54968 clauses out of 110007 with flag 9874333/2323152
1256.27/634.86	c And the winner is solver1
1256.27/635.05	c Got one! Elapsed wall clock time (in seconds):634.924
1256.27/635.05	o -43
1259.99/636.92	c cleaning 40362 clauses out of 80723 with flag 31824/2348836
1262.19/638.06	c cleaning 23173 clauses out of 46362 with flag 68684/2354837
1264.83/639.33	c cleaning 15011 clauses out of 30188 with flag 112119/2361836
1267.63/640.74	c cleaning 11543 clauses out of 23183 with flag 161579/2369842
1270.63/642.21	c cleaning 10286 clauses out of 20637 with flag 214587/2378839
1273.84/643.88	c cleaning 10106 clauses out of 20348 with flag 275628/2388836
1277.24/645.55	c cleaning 10605 clauses out of 21242 with flag 353325/2399836
1280.44/647.19	c cleaning 11255 clauses out of 22637 with flag 423067/2411836
1285.11/649.41	c cleaning 12187 clauses out of 24387 with flag 507858/2424841
1289.51/651.68	c cleaning 13090 clauses out of 26200 with flag 597337/2438841
1294.51/654.18	c cleaning 14053 clauses out of 28105 with flag 696686/2453836
1300.32/657.06	c cleaning 14978 clauses out of 30052 with flag 800359/2469836
1306.18/660.00	c cleaning 15989 clauses out of 32074 with flag 908406/2486836
1312.38/663.03	c cleaning 17007 clauses out of 34085 with flag 1026367/2504836
1319.18/666.45	c cleaning 18008 clauses out of 36082 with flag 1156047/2523840
1326.26/669.95	c cleaning 19024 clauses out of 38070 with flag 1288206/2543836
1333.65/673.62	c cleaning 19960 clauses out of 40046 with flag 1411314/2564836
1340.85/677.26	c cleaning 21043 clauses out of 42086 with flag 1553668/2586836
1348.33/680.93	c cleaning 22011 clauses out of 44043 with flag 1693509/2609836
1356.32/684.98	c cleaning 23001 clauses out of 46032 with flag 1839155/2633836
1365.39/689.49	c cleaning 23979 clauses out of 48031 with flag 2000317/2658836
1375.19/694.34	c cleaning 24992 clauses out of 50055 with flag 2149137/2684839
1386.44/699.98	c cleaning 26007 clauses out of 52061 with flag 2305969/2711837
1395.84/704.67	c cleaning 27017 clauses out of 54054 with flag 2445856/2739837
1404.75/709.05	c cleaning 28009 clauses out of 56036 with flag 2576141/2768836
1416.77/715.01	c cleaning 29016 clauses out of 58032 with flag 2742255/2798841
1430.23/721.73	c cleaning 29963 clauses out of 60011 with flag 2938455/2829836
1444.72/728.91	c cleaning 31020 clauses out of 62051 with flag 3135916/2861839
1457.92/735.51	c cleaning 31956 clauses out of 64028 with flag 3324410/2894836
1472.02/742.56	c cleaning 33024 clauses out of 66072 with flag 3539505/2928836
1486.14/749.58	c cleaning 34023 clauses out of 68048 with flag 3731915/2963836
1501.94/757.41	c cleaning 35013 clauses out of 70026 with flag 3958747/2999837
1512.06/762.49	c cleaning 0 clauses out of 13285 with flag 0/13285
1519.67/766.21	c cleaning 36007 clauses out of 72019 with flag 4185096/3036843
1538.94/775.89	c cleaning 36984 clauses out of 74005 with flag 4402880/3074836
1556.98/784.87	c cleaning 38009 clauses out of 76021 with flag 4621495/3113836
1578.81/795.75	c cleaning 39009 clauses out of 78020 with flag 4879143/3153844
1598.09/805.33	c cleaning 39963 clauses out of 80003 with flag 5114614/3194836
1615.74/814.18	c cleaning 41018 clauses out of 82041 with flag 5344378/3236837
1633.77/823.11	c cleaning 41953 clauses out of 84022 with flag 5582382/3279836
1652.82/832.61	c cleaning 43027 clauses out of 86069 with flag 5824253/3323836
1673.48/842.93	c cleaning 44025 clauses out of 88049 with flag 6079096/3368843
1694.76/853.52	c cleaning 45001 clauses out of 90019 with flag 6321830/3414838
1720.39/866.38	c cleaning 45977 clauses out of 92018 with flag 6606745/3461838
1744.76/878.48	c cleaning 47019 clauses out of 94040 with flag 6876345/3509837
1766.85/889.49	c cleaning 47956 clauses out of 96021 with flag 7169749/3558837
1789.73/900.87	c cleaning 49002 clauses out of 98065 with flag 7440697/3608837
1800.13/906.00	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.13/906.00	c starts		: 67318
1800.13/906.00	c conflicts		: 3634949
1800.13/906.00	c decisions		: 48389811
1800.13/906.00	c propagations		: 423346036
1800.13/906.00	c inspects		: 8743077377
1800.13/906.00	c shortcuts		: 0
1800.13/906.00	c learnt literals	: 0
1800.13/906.00	c learnt binary clauses	: 10
1800.13/906.00	c learnt ternary clauses	: 2341
1800.13/906.00	c learnt constraints	: 3634949
1800.13/906.00	c ignored constraints	: 0
1800.13/906.00	c root simplifications	: 0
1800.13/906.00	c removed literals (reason simplification)	: 541537120
1800.13/906.00	c reason swapping (by a shorter reason)	: 0
1800.13/906.00	c Calls to reduceDB	: 153
1800.13/906.00	c Number of update (reduction) of LBD	: 1281357
1800.13/906.00	c Imported unit clauses	: 0
1800.13/906.00	c number of reductions to clauses (during analyze)	: 0
1800.13/906.00	c number of learned constraints concerned by reduction	: 0
1800.13/906.00	c number of learning phase by resolution	: 0
1800.13/906.00	c number of learning phase by cutting planes	: 0
1800.13/906.00	c speed (assignments/second)	: 1562462.302729675
1800.13/906.00	c non guided choices	0
1800.13/906.03	c learnt constraints type 
1800.13/906.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10
1800.13/906.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 75165
1800.13/906.03	c >>>>>>>>>> Solver number 1 (25 answers) <<<<<<<<<<<<<<<<<<
1800.13/906.03	c starts		: 65
1800.13/906.03	c conflicts		: 14083
1800.13/906.03	c decisions		: 213186
1800.13/906.03	c propagations		: 2916764
1800.13/906.03	c inspects		: 1134561165
1800.13/906.03	c shortcuts		: 0
1800.13/906.03	c learnt literals	: 0
1800.13/906.03	c learnt binary clauses	: 0
1800.13/906.03	c learnt ternary clauses	: 0
1800.13/906.03	c learnt constraints	: 14083
1800.13/906.03	c ignored constraints	: 0
1800.13/906.03	c root simplifications	: 0
1800.13/906.03	c removed literals (reason simplification)	: 0
1800.13/906.03	c reason swapping (by a shorter reason)	: 0
1800.13/906.03	c Calls to reduceDB	: 2
1800.13/906.03	c Number of update (reduction) of LBD	: 0
1800.13/906.03	c Imported unit clauses	: 0
1800.13/906.03	c number of reductions to clauses (during analyze)	: 0
1800.13/906.03	c number of learned constraints concerned by reduction	: 0
1800.13/906.03	c number of learning phase by resolution	: 0
1800.13/906.03	c number of learning phase by cutting planes	: 0
1800.13/906.03	c speed (assignments/second)	: 3220.8865498057594
1800.13/906.03	c non guided choices	60
1800.13/906.03	c learnt constraints type 
1800.13/906.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.13/906.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14082
1800.13/906.03	s SATISFIABLE
1800.13/906.03	c Found 25 solution(s)
1800.13/906.03	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 
1800.13/906.04	c objective function=-43
1800.13/906.04	c Total wall clock time (in seconds): 905.914

Verifier Data 

OK	-43

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-4106806-1466277729/watcher-4106806-1466277729 -o /tmp/evaluation-result-4106806-1466277729/solver-4106806-1466277729 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466265252-30107 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106806-1466277729.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.13 4.23 4.23 6/197 4442
/proc/meminfo: memFree=26962748/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4442/stat : 4442 (java) R 4439 4442 30091 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 29821580 9515008 143 33554432000 1073741824 1073778376 140735337841184 140735337838312 270329721524 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2323 148 107 9 0 71 0

[startup+0.100062 s]
/proc/loadavg: 4.13 4.23 4.23 6/197 4442
/proc/meminfo: memFree=26962748/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 4471 0 1 0 8 1 0 0 20 0 18 0 29821580 9787879424 5590 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2389619 5590 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200242 s]
/proc/loadavg: 4.13 4.23 4.23 6/197 4442
/proc/meminfo: memFree=26962748/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 4640 0 1 0 20 1 0 0 20 0 18 0 29821580 9787879424 6753 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2389619 6753 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300232 s]
/proc/loadavg: 4.13 4.23 4.23 6/197 4442
/proc/meminfo: memFree=26962748/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 6067 0 1 0 44 1 0 0 20 0 18 0 29821580 9787879424 8776 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2389619 8776 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700186 s]
/proc/loadavg: 4.13 4.23 4.23 6/197 4442
/proc/meminfo: memFree=26962748/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 16598 0 1 0 180 4 0 0 20 0 22 0 29821580 10060525568 21482 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2456183 21482 2264 9 0 2446860 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824732

[startup+1.50072 s]
/proc/loadavg: 4.13 4.23 4.23 3/216 4467
/proc/meminfo: memFree=26895776/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 19626 0 1 0 255 8 0 0 20 0 22 0 29821580 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2456183 26072 2269 9 0 2446860 0
[pid=4442/tid=4444] ppid=4439 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/4442/task/4444/stat : 4444 (java) S 4439 4442 30091 0 -1 4202560 2563 0 1 0 39 2 0 0 20 0 22 0 29821581 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321479234424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4445] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4445/stat : 4445 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821582 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321417964328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4446] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4446/stat : 4446 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821582 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321416911528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4447] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4447/stat : 4447 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821582 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321415859240 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4448] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4448/stat : 4448 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821582 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321414806440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4449] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4449/stat : 4449 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821582 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321318713640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4450] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4450/stat : 4450 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821582 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321317660840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4451] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4451/stat : 4451 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821582 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321316608552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4452] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4452/stat : 4452 (java) S 4439 4442 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29821582 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321315555752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4453] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4453/stat : 4453 (java) S 4439 4442 30091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321303358184 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4454] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4454/stat : 4454 (java) S 4439 4442 30091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321302304248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4455] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4455/stat : 4455 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321301251848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4456] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4456/stat : 4456 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321300200336 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4457] ppid=4439 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/4442/task/4457/stat : 4457 (java) R 4439 4442 30091 0 -1 4202560 5383 0 0 0 63 0 0 0 20 0 22 0 29821586 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321299146816 140321483351094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4458] ppid=4439 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/4442/task/4458/stat : 4458 (java) R 4439 4442 30091 0 -1 4202560 10321 0 0 0 70 3 0 0 20 0 22 0 29821586 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321298094016 140321486207840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4459] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4459/stat : 4459 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321297042040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4460] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4460/stat : 4460 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321295989448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4463] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4463/stat : 4463 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29821626 10060525568 26072 33554432000 1073741824 1073778376 140735337841184 140321292588712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 4.13 4.23 4.23 3/216 4473
/proc/meminfo: memFree=26876848/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 19694 0 1 0 285 16 0 0 20 0 19 0 29821580 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2456183 33267 2272 9 0 2446860 0
[pid=4442/tid=4444] ppid=4439 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/4442/task/4444/stat : 4444 (java) S 4439 4442 30091 0 -1 4202560 2563 0 1 0 40 2 0 0 20 0 19 0 29821581 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321479234424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4445] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4445/stat : 4445 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321417964328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4446] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4446/stat : 4446 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321416911528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4447] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4447/stat : 4447 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321415859240 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4448] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4448/stat : 4448 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321414806440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4449] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4449/stat : 4449 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321318713640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4450] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4450/stat : 4450 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321317660840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4451] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4451/stat : 4451 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321316608552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4452] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4452/stat : 4452 (java) S 4439 4442 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321315555752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4453] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4453/stat : 4453 (java) S 4439 4442 30091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29821584 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321303358184 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4454] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4454/stat : 4454 (java) S 4439 4442 30091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29821584 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321302304248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4455] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4455/stat : 4455 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821584 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321301251848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4456] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4456/stat : 4456 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821586 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321300200336 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4457] ppid=4439 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/4442/task/4457/stat : 4457 (java) S 4439 4442 30091 0 -1 4202560 5404 0 0 0 74 0 0 0 20 0 19 0 29821586 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321299146936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4458] ppid=4439 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/4442/task/4458/stat : 4458 (java) S 4439 4442 30091 0 -1 4202560 10333 0 0 0 82 3 0 0 20 0 19 0 29821586 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321298094136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4459] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4459/stat : 4459 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821586 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321297042040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4460] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4460/stat : 4460 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821586 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321295989448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4463] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4463/stat : 4463 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821626 10060525568 33267 33554432000 1073741824 1073778376 140735337841184 140321292588712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 9824732

[startup+6.30082 s]
/proc/loadavg: 3.95 4.19 4.22 7/219 4494
/proc/meminfo: memFree=26816448/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 19806 0 1 0 309 29 0 0 20 0 19 0 29821580 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2456183 43540 2285 9 0 2446860 0
[pid=4442/tid=4444] ppid=4439 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/4442/task/4444/stat : 4444 (java) S 4439 4442 30091 0 -1 4202560 2564 0 1 0 40 2 0 0 20 0 19 0 29821581 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321479234424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4445] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4445/stat : 4445 (java) S 4439 4442 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321417964328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4446] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4446/stat : 4446 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321416911528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4447] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4447/stat : 4447 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321415859240 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4448] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4448/stat : 4448 (java) S 4439 4442 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321414806440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4449] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4449/stat : 4449 (java) S 4439 4442 30091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321318713640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4450] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4450/stat : 4450 (java) S 4439 4442 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321317660840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4451] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4451/stat : 4451 (java) S 4439 4442 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321316608552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4452] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4452/stat : 4452 (java) S 4439 4442 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29821582 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321315555752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4453] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4453/stat : 4453 (java) S 4439 4442 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29821584 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321303358184 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4454] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4454/stat : 4454 (java) S 4439 4442 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29821584 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321302304248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4455] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4455/stat : 4455 (java) S 4439 4442 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29821584 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321301251848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4456] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4456/stat : 4456 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821586 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321300200336 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4457] ppid=4439 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/4442/task/4457/stat : 4457 (java) S 4439 4442 30091 0 -1 4202560 5405 0 0 0 77 0 0 0 20 0 19 0 29821586 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321299146936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4458] ppid=4439 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/4442/task/4458/stat : 4458 (java) S 4439 4442 30091 0 -1 4202560 10335 0 0 0 84 3 0 0 20 0 19 0 29821586 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321298094136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4459] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4459/stat : 4459 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821586 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321297042040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4460] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4460/stat : 4460 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821586 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321295989448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4463] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4463/stat : 4463 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821626 10060525568 43540 33554432000 1073741824 1073778376 140735337841184 140321292588712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 9824732
heavy processes:

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

[pid=4442/tid=4452] ppid=4439 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/4442/task/4452/stat : 4452 (java) S 4439 4442 30091 0 -1 4202560 1130 0 0 0 183 18 0 0 20 0 22 0 29821582 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321315555752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4453] ppid=4439 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/4442/task/4453/stat : 4453 (java) S 4439 4442 30091 0 -1 4202560 2263 0 0 0 283 11 0 0 20 0 22 0 29821584 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321303358184 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4454] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4454/stat : 4454 (java) S 4439 4442 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321302304248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4455] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4455/stat : 4455 (java) S 4439 4442 30091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321301251848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4456] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4456/stat : 4456 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321300200336 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4457] ppid=4439 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/4442/task/4457/stat : 4457 (java) S 4439 4442 30091 0 -1 4202560 7563 0 0 0 159 0 0 0 20 0 22 0 29821586 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321299146936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4458] ppid=4439 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/4442/task/4458/stat : 4458 (java) S 4439 4442 30091 0 -1 4202560 18623 0 0 0 196 4 0 0 20 0 22 0 29821586 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321298094136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4459] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4459/stat : 4459 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321297042040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4460] ppid=4439 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/4442/task/4460/stat : 4460 (java) S 4439 4442 30091 0 -1 4202560 46 0 0 0 15 16 0 0 20 0 22 0 29821586 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321295989448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4463] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4463/stat : 4463 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29821626 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321292588712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4552] ppid=4439 vsize=9824732 CPUtime=185.78 cores=0,2,4,6
/proc/4442/task/4552/stat : 4552 (java) R 4439 4442 30091 0 -1 4202560 9 0 0 0 18576 2 0 0 20 0 22 0 29885085 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321291533832 140321419719604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4553] ppid=4439 vsize=9824732 CPUtime=185.81 cores=0,2,4,6
/proc/4442/task/4553/stat : 4553 (java) R 4439 4442 30091 0 -1 4202560 891 0 0 0 18573 8 0 0 20 0 22 0 29885086 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321293639184 140321419825343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4554] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4554/stat : 4554 (java) S 4439 4442 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29885086 10060525568 799791 33554432000 1073741824 1073778376 140735337841184 140321294693544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1629.54
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.27 4.19 4.18 5/219 4899
/proc/meminfo: memFree=24933068/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9824732 CPUtime=1749.94 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 43738 0 1 0 174725 269 0 0 20 0 22 0 29821580 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2456183 809376 2303 9 0 2446860 0
[pid=4442/tid=4444] ppid=4439 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/4442/task/4444/stat : 4444 (java) S 4439 4442 30091 0 -1 4202560 2575 0 1 0 44 4 0 0 20 0 22 0 29821581 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321479234424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4445] ppid=4439 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/4442/task/4445/stat : 4445 (java) S 4439 4442 30091 0 -1 4202560 752 0 0 0 191 14 0 0 20 0 22 0 29821582 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321417964328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4446] ppid=4439 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/4442/task/4446/stat : 4446 (java) S 4439 4442 30091 0 -1 4202560 987 0 0 0 186 15 0 0 20 0 22 0 29821582 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321416911528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4447] ppid=4439 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/4442/task/4447/stat : 4447 (java) S 4439 4442 30091 0 -1 4202560 715 0 0 0 194 19 0 0 20 0 22 0 29821582 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321415859240 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4448] ppid=4439 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/4442/task/4448/stat : 4448 (java) S 4439 4442 30091 0 -1 4202560 767 0 0 0 186 17 0 0 20 0 22 0 29821582 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321414806440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4449] ppid=4439 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/4442/task/4449/stat : 4449 (java) S 4439 4442 30091 0 -1 4202560 1630 0 0 0 194 18 0 0 20 0 22 0 29821582 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321318713640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4450] ppid=4439 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/4442/task/4450/stat : 4450 (java) S 4439 4442 30091 0 -1 4202560 971 0 0 0 209 16 0 0 20 0 22 0 29821582 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321317660840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4451] ppid=4439 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/4442/task/4451/stat : 4451 (java) S 4439 4442 30091 0 -1 4202560 679 0 0 0 212 16 0 0 20 0 22 0 29821582 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321316608552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4452] ppid=4439 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/4442/task/4452/stat : 4452 (java) S 4439 4442 30091 0 -1 4202560 1272 0 0 0 197 19 0 0 20 0 22 0 29821582 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321315555752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4453] ppid=4439 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/4442/task/4453/stat : 4453 (java) S 4439 4442 30091 0 -1 4202560 2351 0 0 0 283 12 0 0 20 0 22 0 29821584 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321303358184 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4454] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4454/stat : 4454 (java) S 4439 4442 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321302304248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4455] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4455/stat : 4455 (java) S 4439 4442 30091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321301251848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4456] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4456/stat : 4456 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321300200336 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4457] ppid=4439 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/4442/task/4457/stat : 4457 (java) S 4439 4442 30091 0 -1 4202560 7563 0 0 0 159 0 0 0 20 0 22 0 29821586 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321299146936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4458] ppid=4439 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/4442/task/4458/stat : 4458 (java) S 4439 4442 30091 0 -1 4202560 18623 0 0 0 196 4 0 0 20 0 22 0 29821586 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321298094136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4459] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4459/stat : 4459 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321297042040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4460] ppid=4439 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/4442/task/4460/stat : 4460 (java) S 4439 4442 30091 0 -1 4202560 50 0 0 0 16 17 0 0 20 0 22 0 29821586 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321295989448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4463] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4463/stat : 4463 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29821626 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321292588712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4552] ppid=4439 vsize=9824732 CPUtime=245.34 cores=0,2,4,6
/proc/4442/task/4552/stat : 4552 (java) R 4439 4442 30091 0 -1 4202560 9 0 0 0 24531 3 0 0 20 0 22 0 29885085 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321291525872 140321419652834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4553] ppid=4439 vsize=9824732 CPUtime=245.36 cores=0,2,4,6
/proc/4442/task/4553/stat : 4553 (java) R 4439 4442 30091 0 -1 4202560 896 0 0 0 24527 9 0 0 20 0 22 0 29885086 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321293638800 140321420121327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4554] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4554/stat : 4554 (java) S 4439 4442 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29885086 10060525568 809376 33554432000 1073741824 1073778376 140735337841184 140321294693544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1749.94
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.001 s]
/proc/loadavg: 4.24 4.19 4.18 5/219 4900
/proc/meminfo: memFree=24511264/32872528 swapFree=1556504/1720024
[pid=4442] ppid=4439 vsize=9824732 CPUtime=1797.5 cores=0,2,4,6
/proc/4442/stat : 4442 (java) S 4439 4442 30091 0 -1 4202496 43891 0 1 0 179480 270 0 0 20 0 22 0 29821580 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140735337832320 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4442/statm: 2456183 810203 2303 9 0 2446860 0
[pid=4442/tid=4444] ppid=4439 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/4442/task/4444/stat : 4444 (java) S 4439 4442 30091 0 -1 4202560 2576 0 1 0 44 4 0 0 20 0 22 0 29821581 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321479234424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4445] ppid=4439 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/4442/task/4445/stat : 4445 (java) S 4439 4442 30091 0 -1 4202560 759 0 0 0 195 14 0 0 20 0 22 0 29821582 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321417964328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4446] ppid=4439 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/4442/task/4446/stat : 4446 (java) S 4439 4442 30091 0 -1 4202560 989 0 0 0 189 15 0 0 20 0 22 0 29821582 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321416911528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4447] ppid=4439 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/4442/task/4447/stat : 4447 (java) S 4439 4442 30091 0 -1 4202560 715 0 0 0 197 19 0 0 20 0 22 0 29821582 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321415859240 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4448] ppid=4439 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/4442/task/4448/stat : 4448 (java) S 4439 4442 30091 0 -1 4202560 780 0 0 0 193 17 0 0 20 0 22 0 29821582 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321414806440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4449] ppid=4439 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/4442/task/4449/stat : 4449 (java) S 4439 4442 30091 0 -1 4202560 1644 0 0 0 200 18 0 0 20 0 22 0 29821582 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321318713640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4450] ppid=4439 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/4442/task/4450/stat : 4450 (java) S 4439 4442 30091 0 -1 4202560 972 0 0 0 214 16 0 0 20 0 22 0 29821582 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321317660840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4451] ppid=4439 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/4442/task/4451/stat : 4451 (java) S 4439 4442 30091 0 -1 4202560 685 0 0 0 218 16 0 0 20 0 22 0 29821582 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321316608552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4452] ppid=4439 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/4442/task/4452/stat : 4452 (java) S 4439 4442 30091 0 -1 4202560 1278 0 0 0 199 19 0 0 20 0 22 0 29821582 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321315555752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4453] ppid=4439 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/4442/task/4453/stat : 4453 (java) S 4439 4442 30091 0 -1 4202560 2451 0 0 0 283 12 0 0 20 0 22 0 29821584 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321303358184 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4454] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4454/stat : 4454 (java) S 4439 4442 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321302304248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4455] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4455/stat : 4455 (java) S 4439 4442 30091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29821584 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321301251848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4442/tid=4456] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4456/stat : 4456 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321300200336 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4457] ppid=4439 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/4442/task/4457/stat : 4457 (java) S 4439 4442 30091 0 -1 4202560 7563 0 0 0 159 0 0 0 20 0 22 0 29821586 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321299146936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4458] ppid=4439 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/4442/task/4458/stat : 4458 (java) S 4439 4442 30091 0 -1 4202560 18623 0 0 0 196 4 0 0 20 0 22 0 29821586 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321298094136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4459] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4459/stat : 4459 (java) S 4439 4442 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29821586 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321297042040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4460] ppid=4439 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/4442/task/4460/stat : 4460 (java) S 4439 4442 30091 0 -1 4202560 52 0 0 0 16 18 0 0 20 0 22 0 29821586 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321295989448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4463] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4463/stat : 4463 (java) S 4439 4442 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29821626 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321292588712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4442/tid=4552] ppid=4439 vsize=9824732 CPUtime=268.87 cores=0,2,4,6
/proc/4442/task/4552/stat : 4552 (java) R 4439 4442 30091 0 -1 4202560 9 0 0 0 26883 4 0 0 20 0 22 0 29885085 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321291525872 140321419718274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4442/tid=4553] ppid=4439 vsize=9824732 CPUtime=268.89 cores=0,2,4,6
/proc/4442/task/4553/stat : 4553 (java) R 4439 4442 30091 0 -1 4202560 897 0 0 0 26879 10 0 0 20 0 22 0 29885086 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321293638784 140321419825284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4442/tid=4554] ppid=4439 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4442/task/4554/stat : 4554 (java) S 4439 4442 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29885086 10060525568 810203 33554432000 1073741824 1073778376 140735337841184 140321294693544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.5
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 4442 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4442 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=569336
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=21540
# CPU time returned by wait4() is 1796.59
# while last known CPU time is 1797.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 906.067
CPU time (s): 1800.13
CPU user time (s): 1797.62
CPU system time (s): 2.51
CPU usage (%): 198.675
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 3.02154
maximum resident set size= 3349512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43933
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26748
involuntary context switches= 34106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01093 second user time and 6.20606 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 21:22:10
IDJOB=4106806
IDBENCH=48266
IDSOLVER=2543
FILE ID=node117/4106806-1466277729
RUNJOBID= node117-1466265252-30107
PBS_JOBID= 19918233
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 996170804397234947041ed4d87d3aa0
RANDOM SEED=199513976

node117.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.912
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.82
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.912
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.912
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.912
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.912
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.54
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.912
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.54
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.912
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.54
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.912
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:        26963276 kB
Buffers:          142840 kB
Cached:           323032 kB
SwapCached:            0 kB
Active:          3064560 kB
Inactive:         361648 kB
Active(anon):    2952256 kB
Inactive(anon):    10636 kB
Active(file):     112304 kB
Inactive(file):   351012 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:       4682588 kB
Mapped:            21072 kB
Shmem:               204 kB
Slab:             621724 kB
SReclaimable:      65476 kB
SUnreclaim:       556248 kB
KernelStack:        1592 kB
PageTables:        13452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4809360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3024896 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= 71740 MiB
End job on node117 at 2016-06-18 21:37:16