Trace number 3688478

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)24890 1800.1 941.729

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
MD5SUMaa73e48897f9c10e5003e2188d9e7ab9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24890
Best CPU time to get the best result obtained on this benchmark0.028994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24890
Optimality of the best value was proved YES
Number of variables644
Total number of constraints1034
Number of constraints which are clauses1034
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 353
Biggest coefficient in the objective function 2034
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 561307
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2034
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 561307
Number of bits of the biggest sum of numbers20
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.2.v20120418
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		501472288
0.06/0.09	c Max memory 		7480803328
0.06/0.09	c Total memory 		504102912
0.06/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688478-1337877935.opb
0.09/0.11	c reading problem ... 
0.24/0.23	c ... done. Wall clock time 0.115s.
0.24/0.23	c declared #vars     644
0.24/0.23	c #constraints  1034
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292
0.24/0.23	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.24/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 738
0.24/0.23	c 1034 constraints processed.
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 738
0.24/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 292
0.24/0.23	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.24/0.23	c 1034 constraints processed.
0.24/0.23	c objective function length is 353 literals
0.24/0.24	c  And the winner is solver1
0.39/0.73	c SATISFIABLE
0.39/0.73	c OPTIMIZING...
0.39/0.73	c Got one! Elapsed wall clock time (in seconds):0.617
0.39/0.73	o 30671
0.39/0.79	c  And the winner is solver0
0.66/1.24	c Got one! Elapsed wall clock time (in seconds):1.125
0.66/1.24	o 29465
0.66/1.25	c  And the winner is solver0
0.97/1.74	c Got one! Elapsed wall clock time (in seconds):1.63
0.97/1.74	o 29427
1.15/1.86	c  And the winner is solver1
1.48/2.25	c Got one! Elapsed wall clock time (in seconds):2.133
1.48/2.25	o 28267
1.48/2.26	c  And the winner is solver1
1.51/2.75	c Got one! Elapsed wall clock time (in seconds):2.638
1.51/2.75	o 28241
2.74/3.15	c cleaning 3048 clauses out of 6096 with flag 5001/6096
2.97/3.22	c  And the winner is solver1
2.97/3.25	c Got one! Elapsed wall clock time (in seconds):3.14
2.97/3.25	o 28232
3.18/3.31	c  And the winner is solver1
3.20/3.76	c Got one! Elapsed wall clock time (in seconds):3.642
3.20/3.76	o 26674
3.82/4.09	c cleaning 4603 clauses out of 9205 with flag 5000/12253
4.85/4.54	c cleaning 5301 clauses out of 10603 with flag 11001/18254
5.42/4.82	c  And the winner is solver1
5.48/5.26	c Got one! Elapsed wall clock time (in seconds):5.144
5.48/5.26	o 26623
5.55/5.37	c  And the winner is solver1
5.72/5.76	c Got one! Elapsed wall clock time (in seconds):5.646
5.72/5.76	o 26430
5.80/5.84	c cleaning 5968 clauses out of 11946 with flag 1000/24898
6.55/6.26	c  And the winner is solver1
6.55/6.26	c Got one! Elapsed wall clock time (in seconds):6.148
6.55/6.26	o 26192
7.38/6.63	c cleaning 8321 clauses out of 16641 with flag 5001/35561
8.30/7.12	c cleaning 7160 clauses out of 14319 with flag 11000/41560
9.24/7.65	c cleaning 7079 clauses out of 14159 with flag 18000/48560
10.37/8.23	c cleaning 7529 clauses out of 15083 with flag 26003/56563
11.66/8.92	c cleaning 8243 clauses out of 16551 with flag 35000/65560
13.00/9.63	c cleaning 9147 clauses out of 18309 with flag 45001/75561
14.50/10.40	c cleaning 10068 clauses out of 20166 with flag 56005/86565
16.02/11.28	c cleaning 11041 clauses out of 22093 with flag 68000/98560
17.88/12.29	c cleaning 12023 clauses out of 24052 with flag 81000/111560
19.97/13.38	c cleaning 13009 clauses out of 26029 with flag 95000/125560
21.08/13.95	c  And the winner is solver1
21.16/14.01	c Got one! Elapsed wall clock time (in seconds):13.895
21.16/14.01	o 25654
21.95/14.41	c cleaning 12436 clauses out of 24872 with flag 5000/137412
22.86/14.97	c cleaning 9216 clauses out of 18436 with flag 11000/143412
24.10/15.66	c cleaning 8110 clauses out of 16220 with flag 18000/150412
25.38/16.31	c cleaning 8052 clauses out of 16111 with flag 26001/158413
26.65/17.03	c cleaning 8517 clauses out of 17058 with flag 35000/167412
28.12/17.81	c cleaning 9273 clauses out of 18545 with flag 45004/177416
29.72/18.71	c cleaning 10111 clauses out of 20268 with flag 56000/188412
31.37/19.61	c cleaning 11067 clauses out of 22158 with flag 68001/200413
33.22/20.62	c cleaning 12040 clauses out of 24090 with flag 81000/213412
35.07/21.69	c cleaning 13010 clauses out of 26051 with flag 95001/227413
37.23/22.86	c cleaning 14002 clauses out of 28040 with flag 110000/242412
39.48/24.07	c cleaning 15012 clauses out of 30038 with flag 126000/258412
41.74/25.26	c  And the winner is solver1
41.81/25.52	c Got one! Elapsed wall clock time (in seconds):25.408
41.81/25.52	o 25387
42.61/25.92	c cleaning 17944 clauses out of 35900 with flag 5001/279286
43.47/26.49	c cleaning 11966 clauses out of 23955 with flag 11000/285285
44.61/27.19	c cleaning 9478 clauses out of 18989 with flag 18000/292285
45.85/27.84	c cleaning 8713 clauses out of 17511 with flag 26000/300285
47.10/28.56	c cleaning 8879 clauses out of 17798 with flag 35000/309285
48.53/29.35	c cleaning 9455 clauses out of 18920 with flag 45001/319286
50.29/30.30	c cleaning 10226 clauses out of 20464 with flag 56000/330285
51.92/31.25	c cleaning 11085 clauses out of 22238 with flag 68000/342285
53.77/32.26	c cleaning 12069 clauses out of 24153 with flag 81000/355285
55.79/33.35	c cleaning 13042 clauses out of 26085 with flag 95001/369286
58.12/34.60	c cleaning 14015 clauses out of 28042 with flag 110000/384285
60.33/35.85	c cleaning 15003 clauses out of 30027 with flag 126000/400285
62.75/37.18	c cleaning 16013 clauses out of 32029 with flag 143005/417290
65.39/38.59	c cleaning 16999 clauses out of 34012 with flag 161001/435286
68.28/40.19	c cleaning 18000 clauses out of 36013 with flag 180001/454286
71.29/41.71	c cleaning 18985 clauses out of 38013 with flag 200001/474286
74.08/43.24	c cleaning 20010 clauses out of 40029 with flag 221002/495287
77.27/44.94	c cleaning 21001 clauses out of 42017 with flag 243000/517285
80.74/46.81	c cleaning 21987 clauses out of 44016 with flag 266000/540285
81.12/47.12	c  And the winner is solver1
81.12/47.30	c Got one! Elapsed wall clock time (in seconds):47.189
81.12/47.30	o 24890
81.77/47.61	c cleaning 13518 clauses out of 27047 with flag 4000/545303
82.73/48.26	c cleaning 9761 clauses out of 19529 with flag 10000/551303
83.89/48.96	c cleaning 8384 clauses out of 16768 with flag 17000/558303
85.33/49.86	c cleaning 8191 clauses out of 16384 with flag 25000/566303
86.89/50.71	c cleaning 8591 clauses out of 17193 with flag 34000/575303
88.46/51.64	c cleaning 9290 clauses out of 18602 with flag 44000/585303
90.19/52.64	c cleaning 10150 clauses out of 20312 with flag 55000/596303
92.22/53.86	c cleaning 11081 clauses out of 22163 with flag 67001/608304
94.37/55.00	c cleaning 12040 clauses out of 24081 with flag 80000/621303
96.31/56.14	c cleaning 12998 clauses out of 26041 with flag 94000/635303
98.44/57.34	c cleaning 14021 clauses out of 28043 with flag 109000/650303
100.85/58.77	c cleaning 15008 clauses out of 30022 with flag 125000/666303
103.38/60.13	c cleaning 15977 clauses out of 32014 with flag 142000/683303
105.93/61.57	c cleaning 17003 clauses out of 34038 with flag 160001/701304
108.64/63.09	c cleaning 17992 clauses out of 36034 with flag 179000/720303
111.84/64.87	c cleaning 19003 clauses out of 38042 with flag 199000/740303
114.94/66.58	c cleaning 20015 clauses out of 40041 with flag 220002/761305
118.25/68.34	c cleaning 20990 clauses out of 42025 with flag 242001/783304
121.78/70.22	c cleaning 22003 clauses out of 44034 with flag 265000/806303
125.73/72.44	c cleaning 23015 clauses out of 46031 with flag 289000/830303
129.44/74.48	c cleaning 23990 clauses out of 48016 with flag 314000/855303
133.74/76.71	c cleaning 25010 clauses out of 50026 with flag 340000/881303
137.88/78.95	c cleaning 25991 clauses out of 52016 with flag 367000/908303
142.62/81.51	c cleaning 27012 clauses out of 54025 with flag 395000/936303
147.11/83.95	c cleaning 27996 clauses out of 56013 with flag 424000/965303
151.81/86.46	c cleaning 28991 clauses out of 58017 with flag 454000/995303
156.72/89.09	c cleaning 30012 clauses out of 60027 with flag 485001/1026304
162.42/92.13	c cleaning 31006 clauses out of 62015 with flag 517001/1058304
167.70/94.95	c cleaning 31999 clauses out of 64008 with flag 550000/1091303
172.98/97.75	c cleaning 32986 clauses out of 66009 with flag 584000/1125303
179.08/100.92	c cleaning 33999 clauses out of 68023 with flag 619000/1160303
185.32/104.36	c cleaning 35008 clauses out of 70024 with flag 655000/1196303
191.59/107.70	c cleaning 35997 clauses out of 72016 with flag 692000/1233303
198.22/111.15	c cleaning 36999 clauses out of 74020 with flag 730001/1271304
204.84/114.68	c cleaning 37999 clauses out of 76020 with flag 769000/1310303
212.23/118.66	c cleaning 39011 clauses out of 78021 with flag 809000/1350303
219.44/122.45	c cleaning 40002 clauses out of 80010 with flag 850000/1391303
226.85/126.40	c cleaning 41002 clauses out of 82009 with flag 892001/1433304
234.45/130.40	c cleaning 41985 clauses out of 84006 with flag 935000/1476303
242.41/134.65	c cleaning 42990 clauses out of 86021 with flag 979000/1520303
250.23/138.79	c cleaning 44000 clauses out of 88031 with flag 1024000/1565303
258.44/143.04	c cleaning 44978 clauses out of 90031 with flag 1070000/1611303
266.42/147.22	c cleaning 46023 clauses out of 92053 with flag 1117000/1658303
274.54/151.61	c cleaning 46985 clauses out of 94030 with flag 1165000/1706303
282.90/156.02	c cleaning 48010 clauses out of 96046 with flag 1214001/1755304
291.68/160.66	c cleaning 49011 clauses out of 98035 with flag 1264000/1805303
301.90/166.34	c cleaning 50001 clauses out of 100024 with flag 1315000/1856303
310.26/170.72	c cleaning 50991 clauses out of 102026 with flag 1367003/1908306
319.01/175.31	c cleaning 51999 clauses out of 104032 with flag 1420000/1961303
328.04/180.02	c cleaning 53001 clauses out of 106033 with flag 1474000/2015303
338.14/185.44	c cleaning 54009 clauses out of 108033 with flag 1529001/2070304
347.89/190.53	c cleaning 55005 clauses out of 110023 with flag 1585000/2126303
357.41/195.58	c cleaning 55984 clauses out of 112018 with flag 1642000/2183303
366.97/200.54	c cleaning 57001 clauses out of 114034 with flag 1700000/2241303
377.23/206.06	c cleaning 58010 clauses out of 116036 with flag 1759003/2300306
387.34/211.31	c cleaning 59007 clauses out of 118025 with flag 1819002/2360305
397.65/216.77	c cleaning 60003 clauses out of 120016 with flag 1880000/2421303
408.85/222.53	c cleaning 60996 clauses out of 122013 with flag 1942000/2483303
420.05/228.52	c cleaning 62005 clauses out of 124017 with flag 2005000/2546303
430.76/234.19	c cleaning 62997 clauses out of 126013 with flag 2069001/2610304
442.72/240.36	c cleaning 63973 clauses out of 128015 with flag 2134000/2675303
454.24/246.34	c cleaning 65015 clauses out of 130042 with flag 2200000/2741303
466.40/252.84	c cleaning 66008 clauses out of 132028 with flag 2267001/2808304
479.35/259.51	c cleaning 66979 clauses out of 134019 with flag 2335000/2876303
491.65/265.96	c cleaning 67980 clauses out of 136040 with flag 2404000/2945303
503.54/272.18	c cleaning 69025 clauses out of 138060 with flag 2474000/3015303
517.28/279.41	c cleaning 70002 clauses out of 140036 with flag 2545001/3086304
530.53/286.34	c cleaning 70997 clauses out of 142033 with flag 2617000/3158303
544.84/293.73	c cleaning 71998 clauses out of 144036 with flag 2690000/3231303
558.74/300.92	c cleaning 73015 clauses out of 146038 with flag 2764000/3305303
572.24/308.12	c cleaning 74003 clauses out of 148024 with flag 2839001/3380304
586.12/315.34	c cleaning 74993 clauses out of 150020 with flag 2915000/3456303
599.16/322.12	c cleaning 76009 clauses out of 152027 with flag 2992000/3533303
613.20/329.40	c cleaning 76985 clauses out of 154018 with flag 3070000/3611303
627.89/337.27	c cleaning 78005 clauses out of 156033 with flag 3149000/3690303
641.71/344.48	c cleaning 79015 clauses out of 158029 with flag 3229001/3770304
656.20/352.00	c cleaning 79988 clauses out of 160014 with flag 3310001/3851304
672.63/360.43	c cleaning 81008 clauses out of 162025 with flag 3392000/3933303
688.95/369.00	c cleaning 82005 clauses out of 164017 with flag 3475000/4016303
704.67/377.14	c cleaning 83004 clauses out of 166012 with flag 3559000/4100303
721.32/385.70	c cleaning 83993 clauses out of 168008 with flag 3644000/4185303
738.56/394.67	c cleaning 84998 clauses out of 170015 with flag 3730000/4271303
756.27/403.96	c cleaning 86003 clauses out of 172017 with flag 3817000/4358303
772.90/412.53	c cleaning 86993 clauses out of 174014 with flag 3905000/4446303
789.09/420.98	c cleaning 88008 clauses out of 176023 with flag 3994002/4535305
805.54/429.43	c cleaning 88997 clauses out of 178014 with flag 4084001/4625304
821.79/438.07	c cleaning 90006 clauses out of 180016 with flag 4175000/4716303
837.22/446.00	c cleaning 90996 clauses out of 182010 with flag 4267000/4808303
852.89/454.13	c cleaning 91987 clauses out of 184014 with flag 4360000/4901303
870.15/463.07	c cleaning 92998 clauses out of 186027 with flag 4454000/4995303
888.42/472.65	c cleaning 94001 clauses out of 188029 with flag 4549000/5090303
905.50/481.46	c cleaning 94997 clauses out of 190028 with flag 4645000/5186303
922.88/490.46	c cleaning 96002 clauses out of 192031 with flag 4742000/5283303
941.72/500.19	c cleaning 97014 clauses out of 194031 with flag 4840002/5381305
962.49/510.98	c cleaning 97991 clauses out of 196015 with flag 4939000/5480303
983.12/521.51	c cleaning 99014 clauses out of 198027 with flag 5039003/5580306
1002.38/531.44	c cleaning 99985 clauses out of 200010 with flag 5140000/5681303
1022.55/541.83	c cleaning 100993 clauses out of 202026 with flag 5242001/5783304
1043.16/552.69	c cleaning 102010 clauses out of 204032 with flag 5345000/5886303
1064.73/563.74	c cleaning 103000 clauses out of 206022 with flag 5449000/5990303
1087.72/575.50	c cleaning 104009 clauses out of 208022 with flag 5554000/6095303
1112.10/588.05	c cleaning 105003 clauses out of 210014 with flag 5660001/6201304
1139.31/602.13	c cleaning 106002 clauses out of 212011 with flag 5767001/6308304
1163.69/614.61	c cleaning 106996 clauses out of 214008 with flag 5875000/6416303
1186.86/626.58	c cleaning 108000 clauses out of 216012 with flag 5984000/6525303
1212.82/639.86	c cleaning 108997 clauses out of 218012 with flag 6094000/6635303
1238.61/653.20	c cleaning 110000 clauses out of 220017 with flag 6205002/6746305
1261.77/665.20	c cleaning 111002 clauses out of 222015 with flag 6317000/6858303
1286.35/677.78	c cleaning 112001 clauses out of 224013 with flag 6430000/6971303
1311.74/690.73	c cleaning 112994 clauses out of 226012 with flag 6544000/7085303
1337.36/704.09	c cleaning 114002 clauses out of 228018 with flag 6659000/7200303
1363.33/717.31	c cleaning 115004 clauses out of 230018 with flag 6775002/7316305
1391.69/731.85	c cleaning 116000 clauses out of 232014 with flag 6892002/7433305
1421.39/747.04	c cleaning 116993 clauses out of 234013 with flag 7010001/7551304
1451.78/762.73	c cleaning 118004 clauses out of 236020 with flag 7129001/7670304
1481.13/777.72	c cleaning 119002 clauses out of 238016 with flag 7249001/7790304
1506.33/791.01	c cleaning 119990 clauses out of 240014 with flag 7370001/7911304
1532.34/804.43	c cleaning 120975 clauses out of 242023 with flag 7492000/8033303
1558.52/817.88	c cleaning 122017 clauses out of 244048 with flag 7615000/8156303
1583.95/830.83	c cleaning 122974 clauses out of 246031 with flag 7739000/8280303
1609.53/843.93	c cleaning 123988 clauses out of 248057 with flag 7864000/8405303
1634.34/856.87	c cleaning 124999 clauses out of 250069 with flag 7990000/8531303
1660.10/870.08	c cleaning 126010 clauses out of 252072 with flag 8117002/8658305
1685.26/882.98	c cleaning 127004 clauses out of 254060 with flag 8245000/8786303
1712.84/897.01	c cleaning 128011 clauses out of 256056 with flag 8374000/8915303
1741.29/911.80	c cleaning 129005 clauses out of 258045 with flag 8504000/9045303
1774.09/928.44	c cleaning 130014 clauses out of 260040 with flag 8635000/9176303
1800.10/941.71	c starts		: 34
1800.10/941.71	c conflicts		: 4890
1800.10/941.71	c decisions		: 56598
1800.10/941.71	c propagations		: 427919
1800.10/941.71	c inspects		: 134964649
1800.10/941.71	c shortcuts		: 0
1800.10/941.71	c learnt literals	: 0
1800.10/941.71	c learnt binary clauses	: 0
1800.10/941.71	c learnt ternary clauses	: 0
1800.10/941.71	c learnt constraints	: 4889
1800.10/941.71	c ignored constraints	: 0
1800.10/941.71	c root simplifications	: 0
1800.10/941.71	c removed literals (reason simplification)	: 0
1800.10/941.71	c reason swapping (by a shorter reason)	: 0
1800.10/941.71	c Calls to reduceDB	: 0
1800.10/941.71	c number of reductions to clauses (during analyze)	: 0
1800.10/941.71	c number of learned constraints concerned by reduction	: 0
1800.10/941.71	c number of learning phase by resolution	: 0
1800.10/941.71	c number of learning phase by cutting planes	: 0
1800.10/941.71	c speed (assignments/second)	: 455.25331982918385
1800.10/941.71	c non guided choices	0
1800.10/941.71	c learnt constraints type 
1800.10/941.71	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.10/941.71	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4888
1800.10/941.71	c constraints type 
1800.10/941.71	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292
1800.10/941.71	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
1800.10/941.71	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 738
1800.10/941.71	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.10/941.71	c 1035 constraints processed.
1800.10/941.71	c constraints type 
1800.10/941.71	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 738
1800.10/941.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 292
1800.10/941.71	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.10/941.71	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
1800.10/941.71	c 1035 constraints processed.
1800.10/941.71	s SATISFIABLE
1800.10/941.71	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 -x644 
1800.10/941.71	c objective function=24890
1800.10/941.71	c Total wall clock time (in seconds): 941.6

