Trace number 3688728

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)-13 1800.14 929.038

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM1a8c058c181490cb899ec7074b22bfb3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1797.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
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 constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

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-2012 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.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3688728-1337879485.opb
0.08/0.13	c reading problem ... 
0.66/0.46	c ... done. Wall clock time 0.33s.
0.66/0.46	c declared #vars     200
0.66/0.46	c internal #vars     3262
0.66/0.46	c #constraints  6426
0.66/0.46	c constraints type 
0.66/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
0.66/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.66/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.66/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.66/0.46	c 6426 constraints processed.
0.66/0.46	c constraints type 
0.66/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.66/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3062
0.66/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 202
0.66/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
0.66/0.46	c 6426 constraints processed.
0.66/0.46	c objective function length is 100 literals
1.78/0.74	c  And the winner is solver1
1.98/0.96	c SATISFIABLE
1.98/0.96	c OPTIMIZING...
1.98/0.96	c Got one! Elapsed wall clock time (in seconds):0.832
1.98/0.96	o -4
2.15/1.00	c  And the winner is solver1
2.18/1.46	c Got one! Elapsed wall clock time (in seconds):1.334
2.18/1.46	o -7
2.27/1.53	c  And the winner is solver1
2.57/1.96	c Got one! Elapsed wall clock time (in seconds):1.835
2.57/1.96	o -9
4.59/2.66	c  And the winner is solver1
4.72/2.96	c Got one! Elapsed wall clock time (in seconds):2.836
4.72/2.96	o -10
4.99/3.14	c cleaning 3136 clauses out of 6296 with flag 1001/6296
7.14/4.11	c cleaning 4582 clauses out of 9166 with flag 7007/12302
9.85/5.45	c cleaning 5783 clauses out of 11579 with flag 14002/19297
10.20/5.70	c  And the winner is solver1
10.43/6.04	c Got one! Elapsed wall clock time (in seconds):5.919
10.43/6.04	o -11
11.54/6.67	c cleaning 5471 clauses out of 10943 with flag 4003/24444
11.84/6.89	c  And the winner is solver1
12.06/7.05	c Got one! Elapsed wall clock time (in seconds):6.92
12.06/7.05	o -12
13.38/7.71	c cleaning 5258 clauses out of 10515 with flag 4000/29487
15.32/8.78	c cleaning 5620 clauses out of 11278 with flag 10021/35508
17.68/9.91	c cleaning 6315 clauses out of 12641 with flag 17004/42491
20.38/11.36	c cleaning 7150 clauses out of 14332 with flag 25010/50497
23.44/12.93	c cleaning 8086 clauses out of 16172 with flag 34000/59487
25.97/14.27	c cleaning 9048 clauses out of 18098 with flag 44012/69499
29.25/15.95	c cleaning 10017 clauses out of 20039 with flag 55001/80488
32.42/17.33	c cleaning 11006 clauses out of 22021 with flag 67000/92487
34.64/18.60	c cleaning 12008 clauses out of 24015 with flag 80000/105487
38.93/20.78	c cleaning 13004 clauses out of 26008 with flag 94001/119488
42.41/22.52	c cleaning 13996 clauses out of 28005 with flag 109002/134489
46.28/24.55	c cleaning 14991 clauses out of 30007 with flag 125000/150487
52.08/27.56	c cleaning 15985 clauses out of 32016 with flag 142000/167487
60.58/31.85	c cleaning 17008 clauses out of 34045 with flag 160014/185501
68.64/35.99	c cleaning 18004 clauses out of 36032 with flag 179009/204496
76.07/39.78	c cleaning 19004 clauses out of 38031 with flag 199012/224499
82.23/42.93	c cleaning 20003 clauses out of 40015 with flag 220000/245487
87.25/45.52	c cleaning 20996 clauses out of 42014 with flag 242002/267489
93.48/48.76	c cleaning 21997 clauses out of 44017 with flag 265001/290488
99.12/51.65	c cleaning 23002 clauses out of 46021 with flag 289002/314489
104.41/54.48	c cleaning 23996 clauses out of 48017 with flag 314000/339487
110.43/57.57	c cleaning 25009 clauses out of 50021 with flag 340000/365487
117.44/61.18	c cleaning 25993 clauses out of 52012 with flag 367000/392487
124.26/64.67	c cleaning 27010 clauses out of 54019 with flag 395000/420487
132.15/68.78	c cleaning 27993 clauses out of 56015 with flag 424006/449493
139.55/72.58	c cleaning 29006 clauses out of 58016 with flag 454000/479487
147.35/76.50	c cleaning 30005 clauses out of 60010 with flag 485000/510487
155.10/80.55	c cleaning 30981 clauses out of 62007 with flag 517002/542489
162.71/84.53	c cleaning 32007 clauses out of 64024 with flag 550000/575487
164.35/85.41	c cleaning 0 clauses out of 6608 with flag 0/6608
166.68/86.66	c  And the winner is solver1
166.68/86.70	c Got one! Elapsed wall clock time (in seconds):86.571
166.68/86.70	o -13
168.45/87.80	c cleaning 26931 clauses out of 53862 with flag 5003/597332
171.19/89.20	c cleaning 16452 clauses out of 32932 with flag 11004/603333
173.59/90.63	c cleaning 11728 clauses out of 23478 with flag 18002/610331
176.33/92.11	c cleaning 9873 clauses out of 19751 with flag 26003/618332
179.08/93.69	c cleaning 9427 clauses out of 18879 with flag 35004/627333
181.25/94.87	c cleaning 9721 clauses out of 19449 with flag 45001/637330
184.22/96.57	c cleaning 10362 clauses out of 20729 with flag 56002/648331
187.36/98.28	c cleaning 11183 clauses out of 22366 with flag 68001/660330
190.27/99.84	c cleaning 12081 clauses out of 24195 with flag 81013/673342
193.81/101.76	c cleaning 13052 clauses out of 26103 with flag 95002/687331
197.96/104.07	c cleaning 14013 clauses out of 28054 with flag 110005/702334
202.09/106.20	c cleaning 15018 clauses out of 30037 with flag 126001/718330
206.01/108.34	c cleaning 16003 clauses out of 32020 with flag 143002/735331
209.73/110.32	c cleaning 17002 clauses out of 34017 with flag 161002/753331
213.67/112.57	c cleaning 17977 clauses out of 36015 with flag 180002/772331
218.60/115.15	c cleaning 19017 clauses out of 38037 with flag 200001/792330
222.90/117.40	c cleaning 20007 clauses out of 40019 with flag 221000/813329
228.01/120.13	c cleaning 20997 clauses out of 42012 with flag 243000/835329
234.16/123.48	c cleaning 22005 clauses out of 44015 with flag 266000/858329
239.27/126.16	c cleaning 22997 clauses out of 46013 with flag 290003/882332
245.97/129.64	c cleaning 24000 clauses out of 48013 with flag 315000/907329
252.49/133.00	c cleaning 25006 clauses out of 50013 with flag 341000/933329
258.20/136.14	c cleaning 25990 clauses out of 52007 with flag 368000/960329
265.72/140.01	c cleaning 27007 clauses out of 54017 with flag 396000/988329
272.63/143.68	c cleaning 27979 clauses out of 56010 with flag 425000/1017329
279.33/147.13	c cleaning 29014 clauses out of 58031 with flag 455000/1047329
285.81/150.64	c cleaning 29995 clauses out of 60017 with flag 486000/1078329
292.69/154.26	c cleaning 31001 clauses out of 62022 with flag 518000/1110329
300.17/158.16	c cleaning 32011 clauses out of 64021 with flag 551000/1143329
307.65/162.05	c cleaning 32995 clauses out of 66011 with flag 585001/1177330
315.89/166.46	c cleaning 34005 clauses out of 68015 with flag 620000/1212329
324.56/170.91	c cleaning 35005 clauses out of 70010 with flag 656000/1248329
333.83/175.72	c cleaning 35994 clauses out of 72005 with flag 693000/1285329
343.27/180.61	c cleaning 37006 clauses out of 74013 with flag 731002/1323331
351.92/185.23	c cleaning 37999 clauses out of 76005 with flag 770000/1362329
362.38/190.69	c cleaning 38979 clauses out of 78007 with flag 810001/1402330
372.06/195.67	c cleaning 40007 clauses out of 80029 with flag 851002/1443331
382.48/201.00	c cleaning 41005 clauses out of 82020 with flag 893000/1485329
392.67/206.42	c cleaning 42004 clauses out of 84015 with flag 936000/1528329
402.54/211.60	c cleaning 43001 clauses out of 86012 with flag 980001/1572330
413.80/217.39	c cleaning 44005 clauses out of 88010 with flag 1025000/1617329
426.02/223.67	c cleaning 44989 clauses out of 90006 with flag 1071001/1663330
437.65/229.75	c cleaning 45996 clauses out of 92017 with flag 1118001/1710330
448.68/235.44	c cleaning 46996 clauses out of 94020 with flag 1166000/1758329
459.90/241.22	c cleaning 48004 clauses out of 96024 with flag 1215000/1807329
471.53/247.23	c cleaning 49002 clauses out of 98021 with flag 1265001/1857330
483.72/253.62	c cleaning 50003 clauses out of 100018 with flag 1316000/1908329
496.37/260.19	c cleaning 51002 clauses out of 102020 with flag 1368005/1960334
510.78/267.53	c cleaning 51995 clauses out of 104013 with flag 1421000/2013329
524.79/274.73	c cleaning 53005 clauses out of 106020 with flag 1475002/2067331
540.56/282.95	c cleaning 53993 clauses out of 108013 with flag 1530000/2122329
555.38/290.58	c cleaning 55002 clauses out of 110021 with flag 1586001/2178330
570.20/298.13	c cleaning 56003 clauses out of 112019 with flag 1643001/2235330
585.78/306.10	c cleaning 57001 clauses out of 114016 with flag 1701001/2293330
601.31/314.20	c cleaning 57997 clauses out of 116014 with flag 1760000/2352329
616.70/322.17	c cleaning 58994 clauses out of 118017 with flag 1820000/2412329
632.90/330.47	c cleaning 60002 clauses out of 120023 with flag 1881000/2473329
648.88/338.69	c cleaning 61001 clauses out of 122024 with flag 1943003/2535332
664.97/347.08	c cleaning 62009 clauses out of 124022 with flag 2006002/2598331
682.99/356.23	c cleaning 63001 clauses out of 126012 with flag 2070001/2662330
702.17/366.00	c cleaning 63996 clauses out of 128010 with flag 2135000/2727329
720.14/375.26	c cleaning 65006 clauses out of 130015 with flag 2201001/2793330
739.00/385.03	c cleaning 65997 clauses out of 132008 with flag 2268000/2860329
756.52/394.07	c cleaning 66997 clauses out of 134011 with flag 2336000/2928329
766.48/399.28	c cleaning 0 clauses out of 11667 with flag 0/11667
775.60/404.06	c cleaning 68000 clauses out of 136014 with flag 2405000/2997329
794.18/413.71	c cleaning 69002 clauses out of 138014 with flag 2475000/3067329
813.12/423.44	c cleaning 69991 clauses out of 140012 with flag 2546000/3138329
834.82/434.56	c cleaning 71006 clauses out of 142024 with flag 2618003/3210332
856.71/445.78	c cleaning 71987 clauses out of 144015 with flag 2691000/3283329
878.87/457.28	c cleaning 73007 clauses out of 146028 with flag 2765000/3357329
901.59/468.81	c cleaning 74008 clauses out of 148024 with flag 2840003/3432332
925.55/481.05	c cleaning 75002 clauses out of 150014 with flag 2916001/3508330
946.26/491.68	c cleaning 76004 clauses out of 152011 with flag 2993000/3585329
970.37/504.13	c cleaning 76996 clauses out of 154009 with flag 3071002/3663331
993.26/515.85	c cleaning 77992 clauses out of 156012 with flag 3150001/3742330
1017.32/528.14	c cleaning 79001 clauses out of 158019 with flag 3230000/3822329
1041.38/540.48	c cleaning 79986 clauses out of 160018 with flag 3311000/3903329
1066.85/553.67	c cleaning 81013 clauses out of 162032 with flag 3393000/3985329
1090.87/565.97	c cleaning 82008 clauses out of 164019 with flag 3476000/4068329
1116.95/579.26	c cleaning 83000 clauses out of 166012 with flag 3560001/4152330
1144.99/594.46	c cleaning 84002 clauses out of 168011 with flag 3645000/4237329
1169.72/607.03	c cleaning 85003 clauses out of 170011 with flag 3731002/4323331
1199.00/621.98	c cleaning 85991 clauses out of 172006 with flag 3818000/4410329
1224.47/634.92	c cleaning 87000 clauses out of 174016 with flag 3906001/4498330
1251.28/648.84	c cleaning 88003 clauses out of 176017 with flag 3995002/4587331
1278.88/662.93	c cleaning 88999 clauses out of 178012 with flag 4085000/4677329
1307.30/677.49	c cleaning 90007 clauses out of 180013 with flag 4176000/4768329
1339.94/694.06	c cleaning 90995 clauses out of 182006 with flag 4268000/4860329
1371.16/710.16	c cleaning 91996 clauses out of 184011 with flag 4361000/4953329
1403.00/726.32	c cleaning 92998 clauses out of 186017 with flag 4455002/5047331
1432.64/741.50	c cleaning 93998 clauses out of 188018 with flag 4550001/5142330
1464.24/757.56	c cleaning 94989 clauses out of 190020 with flag 4646001/5238330
1496.05/773.99	c cleaning 96006 clauses out of 192030 with flag 4743000/5335329
1530.05/791.21	c cleaning 97006 clauses out of 194025 with flag 4841001/5433330
1564.29/808.69	c cleaning 98009 clauses out of 196018 with flag 4940000/5532329
1598.30/825.90	c cleaning 99001 clauses out of 198009 with flag 5040000/5632329
1631.09/842.90	c cleaning 99999 clauses out of 200009 with flag 5141001/5733330
1667.29/861.22	c cleaning 100998 clauses out of 202014 with flag 5243005/5835334
1702.27/879.00	c cleaning 101999 clauses out of 204011 with flag 5346000/5938329
1739.69/898.04	c cleaning 102998 clauses out of 206012 with flag 5450000/6042329
1778.16/917.86	c cleaning 103991 clauses out of 208014 with flag 5555000/6147329
1799.92/929.01	c starts		: 50
1799.92/929.01	c conflicts		: 16071
1799.92/929.01	c decisions		: 86111
1799.92/929.01	c propagations		: 2396513
1799.92/929.01	c inspects		: 957515364
1799.92/929.01	c shortcuts		: 0
1799.92/929.01	c learnt literals	: 0
1799.92/929.01	c learnt binary clauses	: 0
1799.92/929.01	c learnt ternary clauses	: 0
1799.92/929.01	c learnt constraints	: 16070
1799.92/929.01	c ignored constraints	: 0
1799.92/929.01	c root simplifications	: 0
1799.92/929.01	c removed literals (reason simplification)	: 0
1799.92/929.01	c reason swapping (by a shorter reason)	: 0
1799.92/929.01	c Calls to reduceDB	: 2
1799.92/929.01	c number of reductions to clauses (during analyze)	: 0
1799.92/929.01	c number of learned constraints concerned by reduction	: 0
1799.92/929.01	c number of learning phase by resolution	: 0
1799.92/929.01	c number of learning phase by cutting planes	: 0
1799.92/929.01	c speed (assignments/second)	: 2580.9447294195948
1799.92/929.01	c non guided choices	27
1799.92/929.02	c learnt constraints type 
1799.92/929.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16070
1799.92/929.02	c constraints type 
1799.92/929.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
1799.92/929.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1799.92/929.02	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1799.92/929.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
1799.92/929.02	c 6427 constraints processed.
1799.92/929.02	c constraints type 
1799.92/929.02	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
1799.92/929.02	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3062
1799.92/929.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 203
1799.92/929.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
1799.92/929.02	c 6427 constraints processed.
1799.92/929.02	s SATISFIABLE
1799.92/929.02	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 x81 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 
1799.92/929.02	c objective function=-13
1799.92/929.02	c Total wall clock time (in seconds): 928.893

