Trace number 3688207

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 Resolution 2.3.2 SnapshotSAT (TO)2 1800.47 1793.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
MD5SUM455599f2e36aed56b051b7169c43fa6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark305.689
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3997
Number of bits of the biggest sum of numbers12
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3688207-1337880880.opb
0.07/0.13	c reading problem ... 
0.07/0.16	c ... done. Wall clock time 0.03s.
0.07/0.16	c declared #vars     120
0.07/0.16	c #constraints  10
0.07/0.16	c constraints type 
0.07/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.07/0.16	c 10 constraints processed.
0.07/0.16	c objective function length is 80 literals
0.25/0.21	c SATISFIABLE
0.25/0.21	c OPTIMIZING...
0.25/0.21	c Got one! Elapsed wall clock time (in seconds):0.077
0.25/0.21	o 234
0.25/0.23	c Got one! Elapsed wall clock time (in seconds):0.099
0.25/0.23	o 228
0.25/0.27	c Got one! Elapsed wall clock time (in seconds):0.137
0.25/0.27	o 226
0.25/0.28	c Got one! Elapsed wall clock time (in seconds):0.147
0.25/0.28	o 224
0.25/0.28	c Got one! Elapsed wall clock time (in seconds):0.154
0.25/0.28	o 222
0.25/0.29	c Got one! Elapsed wall clock time (in seconds):0.163
0.25/0.29	o 220
0.49/0.30	c Got one! Elapsed wall clock time (in seconds):0.171
0.49/0.30	o 157
0.49/0.31	c Got one! Elapsed wall clock time (in seconds):0.179
0.49/0.31	o 155
0.49/0.32	c Got one! Elapsed wall clock time (in seconds):0.187
0.49/0.32	o 153
0.49/0.33	c Got one! Elapsed wall clock time (in seconds):0.197
0.49/0.33	o 151
0.49/0.34	c Got one! Elapsed wall clock time (in seconds):0.211
0.49/0.34	o 150
0.49/0.36	c Got one! Elapsed wall clock time (in seconds):0.235
0.49/0.36	o 148
0.49/0.37	c Got one! Elapsed wall clock time (in seconds):0.242
0.49/0.37	o 147
0.49/0.38	c Got one! Elapsed wall clock time (in seconds):0.254
0.49/0.38	o 145
0.63/0.46	c Got one! Elapsed wall clock time (in seconds):0.328
0.63/0.46	o 143
0.63/0.47	c Got one! Elapsed wall clock time (in seconds):0.341
0.63/0.47	o 119
0.74/0.50	c Got one! Elapsed wall clock time (in seconds):0.375
0.74/0.50	o 118
0.74/0.57	c Got one! Elapsed wall clock time (in seconds):0.442
0.74/0.57	o 117
0.74/0.58	c Got one! Elapsed wall clock time (in seconds):0.449
0.74/0.58	o 116
0.85/0.60	c Got one! Elapsed wall clock time (in seconds):0.469
0.85/0.60	o 43
0.85/0.64	c Got one! Elapsed wall clock time (in seconds):0.511
0.85/0.64	o 42
0.85/0.67	c Got one! Elapsed wall clock time (in seconds):0.542
0.85/0.67	o 41
0.98/0.75	c cleaning 6395 clauses out of 12806 with flag 1005/12806
0.98/0.79	c Got one! Elapsed wall clock time (in seconds):0.659
0.98/0.79	o 39
1.11/0.86	c Got one! Elapsed wall clock time (in seconds):0.736
1.11/0.86	o 37
1.21/0.91	c Got one! Elapsed wall clock time (in seconds):0.78
1.21/0.91	o 36
1.21/1.00	c cleaning 6337 clauses out of 12675 with flag 2001/19070
1.33/1.02	c Got one! Elapsed wall clock time (in seconds):0.889
1.33/1.02	o 34
1.54/1.23	c cleaning 5863 clauses out of 11726 with flag 5000/24458
1.78/1.47	c cleaning 5932 clauses out of 11864 with flag 11001/30459
1.88/1.59	c Got one! Elapsed wall clock time (in seconds):1.464
1.88/1.59	o 32
1.98/1.69	c cleaning 5475 clauses out of 10950 with flag 2002/35477
2.09/1.72	c Got one! Elapsed wall clock time (in seconds):1.595
2.09/1.72	o 30
2.29/1.91	c cleaning 5591 clauses out of 11184 with flag 5001/41186
2.29/1.95	c Got one! Elapsed wall clock time (in seconds):1.821
2.29/1.95	o 29
2.44/2.01	c Got one! Elapsed wall clock time (in seconds):1.879
2.44/2.01	o 25
2.62/2.15	c cleaning 5684 clauses out of 11379 with flag 3000/46972
2.82/2.31	c Got one! Elapsed wall clock time (in seconds):2.182
2.82/2.31	o 23
2.92/2.49	c cleaning 8065 clauses out of 16138 with flag 5001/57415
3.02/2.57	c Got one! Elapsed wall clock time (in seconds):2.437
3.02/2.57	o 20
3.22/2.70	c cleaning 6786 clauses out of 13574 with flag 3000/62916
3.42/2.92	c cleaning 6391 clauses out of 12788 with flag 9000/68916
3.63/3.19	c cleaning 6698 clauses out of 13399 with flag 16002/75918
4.03/3.50	c cleaning 7350 clauses out of 14699 with flag 24000/83916
4.34/3.83	c cleaning 8177 clauses out of 16354 with flag 33005/92921
4.75/4.21	c cleaning 9085 clauses out of 18173 with flag 43001/102917
5.15/4.64	c Got one! Elapsed wall clock time (in seconds):4.514
5.15/4.64	o 19
5.45/4.95	c cleaning 12497 clauses out of 24994 with flag 5001/118823
5.76/5.22	c cleaning 9247 clauses out of 18497 with flag 11001/124823
5.98/5.47	c Got one! Elapsed wall clock time (in seconds):5.339
5.98/5.47	o 18
6.27/5.74	c cleaning 10494 clauses out of 21009 with flag 5000/136582
6.48/5.95	c cleaning 8251 clauses out of 16515 with flag 11000/142582
6.78/6.23	c cleaning 7630 clauses out of 15265 with flag 18001/149583
6.78/6.25	c Got one! Elapsed wall clock time (in seconds):6.125
6.78/6.25	o 16
6.98/6.42	c cleaning 6603 clauses out of 13205 with flag 5000/155153
7.19/6.61	c cleaning 6302 clauses out of 12604 with flag 11002/161155
7.38/6.83	c cleaning 6648 clauses out of 13300 with flag 18000/168153
7.58/7.08	c cleaning 7326 clauses out of 14654 with flag 26002/176155
7.68/7.19	c Got one! Elapsed wall clock time (in seconds):7.062
7.68/7.19	o 15
7.78/7.26	c cleaning 6342 clauses out of 12695 with flag 2000/181522
7.88/7.37	c Got one! Elapsed wall clock time (in seconds):7.241
7.88/7.37	o 14
7.98/7.44	c cleaning 5905 clauses out of 11820 with flag 2001/186989
8.21/7.62	c cleaning 5951 clauses out of 11914 with flag 8000/192988
8.31/7.72	c Got one! Elapsed wall clock time (in seconds):7.595
8.31/7.72	o 13
8.45/7.81	c cleaning 5783 clauses out of 11573 with flag 2000/198598
8.55/7.99	c cleaning 5894 clauses out of 11790 with flag 8000/204598
8.67/8.06	c Got one! Elapsed wall clock time (in seconds):7.932
8.67/8.06	o 8
8.77/8.16	c cleaning 5621 clauses out of 11260 with flag 3000/209962
8.97/8.34	c cleaning 5819 clauses out of 11639 with flag 9000/215962
9.19/8.55	c cleaning 6409 clauses out of 12823 with flag 16003/222965
9.53/8.81	c cleaning 7197 clauses out of 14411 with flag 24000/230962
9.83/9.11	c cleaning 8110 clauses out of 16220 with flag 33006/239968
10.15/9.49	c cleaning 9049 clauses out of 18106 with flag 43002/249964
10.27/9.59	c Got one! Elapsed wall clock time (in seconds):9.46
10.27/9.59	o 6
10.37/9.68	c cleaning 7120 clauses out of 14254 with flag 2000/255161
10.58/9.87	c cleaning 6569 clauses out of 13138 with flag 8004/261165
10.88/10.10	c cleaning 6777 clauses out of 13565 with flag 15000/268161
11.08/10.38	c cleaning 7395 clauses out of 14789 with flag 23001/276162
11.49/10.72	c cleaning 8194 clauses out of 16394 with flag 32001/285162
11.89/11.14	c cleaning 9096 clauses out of 18202 with flag 42003/295164
12.29/11.58	c cleaning 10050 clauses out of 20103 with flag 53000/306161
12.80/12.09	c cleaning 11027 clauses out of 22054 with flag 65001/318162
13.41/12.61	c cleaning 12011 clauses out of 24026 with flag 78000/331161
13.91/13.20	c cleaning 13007 clauses out of 26016 with flag 92001/345162
14.73/13.91	c cleaning 14004 clauses out of 28010 with flag 107002/360163
15.65/14.83	c cleaning 15002 clauses out of 30005 with flag 123001/376162
16.57/15.74	c cleaning 15998 clauses out of 32004 with flag 140002/393163
17.57/16.75	c cleaning 17003 clauses out of 34006 with flag 158002/411163
18.77/17.90	c cleaning 17998 clauses out of 36001 with flag 177000/430161
19.97/19.13	c cleaning 18997 clauses out of 38005 with flag 197002/450163
21.39/20.56	c cleaning 20001 clauses out of 40006 with flag 218000/471161
23.20/22.30	c cleaning 21003 clauses out of 42005 with flag 240000/493161
24.60/23.77	c cleaning 22000 clauses out of 44003 with flag 263001/516162
25.70/24.88	c Got one! Elapsed wall clock time (in seconds):24.755
25.70/24.88	o 5
26.22/25.39	c cleaning 22769 clauses out of 45552 with flag 5000/539711
26.63/25.72	c cleaning 14386 clauses out of 28784 with flag 11001/545712
26.95/26.01	c cleaning 10690 clauses out of 21397 with flag 18000/552711
27.27/26.32	c cleaning 9345 clauses out of 18707 with flag 26000/560711
27.57/26.67	c cleaning 9174 clauses out of 18364 with flag 35002/569713
27.99/27.06	c cleaning 9588 clauses out of 19188 with flag 45000/579711
28.50/27.52	c cleaning 10300 clauses out of 20600 with flag 56000/590711
29.01/28.02	c cleaning 11151 clauses out of 22301 with flag 68001/602712
29.54/28.58	c cleaning 12075 clauses out of 24151 with flag 81002/615713
30.27/29.21	c cleaning 13035 clauses out of 26074 with flag 95000/629711
30.98/29.91	c cleaning 14017 clauses out of 28040 with flag 110001/644712
31.70/30.62	c cleaning 15008 clauses out of 30024 with flag 126002/660713
32.50/31.42	c cleaning 16004 clauses out of 32016 with flag 143002/677713
33.40/32.34	c cleaning 17002 clauses out of 34011 with flag 161001/695712
34.40/33.30	c cleaning 18003 clauses out of 36009 with flag 180001/714712
35.40/34.32	c cleaning 19000 clauses out of 38005 with flag 200000/734711
36.40/35.39	c cleaning 20001 clauses out of 40007 with flag 221002/755713
37.70/36.62	c cleaning 21001 clauses out of 42006 with flag 243002/777713
38.91/37.85	c cleaning 22000 clauses out of 44003 with flag 266000/800711
40.11/39.06	c cleaning 22998 clauses out of 46003 with flag 290000/824711
41.63/40.51	c cleaning 24003 clauses out of 48008 with flag 315003/849714
43.14/42.09	c cleaning 24998 clauses out of 50002 with flag 341000/875711
44.85/43.76	c cleaning 26000 clauses out of 52006 with flag 368002/902713
46.66/45.50	c cleaning 26999 clauses out of 54005 with flag 396001/930712
48.27/47.16	c cleaning 28003 clauses out of 56006 with flag 425001/959712
49.98/48.80	c cleaning 29000 clauses out of 58002 with flag 455000/989711
51.90/50.73	c cleaning 29999 clauses out of 60004 with flag 486002/1020713
53.91/52.75	c cleaning 30997 clauses out of 62004 with flag 518001/1052712
55.93/54.79	c cleaning 31999 clauses out of 64006 with flag 551000/1085711
58.37/57.20	c cleaning 33004 clauses out of 66007 with flag 585000/1119711
60.77/59.51	c cleaning 34000 clauses out of 68006 with flag 620003/1154714
63.08/61.81	c cleaning 34999 clauses out of 70007 with flag 656004/1190715
65.40/64.17	c cleaning 35998 clauses out of 72004 with flag 693000/1227711
68.01/66.74	c cleaning 37002 clauses out of 74006 with flag 731000/1265711
70.73/69.45	c cleaning 38004 clauses out of 76007 with flag 770003/1304714
73.96/72.65	c cleaning 39000 clauses out of 78005 with flag 810005/1344716
77.36/76.01	c cleaning 39997 clauses out of 80000 with flag 851000/1385711
81.26/79.92	c cleaning 40999 clauses out of 82005 with flag 893002/1427713
84.88/83.51	c cleaning 41999 clauses out of 84005 with flag 936001/1470712
89.00/87.67	c cleaning 43004 clauses out of 86007 with flag 980002/1514713
93.50/92.18	c cleaning 43999 clauses out of 88001 with flag 1025000/1559711
98.61/97.22	c cleaning 45000 clauses out of 90005 with flag 1071003/1605714
103.22/101.82	c cleaning 46002 clauses out of 92005 with flag 1118003/1652714
107.64/106.23	c cleaning 46999 clauses out of 94002 with flag 1166002/1700713
112.45/111.06	c cleaning 47997 clauses out of 96003 with flag 1215002/1749713
117.96/116.59	c cleaning 49004 clauses out of 98008 with flag 1265004/1799715
122.67/121.28	c cleaning 49998 clauses out of 100001 with flag 1316001/1850712
127.70/126.27	c cleaning 50999 clauses out of 102002 with flag 1368000/1902711
132.81/131.37	c cleaning 52002 clauses out of 104006 with flag 1421003/1955714
139.12/137.67	c cleaning 52999 clauses out of 106005 with flag 1475004/2009715
146.23/144.77	c cleaning 54001 clauses out of 108003 with flag 1530001/2064712
153.05/151.56	c cleaning 54997 clauses out of 110002 with flag 1586001/2120712
158.88/157.31	c cleaning 55999 clauses out of 112005 with flag 1643001/2177712
159.81/158.23	c Got one! Elapsed wall clock time (in seconds):158.101
159.81/158.23	o 4
160.71/159.12	c cleaning 36678 clauses out of 73377 with flag 5000/2195083
161.17/159.56	c cleaning 21345 clauses out of 42700 with flag 11001/2201084
161.56/159.91	c cleaning 14170 clauses out of 28355 with flag 18001/2208084
161.89/160.24	c cleaning 11087 clauses out of 22186 with flag 26002/2216085
162.20/160.59	c cleaning 10039 clauses out of 20100 with flag 35003/2225086
162.62/160.99	c cleaning 10025 clauses out of 20063 with flag 45005/2235088
163.14/161.42	c cleaning 10506 clauses out of 21035 with flag 56002/2246085
163.57/161.88	c cleaning 11257 clauses out of 22527 with flag 68000/2258083
164.17/162.48	c cleaning 12128 clauses out of 24274 with flag 81004/2271087
164.89/163.18	c cleaning 13059 clauses out of 26142 with flag 95000/2285083
165.60/163.86	c cleaning 14039 clauses out of 28083 with flag 110000/2300083
166.41/164.64	c cleaning 15021 clauses out of 30044 with flag 126000/2316083
167.23/165.43	c cleaning 16012 clauses out of 32024 with flag 143001/2333084
168.04/166.28	c cleaning 17007 clauses out of 34013 with flag 161002/2351085
169.06/167.25	c cleaning 18001 clauses out of 36005 with flag 180001/2370084
170.07/168.23	c cleaning 19001 clauses out of 38008 with flag 200005/2390088
171.17/169.34	c cleaning 19997 clauses out of 40002 with flag 221000/2411083
172.17/170.40	c cleaning 21002 clauses out of 42007 with flag 243002/2433085
173.39/171.60	c cleaning 22001 clauses out of 44003 with flag 266000/2456083
174.79/172.90	c cleaning 23000 clauses out of 46002 with flag 290000/2480083
176.10/174.25	c cleaning 24001 clauses out of 48004 with flag 315002/2505085
177.51/175.63	c cleaning 24999 clauses out of 50002 with flag 341001/2531084
179.02/177.19	c cleaning 25995 clauses out of 52003 with flag 368001/2558084
180.81/178.92	c cleaning 27001 clauses out of 54009 with flag 396002/2586085
182.52/180.64	c cleaning 27994 clauses out of 56006 with flag 425000/2615083
184.42/182.50	c cleaning 29005 clauses out of 58014 with flag 455002/2645085
186.22/184.32	c cleaning 30003 clauses out of 60009 with flag 486002/2676085
188.32/186.42	c cleaning 31001 clauses out of 62004 with flag 518000/2708083
190.73/188.85	c cleaning 32002 clauses out of 64003 with flag 551000/2741083
192.94/191.08	c cleaning 32992 clauses out of 66001 with flag 585000/2775083
195.47/193.55	c cleaning 34000 clauses out of 68009 with flag 620000/2810083
197.99/196.06	c cleaning 35006 clauses out of 70012 with flag 656003/2846086
200.69/198.74	c cleaning 36000 clauses out of 72003 with flag 693000/2883083
203.59/201.60	c cleaning 37001 clauses out of 74005 with flag 731002/2921085
206.41/204.45	c cleaning 37997 clauses out of 76002 with flag 770000/2960083
209.82/207.81	c cleaning 39002 clauses out of 78006 with flag 810001/3000084
212.85/210.88	c cleaning 40000 clauses out of 80006 with flag 851003/3041086
216.26/214.22	c cleaning 41001 clauses out of 82006 with flag 893003/3083086
219.77/217.71	c cleaning 41991 clauses out of 84004 with flag 936002/3126085
223.20/221.15	c cleaning 43004 clauses out of 86011 with flag 980000/3170083
226.51/224.43	c cleaning 44002 clauses out of 88007 with flag 1025000/3215083
229.75/227.63	c cleaning 44999 clauses out of 90006 with flag 1071001/3261084
233.16/231.07	c cleaning 46003 clauses out of 92007 with flag 1118001/3308084
236.67/234.59	c cleaning 46994 clauses out of 94003 with flag 1166000/3356083
240.67/238.53	c cleaning 48002 clauses out of 96009 with flag 1215000/3405083
244.28/242.16	c cleaning 49001 clauses out of 98008 with flag 1265001/3455084
248.59/246.44	c cleaning 49998 clauses out of 100006 with flag 1316000/3506083
252.80/250.66	c cleaning 51001 clauses out of 102009 with flag 1368001/3558084
257.44/255.21	c cleaning 52003 clauses out of 104008 with flag 1421001/3611084
261.77/259.56	c cleaning 53000 clauses out of 106004 with flag 1475000/3665083
266.67/264.46	c cleaning 53994 clauses out of 108004 with flag 1530000/3720083
271.57/269.34	c cleaning 55002 clauses out of 110010 with flag 1586000/3776083
275.11/272.87	c Got one! Elapsed wall clock time (in seconds):272.744
275.11/272.87	o 3
276.70/274.47	c cleaning 55243 clauses out of 110501 with flag 5003/3831576
277.52/275.30	c cleaning 30615 clauses out of 61255 with flag 11000/3837573
278.03/275.79	c cleaning 18809 clauses out of 37643 with flag 18003/3844576
278.44/276.14	c cleaning 13410 clauses out of 26832 with flag 26001/3852574
278.84/276.53	c cleaning 11207 clauses out of 22424 with flag 35003/3861576
279.24/276.95	c cleaning 10595 clauses out of 21215 with flag 45001/3871574
279.74/277.44	c cleaning 10806 clauses out of 21620 with flag 56001/3882574
280.26/277.94	c cleaning 11397 clauses out of 22815 with flag 68002/3894575
280.87/278.53	c cleaning 12203 clauses out of 24419 with flag 81003/3907576
281.47/279.17	c cleaning 13098 clauses out of 26214 with flag 95001/3921574
282.19/279.88	c cleaning 14045 clauses out of 28117 with flag 110002/3936575
282.99/280.64	c cleaning 15024 clauses out of 30070 with flag 126000/3952573
283.80/281.43	c cleaning 16016 clauses out of 32047 with flag 143001/3969574
284.70/282.36	c cleaning 17006 clauses out of 34030 with flag 161000/3987573
285.70/283.35	c cleaning 18012 clauses out of 36024 with flag 180000/4006573
286.90/284.51	c cleaning 19006 clauses out of 38013 with flag 200001/4026574
288.10/285.71	c cleaning 20000 clauses out of 40006 with flag 221000/4047573
289.41/287.02	c cleaning 21002 clauses out of 42006 with flag 243000/4069573
290.73/288.33	c cleaning 21994 clauses out of 44004 with flag 266000/4092573
292.14/289.74	c cleaning 23006 clauses out of 46011 with flag 290001/4116574
293.54/291.17	c cleaning 23995 clauses out of 48004 with flag 315000/4141573
295.26/292.88	c cleaning 25003 clauses out of 50009 with flag 341000/4167573
296.96/294.59	c cleaning 26002 clauses out of 52006 with flag 368000/4194573
298.77/296.34	c cleaning 27003 clauses out of 54005 with flag 396001/4222574
300.49/298.09	c cleaning 28000 clauses out of 56001 with flag 425000/4251573
302.32/299.85	c cleaning 28995 clauses out of 58001 with flag 455000/4281573
304.33/301.80	c cleaning 30004 clauses out of 60007 with flag 486001/4312574
306.35/303.83	c cleaning 30999 clauses out of 62003 with flag 518001/4344574
308.56/306.07	c cleaning 32000 clauses out of 64003 with flag 551000/4377573
310.96/308.41	c cleaning 32992 clauses out of 66003 with flag 585000/4411573
313.56/311.02	c cleaning 34002 clauses out of 68013 with flag 620002/4446575
316.48/313.90	c cleaning 35005 clauses out of 70013 with flag 656004/4482577
319.00/316.49	c cleaning 36002 clauses out of 72007 with flag 693003/4519576
321.71/319.13	c cleaning 37002 clauses out of 74003 with flag 731001/4557574
324.21/321.63	c cleaning 38001 clauses out of 76003 with flag 770003/4596576
326.82/324.21	c cleaning 38995 clauses out of 77999 with flag 810000/4636573
329.83/327.27	c cleaning 39998 clauses out of 80004 with flag 851000/4677573
333.03/330.45	c cleaning 41003 clauses out of 82006 with flag 893000/4719573
336.04/333.41	c cleaning 42002 clauses out of 84006 with flag 936003/4762576
339.54/336.95	c cleaning 42992 clauses out of 86003 with flag 980002/4806575
343.04/340.41	c cleaning 44007 clauses out of 88016 with flag 1025007/4851580
346.77/344.19	c cleaning 44995 clauses out of 90004 with flag 1071002/4897575
350.49/347.82	c cleaning 45998 clauses out of 92010 with flag 1118003/4944576
354.29/351.60	c cleaning 46995 clauses out of 94009 with flag 1166000/4992573
358.01/355.32	c cleaning 48007 clauses out of 96014 with flag 1215000/5041573
362.14/359.40	c cleaning 49003 clauses out of 98007 with flag 1265000/5091573
366.64/363.93	c cleaning 50000 clauses out of 100004 with flag 1316000/5142573
371.77/369.04	c cleaning 50998 clauses out of 102009 with flag 1368005/5194578
377.29/374.53	c cleaning 51996 clauses out of 104007 with flag 1421001/5247574
382.22/379.43	c cleaning 53003 clauses out of 106010 with flag 1475000/5301573
387.14/384.31	c cleaning 54000 clauses out of 108007 with flag 1530000/5356573
392.36/389.57	c cleaning 55004 clauses out of 110007 with flag 1586000/5412573
397.57/394.80	c cleaning 56000 clauses out of 112004 with flag 1643001/5469574
403.18/400.36	c cleaning 57002 clauses out of 114003 with flag 1701000/5527573
409.08/406.20	c cleaning 57994 clauses out of 116001 with flag 1760000/5586573
414.70/411.89	c cleaning 58999 clauses out of 118010 with flag 1820003/5646576
421.51/418.65	c cleaning 59999 clauses out of 120008 with flag 1881000/5707573
427.93/425.09	c cleaning 61004 clauses out of 122010 with flag 1943001/5769574
434.66/431.78	c cleaning 61999 clauses out of 124006 with flag 2006001/5832574
441.17/438.28	c cleaning 63002 clauses out of 126007 with flag 2070001/5896574
447.78/444.86	c cleaning 63997 clauses out of 128005 with flag 2135001/5961574
454.50/451.55	c cleaning 65002 clauses out of 130007 with flag 2201000/6027573
461.65/458.68	c cleaning 65998 clauses out of 132006 with flag 2268001/6094574
468.86/465.83	c cleaning 67001 clauses out of 134007 with flag 2336000/6162573
476.27/473.29	c cleaning 67999 clauses out of 136011 with flag 2405005/6231578
483.79/480.72	c cleaning 69004 clauses out of 138009 with flag 2475002/6301575
491.19/488.11	c cleaning 69999 clauses out of 140005 with flag 2546002/6372575
499.00/495.96	c cleaning 71000 clauses out of 142009 with flag 2618005/6444578
506.72/503.62	c cleaning 71996 clauses out of 144004 with flag 2691000/6517573
515.24/512.11	c cleaning 73003 clauses out of 146011 with flag 2765003/6591576
523.57/520.43	c cleaning 74001 clauses out of 148005 with flag 2840000/6666573
533.18/530.02	c cleaning 75003 clauses out of 150007 with flag 2916003/6742576
541.59/538.49	c cleaning 76001 clauses out of 152001 with flag 2993000/6819573
551.11/547.91	c cleaning 76997 clauses out of 154000 with flag 3071000/6897573
561.15/557.91	c cleaning 77997 clauses out of 156003 with flag 3150000/6976573
570.39/567.13	c cleaning 78994 clauses out of 158007 with flag 3230001/7056574
579.62/576.30	c cleaning 80001 clauses out of 160012 with flag 3311000/7137573
589.33/586.10	c cleaning 81005 clauses out of 162015 with flag 3393004/7219577
600.54/597.24	c cleaning 81999 clauses out of 164007 with flag 3476001/7302574
610.67/607.36	c cleaning 83003 clauses out of 166008 with flag 3560001/7386574
621.32/617.92	c cleaning 83997 clauses out of 168004 with flag 3645000/7471573
633.56/630.13	c cleaning 85004 clauses out of 170008 with flag 3731001/7557574
644.00/640.51	c cleaning 85994 clauses out of 172004 with flag 3818001/7644574
655.53/652.03	c cleaning 87000 clauses out of 174010 with flag 3906001/7732574
669.79/666.24	c cleaning 88004 clauses out of 176009 with flag 3995000/7821573
681.64/678.07	c cleaning 88995 clauses out of 178005 with flag 4085000/7911573
694.49/690.89	c cleaning 90003 clauses out of 180012 with flag 4176002/8002575
706.92/703.28	c cleaning 91004 clauses out of 182010 with flag 4268003/8094576
713.85/710.19	c Got one! Elapsed wall clock time (in seconds):710.064
713.85/710.19	o 2
718.25/714.60	c cleaning 84830 clauses out of 169683 with flag 5000/8173253
719.67/715.94	c cleaning 45417 clauses out of 90854 with flag 11001/8179254
720.37/716.61	c cleaning 26206 clauses out of 52437 with flag 18001/8186254
720.79/717.04	c cleaning 17113 clauses out of 34231 with flag 26001/8194254
721.19/717.40	c cleaning 13050 clauses out of 26118 with flag 35001/8203254
721.50/717.76	c cleaning 11528 clauses out of 23068 with flag 45001/8213254
721.94/718.20	c cleaning 11261 clauses out of 22540 with flag 56001/8224254
722.44/718.66	c cleaning 11637 clauses out of 23279 with flag 68001/8236254
723.05/719.20	c cleaning 12321 clauses out of 24644 with flag 81003/8249256
723.56/719.77	c cleaning 13158 clauses out of 26321 with flag 95001/8263254
724.26/720.46	c cleaning 14081 clauses out of 28162 with flag 110000/8278253
724.98/721.14	c cleaning 15042 clauses out of 30084 with flag 126003/8294256
725.80/721.90	c cleaning 16019 clauses out of 32039 with flag 143000/8311253
726.61/722.71	c cleaning 17011 clauses out of 34021 with flag 161001/8329254
727.45/723.59	c cleaning 17999 clauses out of 36013 with flag 180004/8348257
728.50/724.51	c cleaning 19000 clauses out of 38010 with flag 200000/8368253
729.50/725.51	c cleaning 20005 clauses out of 40010 with flag 221000/8389253
730.51/726.58	c cleaning 21003 clauses out of 42007 with flag 243002/8411255
731.72/727.76	c cleaning 22003 clauses out of 44007 with flag 266005/8434258
733.13/729.12	c cleaning 22997 clauses out of 46000 with flag 290001/8458254
734.46/730.45	c cleaning 24000 clauses out of 48002 with flag 315000/8483253
735.87/731.84	c cleaning 24997 clauses out of 50003 with flag 341001/8509254
737.28/733.24	c cleaning 26000 clauses out of 52007 with flag 368002/8536255
738.99/734.94	c cleaning 27004 clauses out of 54008 with flag 396003/8564256
740.69/736.70	c cleaning 28001 clauses out of 56002 with flag 425001/8593254
742.59/738.51	c cleaning 29000 clauses out of 58000 with flag 455000/8623253
744.40/740.31	c cleaning 29999 clauses out of 60001 with flag 486001/8654254
746.41/742.34	c cleaning 30993 clauses out of 62002 with flag 518001/8686254
748.43/744.32	c cleaning 32000 clauses out of 64008 with flag 551000/8719253
750.54/746.49	c cleaning 32999 clauses out of 66008 with flag 585000/8753253
752.75/748.66	c cleaning 34003 clauses out of 68010 with flag 620001/8788254
755.07/750.94	c cleaning 35003 clauses out of 70006 with flag 656000/8824253
757.59/753.48	c cleaning 36001 clauses out of 72005 with flag 693002/8861255
760.23/756.09	c cleaning 36993 clauses out of 74002 with flag 731000/8899253
763.04/758.87	c cleaning 38000 clauses out of 76009 with flag 770000/8938253
766.26/762.06	c cleaning 39002 clauses out of 78011 with flag 810002/8978255
769.18/764.93	c cleaning 40004 clauses out of 80013 with flag 851006/9019259
772.00/767.73	c cleaning 40998 clauses out of 82005 with flag 893002/9061255
774.90/770.65	c cleaning 41999 clauses out of 84008 with flag 936003/9104256
778.11/773.82	c cleaning 43001 clauses out of 86006 with flag 980000/9148253
781.31/777.08	c cleaning 43996 clauses out of 88006 with flag 1025001/9193254
784.61/780.38	c cleaning 45005 clauses out of 90011 with flag 1071002/9239255
788.22/783.91	c cleaning 45993 clauses out of 92004 with flag 1118000/9286253
792.44/788.10	c cleaning 47004 clauses out of 94012 with flag 1166001/9334254
796.25/791.93	c cleaning 48000 clauses out of 96009 with flag 1215002/9383255
800.28/795.99	c cleaning 49003 clauses out of 98010 with flag 1265003/9433256
804.92/800.54	c cleaning 49999 clauses out of 100005 with flag 1316001/9484254
808.82/804.48	c cleaning 51000 clauses out of 102006 with flag 1368001/9536254
812.73/808.36	c cleaning 52000 clauses out of 104005 with flag 1421000/9589253
816.93/812.50	c cleaning 53000 clauses out of 106005 with flag 1475000/9643253
821.74/817.37	c cleaning 54001 clauses out of 108007 with flag 1530002/9698255
826.94/822.51	c cleaning 54996 clauses out of 110005 with flag 1586001/9754254
831.58/827.15	c cleaning 56002 clauses out of 112009 with flag 1643001/9811254
836.58/832.14	c cleaning 57002 clauses out of 114007 with flag 1701001/9869254
841.98/837.55	c cleaning 57997 clauses out of 116005 with flag 1760001/9928254
847.10/842.62	c cleaning 59003 clauses out of 118008 with flag 1820001/9988254
853.10/848.66	c cleaning 60003 clauses out of 120005 with flag 1881001/10049254
859.53/855.08	c cleaning 60994 clauses out of 122001 with flag 1943000/10111253
866.55/862.01	c cleaning 61998 clauses out of 124008 with flag 2006001/10174254
874.37/869.82	c cleaning 63002 clauses out of 126010 with flag 2070001/10238254
882.28/877.73	c cleaning 64002 clauses out of 128007 with flag 2135000/10303253
889.81/885.25	c cleaning 65000 clauses out of 130006 with flag 2201001/10369254
896.52/891.98	c cleaning 65999 clauses out of 132005 with flag 2268000/10436253
904.04/899.47	c cleaning 67002 clauses out of 134008 with flag 2336002/10504255
912.26/907.60	c cleaning 67999 clauses out of 136005 with flag 2405001/10573254
920.57/915.93	c cleaning 68999 clauses out of 138005 with flag 2475000/10643253
928.80/924.15	c cleaning 69996 clauses out of 140007 with flag 2546001/10714254
939.10/934.49	c cleaning 71002 clauses out of 142010 with flag 2618000/10786253
949.51/944.85	c cleaning 72001 clauses out of 144008 with flag 2691000/10859253
958.00/953.36	c cleaning 72998 clauses out of 146009 with flag 2765002/10933255
968.11/963.48	c cleaning 74000 clauses out of 148011 with flag 2840002/11008255
981.31/976.60	c cleaning 75001 clauses out of 150009 with flag 2916000/11084253
991.93/987.23	c cleaning 75994 clauses out of 152009 with flag 2993001/11161254
1003.74/999.06	c cleaning 77008 clauses out of 154017 with flag 3071003/11239256
1015.17/1010.45	c cleaning 77998 clauses out of 156009 with flag 3150003/11318256
1026.50/1021.70	c cleaning 79001 clauses out of 158008 with flag 3230000/11398253
1038.31/1033.54	c cleaning 79999 clauses out of 160008 with flag 3311001/11479254
1049.42/1044.62	c cleaning 80995 clauses out of 162008 with flag 3393000/11561253
1058.24/1053.44	c cleaning 82004 clauses out of 164013 with flag 3476000/11644253
1067.64/1062.89	c cleaning 83003 clauses out of 166010 with flag 3560001/11728254
1076.25/1071.44	c cleaning 83999 clauses out of 168009 with flag 3645003/11813256
1085.65/1080.88	c cleaning 85003 clauses out of 170007 with flag 3731000/11899253
1094.49/1089.63	c cleaning 86001 clauses out of 172006 with flag 3818002/11986255
1105.10/1100.25	c cleaning 86995 clauses out of 174003 with flag 3906000/12074253
1115.21/1110.32	c cleaning 88005 clauses out of 176011 with flag 3995003/12163256
1125.41/1120.54	c cleaning 88999 clauses out of 178003 with flag 4085000/12253253
1135.82/1130.93	c cleaning 89996 clauses out of 180004 with flag 4176000/12344253
1146.83/1141.96	c cleaning 91005 clauses out of 182010 with flag 4268002/12436255
1157.06/1152.12	c cleaning 92001 clauses out of 184006 with flag 4361003/12529256
1167.31/1162.33	c cleaning 92995 clauses out of 186004 with flag 4455002/12623255
1179.02/1174.07	c cleaning 93999 clauses out of 188010 with flag 4550003/12718256
1192.27/1187.22	c cleaning 95004 clauses out of 190012 with flag 4646004/12814257
1203.11/1198.04	c cleaning 96001 clauses out of 192005 with flag 4743001/12911254
1215.72/1210.61	c cleaning 96998 clauses out of 194003 with flag 4841000/13009253
1227.14/1222.03	c cleaning 97995 clauses out of 196006 with flag 4940001/13108254
1240.24/1235.17	c cleaning 99005 clauses out of 198012 with flag 5040002/13208255
1252.14/1246.91	c cleaning 99999 clauses out of 200007 with flag 5141002/13309255
1264.25/1259.05	c cleaning 100999 clauses out of 202006 with flag 5243000/13411253
1276.87/1271.65	c cleaning 102000 clauses out of 204007 with flag 5346000/13514253
1290.18/1284.96	c cleaning 102994 clauses out of 206007 with flag 5450000/13618253
1303.90/1298.64	c cleaning 103999 clauses out of 208013 with flag 5555000/13723253
1317.83/1312.51	c cleaning 105008 clauses out of 210017 with flag 5661003/13829256
1333.45/1328.19	c cleaning 106000 clauses out of 212009 with flag 5768003/13936256
1347.98/1342.63	c cleaning 107001 clauses out of 214007 with flag 5876001/14044254
1362.41/1357.09	c cleaning 107999 clauses out of 216006 with flag 5985001/14153254
1377.45/1372.00	c cleaning 108997 clauses out of 218007 with flag 6095001/14263254
1392.15/1386.70	c cleaning 110003 clauses out of 220010 with flag 6206001/14374254
1407.09/1401.70	c cleaning 111000 clauses out of 222006 with flag 6318000/14486253
1423.32/1417.86	c cleaning 111997 clauses out of 224006 with flag 6431000/14599253
1438.94/1433.44	c cleaning 113001 clauses out of 226009 with flag 6545000/14713253
1455.35/1449.82	c cleaning 113998 clauses out of 228008 with flag 6660000/14828253
1473.21/1467.69	c cleaning 115005 clauses out of 230011 with flag 6776001/14944254
1489.67/1484.04	c cleaning 116000 clauses out of 232006 with flag 6893001/15061254
1509.91/1504.24	c cleaning 116997 clauses out of 234006 with flag 7011001/15179254
1528.52/1522.82	c cleaning 117995 clauses out of 236009 with flag 7130001/15298254
1543.55/1537.80	c cleaning 119005 clauses out of 238014 with flag 7250001/15418254
1559.56/1553.80	c cleaning 119996 clauses out of 240008 with flag 7371000/15539253
1574.72/1568.98	c cleaning 121002 clauses out of 242012 with flag 7493000/15661253
1592.13/1586.31	c cleaning 122003 clauses out of 244013 with flag 7616003/15784256
1608.67/1602.89	c cleaning 123002 clauses out of 246008 with flag 7740001/15908254
1625.61/1619.72	c cleaning 123995 clauses out of 248006 with flag 7865001/16033254
1643.65/1637.75	c cleaning 124995 clauses out of 250010 with flag 7991000/16159253
1662.17/1656.27	c cleaning 126000 clauses out of 252015 with flag 8118000/16286253
1684.20/1678.28	c cleaning 127006 clauses out of 254016 with flag 8246001/16414254
1702.76/1696.76	c cleaning 127997 clauses out of 256009 with flag 8375000/16543253
1727.88/1721.84	c cleaning 129001 clauses out of 258014 with flag 8505002/16673255
1749.53/1743.47	c cleaning 130003 clauses out of 260011 with flag 8636000/16804253
1770.02/1763.92	c cleaning 131002 clauses out of 262008 with flag 8768000/16936253
1791.43/1785.39	c cleaning 132001 clauses out of 264006 with flag 8901000/17069253
1800.06/1793.91	c starts		: 392
1800.06/1793.91	c conflicts		: 17155223
1800.06/1793.91	c decisions		: 17361293
1800.06/1793.91	c propagations		: 125217123
1800.06/1793.91	c inspects		: 25223844678
1800.06/1793.91	c shortcuts		: 0
1800.06/1793.91	c learnt literals	: 0
1800.06/1793.91	c learnt binary clauses	: 0
1800.06/1793.91	c learnt ternary clauses	: 0
1800.06/1793.91	c learnt constraints	: 17155223
1800.06/1793.91	c ignored constraints	: 0
1800.06/1793.91	c root simplifications	: 0
1800.06/1793.91	c removed literals (reason simplification)	: 0
1800.06/1793.91	c reason swapping (by a shorter reason)	: 0
1800.06/1793.91	c Calls to reduceDB	: 375
1800.06/1793.91	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.91	c number of learned constraints concerned by reduction	: 0
1800.06/1793.91	c number of learning phase by resolution	: 0
1800.06/1793.91	c number of learning phase by cutting planes	: 0
1800.06/1793.91	c speed (assignments/second)	: 69807.53762512906
1800.06/1793.91	c non guided choices	787
1800.06/1793.95	c learnt constraints type 
1800.06/1793.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 218061
1800.06/1793.95	c constraints type 
1800.06/1793.95	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11
1800.06/1793.95	c 11 constraints processed.
1800.06/1793.95	s SATISFIABLE
1800.06/1793.95	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 
1800.06/1793.95	c objective function=2
1800.06/1793.95	c Total wall clock time (in seconds): 1793.817

