Trace number 3688212

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)12 1800.02 932.953

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1790.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.2.v20120418
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c ManyCore solver with 2 solvers running in parallel
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c Expensive reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c c --- End Solver configuration ---
0.08/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688212-1337875996.opb
0.08/0.12	c reading problem ... 
0.08/0.16	c ... done. Wall clock time 0.044s.
0.08/0.16	c declared #vars     146
0.08/0.16	c #constraints  12
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.08/0.16	c 12 constraints processed.
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12
0.08/0.16	c 12 constraints processed.
0.08/0.16	c objective function length is 96 literals
0.30/0.21	c  And the winner is solver0
0.46/0.66	c SATISFIABLE
0.46/0.66	c OPTIMIZING...
0.46/0.66	c Got one! Elapsed wall clock time (in seconds):0.546
0.46/0.66	o 230
0.46/0.68	c  And the winner is solver0
0.70/1.16	c Got one! Elapsed wall clock time (in seconds):1.048
0.70/1.16	o 163
0.70/1.18	c  And the winner is solver0
0.85/1.66	c Got one! Elapsed wall clock time (in seconds):1.549
0.85/1.66	o 156
0.85/1.68	c  And the winner is solver0
0.86/2.17	c Got one! Elapsed wall clock time (in seconds):2.05
0.86/2.17	o 149
2.13/2.51	c cleaning 2757 clauses out of 5515 with flag 5000/5515
3.30/2.81	c cleaning 4378 clauses out of 8758 with flag 11000/11515
3.30/2.84	c  And the winner is solver1
3.49/3.17	c Got one! Elapsed wall clock time (in seconds):3.052
3.49/3.17	o 133
3.49/3.18	c  And the winner is solver0
3.49/3.67	c Got one! Elapsed wall clock time (in seconds):3.553
3.49/3.67	o 131
3.49/3.69	c  And the winner is solver0
3.55/4.17	c Got one! Elapsed wall clock time (in seconds):4.054
3.55/4.17	o 129
3.55/4.17	c  And the winner is solver0
3.56/4.67	c Got one! Elapsed wall clock time (in seconds):4.555
3.56/4.67	o 127
3.56/4.68	c  And the winner is solver0
3.60/5.17	c Got one! Elapsed wall clock time (in seconds):5.056
3.60/5.17	o 126
3.60/5.19	c  And the winner is solver0
3.65/5.67	c Got one! Elapsed wall clock time (in seconds):5.557
3.65/5.67	o 124
3.65/5.68	c  And the winner is solver0
3.66/6.17	c Got one! Elapsed wall clock time (in seconds):6.058
3.66/6.17	o 76
3.70/6.21	c  And the winner is solver0
3.74/6.67	c Got one! Elapsed wall clock time (in seconds):6.559
3.74/6.67	o 75
3.98/6.86	c cleaning 6099 clauses out of 12199 with flag 5003/19334
4.56/7.15	c cleaning 6050 clauses out of 12099 with flag 11002/25333
5.37/7.50	c cleaning 6523 clauses out of 13050 with flag 18003/32334
6.15/7.92	c cleaning 7258 clauses out of 14524 with flag 26000/40331
7.12/8.41	c cleaning 8129 clauses out of 16268 with flag 35002/49333
8.09/8.96	c cleaning 9063 clauses out of 18137 with flag 45000/59331
9.25/9.58	c cleaning 10028 clauses out of 20076 with flag 56002/70333
10.82/10.32	c cleaning 11017 clauses out of 22046 with flag 68000/82331
12.40/11.12	c cleaning 12014 clauses out of 24029 with flag 81000/95331
13.98/12.00	c cleaning 13008 clauses out of 26015 with flag 95000/109331
15.95/12.92	c cleaning 14002 clauses out of 28010 with flag 110003/124334
18.13/14.06	c cleaning 14998 clauses out of 30005 with flag 126000/140331
20.49/15.30	c cleaning 15996 clauses out of 32008 with flag 143001/157332
23.49/16.72	c cleaning 17005 clauses out of 34012 with flag 161001/175332
26.24/18.14	c cleaning 17995 clauses out of 36006 with flag 180000/194331
29.42/19.72	c cleaning 19002 clauses out of 38012 with flag 200001/214332
32.59/21.32	c cleaning 20003 clauses out of 40009 with flag 221000/235331
36.36/23.20	c cleaning 20998 clauses out of 42006 with flag 243000/257331
39.89/25.07	c cleaning 21998 clauses out of 44008 with flag 266000/280331
43.65/26.94	c cleaning 22994 clauses out of 46012 with flag 290002/304333
47.62/28.94	c cleaning 24004 clauses out of 48016 with flag 315000/329331
51.77/31.02	c cleaning 25005 clauses out of 50015 with flag 341003/355334
56.30/33.38	c cleaning 26000 clauses out of 52009 with flag 368002/382333
61.25/35.82	c cleaning 26992 clauses out of 54007 with flag 396000/410331
66.20/38.40	c cleaning 28006 clauses out of 56015 with flag 425000/439331
71.95/41.27	c cleaning 29004 clauses out of 58009 with flag 455000/469331
78.28/44.41	c cleaning 29996 clauses out of 60007 with flag 486002/500333
84.44/47.58	c cleaning 31005 clauses out of 62009 with flag 518000/532331
85.19/47.93	c  And the winner is solver1
85.07/48.20	c Got one! Elapsed wall clock time (in seconds):48.084
85.07/48.20	o 74
85.27/48.32	c cleaning 18128 clauses out of 36269 with flag 1003/537596
85.42/48.46	c  And the winner is solver0
85.57/48.70	c Got one! Elapsed wall clock time (in seconds):48.586
85.57/48.70	o 73
85.83/48.89	c cleaning 11796 clauses out of 23603 with flag 4000/543058
86.16/49.00	c  And the winner is solver0
86.20/49.20	c Got one! Elapsed wall clock time (in seconds):49.087
86.20/49.20	o 71
86.20/49.26	c  And the winner is solver0
86.34/49.70	c Got one! Elapsed wall clock time (in seconds):49.588
86.34/49.70	o 70
86.34/49.76	c  And the winner is solver0
86.50/50.20	c Got one! Elapsed wall clock time (in seconds):50.089
86.50/50.20	o 69
86.90/50.45	c cleaning 9398 clauses out of 18795 with flag 4002/550046
87.65/50.83	c cleaning 7687 clauses out of 15396 with flag 10001/556045
88.41/51.23	c cleaning 7331 clauses out of 14708 with flag 17000/563044
89.17/51.69	c cleaning 7686 clauses out of 15379 with flag 25002/571046
90.28/52.24	c cleaning 8346 clauses out of 16691 with flag 34000/580044
91.45/52.86	c cleaning 9171 clauses out of 18345 with flag 44000/590044
92.58/53.49	c cleaning 10082 clauses out of 20174 with flag 55000/601044
93.92/54.18	c cleaning 11038 clauses out of 22092 with flag 67000/613044
95.65/55.04	c cleaning 12025 clauses out of 24055 with flag 80001/626045
97.38/55.95	c cleaning 13014 clauses out of 26033 with flag 94004/640048
97.55/56.10	c  And the winner is solver0
98.83/57.25	c Got one! Elapsed wall clock time (in seconds):57.136
98.83/57.25	o 67
99.31/57.51	c cleaning 9406 clauses out of 18832 with flag 4001/645861
99.86/57.81	c  And the winner is solver0
99.92/58.25	c Got one! Elapsed wall clock time (in seconds):58.138
99.92/58.25	o 66
100.03/58.31	c cleaning 7689 clauses out of 15392 with flag 1000/651827
100.33/58.53	c  And the winner is solver0
100.45/58.75	c Got one! Elapsed wall clock time (in seconds):58.639
100.45/58.75	o 64
100.45/58.79	c  And the winner is solver0
100.65/59.26	c Got one! Elapsed wall clock time (in seconds):59.141
100.65/59.26	o 62
100.74/59.36	c cleaning 6749 clauses out of 13517 with flag 2000/657641
101.27/59.64	c  And the winner is solver0
101.40/59.76	c Got one! Elapsed wall clock time (in seconds):59.642
101.40/59.76	o 61
101.48/59.84	c cleaning 6316 clauses out of 12653 with flag 1001/663526
102.02/60.17	c  And the winner is solver0
102.19/60.26	c Got one! Elapsed wall clock time (in seconds):60.143
102.19/60.26	o 59
102.68/60.59	c cleaning 8514 clauses out of 17055 with flag 5000/674244
103.23/60.85	c  And the winner is solver0
103.38/61.26	c Got one! Elapsed wall clock time (in seconds):61.144
103.38/61.26	o 58
103.46/61.32	c cleaning 6812 clauses out of 13640 with flag 1003/679343
104.17/61.71	c cleaning 6406 clauses out of 12826 with flag 7001/685341
104.51/61.95	c  And the winner is solver0
104.66/62.28	c Got one! Elapsed wall clock time (in seconds):62.161
104.66/62.28	o 56
104.70/62.39	c cleaning 6169 clauses out of 12359 with flag 2000/691280
105.45/62.73	c cleaning 6081 clauses out of 12190 with flag 8000/697280
106.18/63.12	c cleaning 6546 clauses out of 13113 with flag 15004/704284
106.69/63.43	c  And the winner is solver0
106.78/63.79	c Got one! Elapsed wall clock time (in seconds):63.674
106.78/63.79	o 54
106.83/63.83	c  And the winner is solver0
106.88/64.29	c Got one! Elapsed wall clock time (in seconds):64.175
106.88/64.29	o 53
106.89/64.35	c cleaning 6641 clauses out of 13288 with flag 1002/711005
107.05/64.44	c  And the winner is solver0
107.15/64.79	c Got one! Elapsed wall clock time (in seconds):64.676
107.15/64.79	o 51
107.56/65.01	c cleaning 6202 clauses out of 12415 with flag 5006/716773
107.90/65.25	c  And the winner is solver0
107.90/65.29	c Got one! Elapsed wall clock time (in seconds):65.177
107.90/65.29	o 49
108.05/65.36	c cleaning 5641 clauses out of 11292 with flag 1004/721852
108.59/65.69	c cleaning 5821 clauses out of 11650 with flag 7003/727851
109.31/66.05	c  And the winner is solver0
109.45/66.29	c Got one! Elapsed wall clock time (in seconds):66.178
109.45/66.29	o 47
109.86/66.57	c cleaning 7952 clauses out of 15918 with flag 5000/737940
110.59/66.97	c cleaning 6979 clauses out of 13966 with flag 11000/743940
111.53/67.41	c cleaning 6984 clauses out of 13987 with flag 18000/750940
112.47/67.95	c cleaning 7501 clauses out of 15003 with flag 26000/758940
113.57/68.59	c cleaning 8248 clauses out of 16506 with flag 35004/767944
114.92/69.22	c cleaning 9121 clauses out of 18256 with flag 45002/777942
116.25/69.97	c cleaning 10066 clauses out of 20134 with flag 56001/788941
117.78/70.77	c cleaning 11033 clauses out of 22068 with flag 68001/800941
118.88/71.31	c  And the winner is solver0
118.88/71.38	c Got one! Elapsed wall clock time (in seconds):71.263
118.88/71.38	o 46
119.56/71.72	c cleaning 12310 clauses out of 24631 with flag 5003/814537
119.69/71.80	c  And the winner is solver0
119.69/71.88	c Got one! Elapsed wall clock time (in seconds):71.764
119.69/71.88	o 45
120.18/72.19	c cleaning 8720 clauses out of 17479 with flag 5000/819695
120.52/72.38	c  And the winner is solver0
120.71/72.43	c Got one! Elapsed wall clock time (in seconds):72.315
120.71/72.43	o 43
120.88/72.59	c cleaning 7276 clauses out of 14561 with flag 3000/825497
121.61/72.92	c cleaning 6632 clauses out of 13286 with flag 9001/831498
122.30/73.36	c cleaning 6821 clauses out of 13654 with flag 16001/838498
122.49/73.47	c  And the winner is solver0
122.62/73.53	c Got one! Elapsed wall clock time (in seconds):73.411
122.62/73.53	o 41
122.99/73.73	c cleaning 5946 clauses out of 11913 with flag 4000/843578
123.52/74.08	c cleaning 5972 clauses out of 11967 with flag 10000/849578
124.25/74.45	c cleaning 6489 clauses out of 12996 with flag 17001/856579
124.41/74.58	c  And the winner is solver0
124.58/75.06	c Got one! Elapsed wall clock time (in seconds):74.943
124.58/75.06	o 39
125.05/75.31	c cleaning 6144 clauses out of 12306 with flag 5004/862378
125.59/75.68	c cleaning 6068 clauses out of 12160 with flag 11002/868376
126.52/76.19	c cleaning 6543 clauses out of 13091 with flag 18001/875375
127.65/76.72	c cleaning 7273 clauses out of 14548 with flag 26001/883375
128.76/77.31	c cleaning 8135 clauses out of 16274 with flag 35000/892374
129.49/77.71	c  And the winner is solver0
129.58/78.06	c Got one! Elapsed wall clock time (in seconds):77.944
129.58/78.06	o 37
130.25/78.42	c cleaning 9486 clauses out of 18988 with flag 5002/903223
130.98/78.85	c cleaning 7741 clauses out of 15501 with flag 11001/909222
131.91/79.37	c cleaning 7371 clauses out of 14759 with flag 18000/916221
132.99/80.00	c cleaning 7689 clauses out of 15390 with flag 26002/924223
134.11/80.51	c cleaning 8348 clauses out of 16701 with flag 35002/933223
135.24/81.12	c cleaning 9174 clauses out of 18351 with flag 45000/943221
136.37/81.78	c cleaning 10083 clauses out of 20177 with flag 56000/954221
137.89/82.57	c cleaning 11046 clauses out of 22095 with flag 68001/966222
139.42/83.39	c cleaning 12018 clauses out of 24049 with flag 81001/979222
141.34/84.38	c cleaning 13016 clauses out of 26031 with flag 95001/993222
143.66/85.54	c cleaning 14004 clauses out of 28017 with flag 110003/1008224
146.36/86.97	c cleaning 15004 clauses out of 30010 with flag 126000/1024221
149.28/88.44	c cleaning 15995 clauses out of 32006 with flag 143000/1041221
152.40/90.01	c cleaning 16999 clauses out of 34014 with flag 161003/1059224
155.12/91.49	c cleaning 18003 clauses out of 36012 with flag 180000/1078221
156.82/92.35	c  And the winner is solver0
157.02/92.67	c Got one! Elapsed wall clock time (in seconds):92.55
157.02/92.67	o 35
157.88/93.16	c cleaning 17947 clauses out of 35923 with flag 5002/1096135
158.80/93.63	c cleaning 11980 clauses out of 23976 with flag 11002/1102135
159.72/94.12	c cleaning 9491 clauses out of 18994 with flag 18000/1109133
160.85/94.72	c cleaning 8744 clauses out of 17505 with flag 26002/1117135
161.94/95.34	c cleaning 8874 clauses out of 17759 with flag 35000/1126133
163.06/95.97	c cleaning 9434 clauses out of 18885 with flag 45000/1136133
164.38/96.66	c cleaning 10220 clauses out of 20451 with flag 56000/1147133
165.90/97.45	c cleaning 11109 clauses out of 22232 with flag 68001/1159134
167.40/98.28	c  And the winner is solver0
167.57/98.37	c Got one! Elapsed wall clock time (in seconds):98.257
167.57/98.37	o 31
168.26/98.74	c cleaning 13792 clauses out of 27612 with flag 5001/1175623
168.97/99.16	c cleaning 9906 clauses out of 19823 with flag 11004/1181626
169.69/99.52	c  And the winner is solver0
169.84/99.87	c Got one! Elapsed wall clock time (in seconds):99.758
169.84/99.87	o 30
170.48/100.22	c cleaning 9972 clauses out of 19960 with flag 5005/1191669
171.20/100.60	c cleaning 7982 clauses out of 15984 with flag 11001/1197665
172.09/101.11	c cleaning 7487 clauses out of 15002 with flag 18001/1204665
172.79/101.53	c  And the winner is solver0
172.96/101.87	c Got one! Elapsed wall clock time (in seconds):101.76
172.96/101.87	o 29
173.41/102.19	c cleaning 9682 clauses out of 19386 with flag 5001/1216536
174.31/102.60	c cleaning 7840 clauses out of 15703 with flag 11000/1222535
175.03/103.03	c cleaning 7426 clauses out of 14864 with flag 18001/1229536
175.90/103.59	c cleaning 7706 clauses out of 15437 with flag 26000/1237535
177.02/104.19	c cleaning 8352 clauses out of 16731 with flag 35000/1246535
178.13/104.79	c  And the winner is solver0
178.32/104.88	c Got one! Elapsed wall clock time (in seconds):104.762
178.32/104.88	o 27
179.01/105.27	c cleaning 11292 clauses out of 22601 with flag 5001/1260757
179.92/105.70	c cleaning 8651 clauses out of 17309 with flag 11001/1266757
180.81/106.24	c cleaning 7820 clauses out of 15657 with flag 18000/1273756
181.73/106.76	c cleaning 7907 clauses out of 15838 with flag 26001/1281757
182.83/107.33	c cleaning 8458 clauses out of 16934 with flag 35004/1290760
183.75/107.89	c cleaning 9227 clauses out of 18473 with flag 45001/1300757
185.04/108.59	c cleaning 10108 clauses out of 20245 with flag 56000/1311756
186.36/109.25	c  And the winner is solver0
186.58/109.51	c Got one! Elapsed wall clock time (in seconds):109.395
186.58/109.51	o 26
187.36/109.95	c cleaning 13409 clauses out of 26842 with flag 5003/1328461
188.06/110.39	c cleaning 9703 clauses out of 19430 with flag 11000/1334458
188.97/110.84	c cleaning 8358 clauses out of 16730 with flag 18003/1341461
189.84/111.31	c cleaning 8177 clauses out of 16370 with flag 26001/1349459
190.75/111.84	c cleaning 8584 clauses out of 17192 with flag 35000/1358458
191.86/112.40	c cleaning 9293 clauses out of 18609 with flag 45001/1368459
192.97/113.06	c cleaning 10153 clauses out of 20318 with flag 56003/1379461
194.45/113.87	c cleaning 11069 clauses out of 22163 with flag 68001/1391459
196.37/114.82	c cleaning 12035 clauses out of 24095 with flag 81002/1404460
198.28/115.86	c cleaning 13022 clauses out of 26060 with flag 95002/1418460
199.00/116.29	c  And the winner is solver0
199.25/116.54	c Got one! Elapsed wall clock time (in seconds):116.426
199.25/116.54	o 25
199.96/116.91	c cleaning 12284 clauses out of 24574 with flag 5003/1429996
200.84/117.43	c cleaning 9142 clauses out of 18289 with flag 11002/1435995
201.56/117.88	c cleaning 8063 clauses out of 16146 with flag 18001/1442994
202.28/118.21	c  And the winner is solver0
202.38/118.56	c Got one! Elapsed wall clock time (in seconds):118.446
202.38/118.56	o 23
202.87/118.88	c cleaning 9069 clauses out of 18169 with flag 5001/1453080
203.57/119.28	c cleaning 7545 clauses out of 15104 with flag 11005/1459084
204.46/119.76	c cleaning 7269 clauses out of 14557 with flag 18003/1466082
204.80/119.96	c  And the winner is solver0
204.96/120.06	c Got one! Elapsed wall clock time (in seconds):119.948
204.96/120.06	o 21
205.28/120.23	c cleaning 6466 clauses out of 12950 with flag 3000/1471744
206.00/120.60	c cleaning 6236 clauses out of 12484 with flag 9000/1477744
206.72/121.06	c cleaning 6626 clauses out of 13251 with flag 16003/1484747
207.78/121.63	c cleaning 7310 clauses out of 14624 with flag 24002/1492746
208.89/122.22	c cleaning 8150 clauses out of 16312 with flag 33000/1501744
210.20/122.92	c cleaning 9081 clauses out of 18163 with flag 43001/1511745
211.51/123.62	c cleaning 10039 clauses out of 20081 with flag 54000/1522744
212.98/124.45	c cleaning 11018 clauses out of 22043 with flag 66001/1534745
214.71/125.40	c cleaning 12009 clauses out of 24024 with flag 79000/1547744
217.21/126.66	c cleaning 13005 clauses out of 26018 with flag 93003/1561747
219.52/127.89	c cleaning 14000 clauses out of 28010 with flag 108000/1576744
221.99/129.19	c cleaning 14997 clauses out of 30010 with flag 124000/1592744
224.90/130.66	c cleaning 16006 clauses out of 32017 with flag 141004/1609748
227.62/132.08	c cleaning 17003 clauses out of 34008 with flag 159001/1627745
230.92/133.71	c cleaning 17999 clauses out of 36004 with flag 178000/1646744
234.57/135.62	c cleaning 19002 clauses out of 38005 with flag 198000/1666744
238.48/137.63	c cleaning 19995 clauses out of 40004 with flag 219001/1687745
243.00/139.99	c cleaning 21003 clauses out of 42009 with flag 241001/1709745
248.10/142.59	c cleaning 21997 clauses out of 44006 with flag 264001/1732745
253.76/145.47	c cleaning 23004 clauses out of 46009 with flag 288001/1756745
258.66/147.91	c cleaning 24001 clauses out of 48004 with flag 313000/1781744
262.97/150.12	c cleaning 24997 clauses out of 50008 with flag 339005/1807749
263.10/150.27	c  And the winner is solver0
263.48/150.66	c Got one! Elapsed wall clock time (in seconds):150.545
263.48/150.66	o 20
264.29/151.14	c cleaning 15332 clauses out of 30678 with flag 5001/1813416
265.14/151.70	c cleaning 10661 clauses out of 21345 with flag 11000/1819415
266.24/152.22	c cleaning 8838 clauses out of 17687 with flag 18003/1826418
267.14/152.76	c cleaning 8414 clauses out of 16851 with flag 26005/1834420
268.25/153.34	c cleaning 8704 clauses out of 17432 with flag 35000/1843415
269.53/154.03	c cleaning 9360 clauses out of 18732 with flag 45004/1853419
270.83/154.76	c cleaning 10185 clauses out of 20369 with flag 56001/1864416
272.34/155.54	c cleaning 11090 clauses out of 22184 with flag 68001/1876416
274.04/156.45	c cleaning 12046 clauses out of 24096 with flag 81003/1889418
276.09/157.56	c cleaning 13024 clauses out of 26049 with flag 95002/1903417
278.19/158.68	c cleaning 14012 clauses out of 28026 with flag 110003/1918418
280.49/159.89	c cleaning 15001 clauses out of 30011 with flag 126000/1934415
283.01/161.17	c cleaning 16005 clauses out of 32014 with flag 143004/1951419
285.66/162.58	c cleaning 16999 clauses out of 34006 with flag 161001/1969416
288.97/164.27	c cleaning 18002 clauses out of 36007 with flag 180001/1988416
292.68/166.12	c cleaning 19003 clauses out of 38005 with flag 200001/2008416
294.38/167.07	c  And the winner is solver0
295.62/168.29	c Got one! Elapsed wall clock time (in seconds):168.173
295.62/168.29	o 19
296.47/168.74	c cleaning 18474 clauses out of 36961 with flag 5000/2026375
297.32/169.27	c cleaning 12238 clauses out of 24488 with flag 11001/2032376
298.22/169.76	c cleaning 9616 clauses out of 19249 with flag 18000/2039375
299.11/170.27	c cleaning 8806 clauses out of 17633 with flag 26000/2047375
300.21/170.88	c cleaning 8902 clauses out of 17828 with flag 35001/2056376
301.50/171.56	c cleaning 9462 clauses out of 18925 with flag 45000/2066375
302.98/172.31	c cleaning 10225 clauses out of 20465 with flag 56002/2077377
304.89/173.30	c cleaning 11119 clauses out of 22241 with flag 68003/2089378
306.58/174.27	c cleaning 12060 clauses out of 24121 with flag 81002/2102377
308.82/175.45	c cleaning 13030 clauses out of 26060 with flag 95001/2116376
311.12/176.69	c cleaning 14013 clauses out of 28031 with flag 110002/2131377
313.62/177.96	c cleaning 15002 clauses out of 30018 with flag 126002/2147377
316.52/179.46	c cleaning 16007 clauses out of 32014 with flag 143000/2164375
319.37/180.97	c cleaning 17002 clauses out of 34008 with flag 161001/2182376
322.68/182.64	c cleaning 18003 clauses out of 36007 with flag 180002/2201377
322.97/182.88	c  And the winner is solver0
323.20/183.12	c Got one! Elapsed wall clock time (in seconds):183.008
323.20/183.12	o 18
323.75/183.40	c cleaning 11501 clauses out of 23029 with flag 3000/2206402
324.44/183.85	c cleaning 8749 clauses out of 17529 with flag 9001/2212403
325.27/184.38	c cleaning 7883 clauses out of 15784 with flag 16005/2219407
326.37/184.93	c cleaning 7940 clauses out of 15900 with flag 24004/2227406
327.46/185.52	c cleaning 8468 clauses out of 16958 with flag 33002/2236404
328.57/186.16	c cleaning 9233 clauses out of 18488 with flag 43000/2246402
329.83/186.90	c cleaning 10116 clauses out of 20256 with flag 54001/2257403
331.53/187.74	c cleaning 11067 clauses out of 22141 with flag 66002/2269404
333.23/188.61	c cleaning 12028 clauses out of 24073 with flag 79001/2282403
334.94/189.55	c cleaning 13015 clauses out of 26045 with flag 93001/2296403
336.83/190.54	c cleaning 14014 clauses out of 28029 with flag 108000/2311402
339.32/191.84	c cleaning 15007 clauses out of 30015 with flag 124000/2327402
342.02/193.27	c cleaning 16003 clauses out of 32009 with flag 141001/2344403
342.53/193.51	c  And the winner is solver0
342.65/193.73	c Got one! Elapsed wall clock time (in seconds):193.61
342.65/193.73	o 17
342.99/193.94	c cleaning 10619 clauses out of 21252 with flag 3000/2349649
343.82/194.44	c cleaning 8312 clauses out of 16634 with flag 9001/2355650
344.72/194.90	c cleaning 7653 clauses out of 15325 with flag 16004/2362653
345.62/195.42	c cleaning 7818 clauses out of 15670 with flag 24002/2370651
346.72/196.00	c cleaning 8415 clauses out of 16850 with flag 33000/2379649
347.97/196.71	c cleaning 9204 clauses out of 18435 with flag 43000/2389649
349.27/197.49	c cleaning 10109 clauses out of 20233 with flag 54002/2400651
350.95/198.34	c cleaning 11052 clauses out of 22126 with flag 66004/2412653
352.65/199.24	c cleaning 12024 clauses out of 24073 with flag 79003/2425652
354.69/200.31	c cleaning 13018 clauses out of 26047 with flag 93001/2439650
356.78/201.47	c cleaning 14008 clauses out of 28036 with flag 108008/2454657
359.29/202.72	c cleaning 15003 clauses out of 30027 with flag 124007/2470656
361.78/204.06	c cleaning 16002 clauses out of 32018 with flag 141001/2487650
364.21/205.39	c cleaning 16997 clauses out of 34015 with flag 159000/2505649
367.12/206.86	c cleaning 17998 clauses out of 36018 with flag 178000/2524649
367.80/207.25	c  And the winner is solver0
368.06/207.51	c Got one! Elapsed wall clock time (in seconds):207.39
368.06/207.51	o 15
368.65/207.86	c cleaning 14368 clauses out of 28736 with flag 5000/2535365
369.54/208.35	c cleaning 10184 clauses out of 20368 with flag 11000/2541365
370.37/208.86	c cleaning 8590 clauses out of 17187 with flag 18003/2548368
371.28/209.35	c cleaning 8294 clauses out of 16595 with flag 26001/2556366
371.59/209.55	c  And the winner is solver0
371.95/210.03	c Got one! Elapsed wall clock time (in seconds):209.92
371.95/210.03	o 14
372.27/210.20	c cleaning 6812 clauses out of 13646 with flag 3001/2561711
372.96/210.60	c cleaning 6407 clauses out of 12834 with flag 9001/2567711
373.82/211.11	c cleaning 6710 clauses out of 13428 with flag 16002/2574712
374.70/211.63	c cleaning 7359 clauses out of 14719 with flag 24003/2582713
375.81/212.23	c cleaning 8179 clauses out of 16357 with flag 33000/2591710
377.09/212.91	c cleaning 9084 clauses out of 18178 with flag 43000/2601710
378.56/213.78	c cleaning 10047 clauses out of 20095 with flag 54001/2612711
380.26/214.65	c cleaning 11023 clauses out of 22047 with flag 66000/2624710
381.96/215.58	c cleaning 12012 clauses out of 24026 with flag 79002/2637712
384.06/216.61	c cleaning 13001 clauses out of 26013 with flag 93001/2651711
386.14/217.71	c cleaning 14000 clauses out of 28014 with flag 108003/2666713
388.23/218.85	c cleaning 15000 clauses out of 30012 with flag 124001/2682711
390.70/220.18	c cleaning 16004 clauses out of 32012 with flag 141001/2699711
393.39/221.55	c cleaning 17001 clauses out of 34008 with flag 159001/2717711
396.24/223.06	c cleaning 18003 clauses out of 36010 with flag 178004/2736714
399.34/224.61	c cleaning 18999 clauses out of 38003 with flag 198000/2756710
402.84/226.48	c cleaning 20003 clauses out of 40006 with flag 219002/2777712
406.94/228.50	c cleaning 20994 clauses out of 42001 with flag 241000/2799710
410.99/230.63	c cleaning 22003 clauses out of 44007 with flag 264000/2822710
415.48/232.95	c cleaning 23002 clauses out of 46004 with flag 288000/2846710
419.97/235.22	c cleaning 23994 clauses out of 48002 with flag 313000/2871710
424.25/237.44	c cleaning 24999 clauses out of 50008 with flag 339000/2897710
429.88/240.33	c cleaning 26007 clauses out of 52013 with flag 366004/2924714
435.99/243.40	c cleaning 27003 clauses out of 54006 with flag 394004/2952714
441.90/246.45	c cleaning 27994 clauses out of 55999 with flag 423000/2981710
447.58/249.38	c cleaning 28994 clauses out of 58005 with flag 453000/3011710
453.23/252.26	c cleaning 30001 clauses out of 60012 with flag 484001/3042711
459.31/255.31	c cleaning 31001 clauses out of 62011 with flag 516001/3074711
465.62/258.56	c cleaning 32005 clauses out of 64009 with flag 549000/3107710
472.50/262.03	c cleaning 33001 clauses out of 66004 with flag 583000/3141710
481.14/266.43	c cleaning 34002 clauses out of 68003 with flag 618000/3176710
488.24/270.09	c cleaning 34996 clauses out of 70001 with flag 654000/3212710
495.75/273.90	c cleaning 35998 clauses out of 72005 with flag 691000/3249710
502.82/277.41	c cleaning 37001 clauses out of 74007 with flag 729000/3287710
510.85/281.55	c cleaning 37998 clauses out of 76007 with flag 768001/3326711
518.32/285.31	c cleaning 39001 clauses out of 78008 with flag 808000/3366710
525.60/289.04	c cleaning 40001 clauses out of 80010 with flag 849003/3407713
534.91/293.71	c cleaning 41000 clauses out of 82006 with flag 891000/3449710
544.35/298.52	c cleaning 41998 clauses out of 84007 with flag 934001/3492711
553.43/303.12	c cleaning 43003 clauses out of 86008 with flag 978000/3536710
562.52/307.72	c cleaning 44002 clauses out of 88006 with flag 1023001/3581711
571.01/312.03	c cleaning 44996 clauses out of 90003 with flag 1069000/3627710
580.44/316.81	c cleaning 45994 clauses out of 92007 with flag 1116000/3674710
590.14/321.72	c cleaning 47006 clauses out of 94014 with flag 1164001/3722711
601.22/327.38	c cleaning 48002 clauses out of 96009 with flag 1213002/3771712
613.73/333.63	c cleaning 49002 clauses out of 98006 with flag 1263001/3821711
627.54/340.61	c cleaning 49996 clauses out of 100003 with flag 1314000/3872710
639.84/346.86	c cleaning 51003 clauses out of 102007 with flag 1366000/3924710
653.53/353.77	c cleaning 51997 clauses out of 104006 with flag 1419002/3977712
659.21/356.60	c  And the winner is solver0
658.74/357.02	c Got one! Elapsed wall clock time (in seconds):356.908
658.74/357.02	o 12
660.50/357.97	c cleaning 40581 clauses out of 81184 with flag 5001/4006887
661.89/358.71	c cleaning 23291 clauses out of 46608 with flag 11006/4012892
662.77/359.28	c cleaning 15145 clauses out of 30312 with flag 18001/4019887
663.84/359.87	c cleaning 11575 clauses out of 23166 with flag 26000/4027886
664.92/360.48	c cleaning 10288 clauses out of 20591 with flag 35000/4036886
666.19/361.13	c cleaning 10142 clauses out of 20304 with flag 45001/4046887
667.68/361.92	c cleaning 10570 clauses out of 21162 with flag 56001/4057887
669.15/362.75	c cleaning 11286 clauses out of 22591 with flag 68000/4069886
671.04/363.72	c cleaning 12152 clauses out of 24316 with flag 81011/4082897
673.10/364.81	c cleaning 13065 clauses out of 26153 with flag 95000/4096886
675.19/365.92	c cleaning 14039 clauses out of 28092 with flag 110004/4111890
677.47/367.20	c cleaning 15014 clauses out of 30049 with flag 126000/4127886
679.96/368.44	c cleaning 16011 clauses out of 32039 with flag 143004/4144890
682.44/369.79	c cleaning 17004 clauses out of 34027 with flag 161003/4162889
685.32/371.26	c cleaning 17997 clauses out of 36021 with flag 180001/4181887
688.42/372.90	c cleaning 19012 clauses out of 38024 with flag 200001/4201887
692.29/374.84	c cleaning 20007 clauses out of 40015 with flag 221004/4222890
696.11/376.87	c cleaning 20996 clauses out of 42004 with flag 243000/4244886
700.39/379.00	c cleaning 22005 clauses out of 44015 with flag 266007/4267893
705.07/381.41	c cleaning 22995 clauses out of 46003 with flag 290000/4291886
710.34/384.16	c cleaning 24005 clauses out of 48010 with flag 315002/4316888
715.55/386.89	c cleaning 24996 clauses out of 50004 with flag 341001/4342887
721.43/389.82	c cleaning 26002 clauses out of 52009 with flag 368002/4369888
727.11/392.75	c cleaning 27002 clauses out of 54009 with flag 396004/4397890
733.59/396.02	c cleaning 28002 clauses out of 56005 with flag 425002/4426888
740.03/399.39	c cleaning 28997 clauses out of 58003 with flag 455002/4456888
747.51/403.10	c cleaning 30003 clauses out of 60006 with flag 486002/4487888
755.40/407.17	c cleaning 30997 clauses out of 62003 with flag 518002/4519888
763.07/411.06	c cleaning 32000 clauses out of 64008 with flag 551004/4552890
770.09/414.66	c cleaning 32998 clauses out of 66004 with flag 585000/4586886
777.55/418.44	c cleaning 34003 clauses out of 68006 with flag 620000/4621886
784.63/422.08	c cleaning 34996 clauses out of 70003 with flag 656000/4657886
792.90/426.29	c cleaning 36003 clauses out of 72009 with flag 693002/4694888
801.33/430.50	c cleaning 36998 clauses out of 74005 with flag 731001/4732887
811.09/435.47	c cleaning 37998 clauses out of 76006 with flag 770000/4771886
820.78/440.37	c cleaning 39003 clauses out of 78010 with flag 810002/4811888
832.27/446.13	c cleaning 40001 clauses out of 80005 with flag 851000/4852886
842.67/451.43	c cleaning 40997 clauses out of 82004 with flag 893000/4894886
855.35/457.87	c cleaning 41998 clauses out of 84007 with flag 936000/4937886
867.90/464.14	c cleaning 43001 clauses out of 86009 with flag 980000/4981886
880.78/470.63	c cleaning 43999 clauses out of 88008 with flag 1025000/5026886
890.77/475.78	c cleaning 44999 clauses out of 90009 with flag 1071000/5072886
900.86/480.81	c cleaning 46003 clauses out of 92010 with flag 1118000/5119886
909.57/485.28	c cleaning 47001 clauses out of 94009 with flag 1166002/5167888
919.24/490.14	c cleaning 48002 clauses out of 96006 with flag 1215000/5216886
929.43/495.38	c cleaning 48995 clauses out of 98006 with flag 1265002/5266888
942.15/501.78	c cleaning 49999 clauses out of 100010 with flag 1316001/5317887
955.62/508.51	c cleaning 51003 clauses out of 102011 with flag 1368001/5369887
969.35/515.42	c cleaning 52002 clauses out of 104007 with flag 1421000/5422886
982.58/522.12	c cleaning 53001 clauses out of 106006 with flag 1475001/5476887
997.65/529.76	c cleaning 53999 clauses out of 108004 with flag 1530000/5531886
1010.31/536.17	c cleaning 54996 clauses out of 110006 with flag 1586001/5587887
1026.38/544.27	c cleaning 55999 clauses out of 112009 with flag 1643000/5644886
1041.76/552.06	c cleaning 57002 clauses out of 114010 with flag 1701000/5702886
1057.04/559.80	c cleaning 58004 clauses out of 116009 with flag 1760001/5761887
1075.69/569.11	c cleaning 58997 clauses out of 118004 with flag 1820000/5821886
1093.57/578.10	c cleaning 60004 clauses out of 120007 with flag 1881000/5882886
1111.95/587.46	c cleaning 60994 clauses out of 122003 with flag 1943000/5944886
1132.81/597.93	c cleaning 62003 clauses out of 124010 with flag 2006001/6007887
1151.50/607.37	c cleaning 62997 clauses out of 126007 with flag 2070001/6071887
1170.36/616.89	c cleaning 64004 clauses out of 128010 with flag 2135001/6136887
1190.94/627.28	c cleaning 65003 clauses out of 130006 with flag 2201001/6202887
1212.81/638.29	c cleaning 66002 clauses out of 132003 with flag 2268001/6269887
1232.49/648.18	c cleaning 66996 clauses out of 134001 with flag 2336001/6337887
1251.35/657.66	c cleaning 67995 clauses out of 136004 with flag 2405000/6406886
1274.72/669.49	c cleaning 69000 clauses out of 138009 with flag 2475000/6476886
1300.17/682.25	c cleaning 70000 clauses out of 140009 with flag 2546000/6547886
1326.65/695.58	c cleaning 71005 clauses out of 142010 with flag 2618001/6619887
1355.31/709.91	c cleaning 71999 clauses out of 144004 with flag 2691000/6692886
1379.08/721.98	c cleaning 72998 clauses out of 146008 with flag 2765003/6766889
1404.34/734.69	c cleaning 74003 clauses out of 148011 with flag 2840004/6841890
1430.85/747.96	c cleaning 74998 clauses out of 150005 with flag 2916001/6917887
1456.53/760.88	c cleaning 76004 clauses out of 152009 with flag 2993003/6994889
1480.92/773.14	c cleaning 76996 clauses out of 154002 with flag 3071000/7072886
1516.51/790.96	c cleaning 77994 clauses out of 156007 with flag 3150001/7151887
1547.58/806.55	c cleaning 79004 clauses out of 158013 with flag 3230001/7231887
1574.25/820.07	c cleaning 79999 clauses out of 160009 with flag 3311001/7312887
1604.44/835.12	c cleaning 81000 clauses out of 162011 with flag 3393002/7394888
1634.96/850.42	c cleaning 82002 clauses out of 164010 with flag 3476001/7477887
1666.09/866.04	c cleaning 83000 clauses out of 166007 with flag 3560000/7561886
1704.52/885.37	c cleaning 83994 clauses out of 168007 with flag 3645000/7646886
1737.99/902.16	c cleaning 85004 clauses out of 170016 with flag 3731003/7732889
1768.10/917.12	c cleaning 86003 clauses out of 172011 with flag 3818002/7819888
1796.23/931.26	c cleaning 86999 clauses out of 174006 with flag 3906000/7907886
1799.40/932.91	c starts		: 535
1799.40/932.91	c conflicts		: 7923395
1799.40/932.91	c decisions		: 8315441
1799.40/932.91	c propagations		: 68153789
1799.40/932.91	c inspects		: 11187991997
1799.40/932.91	c shortcuts		: 0
1799.40/932.91	c learnt literals	: 0
1799.40/932.91	c learnt binary clauses	: 0
1799.40/932.91	c learnt ternary clauses	: 0
1799.40/932.91	c learnt constraints	: 7923396
1799.40/932.91	c ignored constraints	: 0
1799.40/932.91	c root simplifications	: 0
1799.40/932.91	c removed literals (reason simplification)	: 53438394
1799.40/932.91	c reason swapping (by a shorter reason)	: 0
1799.40/932.91	c Calls to reduceDB	: 351
1799.40/932.91	c number of reductions to clauses (during analyze)	: 0
1799.40/932.91	c number of learned constraints concerned by reduction	: 0
1799.40/932.91	c number of learning phase by resolution	: 0
1799.40/932.91	c number of learning phase by cutting planes	: 0
1799.40/932.91	c speed (assignments/second)	: 77035.2816575846
1799.40/932.91	c non guided choices	1178
1799.40/932.94	c learnt constraints type 
1799.40/932.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 102772
1799.40/932.94	c constraints type 
1799.40/932.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13
1799.40/932.94	c 13 constraints processed.
1799.40/932.94	c constraints type 
1799.40/932.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13
1799.40/932.94	c 13 constraints processed.
1799.40/932.94	s SATISFIABLE
1799.40/932.94	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 
1799.40/932.94	c objective function=12
1799.40/932.94	c Total wall clock time (in seconds): 932.826