Verifier Data 

OK	-13

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-3688728-1337879485/watcher-3688728-1337879485 -o /tmp/evaluation-result-3688728-1337879485/solver-3688728-1337879485 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688728-1337879485.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.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3574/stat : 3574 (java) D 3572 3574 718 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254073966 9515008 182 33554432000 1073741824 1073778376 140735184653840 140735184644872 229355896501 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/3574/statm: 2323 182 140 9 0 71 0

[startup+0.00894392 s]
/proc/loadavg: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=20596 CPUtime=0 cores=0,2,4,6
/proc/3574/stat : 3574 (java) R 3572 3574 718 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 254073966 21090304 189 33554432000 1073741824 1073778376 140733825665216 140733825654280 229346733351 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 5165 196 152 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20596

[startup+0.100153 s]
/proc/loadavg: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 4201 0 1 0 8 0 0 0 20 0 18 0 254073966 9787813888 5406 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2389603 5406 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300164 s]
/proc/loadavg: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9558412 CPUtime=0.43 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 5648 0 1 0 43 0 0 0 20 0 18 0 254073966 9787813888 8090 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2389603 8090 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558412

[startup+0.700172 s]
/proc/loadavg: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 14661 0 1 0 176 2 0 0 20 0 22 0 254073966 10060460032 19361 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 19361 2249 9 0 2446860 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 9824668