Verifier Data

OK	24890

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28190/stat : 28190 (java) R 28188 28190 25418 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253917980 9515008 184 33554432000 1073741824 1073778376 140735227614048 140735227605080 212073085159 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28190/statm: 2323 185 142 9 0 71 0

[startup+0.083932 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 3621 0 1 0 5 1 0 0 20 0 18 0 253917980 9787813888 4830 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2389603 4832 1931 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100245 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 4312 0 1 0 8 1 0 0 20 0 18 0 253917980 9787813888 5502 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2389603 5502 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300222 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 5118 0 1 0 35 4 0 0 20 0 19 0 253917980 10060460032 7626 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 7626 2229 9 0 2446860 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 9824668

[startup+0.700205 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 5118 0 1 0 35 4 0 0 20 0 19 0 253917980 10060460032 7626 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 7626 2229 9 0 2446860 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 9824668

[startup+1.50073 s]
/proc/loadavg: 3.89 3.95 3.86 3/216 28215
/proc/meminfo: memFree=28735720/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 14812 0 1 0 88 7 0 0 20 0 19 0 253917980 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 15881 2236 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2452 0 1 0 20 2 0 0 20 0 19 0 253917981 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253917983 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253917984 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253917984 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 1674 0 0 0 16 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) R 28188 28190 25418 0 -1 4202560 9368 0 0 0 41 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140402480900544 140403541874290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28215] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28215/stat : 28215 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253918055 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140402474583720 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 9824668

