Trace number 3688148

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)9 1800.03 908.557

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 benchmark0.074988
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.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.07	c version 2.3.2.v20120418
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.07	c os.arch		amd64
0.03/0.08	c Free memory 		501472288
0.03/0.08	c Max memory 		7480803328
0.03/0.08	c Total memory 		504102912
0.03/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688148-1337875759.opb
0.11/0.10	c reading problem ... 
0.11/0.17	c ... done. Wall clock time 0.069s.
0.11/0.17	c declared #vars     100
0.11/0.17	c #constraints  100
0.11/0.17	c constraints type 
0.11/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.11/0.17	c 100 constraints processed.
0.11/0.17	c constraints type 
0.11/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.11/0.17	c 100 constraints processed.
0.11/0.17	c objective function length is 100 literals
0.11/0.18	c  And the winner is solver0
0.24/0.67	c SATISFIABLE
0.24/0.67	c OPTIMIZING...
0.24/0.67	c Got one! Elapsed wall clock time (in seconds):0.57
0.24/0.67	o 14
0.24/0.68	c  And the winner is solver0
0.25/1.18	c Got one! Elapsed wall clock time (in seconds):1.073
0.25/1.18	o 13
0.25/1.18	c  And the winner is solver0
0.25/1.68	c Got one! Elapsed wall clock time (in seconds):1.574
0.25/1.68	o 12
0.31/1.79	c  And the winner is solver1
0.87/2.18	c Got one! Elapsed wall clock time (in seconds):2.076
0.87/2.18	o 11
1.73/2.43	c  And the winner is solver1
1.73/2.44	c cleaning 2869 clauses out of 5737 with flag 5005/5737
2.20/2.68	c Got one! Elapsed wall clock time (in seconds):2.577
2.20/2.68	o 10
2.39/2.78	c cleaning 3934 clauses out of 7873 with flag 5005/10742
2.91/2.91	c cleaning 4968 clauses out of 9936 with flag 11002/16739
3.11/3.06	c cleaning 5980 clauses out of 11966 with flag 18000/23737
3.55/3.26	c cleaning 6991 clauses out of 13986 with flag 26000/31737
3.97/3.50	c cleaning 7999 clauses out of 15997 with flag 35002/40739
4.59/3.76	c cleaning 8991 clauses out of 17998 with flag 45002/50739
5.17/4.06	c cleaning 10002 clauses out of 20006 with flag 56001/61738
5.97/4.42	c cleaning 10999 clauses out of 22008 with flag 68005/73742
6.77/4.81	c cleaning 11993 clauses out of 24004 with flag 81000/86737
7.54/5.24	c cleaning 13001 clauses out of 26011 with flag 95000/100737
8.52/5.72	c cleaning 14001 clauses out of 28011 with flag 110001/115738
9.49/6.25	c cleaning 14998 clauses out of 30009 with flag 126000/131737
10.66/6.81	c cleaning 16005 clauses out of 32013 with flag 143002/148739
11.82/7.43	c cleaning 16995 clauses out of 34007 with flag 161001/166738
12.99/8.06	c cleaning 18000 clauses out of 36011 with flag 180000/185737
14.35/8.79	c cleaning 19005 clauses out of 38011 with flag 200000/205737
15.94/9.58	c cleaning 20000 clauses out of 40008 with flag 221002/226739
17.51/10.39	c cleaning 21000 clauses out of 42006 with flag 243000/248737
19.26/11.27	c cleaning 21998 clauses out of 44007 with flag 266001/271738
21.19/12.20	c cleaning 22995 clauses out of 46008 with flag 290000/295737
21.55/12.46	c  And the winner is solver1
21.63/12.68	c Got one! Elapsed wall clock time (in seconds):12.579
21.63/12.68	o 9
22.06/12.91	c cleaning 18082 clauses out of 36165 with flag 5000/308889
22.42/13.16	c cleaning 12031 clauses out of 24083 with flag 11000/314889
22.97/13.41	c cleaning 9524 clauses out of 19052 with flag 18000/321889
23.30/13.67	c cleaning 8760 clauses out of 17528 with flag 26000/329889
23.85/13.92	c cleaning 8876 clauses out of 17768 with flag 35000/338889
24.42/14.20	c cleaning 9447 clauses out of 18894 with flag 45002/348891
24.96/14.52	c cleaning 10213 clauses out of 20445 with flag 56000/359889
25.69/14.90	c cleaning 11113 clauses out of 22232 with flag 68000/371889
26.46/15.33	c cleaning 12053 clauses out of 24121 with flag 81002/384891
27.20/15.76	c cleaning 13031 clauses out of 26067 with flag 95001/398890
28.15/16.25	c cleaning 14006 clauses out of 28037 with flag 110002/413891
29.29/16.80	c cleaning 14999 clauses out of 30029 with flag 126000/429889
30.24/17.39	c cleaning 16008 clauses out of 32030 with flag 143000/446889
31.40/17.99	c cleaning 17004 clauses out of 34023 with flag 161001/464890
32.76/18.67	c cleaning 18013 clauses out of 36026 with flag 180008/483897
34.26/19.44	c cleaning 18995 clauses out of 38005 with flag 200000/503889
35.61/20.19	c cleaning 19998 clauses out of 40010 with flag 221000/524889
37.36/21.06	c cleaning 20995 clauses out of 42013 with flag 243001/546890
39.11/21.92	c cleaning 22010 clauses out of 44019 with flag 266002/569891
40.83/22.85	c cleaning 23000 clauses out of 46011 with flag 290004/593893
42.97/23.91	c cleaning 23999 clauses out of 48007 with flag 315000/618889
44.91/24.96	c cleaning 24999 clauses out of 50008 with flag 341000/644889
47.07/26.05	c cleaning 25994 clauses out of 52010 with flag 368001/671890
49.37/27.21	c cleaning 27004 clauses out of 54015 with flag 396000/699889
51.51/28.38	c cleaning 28000 clauses out of 56011 with flag 425000/728889
54.10/29.64	c cleaning 29000 clauses out of 58011 with flag 455000/758889
56.02/30.69	c cleaning 0 clauses out of 5364 with flag 0/5365
57.55/31.20	c cleaning 30004 clauses out of 60014 with flag 486003/789892
60.08/32.56	c cleaning 31004 clauses out of 62007 with flag 518000/821889
63.40/34.25	c cleaning 31993 clauses out of 64003 with flag 551000/854889
66.14/35.61	c cleaning 32994 clauses out of 66010 with flag 585000/888889
69.44/37.37	c cleaning 34002 clauses out of 68016 with flag 620000/923889
73.16/39.28	c cleaning 34996 clauses out of 70014 with flag 656000/959889
77.10/41.25	c cleaning 36006 clauses out of 72018 with flag 693000/996889
81.24/43.34	c cleaning 37006 clauses out of 74014 with flag 731002/1034891
85.52/45.55	c cleaning 38001 clauses out of 76007 with flag 770001/1073890
90.24/47.95	c cleaning 38988 clauses out of 78005 with flag 810000/1113889
94.95/50.39	c cleaning 39996 clauses out of 80018 with flag 851001/1154890
99.88/52.85	c cleaning 41010 clauses out of 82024 with flag 893003/1196892
105.34/55.64	c cleaning 41984 clauses out of 84011 with flag 936000/1239889
110.67/58.35	c cleaning 43011 clauses out of 86028 with flag 980001/1283890
115.96/61.09	c cleaning 44007 clauses out of 88016 with flag 1025000/1328889
121.50/63.85	c cleaning 44996 clauses out of 90010 with flag 1071001/1374890
126.96/66.62	c cleaning 46002 clauses out of 92013 with flag 1118000/1421889
133.07/69.70	c cleaning 47001 clauses out of 94011 with flag 1166000/1469889
139.17/72.87	c cleaning 47998 clauses out of 96010 with flag 1215000/1518889
145.67/76.11	c cleaning 49003 clauses out of 98012 with flag 1265000/1568889
151.72/79.29	c cleaning 49991 clauses out of 100010 with flag 1316001/1619890
158.62/82.73	c cleaning 51004 clauses out of 102019 with flag 1368001/1671890
166.12/86.50	c cleaning 51996 clauses out of 104014 with flag 1421000/1724889
173.61/90.31	c cleaning 53006 clauses out of 106018 with flag 1475000/1778889
181.25/94.26	c cleaning 54005 clauses out of 108013 with flag 1530001/1833890
189.97/98.69	c cleaning 55003 clauses out of 110009 with flag 1586002/1889891
199.11/103.26	c cleaning 55998 clauses out of 112004 with flag 1643000/1946889
208.61/108.03	c cleaning 57003 clauses out of 114008 with flag 1701002/2004891
218.01/112.85	c cleaning 57989 clauses out of 116004 with flag 1760001/2063890
228.91/118.33	c cleaning 58997 clauses out of 118015 with flag 1820001/2123890
239.18/123.51	c cleaning 60007 clauses out of 120017 with flag 1881000/2184889
247.87/127.93	c cleaning 60998 clauses out of 122010 with flag 1943000/2246889
258.48/133.30	c cleaning 61997 clauses out of 124012 with flag 2006000/2309889
270.74/139.54	c cleaning 62984 clauses out of 126015 with flag 2070000/2373889
280.62/144.54	c cleaning 64013 clauses out of 128031 with flag 2135000/2438889
291.89/150.27	c cleaning 65003 clauses out of 130018 with flag 2201000/2504889
296.49/152.60	c cleaning 0 clauses out of 11364 with flag 0/11365
304.55/156.72	c cleaning 66005 clauses out of 132019 with flag 2268004/2571893
317.61/163.32	c cleaning 66999 clauses out of 134010 with flag 2336000/2639889
330.49/169.85	c cleaning 67999 clauses out of 136013 with flag 2405002/2708891
343.88/176.63	c cleaning 68997 clauses out of 138012 with flag 2475000/2778889
356.76/183.19	c cleaning 70004 clauses out of 140020 with flag 2546005/2849894
369.01/189.32	c cleaning 71002 clauses out of 142013 with flag 2618002/2921891
381.87/195.83	c cleaning 71995 clauses out of 144009 with flag 2691000/2994889
395.64/202.88	c cleaning 73006 clauses out of 146015 with flag 2765001/3068890
406.91/208.58	c cleaning 74000 clauses out of 148010 with flag 2840002/3143891
419.77/215.05	c cleaning 75001 clauses out of 150010 with flag 2916002/3219891
432.42/221.43	c cleaning 76005 clauses out of 152009 with flag 2993002/3296891
447.17/228.90	c cleaning 76988 clauses out of 154002 with flag 3071000/3374889
463.22/237.07	c cleaning 77998 clauses out of 156014 with flag 3150000/3453889
478.48/244.70	c cleaning 79005 clauses out of 158016 with flag 3230000/3533889
495.52/253.33	c cleaning 79994 clauses out of 160011 with flag 3311000/3614889
514.26/262.89	c cleaning 81002 clauses out of 162020 with flag 3393003/3696892
532.16/271.83	c cleaning 82001 clauses out of 164016 with flag 3476001/3779890
550.86/281.20	c cleaning 83003 clauses out of 166014 with flag 3560000/3863889
568.37/290.03	c cleaning 83998 clauses out of 168011 with flag 3645000/3948889
587.73/299.87	c cleaning 85007 clauses out of 170014 with flag 3731001/4034890
605.02/308.57	c cleaning 85993 clauses out of 172007 with flag 3818001/4121890
622.10/317.16	c cleaning 87002 clauses out of 174013 with flag 3906000/4209889
639.76/326.01	c cleaning 88001 clauses out of 176012 with flag 3995001/4298890
660.71/336.68	c cleaning 88993 clauses out of 178011 with flag 4085001/4388890
681.16/346.93	c cleaning 90006 clauses out of 180019 with flag 4176002/4479891
699.63/356.21	c cleaning 91003 clauses out of 182011 with flag 4268000/4571889
717.49/365.27	c cleaning 92004 clauses out of 184008 with flag 4361000/4664889
737.84/375.55	c cleaning 92998 clauses out of 186004 with flag 4455000/4758889
758.09/385.78	c cleaning 94002 clauses out of 188010 with flag 4550004/4853893
780.20/396.86	c cleaning 94998 clauses out of 190004 with flag 4646000/4949889
804.08/408.81	c cleaning 96003 clauses out of 192006 with flag 4743000/5046889
827.23/420.52	c cleaning 97001 clauses out of 194003 with flag 4841000/5144889
849.30/431.66	c cleaning 97996 clauses out of 196002 with flag 4940000/5243889
862.32/438.21	c cleaning 0 clauses out of 18366 with flag 0/18367
871.93/443.17	c cleaning 99002 clauses out of 198009 with flag 5040003/5343892
891.50/453.08	c cleaning 99995 clauses out of 200004 with flag 5141000/5444889
916.22/465.41	c cleaning 100991 clauses out of 202010 with flag 5243001/5546890
939.76/477.26	c cleaning 102003 clauses out of 204021 with flag 5346003/5649892
963.50/489.14	c cleaning 102992 clauses out of 206015 with flag 5450000/5753889
988.32/501.67	c cleaning 103999 clauses out of 208024 with flag 5555001/5858890
1012.86/514.00	c cleaning 105005 clauses out of 210026 with flag 5661002/5964891
1038.22/526.60	c cleaning 106004 clauses out of 212019 with flag 5768000/6071889
1062.12/538.67	c cleaning 107009 clauses out of 214018 with flag 5876003/6179892
1087.51/551.47	c cleaning 107996 clauses out of 216007 with flag 5985001/6288890
1113.28/564.33	c cleaning 108995 clauses out of 218010 with flag 6095000/6398889
1135.77/575.62	c cleaning 110009 clauses out of 220017 with flag 6206002/6509891
1161.08/588.33	c cleaning 111000 clauses out of 222006 with flag 6318000/6621889
1189.67/602.71	c cleaning 111999 clauses out of 224006 with flag 6431000/6734889
1217.63/616.75	c cleaning 112999 clauses out of 226008 with flag 6545001/6848890
1244.60/630.22	c cleaning 113995 clauses out of 228010 with flag 6660002/6963891
1270.11/643.01	c cleaning 114988 clauses out of 230013 with flag 6776000/7079889
1294.67/655.47	c cleaning 116011 clauses out of 232027 with flag 6893002/7196891
1321.56/668.90	c cleaning 117000 clauses out of 234014 with flag 7011000/7314889
1349.72/683.07	c cleaning 118002 clauses out of 236014 with flag 7130000/7433889
1377.63/697.06	c cleaning 118999 clauses out of 238015 with flag 7250003/7553892
1410.69/713.60	c cleaning 119986 clauses out of 240014 with flag 7371001/7674890
1443.67/730.18	c cleaning 120996 clauses out of 242027 with flag 7493000/7796889
1472.60/744.67	c cleaning 121997 clauses out of 244031 with flag 7616000/7919889
1500.93/758.89	c cleaning 123006 clauses out of 246035 with flag 7740001/8043890
1535.52/776.23	c cleaning 124009 clauses out of 248028 with flag 7865000/8168889
1568.89/792.95	c cleaning 124995 clauses out of 250019 with flag 7991000/8294889
1600.04/808.58	c cleaning 125999 clauses out of 252024 with flag 8118000/8421889
1640.66/828.80	c cleaning 126995 clauses out of 254026 with flag 8246001/8549890
1686.15/851.68	c cleaning 128008 clauses out of 256031 with flag 8375001/8678890
1731.42/874.23	c cleaning 128999 clauses out of 258025 with flag 8505003/8808892
1774.49/895.71	c cleaning 129987 clauses out of 260023 with flag 8636000/8939889
1800.03/908.52	c starts		: 59
1800.03/908.52	c conflicts		: 25090
1800.03/908.52	c decisions		: 62078
1800.03/908.52	c propagations		: 304568
1800.03/908.52	c inspects		: 985860123
1800.03/908.52	c shortcuts		: 0
1800.03/908.52	c learnt literals	: 0
1800.03/908.52	c learnt binary clauses	: 0
1800.03/908.52	c learnt ternary clauses	: 0
1800.03/908.52	c learnt constraints	: 25088
1800.03/908.52	c ignored constraints	: 0
1800.03/908.52	c root simplifications	: 0
1800.03/908.52	c removed literals (reason simplification)	: 0
1800.03/908.52	c reason swapping (by a shorter reason)	: 0
1800.03/908.52	c Calls to reduceDB	: 3
1800.03/908.52	c number of reductions to clauses (during analyze)	: 0
1800.03/908.52	c number of learned constraints concerned by reduction	: 0
1800.03/908.52	c number of learning phase by resolution	: 0
1800.03/908.52	c number of learning phase by cutting planes	: 0
1800.03/908.52	c speed (assignments/second)	: 335.85749147862293
1800.03/908.52	c non guided choices	0
1800.03/908.53	c learnt constraints type 
1800.03/908.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 164
1800.03/908.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 24925
1800.03/908.53	c constraints type 
1800.03/908.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.03/908.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/908.53	c 101 constraints processed.
1800.03/908.53	c constraints type 
1800.03/908.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
1800.03/908.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.03/908.53	c 101 constraints processed.
1800.03/908.54	s SATISFIABLE
1800.03/908.54	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.03/908.54	c objective function=9
1800.03/908.54	c Total wall clock time (in seconds): 908.432