Verifier Data

OK	12

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-3688212-1337875996/watcher-3688212-1337875996 -o /tmp/evaluation-result-3688212-1337875996/solver-3688212-1337875996 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688212-1337875996.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: 4.03 4.07 3.91 4/197 23452
/proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23452/stat : 23452 (java) R 23450 23452 22409 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253726907 9515008 182 33554432000 1073741824 1073778376 140733233614768 140733233605800 213866331829 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23452/statm: 2323 182 140 9 0 71 0

[startup+0.0705131 s]
/proc/loadavg: 4.03 4.07 3.91 4/197 23452
/proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 3212 0 1 0 4 0 0 0 20 0 18 0 253726907 9787813888 4421 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2389603 4421 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412

[startup+0.100256 s]
/proc/loadavg: 4.03 4.07 3.91 4/197 23452
/proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 4307 0 1 0 8 0 0 0 20 0 18 0 253726907 9787813888 5501 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2389603 5501 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300222 s]
/proc/loadavg: 4.03 4.07 3.91 4/197 23452
/proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 7530 0 1 0 43 3 0 0 20 0 19 0 253726907 10060460032 9280 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2456167 9280 2220 9 0 2446860 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9824668

[startup+0.700206 s]
/proc/loadavg: 4.03 4.07 3.91 4/197 23452
/proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 7588 0 1 0 52 5 0 0 20 0 19 0 253726907 10060460032 10353 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2456167 10353 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9824668

