Trace number 4085413

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 Resolution PB16SAT (TO)9 1800.06 1798.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
MD5SUM80d844acb755df30f8eb4d34a1c5fb81
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark7.18391
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
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 constraint10
Maximum length of a constraint30
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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.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.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
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 No 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.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4085413-1465241830.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.19	c ... done. Wall clock time 0.068s.
0.09/0.19	c declared #vars     100
0.09/0.19	c #constraints  100
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.09/0.19	c 100 constraints processed.
0.09/0.19	c objective function length is 100 literals
0.09/0.19	c SATISFIABLE
0.09/0.19	c OPTIMIZING...
0.09/0.19	c Got one! Elapsed wall clock time (in seconds):0.072
0.09/0.19	o 14
0.24/0.20	c Got one! Elapsed wall clock time (in seconds):0.079
0.24/0.20	o 13
0.24/0.20	c Got one! Elapsed wall clock time (in seconds):0.082
0.24/0.20	o 12
0.24/0.29	c Got one! Elapsed wall clock time (in seconds):0.175
0.24/0.29	o 11
0.85/0.51	c cleaning 2781 clauses out of 5565 with flag 12308/5565
1.05/0.69	c cleaning 4384 clauses out of 8783 with flag 27513/11564
1.43/0.92	c cleaning 5691 clauses out of 11398 with flag 45367/18563
1.65/1.20	c cleaning 6854 clauses out of 13708 with flag 65957/26564
2.05/1.53	c cleaning 7927 clauses out of 15854 with flag 89121/35564
2.45/1.99	c cleaning 8964 clauses out of 17927 with flag 115054/45564
3.15/2.62	c cleaning 9970 clauses out of 19962 with flag 143320/56563
3.81/3.26	c cleaning 10996 clauses out of 21992 with flag 175370/68563
4.61/4.08	c cleaning 11999 clauses out of 23998 with flag 210046/81565
5.61/5.05	c cleaning 12999 clauses out of 26004 with flag 248379/95570
6.60/6.08	c cleaning 13996 clauses out of 28000 with flag 288583/110565
7.81/7.21	c cleaning 14998 clauses out of 30002 with flag 330615/126563
9.11/8.53	c cleaning 15986 clauses out of 32004 with flag 374423/143563
10.41/9.88	c cleaning 17005 clauses out of 34019 with flag 420918/161564
12.01/11.40	c cleaning 17996 clauses out of 36015 with flag 471016/180565
12.11/11.54	c Got one! Elapsed wall clock time (in seconds):11.417
12.11/11.54	o 10
12.31/11.70	c cleaning 11800 clauses out of 23611 with flag 7863/186157
12.51/11.96	c cleaning 8902 clauses out of 17811 with flag 23792/192157
12.82/12.23	c cleaning 7941 clauses out of 15908 with flag 41996/199156
13.11/12.52	c cleaning 7975 clauses out of 15967 with flag 63420/207156
13.51/12.91	c cleaning 8495 clauses out of 16993 with flag 86635/216157
13.92/13.34	c cleaning 9249 clauses out of 18500 with flag 112408/226159
14.41/13.88	c cleaning 10125 clauses out of 20250 with flag 140241/237158
15.02/14.47	c cleaning 11060 clauses out of 22125 with flag 171836/249158
15.71/15.18	c cleaning 12024 clauses out of 24064 with flag 206113/262157
16.61/16.03	c cleaning 13015 clauses out of 26042 with flag 243040/276159
17.61/17.07	c cleaning 14003 clauses out of 28026 with flag 282194/291158
18.81/18.20	c cleaning 15012 clauses out of 30025 with flag 323816/307160
19.81/19.26	c cleaning 16007 clauses out of 32014 with flag 368948/324161
21.11/20.50	c cleaning 16994 clauses out of 34002 with flag 416966/342156
22.50/22.00	c cleaning 18005 clauses out of 36013 with flag 466889/361161
24.20/23.65	c cleaning 18995 clauses out of 38003 with flag 518842/381156
25.92/25.31	c cleaning 19990 clauses out of 40011 with flag 574559/402159
27.61/27.04	c cleaning 21008 clauses out of 42018 with flag 630868/424156
29.61/29.03	c cleaning 22007 clauses out of 44013 with flag 692521/447159
31.82/31.25	c cleaning 23000 clauses out of 46003 with flag 757197/471156
34.01/33.47	c cleaning 23995 clauses out of 48003 with flag 824720/496156
36.41/35.89	c cleaning 24999 clauses out of 50008 with flag 895008/522156
38.91/38.33	c cleaning 25998 clauses out of 52009 with flag 970538/549156
41.92/41.35	c cleaning 27003 clauses out of 54013 with flag 1046342/577158
44.72/44.16	c cleaning 27998 clauses out of 56010 with flag 1122711/606158
47.82/47.29	c cleaning 28998 clauses out of 58012 with flag 1209063/636158
51.42/50.85	c cleaning 30005 clauses out of 60014 with flag 1294111/667158
54.82/54.29	c cleaning 30994 clauses out of 62008 with flag 1380615/699157
58.82/58.21	c cleaning 32000 clauses out of 64013 with flag 1470945/732156
62.51/61.98	c cleaning 32999 clauses out of 66014 with flag 1561056/766157
66.72/66.11	c cleaning 33994 clauses out of 68014 with flag 1654009/801156
71.12/70.55	c cleaning 35006 clauses out of 70020 with flag 1752931/837156
75.81/75.28	c cleaning 36004 clauses out of 72014 with flag 1853154/874156
80.84/80.22	c cleaning 36999 clauses out of 74011 with flag 1952377/912157
85.64/85.06	c cleaning 38007 clauses out of 76013 with flag 2052624/951158
91.14/90.55	c cleaning 38986 clauses out of 78004 with flag 2160667/991156
96.04/95.40	c cleaning 40002 clauses out of 80022 with flag 2274443/1032160
101.34/100.78	c cleaning 40996 clauses out of 82016 with flag 2391193/1074156
107.74/107.18	c cleaning 42006 clauses out of 84022 with flag 2513204/1117158
113.54/112.90	c cleaning 43003 clauses out of 86014 with flag 2637250/1161156
119.64/119.02	c cleaning 44001 clauses out of 88013 with flag 2768622/1206158
126.24/125.67	c cleaning 44998 clauses out of 90011 with flag 2901636/1252157
133.85/133.22	c cleaning 46007 clauses out of 92015 with flag 3031756/1299159
141.57/140.99	c cleaning 47005 clauses out of 94009 with flag 3162883/1347160
148.86/148.28	c cleaning 47999 clauses out of 96001 with flag 3294698/1396157
156.88/156.24	c cleaning 48995 clauses out of 98002 with flag 3433401/1446157
166.38/165.74	c cleaning 49985 clauses out of 100006 with flag 3571555/1497156
174.58/173.93	c Got one! Elapsed wall clock time (in seconds):173.812
174.58/173.93	o 9
175.58/175.00	c cleaning 49923 clauses out of 99857 with flag 13663/1546992
176.17/175.59	c cleaning 27961 clauses out of 55932 with flag 29852/1552990
176.57/175.98	c cleaning 17479 clauses out of 34970 with flag 48193/1559989
176.97/176.33	c cleaning 12736 clauses out of 25491 with flag 69417/1567989
177.37/176.70	c cleaning 10868 clauses out of 21755 with flag 93170/1576989
177.67/177.08	c cleaning 10435 clauses out of 20887 with flag 118630/1586989
178.17/177.53	c cleaning 10726 clauses out of 21455 with flag 148611/1597992
178.67/178.06	c cleaning 11359 clauses out of 22727 with flag 180517/1609990
179.37/178.71	c cleaning 12184 clauses out of 24367 with flag 214882/1622989
180.08/179.47	c cleaning 13086 clauses out of 26183 with flag 252787/1636989
180.87/180.29	c cleaning 14037 clauses out of 28098 with flag 294660/1651990
181.77/181.16	c cleaning 15024 clauses out of 30060 with flag 338098/1667989
182.67/182.07	c cleaning 16019 clauses out of 32038 with flag 385995/1684991
183.67/183.09	c cleaning 16996 clauses out of 34017 with flag 435634/1702989
184.87/184.26	c cleaning 18008 clauses out of 36024 with flag 489774/1721992
186.17/185.59	c cleaning 19005 clauses out of 38015 with flag 547052/1741991
187.68/187.04	c cleaning 19997 clauses out of 40008 with flag 603242/1762989
189.17/188.55	c cleaning 21009 clauses out of 42017 with flag 662158/1784995
190.77/190.19	c cleaning 21996 clauses out of 44002 with flag 724973/1807989
192.69/192.05	c cleaning 23004 clauses out of 46007 with flag 790009/1831990
194.69/194.09	c cleaning 23997 clauses out of 48002 with flag 855305/1856989
196.59/195.93	c cleaning 25001 clauses out of 50006 with flag 923122/1882990
198.58/197.98	c cleaning 25993 clauses out of 52004 with flag 997177/1909989
200.89/200.21	c cleaning 26997 clauses out of 54011 with flag 1072564/1937989
203.10/202.40	c cleaning 28000 clauses out of 56015 with flag 1153000/1966990
205.59/204.93	c cleaning 29008 clauses out of 58016 with flag 1237929/1996991
208.29/207.61	c cleaning 29997 clauses out of 60009 with flag 1321565/2027992
211.59/210.92	c cleaning 31007 clauses out of 62013 with flag 1405073/2059993
214.79/214.19	c cleaning 31995 clauses out of 64002 with flag 1497081/2092989
218.09/217.44	c cleaning 32989 clauses out of 66007 with flag 1594476/2126989
221.69/221.04	c cleaning 34009 clauses out of 68019 with flag 1693609/2161990
225.39/224.77	c cleaning 35005 clauses out of 70014 with flag 1796114/2197994
229.39/228.70	c cleaning 36001 clauses out of 72006 with flag 1902820/2234991
233.29/232.66	c cleaning 36992 clauses out of 74003 with flag 2010164/2272989
237.39/236.79	c cleaning 37998 clauses out of 76013 with flag 2125778/2311991
241.70/241.03	c cleaning 39002 clauses out of 78013 with flag 2241068/2351989
245.89/245.24	c cleaning 39999 clauses out of 80012 with flag 2358736/2392990
250.29/249.66	c cleaning 41004 clauses out of 82012 with flag 2473812/2434989
256.00/255.32	c cleaning 42003 clauses out of 84008 with flag 2596104/2477989
261.69/261.01	c cleaning 43001 clauses out of 86008 with flag 2720537/2521992
268.10/267.49	c cleaning 44002 clauses out of 88007 with flag 2847700/2566992
274.19/273.58	c cleaning 44994 clauses out of 90004 with flag 2978257/2612991
280.50/279.89	c cleaning 46001 clauses out of 92008 with flag 3110824/2659989
287.10/286.43	c cleaning 46995 clauses out of 94009 with flag 3245462/2707991
294.20/293.51	c cleaning 48002 clauses out of 96012 with flag 3378698/2756989
301.03/300.33	c cleaning 49002 clauses out of 98011 with flag 3526670/2806990
308.22/307.58	c cleaning 49995 clauses out of 100008 with flag 3669953/2857989
315.92/315.21	c cleaning 51003 clauses out of 102013 with flag 3822644/2909989
324.02/323.33	c cleaning 51995 clauses out of 104012 with flag 3968447/2962991
332.62/331.95	c cleaning 53004 clauses out of 106015 with flag 4126584/3016989
342.22/341.58	c cleaning 54001 clauses out of 108011 with flag 4279307/3071989
352.02/351.36	c cleaning 55004 clauses out of 110010 with flag 4440972/3127989
361.64/360.94	c cleaning 55994 clauses out of 112010 with flag 4603964/3184993
371.63/370.97	c cleaning 56994 clauses out of 114012 with flag 4768264/3242989
382.03/381.34	c cleaning 58009 clauses out of 116019 with flag 4933671/3301990
393.63/392.96	c cleaning 59005 clauses out of 118009 with flag 5107450/3361989
405.03/404.34	c cleaning 59994 clauses out of 120004 with flag 5285733/3422989
416.54/415.83	c cleaning 60991 clauses out of 122010 with flag 5467857/3484989
429.03/428.30	c cleaning 62012 clauses out of 124024 with flag 5644633/3547994
441.63/440.96	c cleaning 63001 clauses out of 126010 with flag 5831474/3611992
453.94/453.22	c cleaning 63992 clauses out of 128006 with flag 6017344/3676989
465.72/464.96	c cleaning 65008 clauses out of 130015 with flag 6215986/3742990
478.12/477.36	c cleaning 65995 clauses out of 132007 with flag 6417799/3809990
490.62/489.84	c cleaning 67009 clauses out of 134017 with flag 6620598/3877995
503.42/502.62	c cleaning 67998 clauses out of 136003 with flag 6820539/3946990
516.52/515.78	c cleaning 68991 clauses out of 138007 with flag 7028811/4016992
530.12/529.35	c cleaning 70000 clauses out of 140014 with flag 7234070/4087990
546.13/545.35	c cleaning 71006 clauses out of 142016 with flag 7441725/4159992
560.64/559.84	c cleaning 72001 clauses out of 144007 with flag 7654329/4232989
576.24/575.42	c cleaning 73002 clauses out of 146008 with flag 7869070/4306991
592.54/591.71	c cleaning 73988 clauses out of 148007 with flag 8078615/4381992
608.44/607.67	c cleaning 74999 clauses out of 150016 with flag 8299159/4457989
625.04/624.25	c cleaning 76004 clauses out of 152017 with flag 8533080/4534989
641.34/640.59	c cleaning 76996 clauses out of 154013 with flag 8756644/4612989
657.40/656.56	c cleaning 77998 clauses out of 156017 with flag 8994774/4691989
674.70/673.86	c cleaning 79000 clauses out of 158022 with flag 9231757/4771992
692.20/691.32	c cleaning 80005 clauses out of 160022 with flag 9461202/4852992
710.80/709.91	c cleaning 81002 clauses out of 162014 with flag 9697435/4934989
729.82/728.93	c cleaning 82002 clauses out of 164012 with flag 9940957/5017989
749.02/748.12	c cleaning 83003 clauses out of 166010 with flag 10181218/5101989
769.82/768.91	c cleaning 84000 clauses out of 168007 with flag 10426473/5186989
788.71/787.85	c cleaning 84996 clauses out of 170008 with flag 10668507/5272990
809.43/808.54	c cleaning 86003 clauses out of 172016 with flag 10915954/5359994
830.93/830.01	c cleaning 86990 clauses out of 174008 with flag 11168149/5447989
852.64/851.77	c cleaning 88000 clauses out of 176018 with flag 11432823/5536989
874.68/873.73	c cleaning 89003 clauses out of 178020 with flag 11684286/5626991
897.38/896.47	c cleaning 89998 clauses out of 180015 with flag 11938704/5717989
919.98/919.08	c cleaning 91002 clauses out of 182017 with flag 12193304/5809989
944.69/943.72	c cleaning 92000 clauses out of 184015 with flag 12447085/5902989
969.29/968.39	c cleaning 92997 clauses out of 186015 with flag 12705951/5996989
995.99/995.05	c cleaning 93998 clauses out of 188018 with flag 12972632/6091989
1025.10/1024.14	c cleaning 95011 clauses out of 190023 with flag 13235228/6187992
1053.91/1052.93	c cleaning 95997 clauses out of 192010 with flag 13506294/6284990
1084.21/1083.24	c cleaning 96997 clauses out of 194012 with flag 13777156/6382989
1112.57/1111.59	c cleaning 98007 clauses out of 196015 with flag 14052182/6481989
1141.78/1140.77	c cleaning 99004 clauses out of 198008 with flag 14328772/6581989
1172.17/1171.19	c cleaning 99995 clauses out of 200004 with flag 14598970/6682989
1203.28/1202.24	c cleaning 100993 clauses out of 202009 with flag 14868082/6784989
1237.98/1236.91	c cleaning 101999 clauses out of 204017 with flag 15161302/6887990
1272.99/1271.90	c cleaning 102997 clauses out of 206017 with flag 15457912/6991989
1309.99/1308.95	c cleaning 104008 clauses out of 208022 with flag 15756085/7096991
1346.70/1345.62	c cleaning 104996 clauses out of 210013 with flag 16050849/7202990
1377.51/1376.41	c cleaning 106001 clauses out of 212017 with flag 16353940/7309990
1411.67/1410.47	c cleaning 106990 clauses out of 214016 with flag 16656410/7417990
1445.69/1444.44	c cleaning 107998 clauses out of 216027 with flag 16976406/7526991
1480.29/1479.00	c cleaning 109006 clauses out of 218029 with flag 17303479/7636991
1516.89/1515.67	c cleaning 109998 clauses out of 220023 with flag 17620782/7747991
1554.51/1553.22	c cleaning 111005 clauses out of 222027 with flag 17955149/7859993
1593.91/1592.63	c cleaning 111996 clauses out of 224018 with flag 18296463/7972989
1635.51/1634.24	c cleaning 113006 clauses out of 226023 with flag 18640952/8086990
1676.24/1674.84	c cleaning 114005 clauses out of 228019 with flag 18994715/8201992
1715.04/1713.69	c cleaning 114986 clauses out of 230014 with flag 19347069/8317992
1756.55/1755.19	c cleaning 116009 clauses out of 232025 with flag 19687102/8434989
1800.06/1798.61	c starts		: 8726
1800.06/1798.61	c conflicts		: 8552989
1800.06/1798.61	c decisions		: 18044121
1800.06/1798.61	c propagations		: 109499636
1800.06/1798.61	c inspects		: 36830845564
1800.06/1798.61	c shortcuts		: 0
1800.06/1798.61	c learnt literals	: 0
1800.06/1798.61	c learnt binary clauses	: 0
1800.06/1798.61	c learnt ternary clauses	: 8
1800.06/1798.61	c learnt constraints	: 8552989
1800.06/1798.61	c ignored constraints	: 0
1800.06/1798.61	c root simplifications	: 0
1800.06/1798.61	c removed literals (reason simplification)	: 0
1800.06/1798.61	c reason swapping (by a shorter reason)	: 0
1800.06/1798.61	c Calls to reduceDB	: 176
1800.06/1798.61	c Number of update (reduction) of LBD	: 2470789
1800.06/1798.61	c Imported unit clauses	: 0
1800.06/1798.61	c number of reductions to clauses (during analyze)	: 0
1800.06/1798.61	c number of learned constraints concerned by reduction	: 0
1800.06/1798.61	c number of learning phase by resolution	: 0
1800.06/1798.61	c number of learning phase by cutting planes	: 0
1800.06/1798.61	c speed (assignments/second)	: 60886.57599448405
1800.06/1798.61	c non guided choices	0
1800.06/1798.64	c learnt constraints type 
1800.06/1798.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 234016
1800.06/1798.64	s SATISFIABLE
1800.06/1798.64	c Found 6 solution(s)
1800.06/1798.64	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 
1800.06/1798.64	c objective function=9
1800.06/1798.64	c Total wall clock time (in seconds): 1798.524