Verifier Data 

OK	9

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688148-1337875759/watcher-3688148-1337875759 -o /tmp/evaluation-result-3688148-1337875759/solver-3688148-1337875759 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688148-1337875759.opb 

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: 3.32 3.83 3.74 3/197 23253
/proc/meminfo: memFree=24326384/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 1195 0 0 0 0 0 0 0 20 0 2 0 253701678 94019584 906 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 22954 913 693 9 0 16769 0
[pid=23253/tid=23254] ppid=23251 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) D 23251 23253 21381 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 253701678 94019584 917 33554432000 1073741824 1073778376 140734740690192 140325119106600 270320889127 0 0 4096 0 18446744072100609316 0 0 -1 2 0 0 0 0 0

[startup+0.0417549 s]
/proc/loadavg: 3.32 3.83 3.74 3/197 23253
/proc/meminfo: memFree=24326384/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 3062 0 1 0 3 0 0 0 20 0 13 0 253701678 9446973440 3759 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2306390 3759 1707 9 0 2297091 0
[pid=23253/tid=23254] ppid=23251 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) R 23251 23253 21381 0 -1 4202560 1880 0 1 0 2 0 0 0 20 0 13 0 253701678 9446973440 3759 33554432000 1073741824 1073778376 140734740690192 140325119107312 270330052277 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100299 s]
/proc/loadavg: 3.32 3.83 3.74 3/197 23253
/proc/meminfo: memFree=24326384/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 4470 0 1 0 10 1 0 0 20 0 18 0 253701678 9787813888 6114 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2389603 6114 2139 9 0 2380296 0
[pid=23253/tid=23254] ppid=23251 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) R 23251 23253 21381 0 -1 4202560 2427 0 1 0 8 0 0 0 20 0 18 0 253701678 9787813888 6114 33554432000 1073741824 1073778376 140734740690192 140325119111928 270333437197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300212 s]
/proc/loadavg: 3.32 3.83 3.74 3/197 23253
/proc/meminfo: memFree=24326384/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 4772 0 1 0 23 1 0 0 20 0 19 0 253701678 10060460032 7387 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2456167 7387 2198 9 0 2446860 0
[pid=23253/tid=23254] ppid=23251 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) S 23251 23253 21381 0 -1 4202560 2450 0 1 0 14 1 0 0 20 0 19 0 253701678 10060460032 7387 33554432000 1073741824 1073778376 140734740690192 140325119112184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824668