Verifier Data 

OK	2

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-3688207-1337880880/watcher-3688207-1337880880 -o /tmp/evaluation-result-3688207-1337880880/solver-3688207-1337880880 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688207-1337880880.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: 2.03 2.03 2.00 3/192 21734
/proc/meminfo: memFree=29838668/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/21734/stat : 21734 (java) D 21732 21734 20334 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 254216591 2560000 46 33554432000 1073741824 1073778376 140733423082992 140733423080120 235365559591 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21734/statm: 625 46 37 9 0 29 0

[startup+0.0510269 s]
/proc/loadavg: 2.03 2.03 2.00 3/192 21734
/proc/meminfo: memFree=29838668/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 3044 0 1 0 1 0 0 0 20 0 13 0 254216591 9446973440 3231 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2306390 3231 1682 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.1003 s]
/proc/loadavg: 2.03 2.03 2.00 3/192 21734
/proc/meminfo: memFree=29838668/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 3471 0 1 0 6 1 0 0 20 0 18 0 254216591 9787813888 4169 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2389603 4186 1787 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.300261 s]
/proc/loadavg: 2.03 2.03 2.00 3/192 21734
/proc/meminfo: memFree=29838668/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 6529 0 1 0 48 1 0 0 20 0 19 0 254216591 9855975424 6832 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2406244 6832 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9624976