[startup+1.50061 s]
/proc/loadavg: 3.78 4.01 3.93 7/217 3599
/proc/meminfo: memFree=27248272/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=2.27 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 14697 0 1 0 220 7 0 0 20 0 22 0 254073966 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 27551 2253 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2501 0 1 0 43 0 0 0 20 0 22 0 254073967 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254073969 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 5109 0 0 0 53 0 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=0.56 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 5756 0 0 0 54 2 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9824668

[startup+3.10078 s]
/proc/loadavg: 3.78 4.01 3.93 7/217 3605
/proc/meminfo: memFree=27202776/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=4.99 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 23253 0 1 0 485 14 0 0 20 0 22 0 254073966 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 50335 2273 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2501 0 1 0 43 0 0 0 20 0 22 0 254073967 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 254073969 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 7025 0 0 0 95 1 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 12216 0 0 0 101 2 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 9824668

[startup+6.30079 s]
/proc/loadavg: 3.80 4.01 3.93 5/217 3608
/proc/meminfo: memFree=26745628/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=10.93 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 24617 0 1 0 1069 24 0 0 20 0 22 0 254073966 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 156577 2287 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2501 0 1 0 43 0 0 0 20 0 22 0 254073967 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 29 0 0 0 4 1 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 480 0 0 0 19 0 0 0 20 0 22 0 254073969 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 7028 0 0 0 108 1 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.25 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 12887 0 0 0 123 2 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 9824668