[startup+0.700183 s]
/proc/loadavg: 3.32 3.83 3.74 3/197 23253
/proc/meminfo: memFree=24326384/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 4808 0 1 0 24 1 0 0 20 0 19 0 253701678 10060460032 8416 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2456167 8416 2200 9 0 2446860 0
[pid=23253/tid=23254] ppid=23251 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) S 23251 23253 21381 0 -1 4202560 2450 0 1 0 15 1 0 0 20 0 19 0 253701678 10060460032 8416 33554432000 1073741824 1073778376 140734740690192 140325119112184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824668

[startup+1.50089 s]
/proc/loadavg: 3.22 3.80 3.73 3/216 23278
/proc/meminfo: memFree=24301540/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 4865 0 1 0 24 1 0 0 20 0 19 0 253701678 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2456167 9485 2200 9 0 2446860 0
[pid=23253/tid=23254] ppid=23251 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) S 23251 23253 21381 0 -1 4202560 2450 0 1 0 15 1 0 0 20 0 19 0 253701678 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140325119112184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701679 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140325108173224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23257] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23257/stat : 23257 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701679 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140325107120680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23258] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23258/stat : 23258 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701679 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140325106067624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23259] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23259/stat : 23259 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701679 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324959369512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23260] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23260/stat : 23260 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701679 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324958317480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23261] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23261/stat : 23261 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701679 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324957264936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23262] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23262/stat : 23262 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701679 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324956211880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23263] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23263/stat : 23263 (java) S 23251 23253 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701679 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324955159336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23264] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23264/stat : 23264 (java) S 23251 23253 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253701680 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324942961000 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23265] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23265/stat : 23265 (java) S 23251 23253 21381 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253701680 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324941907320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23266] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23266/stat : 23266 (java) S 23251 23253 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253701680 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324940854152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23267] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23267/stat : 23267 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701683 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324939802896 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23268] ppid=23251 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23253/task/23268/stat : 23268 (java) S 23251 23253 21381 0 -1 4202560 450 0 0 0 2 0 0 0 20 0 19 0 253701683 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324938750776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23269] ppid=23251 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23253/task/23269/stat : 23269 (java) S 23251 23253 21381 0 -1 4202560 652 0 0 0 3 0 0 0 20 0 19 0 253701683 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324937698232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23270] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23270/stat : 23270 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701683 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324936645368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23271] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23271/stat : 23271 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701683 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324935593032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23275] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23275/stat : 23275 (java) S 23251 23253 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253701696 10060460032 9485 33554432000 1073741824 1073778376 140734740690192 140324931380136 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824668