[startup+0.700263 s]
/proc/loadavg: 2.03 2.03 2.00 3/192 21734
/proc/meminfo: memFree=29838668/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 6777 0 1 0 97 1 0 0 20 0 19 0 254216591 9855975424 7883 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2406244 7883 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 2.03 2.03 2.00 4/211 21753
/proc/meminfo: memFree=29805512/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9624976 CPUtime=1.88 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 6926 0 1 0 186 2 0 0 20 0 19 0 254216591 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2406244 11044 2268 9 0 2396937 0
[pid=21734/tid=21736] ppid=21732 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/21734/task/21736/stat : 21736 (java) R 21732 21734 20334 0 -1 4202560 2518 0 1 0 139 1 0 0 20 0 19 0 254216592 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663340847512 140663212865094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21737] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21737/stat : 21737 (java) S 21732 21734 20334 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663184771368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21738] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21738/stat : 21738 (java) S 21732 21734 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663183718568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21739] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21739/stat : 21739 (java) S 21732 21734 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663182666280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21740] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21740/stat : 21740 (java) S 21732 21734 20334 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663181613480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21741] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21741/stat : 21741 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663180561192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21742] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21742/stat : 21742 (java) S 21732 21734 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663179508392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21743] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21743/stat : 21743 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663178456104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21744] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21744/stat : 21744 (java) S 21732 21734 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663177403304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21745] ppid=21732 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21734/task/21745/stat : 21745 (java) S 21732 21734 20334 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 254216595 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663164991720 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21746] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21746/stat : 21746 (java) S 21732 21734 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663163937784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21747] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21747/stat : 21747 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663162885384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21748] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21748/stat : 21748 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663161833872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21749] ppid=21732 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/21734/task/21749/stat : 21749 (java) S 21732 21734 20334 0 -1 4202560 2084 0 0 0 24 0 0 0 20 0 19 0 254216598 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663160781496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21750] ppid=21732 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/21734/task/21750/stat : 21750 (java) S 21732 21734 20334 0 -1 4202560 1059 0 0 0 13 0 0 0 20 0 19 0 254216598 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663159728696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21751] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21751/stat : 21751 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663158676600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21752] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21752/stat : 21752 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663157624008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21753] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21753/stat : 21753 (java) S 21732 21734 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216607 9855975424 11044 33554432000 1073741824 1073778376 140735905368160 140663156569000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9624976