[startup+12.7009 s]

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

[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=1.53 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 560 0 0 0 150 3 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 461 0 0 0 159 4 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 457 0 0 0 140 3 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 623 0 0 0 151 4 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 536 0 0 0 140 4 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=57.1 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 2372 0 0 0 5699 11 0 0 20 0 22 0 254073969 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 12581 0 0 0 172 2 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 13836 0 0 0 153 2 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 48 0 0 0 15 17 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3615] ppid=3572 vsize=9824668 CPUtime=679.92 cores=0,2,4,6
/proc/3574/task/3615/stat : 3615 (java) R 3572 3574 718 0 -1 4202560 7 0 0 0 67982 10 0 0 20 0 22 0 254082636 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987292012712 139987417425725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3616] ppid=3572 vsize=9824668 CPUtime=679.72 cores=0,2,4,6
/proc/3574/task/3616/stat : 3616 (java) R 3572 3574 718 0 -1 4202560 1072 0 0 0 67938 34 0 0 20 0 22 0 254082636 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987290960992 139987416961050 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3617] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3617/stat : 3617 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254082636 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987288855464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1591.11
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.05 3.26 3.58 5/216 4005
/proc/meminfo: memFree=24558856/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=1708.22 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 38908 0 1 0 170700 122 0 0 20 0 22 0 254073966 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 797978 2288 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2526 0 1 0 45 3 0 0 20 0 22 0 254073967 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 512 0 0 0 178 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 642 0 0 0 163 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 513 0 0 0 152 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 560 0 0 0 158 3 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 461 0 0 0 170 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=1.52 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 457 0 0 0 148 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 623 0 0 0 163 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=1.53 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 536 0 0 0 149 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=60.41 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 2380 0 0 0 6030 11 0 0 20 0 22 0 254073969 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 12581 0 0 0 172 2 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 13836 0 0 0 153 2 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3615] ppid=3572 vsize=9824668 CPUtime=736.22 cores=0,2,4,6
/proc/3574/task/3615/stat : 3615 (java) R 3572 3574 718 0 -1 4202560 7 0 0 0 73610 12 0 0 20 0 22 0 254082636 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987292013536 139987417357276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3616] ppid=3572 vsize=9824668 CPUtime=736.01 cores=0,2,4,6
/proc/3574/task/3616/stat : 3616 (java) R 3572 3574 718 0 -1 4202560 1079 0 0 0 73566 35 0 0 20 0 22 0 254082636 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987290960672 139987417270158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3617] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3617/stat : 3617 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254082636 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987288855464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1708.22
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+929.001 s]
/proc/loadavg: 2.90 3.19 3.54 4/216 4006
/proc/meminfo: memFree=24547988/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=1799.92 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 38923 0 1 0 179868 124 0 0 20 0 22 0 254073966 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 799516 2288 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2526 0 1 0 45 3 0 0 20 0 22 0 254073967 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 512 0 0 0 185 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=1.73 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 642 0 0 0 169 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=1.62 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 513 0 0 0 158 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 560 0 0 0 164 3 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 461 0 0 0 176 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 457 0 0 0 155 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 623 0 0 0 171 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 536 0 0 0 155 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=62.33 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 2387 0 0 0 6221 12 0 0 20 0 22 0 254073969 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 12581 0 0 0 172 2 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 13836 0 0 0 153 2 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 54 0 0 0 18 18 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3615] ppid=3572 vsize=9824668 CPUtime=780.7 cores=0,2,4,6
/proc/3574/task/3615/stat : 3615 (java) R 3572 3574 718 0 -1 4202560 8 0 0 0 78058 12 0 0 20 0 22 0 254082636 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987292013536 139987417245950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3616] ppid=3572 vsize=9824668 CPUtime=780.51 cores=0,2,4,6
/proc/3574/task/3616/stat : 3616 (java) R 3572 3574 718 0 -1 4202560 1082 0 0 0 78016 35 0 0 20 0 22 0 254082636 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987290960992 139987417405824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3617] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3617/stat : 3617 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254082636 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987288855464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.92
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