[startup+3.10065 s]
/proc/loadavg: 3.22 3.80 3.73 2/216 23284
/proc/meminfo: memFree=24281496/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9824668 CPUtime=3.33 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 22721 0 1 0 324 9 0 0 20 0 22 0 253701678 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2456167 34897 2273 9 0 2446860 0
[pid=23253/tid=23254] ppid=23251 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) S 23251 23253 21381 0 -1 4202560 2451 0 1 0 15 1 0 0 20 0 22 0 253701678 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140325119112184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (java) S 23251 23253 21381 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253701679 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140325108173224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23257] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23257/stat : 23257 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701679 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140325107120680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23258] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23258/stat : 23258 (java) S 23251 23253 21381 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253701679 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140325106067624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23259] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23259/stat : 23259 (java) S 23251 23253 21381 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253701679 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324959369512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23260] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23260/stat : 23260 (java) S 23251 23253 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701679 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324958317480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23261] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23261/stat : 23261 (java) S 23251 23253 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701679 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324957264936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23262] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23262/stat : 23262 (java) S 23251 23253 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253701679 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324956211880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23263] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23263/stat : 23263 (java) S 23251 23253 21381 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253701679 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324955159336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23264] ppid=23251 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/23253/task/23264/stat : 23264 (java) S 23251 23253 21381 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 22 0 253701680 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324942961000 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23265] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23265/stat : 23265 (java) S 23251 23253 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324941907320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23266] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23266/stat : 23266 (java) S 23251 23253 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324940854152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23267] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23267/stat : 23267 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324939802896 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23268] ppid=23251 vsize=9824668 CPUtime=0.83 cores=0,2,4,6
/proc/23253/task/23268/stat : 23268 (java) S 23251 23253 21381 0 -1 4202560 11389 0 0 0 81 2 0 0 20 0 22 0 253701683 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324938750776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23269] ppid=23251 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/23253/task/23269/stat : 23269 (java) S 23251 23253 21381 0 -1 4202560 7417 0 0 0 75 1 0 0 20 0 22 0 253701683 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324937698232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23270] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23270/stat : 23270 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324936645368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23271] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23271/stat : 23271 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324935593032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23284] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23284/stat : 23284 (java) S 23251 23253 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253701846 10060460032 34897 33554432000 1073741824 1073778376 140734740690192 140324932433448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 9824668