[startup+3.10077 s]
/proc/loadavg: 2.03 2.03 2.00 3/211 21753
/proc/meminfo: memFree=29797512/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9624976 CPUtime=3.63 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 9606 0 1 0 360 3 0 0 20 0 19 0 254216591 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2406244 12416 2268 9 0 2396937 0
[pid=21734/tid=21736] ppid=21732 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/21734/task/21736/stat : 21736 (java) R 21732 21734 20334 0 -1 4202560 2524 0 1 0 293 2 0 0 20 0 19 0 254216592 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663340847392 140663212786441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21737] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21737/stat : 21737 (java) S 21732 21734 20334 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663184771368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21738] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21738/stat : 21738 (java) S 21732 21734 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663183718568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21739] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21739/stat : 21739 (java) S 21732 21734 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663182666280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21740] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21740/stat : 21740 (java) S 21732 21734 20334 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663181613480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21741] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21741/stat : 21741 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663180561192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21742] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21742/stat : 21742 (java) S 21732 21734 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663179508392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21743] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21743/stat : 21743 (java) S 21732 21734 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663178456104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21744] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21744/stat : 21744 (java) S 21732 21734 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663177403304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21745] ppid=21732 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/21734/task/21745/stat : 21745 (java) S 21732 21734 20334 0 -1 4202560 30 0 0 0 8 0 0 0 20 0 19 0 254216595 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663164991720 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21746] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21746/stat : 21746 (java) S 21732 21734 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663163937784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21747] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21747/stat : 21747 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663162885384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21748] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21748/stat : 21748 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663161833872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21749] ppid=21732 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/21734/task/21749/stat : 21749 (java) S 21732 21734 20334 0 -1 4202560 4752 0 0 0 37 0 0 0 20 0 19 0 254216598 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663160781496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21750] ppid=21732 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/21734/task/21750/stat : 21750 (java) S 21732 21734 20334 0 -1 4202560 1059 0 0 0 13 0 0 0 20 0 19 0 254216598 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663159728696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21751] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21751/stat : 21751 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663158676600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21752] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21752/stat : 21752 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663157624008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21753] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21753/stat : 21753 (java) S 21732 21734 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216607 9855975424 12416 33554432000 1073741824 1073778376 140735905368160 140663156569000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9624976