[startup+1.50063 s]
/proc/loadavg: 4.03 4.07 3.91 3/216 23477
/proc/meminfo: memFree=27520512/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9824668 CPUtime=0.85 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 9936 0 1 0 77 8 0 0 20 0 19 0 253726907 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2456167 12039 2238 9 0 2446860 0
[pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2439 0 1 0 13 0 0 0 20 0 19 0 253726908 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253726910 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 1505 0 0 0 19 0 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 4649 0 0 0 28 1 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23473] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23473/stat : 23473 (java) S 23450 23452 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253726924 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 9824668

[startup+3.10066 s]
/proc/loadavg: 4.03 4.07 3.91 3/216 23483
/proc/meminfo: memFree=27511272/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9824668 CPUtime=3.49 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 22243 0 1 0 334 15 0 0 20 0 19 0 253726907 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2456167 37704 2278 9 0 2446860 0
[pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2440 0 1 0 13 0 0 0 20 0 19 0 253726908 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253726910 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.81 cores=1,3,5,7
/proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5292 0 0 0 81 0 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 13043 0 0 0 95 2 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9824668

[startup+6.3007 s]
/proc/loadavg: 3.87 4.03 3.90 3/216 23501
/proc/meminfo: memFree=27416008/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9824668 CPUtime=3.74 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 22305 0 1 0 350 24 0 0 20 0 19 0 253726907 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2456167 37589 2278 9 0 2446860 0
[pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2441 0 1 0 14 0 0 0 20 0 19 0 253726908 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253726910 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.81 cores=1,3,5,7
/proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5292 0 0 0 81 0 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 13044 0 0 0 96 3 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23489] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23489/stat : 23489 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253727224 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9824668
heavy processes:

[startup+12.7008 s]
/proc/loadavg: 3.88 4.03 3.90 4/219 23510

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

[pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 912 0 0 0 128 5 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1273 0 0 0 133 6 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 909 0 0 0 126 7 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 921 0 0 0 146 5 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 882 0 0 0 127 6 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=39.26 cores=1,3,5,7
/proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 922 0 0 0 3901 25 0 0 20 0 22 0 253726910 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5295 0 0 0 84 0 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 14748 0 0 0 129 3 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 51 0 0 0 10 14 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23513] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23513/stat : 23513 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253731728 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23689] ppid=23450 vsize=9824668 CPUtime=509.26 cores=1,3,5,7
/proc/23452/task/23689/stat : 23689 (java) R 23450 23452 22409 0 -1 4202560 134 0 0 0 50919 7 0 0 20 0 22 0 253762610 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390122339360 140390754067841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23690] ppid=23450 vsize=9824668 CPUtime=509.32 cores=1,3,5,7
/proc/23452/task/23690/stat : 23690 (java) R 23450 23452 22409 0 -1 4202560 627 0 0 0 50922 10 0 0 20 0 22 0 253762610 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390125498096 140390754342053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23691] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23691/stat : 23691 (java) S 23450 23452 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253762641 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390124447016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1698.49
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+932.901 s]
/proc/loadavg: 4.02 4.02 3.93 5/219 23696
/proc/meminfo: memFree=26454224/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9824668 CPUtime=1799.4 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 35006 0 1 0 179732 208 0 0 20 0 22 0 253726907 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2456167 285160 2280 9 0 2446860 0
[pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2519 0 1 0 18 2 0 0 20 0 22 0 253726908 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 745 0 0 0 140 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=1.52 cores=1,3,5,7
/proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1084 0 0 0 148 4 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=1.57 cores=1,3,5,7
/proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 806 0 0 0 149 8 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 941 0 0 0 140 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=1.5 cores=1,3,5,7
/proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1283 0 0 0 144 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=1.49 cores=1,3,5,7
/proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 936 0 0 0 141 8 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 944 0 0 0 161 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=1.48 cores=1,3,5,7
/proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 901 0 0 0 141 7 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=40.07 cores=1,3,5,7
/proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 980 0 0 0 3981 26 0 0 20 0 22 0 253726910 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5295 0 0 0 84 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 14748 0 0 0 129 3 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 53 0 0 0 10 16 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23513] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23513/stat : 23513 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253731728 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23689] ppid=23450 vsize=9824668 CPUtime=558.61 cores=1,3,5,7
/proc/23452/task/23689/stat : 23689 (java) R 23450 23452 22409 0 -1 4202560 137 0 0 0 55853 8 0 0 20 0 22 0 253762610 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390122341216 140390754213234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23690] ppid=23450 vsize=9824668 CPUtime=558.67 cores=1,3,5,7
/proc/23452/task/23690/stat : 23690 (java) R 23450 23452 22409 0 -1 4202560 637 0 0 0 55856 11 0 0 20 0 22 0 253762610 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390125497008 140390754165535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23691] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23691/stat : 23691 (java) S 23450 23452 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253762641 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390124447016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
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+932.901 s]
/proc/loadavg: 4.02 4.02 3.93 5/219 23696
/proc/meminfo: memFree=26454224/32873648 swapFree=6336/6336
[pid=23452] ppid=23450 vsize=9824668 CPUtime=1799.4 cores=1,3,5,7
/proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 35006 0 1 0 179732 208 0 0 20 0 22 0 253726907 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23452/statm: 2456167 285160 2280 9 0 2446860 0
[pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2519 0 1 0 18 2 0 0 20 0 22 0 253726908 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 745 0 0 0 140 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=1.52 cores=1,3,5,7
/proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1084 0 0 0 148 4 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=1.57 cores=1,3,5,7
/proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 806 0 0 0 149 8 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 941 0 0 0 140 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=1.5 cores=1,3,5,7
/proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1283 0 0 0 144 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=1.49 cores=1,3,5,7
/proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 936 0 0 0 141 8 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 944 0 0 0 161 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=1.48 cores=1,3,5,7
/proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 901 0 0 0 141 7 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=40.07 cores=1,3,5,7
/proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 980 0 0 0 3981 26 0 0 20 0 22 0 253726910 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5295 0 0 0 84 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 14748 0 0 0 129 3 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 53 0 0 0 10 16 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23513] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23513/stat : 23513 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253731728 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23452/tid=23689] ppid=23450 vsize=9824668 CPUtime=558.61 cores=1,3,5,7
/proc/23452/task/23689/stat : 23689 (java) R 23450 23452 22409 0 -1 4202560 137 0 0 0 55853 8 0 0 20 0 22 0 253762610 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390122341216 140390754213234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23452/tid=23690] ppid=23450 vsize=9824668 CPUtime=558.67 cores=1,3,5,7
/proc/23452/task/23690/stat : 23690 (java) R 23450 23452 22409 0 -1 4202560 637 0 0 0 55856 11 0 0 20 0 22 0 253762610 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390125497008 140390754165535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23452/tid=23691] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23452/task/23691/stat : 23691 (java) S 23450 23452 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253762641 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390124447016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23452 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=479197
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=421631
# CPU time returned by wait4() is 1796.9
# while last known CPU time is 1799.4
#
# 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.619926
#  lost CPU user time (s): 0.699966
#  lost CPU system time (s): -0.08