[startup+3.10066 s]
/proc/loadavg: 3.89 3.95 3.86 3/216 28221
/proc/meminfo: memFree=28698776/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=2.74 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 21054 0 1 0 262 12 0 0 20 0 22 0 253917980 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 29964 2253 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2454 0 1 0 20 2 0 0 20 0 22 0 253917981 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253917983 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) R 28188 28190 25418 0 -1 4202560 7750 0 0 0 56 2 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403354524344 140403542035769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9483 0 0 0 86 0 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 9824668

[startup+6.30073 s]
/proc/loadavg: 4.06 3.99 3.87 3/216 28236
/proc/meminfo: memFree=28607532/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=6.75 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 22982 0 1 0 652 23 0 0 20 0 22 0 253917980 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 45851 2280 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2454 0 1 0 21 2 0 0 20 0 22 0 253917981 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 22 0 253917983 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 9528 0 0 0 81 3 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9488 0 0 0 98 0 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 9824668

[startup+12.7009 s]

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

[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 948 0 0 0 174 5 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=1.69 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 880 0 0 0 165 4 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1024 0 0 0 174 4 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 983 0 0 0 174 4 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 956 0 0 0 167 5 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=79.38 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2270 0 0 0 7912 26 0 0 20 0 22 0 253917983 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 11881 0 0 0 103 3 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9488 0 0 0 99 0 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 51 0 0 0 10 17 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28249] ppid=28188 vsize=9824668 CPUtime=756.96 cores=1,3,5,7
/proc/28190/task/28249/stat : 28249 (java) R 28188 28190 25418 0 -1 4202560 85 0 0 0 75683 13 0 0 20 0 22 0 253922711 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402477740256 140403371326256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28250] ppid=28188 vsize=9824668 CPUtime=756.85 cores=1,3,5,7
/proc/28190/task/28250/stat : 28250 (java) R 28188 28190 25418 0 -1 4202560 410 0 0 0 75662 23 0 0 20 0 22 0 253922711 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402474579760 140403371338352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28251] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28251/stat : 28251 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253922711 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402475635880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1684.06
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+941.701 s]
/proc/loadavg: 3.92 3.89 3.89 5/220 28363
/proc/meminfo: memFree=24385080/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=1800.1 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 36097 0 1 0 179884 126 0 0 20 0 22 0 253917980 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 427432 2282 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2576 0 1 0 23 4 0 0 20 0 22 0 253917981 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=1.8 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 864 0 0 0 175 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 1111 0 0 0 178 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 895 0 0 0 161 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=1.87 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 948 0 0 0 182 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 884 0 0 0 172 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1028 0 0 0 178 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 987 0 0 0 181 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 958 0 0 0 173 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=82.36 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2289 0 0 0 8210 26 0 0 20 0 22 0 253917983 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 11881 0 0 0 103 3 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9488 0 0 0 99 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 55 0 0 0 11 17 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28249] ppid=28188 vsize=9824668 CPUtime=813.1 cores=1,3,5,7
/proc/28190/task/28249/stat : 28249 (java) R 28188 28190 25418 0 -1 4202560 87 0 0 0 81296 14 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402477740544 140403370700221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28250] ppid=28188 vsize=9824668 CPUtime=812.97 cores=1,3,5,7
/proc/28190/task/28250/stat : 28250 (java) R 28188 28190 25418 0 -1 4202560 411 0 0 0 81273 24 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402474580752 140403370832884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28251] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28251/stat : 28251 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402475635880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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+941.701 s]
/proc/loadavg: 3.92 3.89 3.89 5/220 28363
/proc/meminfo: memFree=24385080/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=1800.1 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 36097 0 1 0 179884 126 0 0 20 0 22 0 253917980 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 427432 2282 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2576 0 1 0 23 4 0 0 20 0 22 0 253917981 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=1.8 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 864 0 0 0 175 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 1111 0 0 0 178 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 895 0 0 0 161 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=1.87 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 948 0 0 0 182 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 884 0 0 0 172 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1028 0 0 0 178 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 987 0 0 0 181 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 958 0 0 0 173 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=82.36 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2289 0 0 0 8210 26 0 0 20 0 22 0 253917983 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 11881 0 0 0 103 3 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9488 0 0 0 99 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 55 0 0 0 11 17 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28249] ppid=28188 vsize=9824668 CPUtime=813.1 cores=1,3,5,7
/proc/28190/task/28249/stat : 28249 (java) R 28188 28190 25418 0 -1 4202560 87 0 0 0 81296 14 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402477740544 140403370700221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28250] ppid=28188 vsize=9824668 CPUtime=812.97 cores=1,3,5,7
/proc/28190/task/28250/stat : 28250 (java) R 28188 28190 25418 0 -1 4202560 411 0 0 0 81273 24 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402474580752 140403370832884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28251] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28251/stat : 28251 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402475635880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28190 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=499194
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=672745
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.1
#
# 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): 7.62939e-06
#  lost CPU user time (s): 0.0300064
#  lost CPU system time (s): -0.03