[startup+6.30064 s]
/proc/loadavg: 2.03 2.03 2.00 3/211 21753
/proc/meminfo: memFree=29802348/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9624976 CPUtime=6.88 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 9638 0 1 0 685 3 0 0 20 0 19 0 254216591 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2406244 11030 2268 9 0 2396937 0
[pid=21734/tid=21736] ppid=21732 vsize=9624976 CPUtime=6.02 cores=1,3,5,7
/proc/21734/task/21736/stat : 21736 (java) R 21732 21734 20334 0 -1 4202560 2534 0 1 0 600 2 0 0 20 0 19 0 254216592 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663340847512 140663212772357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21737] ppid=21732 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21734/task/21737/stat : 21737 (java) S 21732 21734 20334 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254216593 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663184771368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21738] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21738/stat : 21738 (java) S 21732 21734 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663183718568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21739] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21739/stat : 21739 (java) S 21732 21734 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663182666280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21740] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21740/stat : 21740 (java) S 21732 21734 20334 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663181613480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21741] ppid=21732 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21734/task/21741/stat : 21741 (java) S 21732 21734 20334 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254216593 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663180561192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21742] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21742/stat : 21742 (java) S 21732 21734 20334 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663179508392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21743] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21743/stat : 21743 (java) S 21732 21734 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663178456104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21744] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21744/stat : 21744 (java) S 21732 21734 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254216593 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663177403304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21745] ppid=21732 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/21734/task/21745/stat : 21745 (java) S 21732 21734 20334 0 -1 4202560 30 0 0 0 18 0 0 0 20 0 19 0 254216595 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663164991720 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21746] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21746/stat : 21746 (java) S 21732 21734 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663163937784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21747] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21747/stat : 21747 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663162885384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21748] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21748/stat : 21748 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663161833872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21749] ppid=21732 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/21734/task/21749/stat : 21749 (java) S 21732 21734 20334 0 -1 4202560 4752 0 0 0 37 0 0 0 20 0 19 0 254216598 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663160781496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21750] ppid=21732 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/21734/task/21750/stat : 21750 (java) S 21732 21734 20334 0 -1 4202560 1059 0 0 0 13 0 0 0 20 0 19 0 254216598 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663159728696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21751] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21751/stat : 21751 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663158676600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21752] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21752/stat : 21752 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663157624008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21753] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21753/stat : 21753 (java) S 21732 21734 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216607 9855975424 11030 33554432000 1073741824 1073778376 140735905368160 140663156569000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=21734/tid=21742] ppid=21732 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/21734/task/21742/stat : 21742 (java) S 21732 21734 20334 0 -1 4202560 212 0 0 0 96 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663179508392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21743] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21743/stat : 21743 (java) S 21732 21734 20334 0 -1 4202560 125 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663178456104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21744] ppid=21732 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/21734/task/21744/stat : 21744 (java) S 21732 21734 20334 0 -1 4202560 121 0 0 0 98 0 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663177403304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21745] ppid=21732 vsize=9624976 CPUtime=10.3 cores=1,3,5,7
/proc/21734/task/21745/stat : 21745 (java) S 21732 21734 20334 0 -1 4202560 145 0 0 0 1028 2 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663164991720 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21746] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21746/stat : 21746 (java) S 21732 21734 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663163937784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21747] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21747/stat : 21747 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663162885384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21748] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21748/stat : 21748 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663161833872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21749] ppid=21732 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/21734/task/21749/stat : 21749 (java) S 21732 21734 20334 0 -1 4202560 4752 0 0 0 38 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663160781496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21750] ppid=21732 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/21734/task/21750/stat : 21750 (java) S 21732 21734 20334 0 -1 4202560 2281 0 0 0 20 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663159728696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21751] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21751/stat : 21751 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663158676600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21752] ppid=21732 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/21734/task/21752/stat : 21752 (java) S 21732 21734 20334 0 -1 4202560 99 0 0 0 29 11 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663157624008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21753] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21753/stat : 21753 (java) S 21732 21734 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216607 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663156569000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.43
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 21850
/proc/meminfo: memFree=29758436/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9624976 CPUtime=1788.42 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 12541 0 1 0 178813 29 0 0 20 0 19 0 254216591 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2406244 32348 2270 9 0 2396937 0
[pid=21734/tid=21736] ppid=21732 vsize=9624976 CPUtime=1769.07 cores=1,3,5,7
/proc/21734/task/21736/stat : 21736 (java) R 21732 21734 20334 0 -1 4202560 2895 0 1 0 176878 29 0 0 20 0 19 0 254216592 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663340847392 140663212957523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21737] ppid=21732 vsize=9624976 CPUtime=1.02 cores=1,3,5,7
/proc/21734/task/21737/stat : 21737 (java) S 21732 21734 20334 0 -1 4202560 269 0 0 0 100 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663184771368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21738] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21738/stat : 21738 (java) S 21732 21734 20334 0 -1 4202560 77 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663183718568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21739] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21739/stat : 21739 (java) S 21732 21734 20334 0 -1 4202560 146 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663182666280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21740] ppid=21732 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/21734/task/21740/stat : 21740 (java) S 21732 21734 20334 0 -1 4202560 107 0 0 0 99 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663181613480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21741] ppid=21732 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/21734/task/21741/stat : 21741 (java) S 21732 21734 20334 0 -1 4202560 126 0 0 0 101 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663180561192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21742] ppid=21732 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/21734/task/21742/stat : 21742 (java) S 21732 21734 20334 0 -1 4202560 212 0 0 0 96 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663179508392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21743] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21743/stat : 21743 (java) S 21732 21734 20334 0 -1 4202560 125 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663178456104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21744] ppid=21732 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/21734/task/21744/stat : 21744 (java) S 21732 21734 20334 0 -1 4202560 121 0 0 0 98 0 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663177403304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21745] ppid=21732 vsize=9624976 CPUtime=10.42 cores=1,3,5,7
/proc/21734/task/21745/stat : 21745 (java) S 21732 21734 20334 0 -1 4202560 147 0 0 0 1040 2 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663164991720 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21746] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21746/stat : 21746 (java) S 21732 21734 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663163937784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21747] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21747/stat : 21747 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663162885384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21748] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21748/stat : 21748 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663161833872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21749] ppid=21732 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/21734/task/21749/stat : 21749 (java) S 21732 21734 20334 0 -1 4202560 4752 0 0 0 38 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663160781496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21750] ppid=21732 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/21734/task/21750/stat : 21750 (java) S 21732 21734 20334 0 -1 4202560 2281 0 0 0 20 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663159728696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21751] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21751/stat : 21751 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663158676600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21752] ppid=21732 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/21734/task/21752/stat : 21752 (java) S 21732 21734 20334 0 -1 4202560 103 0 0 0 30 11 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663157624008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21753] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21753/stat : 21753 (java) S 21732 21734 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216607 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663156569000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/211 21850
/proc/meminfo: memFree=29758560/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 12544 0 1 0 179977 29 0 0 20 0 19 0 254216591 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2406244 32348 2270 9 0 2396937 0
[pid=21734/tid=21736] ppid=21732 vsize=9624976 CPUtime=1780.61 cores=1,3,5,7
/proc/21734/task/21736/stat : 21736 (java) R 21732 21734 20334 0 -1 4202560 2896 0 1 0 178031 30 0 0 20 0 19 0 254216592 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663340847392 140663212865155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21737] ppid=21732 vsize=9624976 CPUtime=1.02 cores=1,3,5,7
/proc/21734/task/21737/stat : 21737 (java) S 21732 21734 20334 0 -1 4202560 269 0 0 0 100 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663184771368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21738] ppid=21732 vsize=9624976 CPUtime=1 cores=1,3,5,7
/proc/21734/task/21738/stat : 21738 (java) S 21732 21734 20334 0 -1 4202560 77 0 0 0 98 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663183718568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21739] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21739/stat : 21739 (java) S 21732 21734 20334 0 -1 4202560 146 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663182666280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21740] ppid=21732 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/21734/task/21740/stat : 21740 (java) S 21732 21734 20334 0 -1 4202560 107 0 0 0 99 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663181613480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21741] ppid=21732 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/21734/task/21741/stat : 21741 (java) S 21732 21734 20334 0 -1 4202560 126 0 0 0 101 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663180561192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21742] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21742/stat : 21742 (java) S 21732 21734 20334 0 -1 4202560 212 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663179508392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21743] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21743/stat : 21743 (java) S 21732 21734 20334 0 -1 4202560 125 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663178456104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21744] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21744/stat : 21744 (java) S 21732 21734 20334 0 -1 4202560 121 0 0 0 99 0 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663177403304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21745] ppid=21732 vsize=9624976 CPUtime=10.48 cores=1,3,5,7
/proc/21734/task/21745/stat : 21745 (java) S 21732 21734 20334 0 -1 4202560 149 0 0 0 1046 2 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663164991720 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21746] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21746/stat : 21746 (java) S 21732 21734 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663163937784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21747] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21747/stat : 21747 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663162885384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21748] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21748/stat : 21748 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663161833872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21749] ppid=21732 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/21734/task/21749/stat : 21749 (java) S 21732 21734 20334 0 -1 4202560 4752 0 0 0 38 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663160781496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21750] ppid=21732 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/21734/task/21750/stat : 21750 (java) S 21732 21734 20334 0 -1 4202560 2281 0 0 0 20 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663159728696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21751] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21751/stat : 21751 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663158676600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21752] ppid=21732 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/21734/task/21752/stat : 21752 (java) S 21732 21734 20334 0 -1 4202560 103 0 0 0 31 11 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663157624008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21753] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21753/stat : 21753 (java) S 21732 21734 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216607 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663156569000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1793.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/211 21850
/proc/meminfo: memFree=29758560/32873844 swapFree=7104/7104
[pid=21734] ppid=21732 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21732 21734 20334 0 -1 4202496 12544 0 1 0 179977 29 0 0 20 0 19 0 254216591 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140735905359296 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21734/statm: 2406244 32348 2270 9 0 2396937 0
[pid=21734/tid=21736] ppid=21732 vsize=9624976 CPUtime=1780.61 cores=1,3,5,7
/proc/21734/task/21736/stat : 21736 (java) R 21732 21734 20334 0 -1 4202560 2896 0 1 0 178031 30 0 0 20 0 19 0 254216592 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663340847392 140663212865155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21737] ppid=21732 vsize=9624976 CPUtime=1.02 cores=1,3,5,7
/proc/21734/task/21737/stat : 21737 (java) S 21732 21734 20334 0 -1 4202560 269 0 0 0 100 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663184771368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21738] ppid=21732 vsize=9624976 CPUtime=1 cores=1,3,5,7
/proc/21734/task/21738/stat : 21738 (java) S 21732 21734 20334 0 -1 4202560 77 0 0 0 98 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663183718568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21734/tid=21739] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21739/stat : 21739 (java) S 21732 21734 20334 0 -1 4202560 146 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663182666280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21740] ppid=21732 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/21734/task/21740/stat : 21740 (java) S 21732 21734 20334 0 -1 4202560 107 0 0 0 99 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663181613480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21741] ppid=21732 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/21734/task/21741/stat : 21741 (java) S 21732 21734 20334 0 -1 4202560 126 0 0 0 101 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663180561192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21742] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21742/stat : 21742 (java) S 21732 21734 20334 0 -1 4202560 212 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663179508392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21743] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21743/stat : 21743 (java) S 21732 21734 20334 0 -1 4202560 125 0 0 0 97 2 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663178456104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21744] ppid=21732 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21734/task/21744/stat : 21744 (java) S 21732 21734 20334 0 -1 4202560 121 0 0 0 99 0 0 0 20 0 19 0 254216593 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663177403304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21745] ppid=21732 vsize=9624976 CPUtime=10.48 cores=1,3,5,7
/proc/21734/task/21745/stat : 21745 (java) S 21732 21734 20334 0 -1 4202560 149 0 0 0 1046 2 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663164991720 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21746] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21746/stat : 21746 (java) S 21732 21734 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663163937784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21747] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21747/stat : 21747 (java) S 21732 21734 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216595 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663162885384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21748] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21748/stat : 21748 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663161833872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21749] ppid=21732 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/21734/task/21749/stat : 21749 (java) S 21732 21734 20334 0 -1 4202560 4752 0 0 0 38 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663160781496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21750] ppid=21732 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/21734/task/21750/stat : 21750 (java) S 21732 21734 20334 0 -1 4202560 2281 0 0 0 20 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663159728696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21734/tid=21751] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21751/stat : 21751 (java) S 21732 21734 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663158676600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21734/tid=21752] ppid=21732 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/21734/task/21752/stat : 21752 (java) S 21732 21734 20334 0 -1 4202560 103 0 0 0 31 11 0 0 20 0 19 0 254216598 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663157624008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21734/tid=21753] ppid=21732 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21734/task/21753/stat : 21753 (java) S 21732 21734 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216607 9855975424 32348 33554432000 1073741824 1073778376 140735905368160 140663156569000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1793.95
CPU time (s): 1800.47
CPU user time (s): 1799.76
CPU system time (s): 0.711891
CPU usage (%): 100.363
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.711891
maximum resident set size= 129556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12588
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48095
involuntary context switches= 40799

runsolver used 6.02008 second user time and 14.3838 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-24 19:34:40
IDJOB=3688207
IDBENCH=2899
IDSOLVER=2269
FILE ID=node104/3688207-1337880880
RUNJOBID= node104-1337871880-20351
PBS_JOBID= 14620100
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c
RANDOM SEED=587776622

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
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.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29839196 kB
Buffers:          203708 kB
Cached:          1796764 kB
SwapCached:            0 kB
Active:           613664 kB
Inactive:        1659316 kB
Active(anon):     274968 kB
Inactive(anon):        0 kB
Active(file):     338696 kB
Inactive(file):  1659316 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               468 kB
Writeback:             0 kB
AnonPages:        281352 kB
Mapped:            21540 kB
Shmem:               200 kB
Slab:             621816 kB
SReclaimable:      64652 kB
SUnreclaim:       557164 kB
KernelStack:        1592 kB
PageTables:         4708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     814856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node104 at 2012-05-24 20:04:36