[startup+6.30072 s]
/proc/loadavg: 3.22 3.80 3.73 4/219 23290
/proc/meminfo: memFree=24065840/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9824668 CPUtime=9.66 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 22933 0 1 0 954 12 0 0 20 0 22 0 253701678 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2456167 76135 2273 9 0 2446860 0
[pid=23253/tid=23254] ppid=23251 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) S 23251 23253 21381 0 -1 4202560 2451 0 1 0 15 1 0 0 20 0 22 0 253701678 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140325119112184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (java) S 23251 23253 21381 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 253701679 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140325108173224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23257] ppid=23251 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23253/task/23257/stat : 23257 (java) S 23251 23253 21381 0 -1 4202560 7 0 0 0 3 0 0 0 20 0 22 0 253701679 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140325107120680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23258] ppid=23251 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23253/task/23258/stat : 23258 (java) S 23251 23253 21381 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253701679 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140325106067624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23259] ppid=23251 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23253/task/23259/stat : 23259 (java) S 23251 23253 21381 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253701679 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324959369512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23260] ppid=23251 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23253/task/23260/stat : 23260 (java) S 23251 23253 21381 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253701679 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324958317480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23261] ppid=23251 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23253/task/23261/stat : 23261 (java) S 23251 23253 21381 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 253701679 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324957264936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23262] ppid=23251 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23253/task/23262/stat : 23262 (java) S 23251 23253 21381 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 253701679 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324956211880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23263] ppid=23251 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23253/task/23263/stat : 23263 (java) S 23251 23253 21381 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253701679 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324955159336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23264] ppid=23251 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/23253/task/23264/stat : 23264 (java) R 23251 23253 21381 0 -1 4202560 102 0 0 0 31 0 0 0 20 0 22 0 253701680 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324942959856 270329721508 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23265] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23265/stat : 23265 (java) S 23251 23253 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324941907320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23266] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23266/stat : 23266 (java) S 23251 23253 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324940854152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23267] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23267/stat : 23267 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324939802896 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23268] ppid=23251 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/23253/task/23268/stat : 23268 (java) S 23251 23253 21381 0 -1 4202560 11389 0 0 0 88 2 0 0 20 0 22 0 253701683 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324938750776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23269] ppid=23251 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/23253/task/23269/stat : 23269 (java) S 23251 23253 21381 0 -1 4202560 7417 0 0 0 80 1 0 0 20 0 22 0 253701683 10060460032 76135 33554432000 1073741824 1073778376 140734740690192 140324937698232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