Real time (s): 932.953
CPU time (s): 1800.02
CPU user time (s): 1798.02
CPU system time (s): 2
CPU usage (%): 192.938
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.48
system time used= 2.42163
maximum resident set size= 1140784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35044
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35056
involuntary context switches= 32682

runsolver used 3.35049 second user time and 8.00378 second system time

The end

Launcher Data

Begin job on node112 at 2012-05-24 18:13:16
IDJOB=3688212
IDBENCH=2902
IDSOLVER=2268
FILE ID=node112/3688212-1337875996
RUNJOBID= node112-1337871881-22426
PBS_JOBID= 14620092
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=2101193667

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27553116 kB
Buffers:          192364 kB
Cached:          3545816 kB
SwapCached:            0 kB
Active:          1291992 kB
Inactive:        3264492 kB
Active(anon):     820000 kB
Inactive(anon):      508 kB
Active(file):     471992 kB
Inactive(file):  3263984 kB
Unevictable:        6336 kB
Mlocked:            6336 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:                92 kB
Writeback:             0 kB
AnonPages:        836580 kB
Mapped:            22564 kB
Shmem:               200 kB
Slab:             625848 kB
SReclaimable:      69836 kB
SUnreclaim:       556012 kB
KernelStack:        1784 kB
PageTables:         6340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1228032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    770048 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= 71700 MiB
End job on node112 at 2012-05-24 18:28:51