Verifier Data 

OK	9

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-4085413-1465241830/watcher-4085413-1465241830 -o /tmp/evaluation-result-4085413-1465241830/solver-4085413-1465241830 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085413-1465241830.opb 

pid=4761
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: 2.12 2.17 2.18 3/194 4764
/proc/meminfo: memFree=29983320/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/4764/stat : 4764 (java) R 4761 4764 32365 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 106115392 3653632 49 33554432000 1073741824 1073778376 140735865214528 140735865211656 240556010791 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 1408 53 41 9 0 30 0

[startup+0.100058 s]
/proc/loadavg: 2.12 2.17 2.18 3/194 4764
/proc/meminfo: memFree=29983320/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 4452 0 1 0 8 1 0 0 20 0 18 0 106115392 9787879424 6083 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2389619 6083 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200241 s]
/proc/loadavg: 2.12 2.17 2.18 3/194 4764
/proc/meminfo: memFree=29983320/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 4776 0 1 0 23 1 0 0 20 0 19 0 106115392 9856040960 6898 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 6898 2207 9 0 2396937 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9625040

[startup+0.300255 s]
/proc/loadavg: 2.12 2.17 2.18 3/194 4764
/proc/meminfo: memFree=29983320/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 7425 0 1 0 50 1 0 0 20 0 19 0 106115392 9856040960 8237 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 8237 2245 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700238 s]
/proc/loadavg: 2.12 2.17 2.18 3/194 4764
/proc/meminfo: memFree=29983320/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 14882 0 1 0 120 3 0 0 20 0 19 0 106115392 9856040960 14211 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 14211 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.12 2.17 2.18 3/213 4783
/proc/meminfo: memFree=29933256/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=2.05 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 14889 0 1 0 202 3 0 0 20 0 19 0 106115392 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 15239 2256 9 0 2396937 0
[pid=4764/tid=4766] ppid=4761 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/4764/task/4766/stat : 4766 (java) R 4761 4764 32365 0 -1 4202560 2455 0 1 0 145 1 0 0 20 0 19 0 106115393 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654540958264 140654481156728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4767] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4767/stat : 4767 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654479690280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4768] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4768/stat : 4768 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654478637480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4769] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4769/stat : 4769 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654477584680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4764/tid=4770] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4770/stat : 4770 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654476531880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4771] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4771/stat : 4771 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654380006440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4772] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4772/stat : 4772 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654378953640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4773] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4773/stat : 4773 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654377900840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4774] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4774/stat : 4774 (java) S 4761 4764 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654376848040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4775] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4775/stat : 4775 (java) S 4761 4764 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106115395 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654364649960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4776] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4776/stat : 4776 (java) S 4761 4764 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654363596024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4777] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4777/stat : 4777 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654362543112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4778] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4778/stat : 4778 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654361491600 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4779] ppid=4761 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/4764/task/4779/stat : 4779 (java) S 4761 4764 32365 0 -1 4202560 2715 0 0 0 23 0 0 0 20 0 19 0 106115398 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654360439736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4780] ppid=4761 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/4764/task/4780/stat : 4780 (java) S 4761 4764 32365 0 -1 4202560 8446 0 0 0 31 2 0 0 20 0 19 0 106115398 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654359386936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4781] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4781/stat : 4781 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654358334328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4782] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4782/stat : 4782 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654357281736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4783] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4783/stat : 4783 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115411 9856040960 15239 33554432000 1073741824 1073778376 140735865214528 140654356227240 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.12 2.17 2.18 3/213 4783
/proc/meminfo: memFree=29928664/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 15001 0 1 0 368 3 0 0 20 0 19 0 106115392 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 16373 2257 9 0 2396937 0
[pid=4764/tid=4766] ppid=4761 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/4764/task/4766/stat : 4766 (java) R 4761 4764 32365 0 -1 4202560 2457 0 1 0 305 1 0 0 20 0 19 0 106115393 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654540958936 140654481097597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4767] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4767/stat : 4767 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654479690280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4768] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4768/stat : 4768 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654478637480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4769] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4769/stat : 4769 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654477584680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4764/tid=4770] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4770/stat : 4770 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654476531880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4771] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4771/stat : 4771 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654380006440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4772] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4772/stat : 4772 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654378953640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4773] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4773/stat : 4773 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654377900840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4774] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4774/stat : 4774 (java) S 4761 4764 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654376848040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4775] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4775/stat : 4775 (java) S 4761 4764 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106115395 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654364649960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4776] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4776/stat : 4776 (java) S 4761 4764 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654363596024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4777] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4777/stat : 4777 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654362543112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4778] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4778/stat : 4778 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654361491600 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4779] ppid=4761 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/4764/task/4779/stat : 4779 (java) S 4761 4764 32365 0 -1 4202560 2715 0 0 0 23 0 0 0 20 0 19 0 106115398 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654360439736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4780] ppid=4761 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/4764/task/4780/stat : 4780 (java) S 4761 4764 32365 0 -1 4202560 8556 0 0 0 36 2 0 0 20 0 19 0 106115398 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654359386936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4781] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4781/stat : 4781 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654358334328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4782] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4782/stat : 4782 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654357281736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4783] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4783/stat : 4783 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115411 9856040960 16373 33554432000 1073741824 1073778376 140735865214528 140654356227240 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.11 2.17 2.18 3/213 4783
/proc/meminfo: memFree=29938400/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=6.9 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 15006 0 1 0 687 3 0 0 20 0 19 0 106115392 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 13667 2258 9 0 2396937 0
[pid=4764/tid=4766] ppid=4761 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/4764/task/4766/stat : 4766 (java) R 4761 4764 32365 0 -1 4202560 2461 0 1 0 624 1 0 0 20 0 19 0 106115393 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654540951216 140654481121118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4767] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4767/stat : 4767 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654479690280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4768] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4768/stat : 4768 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654478637480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4769] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4769/stat : 4769 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654477584680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4764/tid=4770] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4770/stat : 4770 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654476531880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4771] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4771/stat : 4771 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654380006440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4772] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4772/stat : 4772 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654378953640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4773] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4773/stat : 4773 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654377900840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4774] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4774/stat : 4774 (java) S 4761 4764 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106115394 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654376848040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4775] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4775/stat : 4775 (java) S 4761 4764 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106115395 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654364649960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4776] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4776/stat : 4776 (java) S 4761 4764 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654363596024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4777] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4777/stat : 4777 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654362543112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4778] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4778/stat : 4778 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654361491600 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4779] ppid=4761 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/4764/task/4779/stat : 4779 (java) S 4761 4764 32365 0 -1 4202560 2715 0 0 0 23 0 0 0 20 0 19 0 106115398 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654360439736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4780] ppid=4761 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/4764/task/4780/stat : 4780 (java) S 4761 4764 32365 0 -1 4202560 8556 0 0 0 36 2 0 0 20 0 19 0 106115398 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654359386936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4781] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4781/stat : 4781 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654358334328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4782] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4782/stat : 4782 (java) S 4761 4764 32365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654357281736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4783] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4783/stat : 4783 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115411 9856040960 13667 33554432000 1073741824 1073778376 140735865214528 140654356227240 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 9625040


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