/proc/23253/statm: 2456167 344041 2275 9 0 2446860 0
[pid=23253/tid=23254] ppid=23251 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) S 23251 23253 21381 0 -1 4202560 2497 0 1 0 17 3 0 0 20 0 22 0 253701678 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140325119112184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=9824668 CPUtime=2.81 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (java) S 23251 23253 21381 0 -1 4202560 402 0 0 0 277 4 0 0 20 0 22 0 253701679 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140325108173224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23257] ppid=23251 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/23253/task/23257/stat : 23257 (java) S 23251 23253 21381 0 -1 4202560 668 0 0 0 268 3 0 0 20 0 22 0 253701679 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140325107120680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23258] ppid=23251 vsize=9824668 CPUtime=2.77 cores=0,2,4,6
/proc/23253/task/23258/stat : 23258 (java) S 23251 23253 21381 0 -1 4202560 675 0 0 0 273 4 0 0 20 0 22 0 253701679 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140325106067624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23259] ppid=23251 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/23253/task/23259/stat : 23259 (java) S 23251 23253 21381 0 -1 4202560 375 0 0 0 262 3 0 0 20 0 22 0 253701679 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324959369512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23260] ppid=23251 vsize=9824668 CPUtime=2.82 cores=0,2,4,6
/proc/23253/task/23260/stat : 23260 (java) S 23251 23253 21381 0 -1 4202560 538 0 0 0 279 3 0 0 20 0 22 0 253701679 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324958317480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23261] ppid=23251 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/23253/task/23261/stat : 23261 (java) S 23251 23253 21381 0 -1 4202560 609 0 0 0 251 3 0 0 20 0 22 0 253701679 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324957264936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23262] ppid=23251 vsize=9824668 CPUtime=2.77 cores=0,2,4,6
/proc/23253/task/23262/stat : 23262 (java) S 23251 23253 21381 0 -1 4202560 569 0 0 0 275 2 0 0 20 0 22 0 253701679 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324956211880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23263] ppid=23251 vsize=9824668 CPUtime=2.93 cores=0,2,4,6
/proc/23253/task/23263/stat : 23263 (java) S 23251 23253 21381 0 -1 4202560 424 0 0 0 289 4 0 0 20 0 22 0 253701679 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324955159336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23264] ppid=23251 vsize=9824668 CPUtime=24.27 cores=0,2,4,6
/proc/23253/task/23264/stat : 23264 (java) S 23251 23253 21381 0 -1 4202560 1133 0 0 0 2408 19 0 0 20 0 22 0 253701680 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324942961000 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23265] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23265/stat : 23265 (java) S 23251 23253 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324941907320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23266] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23266/stat : 23266 (java) S 23251 23253 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324940854152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23267] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23267/stat : 23267 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324939802896 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23268] ppid=23251 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/23253/task/23268/stat : 23268 (java) S 23251 23253 21381 0 -1 4202560 11445 0 0 0 117 2 0 0 20 0 22 0 253701683 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324938750776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23269] ppid=23251 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/23253/task/23269/stat : 23269 (java) S 23251 23253 21381 0 -1 4202560 7743 0 0 0 107 2 0 0 20 0 22 0 253701683 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324937698232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23270] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23270/stat : 23270 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324936645368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23271] ppid=23251 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/23253/task/23271/stat : 23271 (java) S 23251 23253 21381 0 -1 4202560 50 0 0 0 14 17 0 0 20 0 22 0 253701683 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324935593032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23284] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23284/stat : 23284 (java) S 23251 23253 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253701846 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324932433448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23291] ppid=23251 vsize=9824668 CPUtime=837.68 cores=0,2,4,6
/proc/23253/task/23291/stat : 23291 (java) R 23251 23253 21381 0 -1 4202560 146 0 0 0 83755 13 0 0 20 0 22 0 253702947 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324933482896 140324987402689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23292] ppid=23251 vsize=9824668 CPUtime=837.76 cores=0,2,4,6
/proc/23253/task/23292/stat : 23292 (java) R 23251 23253 21381 0 -1 4202560 1813 0 0 0 83738 38 0 0 20 0 22 0 253702947 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324934536912 140324987576173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23293] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23293/stat : 23293 (java) S 23251 23253 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702947 10060460032 344041 33554432000 1073741824 1073778376 140734740690192 140324931380904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1747.45
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+908.501 s]
/proc/loadavg: 3.93 3.90 3.79 5/219 23463
/proc/meminfo: memFree=26130628/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9824668 CPUtime=1800.03 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 30637 0 1 0 179903 100 0 0 20 0 22 0 253701678 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2456167 336517 2275 9 0 2446860 0
[pid=23253/tid=23254] ppid=23251 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) S 23251 23253 21381 0 -1 4202560 2497 0 1 0 17 3 0 0 20 0 22 0 253701678 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140325119112184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (java) S 23251 23253 21381 0 -1 4202560 402 0 0 0 286 4 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140325108173224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23257] ppid=23251 vsize=9824668 CPUtime=2.8 cores=0,2,4,6
/proc/23253/task/23257/stat : 23257 (java) S 23251 23253 21381 0 -1 4202560 668 0 0 0 277 3 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140325107120680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23258] ppid=23251 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/23253/task/23258/stat : 23258 (java) S 23251 23253 21381 0 -1 4202560 676 0 0 0 287 4 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140325106067624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23259] ppid=23251 vsize=9824668 CPUtime=2.83 cores=0,2,4,6
/proc/23253/task/23259/stat : 23259 (java) S 23251 23253 21381 0 -1 4202560 375 0 0 0 279 4 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324959369512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23260] ppid=23251 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/23253/task/23260/stat : 23260 (java) S 23251 23253 21381 0 -1 4202560 538 0 0 0 294 3 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324958317480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23261] ppid=23251 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/23253/task/23261/stat : 23261 (java) S 23251 23253 21381 0 -1 4202560 610 0 0 0 268 3 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324957264936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23262] ppid=23251 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/23253/task/23262/stat : 23262 (java) S 23251 23253 21381 0 -1 4202560 569 0 0 0 289 2 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324956211880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23263] ppid=23251 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/23253/task/23263/stat : 23263 (java) S 23251 23253 21381 0 -1 4202560 424 0 0 0 298 4 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324955159336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23264] ppid=23251 vsize=9824668 CPUtime=24.59 cores=0,2,4,6
/proc/23253/task/23264/stat : 23264 (java) S 23251 23253 21381 0 -1 4202560 1135 0 0 0 2440 19 0 0 20 0 22 0 253701680 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324942961000 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23265] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23265/stat : 23265 (java) S 23251 23253 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324941907320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23266] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23266/stat : 23266 (java) S 23251 23253 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324940854152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23267] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23267/stat : 23267 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324939802896 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23268] ppid=23251 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/23253/task/23268/stat : 23268 (java) S 23251 23253 21381 0 -1 4202560 11445 0 0 0 117 2 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324938750776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23269] ppid=23251 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/23253/task/23269/stat : 23269 (java) S 23251 23253 21381 0 -1 4202560 7743 0 0 0 107 2 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324937698232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23270] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23270/stat : 23270 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324936645368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23271] ppid=23251 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/23253/task/23271/stat : 23271 (java) S 23251 23253 21381 0 -1 4202560 52 0 0 0 15 17 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324935593032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23284] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23284/stat : 23284 (java) S 23251 23253 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253701846 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324932433448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23291] ppid=23251 vsize=9824668 CPUtime=863.22 cores=0,2,4,6
/proc/23253/task/23291/stat : 23291 (java) R 23251 23253 21381 0 -1 4202560 152 0 0 0 86308 14 0 0 20 0 22 0 253702947 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324933483792 140324987484917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23292] ppid=23251 vsize=9824668 CPUtime=863.3 cores=0,2,4,6
/proc/23253/task/23292/stat : 23292 (java) R 23251 23253 21381 0 -1 4202560 1817 0 0 0 86291 39 0 0 20 0 22 0 253702947 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324934536096 140324987546688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23293] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23293/stat : 23293 (java) S 23251 23253 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702947 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324931380904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824668

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+908.501 s]
/proc/loadavg: 3.93 3.90 3.79 5/219 23463
/proc/meminfo: memFree=26130628/32873660 swapFree=7108/7108
[pid=23253] ppid=23251 vsize=9824668 CPUtime=1800.03 cores=0,2,4,6
/proc/23253/stat : 23253 (java) S 23251 23253 21381 0 -1 4202496 30637 0 1 0 179903 100 0 0 20 0 22 0 253701678 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140734740681328 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23253/statm: 2456167 336517 2275 9 0 2446860 0
[pid=23253/tid=23254] ppid=23251 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/23253/task/23254/stat : 23254 (java) S 23251 23253 21381 0 -1 4202560 2497 0 1 0 17 3 0 0 20 0 22 0 253701678 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140325119112184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (java) S 23251 23253 21381 0 -1 4202560 402 0 0 0 286 4 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140325108173224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23257] ppid=23251 vsize=9824668 CPUtime=2.8 cores=0,2,4,6
/proc/23253/task/23257/stat : 23257 (java) S 23251 23253 21381 0 -1 4202560 668 0 0 0 277 3 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140325107120680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23258] ppid=23251 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/23253/task/23258/stat : 23258 (java) S 23251 23253 21381 0 -1 4202560 676 0 0 0 287 4 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140325106067624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23259] ppid=23251 vsize=9824668 CPUtime=2.83 cores=0,2,4,6
/proc/23253/task/23259/stat : 23259 (java) S 23251 23253 21381 0 -1 4202560 375 0 0 0 279 4 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324959369512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23260] ppid=23251 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/23253/task/23260/stat : 23260 (java) S 23251 23253 21381 0 -1 4202560 538 0 0 0 294 3 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324958317480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23261] ppid=23251 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/23253/task/23261/stat : 23261 (java) S 23251 23253 21381 0 -1 4202560 610 0 0 0 268 3 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324957264936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23262] ppid=23251 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/23253/task/23262/stat : 23262 (java) S 23251 23253 21381 0 -1 4202560 569 0 0 0 289 2 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324956211880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23263] ppid=23251 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/23253/task/23263/stat : 23263 (java) S 23251 23253 21381 0 -1 4202560 424 0 0 0 298 4 0 0 20 0 22 0 253701679 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324955159336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23264] ppid=23251 vsize=9824668 CPUtime=24.59 cores=0,2,4,6
/proc/23253/task/23264/stat : 23264 (java) S 23251 23253 21381 0 -1 4202560 1135 0 0 0 2440 19 0 0 20 0 22 0 253701680 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324942961000 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23265] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23265/stat : 23265 (java) S 23251 23253 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324941907320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23266] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23266/stat : 23266 (java) S 23251 23253 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701680 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324940854152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23267] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23267/stat : 23267 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324939802896 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23268] ppid=23251 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/23253/task/23268/stat : 23268 (java) S 23251 23253 21381 0 -1 4202560 11445 0 0 0 117 2 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324938750776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23269] ppid=23251 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/23253/task/23269/stat : 23269 (java) S 23251 23253 21381 0 -1 4202560 7743 0 0 0 107 2 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324937698232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23270] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23270/stat : 23270 (java) S 23251 23253 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324936645368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23271] ppid=23251 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/23253/task/23271/stat : 23271 (java) S 23251 23253 21381 0 -1 4202560 52 0 0 0 15 17 0 0 20 0 22 0 253701683 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324935593032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23253/tid=23284] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23284/stat : 23284 (java) S 23251 23253 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253701846 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324932433448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23253/tid=23291] ppid=23251 vsize=9824668 CPUtime=863.22 cores=0,2,4,6
/proc/23253/task/23291/stat : 23291 (java) R 23251 23253 21381 0 -1 4202560 152 0 0 0 86308 14 0 0 20 0 22 0 253702947 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324933483792 140324987484917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23292] ppid=23251 vsize=9824668 CPUtime=863.3 cores=0,2,4,6
/proc/23253/task/23292/stat : 23292 (java) R 23251 23253 21381 0 -1 4202560 1817 0 0 0 86291 39 0 0 20 0 22 0 253702947 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324934536096 140324987546688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23253/tid=23293] ppid=23251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23253/task/23293/stat : 23293 (java) S 23251 23253 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702947 10060460032 336517 33554432000 1073741824 1073778376 140734740690192 140324931380904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23253 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=399209
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=472776
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 908.557
CPU time (s): 1800.03
CPU user time (s): 1799.03
CPU system time (s): 1
CPU usage (%): 198.12
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 1.47278
maximum resident set size= 2260424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30674
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31248
involuntary context switches= 49790