Real time (s): 941.729
CPU time (s): 1800.1
CPU user time (s): 1798.87
CPU system time (s): 1.23
CPU usage (%): 191.148
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 1.67274
maximum resident set size= 1709840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36125
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30052
involuntary context switches= 40653

runsolver used 3.2715 second user time and 8.85465 second system time

The end

Launcher Data

Begin job on node148 at 2012-05-24 18:45:35
IDJOB=3688478
IDBENCH=25022
IDSOLVER=2268
FILE ID=node148/3688478-1337877935
RUNJOBID= node148-1337871865-25435
PBS_JOBID= 14620056
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9
RANDOM SEED=875673414

node148.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.284
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.56
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.284
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.94
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.284
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.92
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.284
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		: 2667.284
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		: 2667.284
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.284
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		: 2667.284
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:       32873648 kB
MemFree:        28766820 kB
Buffers:          235812 kB
Cached:          2581236 kB
SwapCached:            0 kB
Active:           946428 kB
Inactive:        2372588 kB
Active(anon):     504452 kB
Inactive(anon):        0 kB
Active(file):     441976 kB
Inactive(file):  2372588 kB
Unevictable:        6596 kB
Mlocked:            6596 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               200 kB
Writeback:             4 kB
AnonPages:        512428 kB
Mapped:            22544 kB
Shmem:               200 kB
Slab:             646036 kB
SReclaimable:      90264 kB
SUnreclaim:       555772 kB
KernelStack:        1632 kB
PageTables:         5276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1086840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 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= 71704 MiB
End job on node148 at 2012-05-24 19:01:19