[pid=4764/tid=4783] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4783/stat : 4783 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115411 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654356227240 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1663.74
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.42 2.26 2.20 3/213 4916
/proc/meminfo: memFree=29551840/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=1723.74 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 16052 0 1 0 172336 38 0 0 20 0 19 0 106115392 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 61452 2272 9 0 2396937 0
[pid=4764/tid=4766] ppid=4761 vsize=9625040 CPUtime=1717.62 cores=0,2,4,6
/proc/4764/task/4766/stat : 4766 (java) R 4761 4764 32365 0 -1 4202560 2526 0 1 0 171730 32 0 0 20 0 19 0 106115393 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654540951216 140654481172754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4767] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4767/stat : 4767 (java) S 4761 4764 32365 0 -1 4202560 70 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654479690280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4764/tid=4768] ppid=4761 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4764/task/4768/stat : 4768 (java) S 4761 4764 32365 0 -1 4202560 76 0 0 0 8 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654478637480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4769] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4769/stat : 4769 (java) S 4761 4764 32365 0 -1 4202560 111 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654477584680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4770] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4770/stat : 4770 (java) S 4761 4764 32365 0 -1 4202560 65 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654476531880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4771] ppid=4761 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/4764/task/4771/stat : 4771 (java) S 4761 4764 32365 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654380006440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4772] ppid=4761 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/4764/task/4772/stat : 4772 (java) S 4761 4764 32365 0 -1 4202560 311 0 0 0 11 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654378953640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4773] ppid=4761 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/4764/task/4773/stat : 4773 (java) S 4761 4764 32365 0 -1 4202560 71 0 0 0 8 1 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654377900840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4774] ppid=4761 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/4764/task/4774/stat : 4774 (java) S 4761 4764 32365 0 -1 4202560 139 0 0 0 11 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654376848040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4775] ppid=4761 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/4764/task/4775/stat : 4775 (java) S 4761 4764 32365 0 -1 4202560 44 0 0 0 1 1 0 0 20 0 19 0 106115395 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654364649960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4776] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4776/stat : 4776 (java) S 4761 4764 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654363596024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4777] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4777/stat : 4777 (java) S 4761 4764 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654362543112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4778] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4778/stat : 4778 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654361491600 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4779] ppid=4761 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/4764/task/4779/stat : 4779 (java) S 4761 4764 32365 0 -1 4202560 2715 0 0 0 23 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654360439736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4780] ppid=4761 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/4764/task/4780/stat : 4780 (java) S 4761 4764 32365 0 -1 4202560 8559 0 0 0 38 2 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654359386936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4781] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4781/stat : 4781 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654358334328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4782] ppid=4761 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/4764/task/4782/stat : 4782 (java) S 4761 4764 32365 0 -1 4202560 100 0 0 0 34 28 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654357281736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4783] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4783/stat : 4783 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115411 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654356227240 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1723.74
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.23 2.24 2.19 4/213 4917
/proc/meminfo: memFree=29499196/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=1783.76 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 16056 0 1 0 178337 39 0 0 20 0 19 0 106115392 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 61452 2272 9 0 2396937 0
[pid=4764/tid=4766] ppid=4761 vsize=9625040 CPUtime=1777.46 cores=0,2,4,6
/proc/4764/task/4766/stat : 4766 (java) R 4761 4764 32365 0 -1 4202560 2526 0 1 0 177713 33 0 0 20 0 19 0 106115393 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654540951216 140654481097631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4767] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4767/stat : 4767 (java) S 4761 4764 32365 0 -1 4202560 70 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654479690280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4764/tid=4768] ppid=4761 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4764/task/4768/stat : 4768 (java) S 4761 4764 32365 0 -1 4202560 76 0 0 0 8 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654478637480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4769] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4769/stat : 4769 (java) S 4761 4764 32365 0 -1 4202560 111 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654477584680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4770] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4770/stat : 4770 (java) S 4761 4764 32365 0 -1 4202560 65 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654476531880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4771] ppid=4761 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/4764/task/4771/stat : 4771 (java) S 4761 4764 32365 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654380006440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4772] ppid=4761 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/4764/task/4772/stat : 4772 (java) S 4761 4764 32365 0 -1 4202560 311 0 0 0 11 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654378953640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4773] ppid=4761 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/4764/task/4773/stat : 4773 (java) S 4761 4764 32365 0 -1 4202560 71 0 0 0 8 1 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654377900840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4774] ppid=4761 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/4764/task/4774/stat : 4774 (java) S 4761 4764 32365 0 -1 4202560 139 0 0 0 11 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654376848040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4775] ppid=4761 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/4764/task/4775/stat : 4775 (java) S 4761 4764 32365 0 -1 4202560 44 0 0 0 1 1 0 0 20 0 19 0 106115395 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654364649960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4776] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4776/stat : 4776 (java) S 4761 4764 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654363596024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4777] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4777/stat : 4777 (java) S 4761 4764 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654362543112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4778] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4778/stat : 4778 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654361491600 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4779] ppid=4761 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/4764/task/4779/stat : 4779 (java) S 4761 4764 32365 0 -1 4202560 2715 0 0 0 23 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654360439736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4780] ppid=4761 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/4764/task/4780/stat : 4780 (java) S 4761 4764 32365 0 -1 4202560 8559 0 0 0 38 2 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654359386936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4781] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4781/stat : 4781 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654358334328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4782] ppid=4761 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/4764/task/4782/stat : 4782 (java) S 4761 4764 32365 0 -1 4202560 104 0 0 0 35 29 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654357281736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4783] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4783/stat : 4783 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115411 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654356227240 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1783.76
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.61 s]
/proc/loadavg: 2.25 2.25 2.19 4/213 4917
/proc/meminfo: memFree=29499076/32872528 swapFree=15844/1710320
[pid=4764] ppid=4761 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/4764/stat : 4764 (java) S 4761 4764 32365 0 -1 4202496 16056 0 1 0 179967 39 0 0 20 0 19 0 106115392 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140735865205664 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4764/statm: 2406260 61452 2272 9 0 2396937 0
[pid=4764/tid=4766] ppid=4761 vsize=9625040 CPUtime=1793.73 cores=0,2,4,6
/proc/4764/task/4766/stat : 4766 (java) R 4761 4764 32365 0 -1 4202560 2526 0 1 0 179340 33 0 0 20 0 19 0 106115393 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654540951216 140654481298816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4767] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4767/stat : 4767 (java) S 4761 4764 32365 0 -1 4202560 70 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654479690280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4764/tid=4768] ppid=4761 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4764/task/4768/stat : 4768 (java) S 4761 4764 32365 0 -1 4202560 76 0 0 0 8 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654478637480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4769] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4769/stat : 4769 (java) S 4761 4764 32365 0 -1 4202560 111 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654477584680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4770] ppid=4761 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4764/task/4770/stat : 4770 (java) S 4761 4764 32365 0 -1 4202560 65 0 0 0 7 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654476531880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4764/tid=4771] ppid=4761 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/4764/task/4771/stat : 4771 (java) S 4761 4764 32365 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654380006440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4772] ppid=4761 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/4764/task/4772/stat : 4772 (java) S 4761 4764 32365 0 -1 4202560 311 0 0 0 11 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654378953640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4773] ppid=4761 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/4764/task/4773/stat : 4773 (java) S 4761 4764 32365 0 -1 4202560 71 0 0 0 8 1 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654377900840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4774] ppid=4761 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/4764/task/4774/stat : 4774 (java) S 4761 4764 32365 0 -1 4202560 139 0 0 0 11 2 0 0 20 0 19 0 106115394 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654376848040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4775] ppid=4761 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/4764/task/4775/stat : 4775 (java) S 4761 4764 32365 0 -1 4202560 44 0 0 0 1 1 0 0 20 0 19 0 106115395 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654364649960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4776] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4776/stat : 4776 (java) S 4761 4764 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654363596024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4777] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4777/stat : 4777 (java) S 4761 4764 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106115396 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654362543112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4778] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4778/stat : 4778 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654361491600 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4779] ppid=4761 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/4764/task/4779/stat : 4779 (java) S 4761 4764 32365 0 -1 4202560 2715 0 0 0 23 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654360439736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4780] ppid=4761 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/4764/task/4780/stat : 4780 (java) S 4761 4764 32365 0 -1 4202560 8559 0 0 0 38 2 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654359386936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4781] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4781/stat : 4781 (java) S 4761 4764 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654358334328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4764/tid=4782] ppid=4761 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/4764/task/4782/stat : 4782 (java) S 4761 4764 32365 0 -1 4202560 104 0 0 0 35 29 0 0 20 0 19 0 106115398 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654357281736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4764/tid=4783] ppid=4761 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4783/stat : 4783 (java) S 4761 4764 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106115411 9856040960 61452 33554432000 1073741824 1073778376 140735865214528 140654356227240 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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 4764 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 4764 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=228083
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=861868
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.65
CPU time (s): 1800.06
CPU user time (s): 1799.67
CPU system time (s): 0.39
CPU usage (%): 100.078
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.23
system time used= 0.861868
maximum resident set size= 245980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16105
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38273
involuntary context switches= 3191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5922 second user time and 12.3131 second system time

The end

Launcher Data 

Begin job on node146 at 2016-06-06 21:37:10
IDJOB=4085413
IDBENCH=2849
IDSOLVER=2546
FILE ID=node146/4085413-1465241830
RUNJOBID= node146-1465217554-32381
PBS_JOBID= 19843206
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085413-1465241830/watcher-4085413-1465241830 -o /tmp/evaluation-result-4085413-1465241830/solver-4085413-1465241830 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085413-1465241830.opb

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

MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81
RANDOM SEED=516912753

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
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:        29983972 kB
Buffers:           35352 kB
Cached:           254804 kB
SwapCached:         1468 kB
Active:           246964 kB
Inactive:         226300 kB
Active(anon):     184028 kB
Inactive(anon):     1608 kB
Active(file):      62936 kB
Inactive(file):   224692 kB
Unevictable:     1710320 kB
Mlocked:           15844 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       1898776 kB
Mapped:            15400 kB
Shmem:                 0 kB
Slab:             569336 kB
SReclaimable:      12660 kB
SUnreclaim:       556676 kB
KernelStack:        1584 kB
PageTables:         7932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2398756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1859584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node146 at 2016-06-06 22:07:09