runsolver used 4.96924 second user time and 6.38603 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-24 18:09:19
IDJOB=3688148
IDBENCH=2849
IDSOLVER=2268
FILE ID=node117/3688148-1337875759
RUNJOBID= node117-1337871880-21397
PBS_JOBID= 14620087
Free space on /tmp= 71620 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688148-1337875759/watcher-3688148-1337875759 -o /tmp/evaluation-result-3688148-1337875759/solver-3688148-1337875759 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688148-1337875759.opb

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

MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81
RANDOM SEED=786152666

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		: 2667.148
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	: 5334.29
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		: 2667.148
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	: 5331.91
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		: 2667.148
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	: 5331.91
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		: 2667.148
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	: 5331.95
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		: 2667.148
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	: 5331.91
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		: 2667.148
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	: 5331.91
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		: 2667.148
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	: 5331.91
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		: 2667.148
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        24326656 kB
Buffers:          218440 kB
Cached:          2287004 kB
SwapCached:            0 kB
Active:          5647912 kB
Inactive:        2112320 kB
Active(anon):    5257364 kB
Inactive(anon):        0 kB
Active(file):     390548 kB
Inactive(file):  2112320 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               812 kB
Writeback:             4 kB
AnonPages:       5261992 kB
Mapped:            22552 kB
Shmem:               200 kB
Slab:             639072 kB
SReclaimable:      82592 kB
SUnreclaim:       556480 kB
KernelStack:        1656 kB
PageTables:        14324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    6002420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5165056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node117 at 2012-05-24 18:24:30