Child status: 143

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


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

Real time (s): 929.038
CPU time (s): 1800.14
CPU user time (s): 1798.93
CPU system time (s): 1.21
CPU usage (%): 193.764
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.43
system time used= 1.65075
maximum resident set size= 3198180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38956
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26995
involuntary context switches= 34598

runsolver used 3.07253 second user time and 8.65268 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-24 19:11:25
IDJOB=3688728
IDBENCH=48237
IDSOLVER=2268
FILE ID=node129/3688728-1337879485
RUNJOBID= node129-1337871881-735
PBS_JOBID= 14620075
Free space on /tmp= 71644 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688728-1337879485/watcher-3688728-1337879485 -o /tmp/evaluation-result-3688728-1337879485/solver-3688728-1337879485 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688728-1337879485.opb

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

MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3
RANDOM SEED=774408885

node129.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.957
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.91
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.957
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		: 2666.957
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		: 2666.957
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.91
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.957
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.90
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.957
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.92
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.957
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.90
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.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27344744 kB
Buffers:          219820 kB
Cached:          2164896 kB
SwapCached:            0 kB
Active:          2917320 kB
Inactive:        1843940 kB
Active(anon):    2378844 kB
Inactive(anon):        0 kB
Active(file):     538476 kB
Inactive(file):  1843940 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:       2382900 kB
Mapped:            22552 kB
Shmem:               204 kB
Slab:             626764 kB
SReclaimable:      69312 kB
SUnreclaim:       557452 kB
KernelStack:        1616 kB
PageTables:         8584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    2520896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2318336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node129 at 2012-05-24 19:26:56