Trace number 3689469

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)406 1800.51 1788.15

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1109824.opb
MD5SUM6b78caa911ec8d23c05ac6a0b1089c62
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark378
Best CPU time to get the best result obtained on this benchmark84.4462
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.2.v20120418
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3689469-1337890603.opb
0.09/0.11	c reading problem ... 
0.73/0.47	c ... done. Wall clock time 0.361s.
0.73/0.47	c declared #vars     1520
0.73/0.47	c #constraints  29078
0.73/0.47	c constraints type 
0.73/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27383
0.73/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 175
0.73/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1520
0.73/0.47	c 29078 constraints processed.
0.73/0.47	c objective function length is 1512 literals
1.18/0.63	c SATISFIABLE
1.18/0.63	c OPTIMIZING...
1.18/0.63	c Got one! Elapsed wall clock time (in seconds):0.522
1.18/0.63	o 668
1.18/0.67	c Got one! Elapsed wall clock time (in seconds):0.558
1.18/0.67	o 589
1.74/0.99	c cleaning 2850 clauses out of 5709 with flag 5002/5709
2.19/1.33	c cleaning 4423 clauses out of 8858 with flag 11001/11708
2.62/1.73	c cleaning 5716 clauses out of 11435 with flag 18001/18708
3.13/2.23	c cleaning 6851 clauses out of 13719 with flag 26001/26708
3.78/2.80	c cleaning 7934 clauses out of 15868 with flag 35001/35708
4.39/3.41	c cleaning 8964 clauses out of 17933 with flag 45000/45707
4.99/4.05	c cleaning 9984 clauses out of 19969 with flag 56000/56707
5.79/4.81	c cleaning 10990 clauses out of 21986 with flag 68001/68708
6.59/5.68	c cleaning 11993 clauses out of 23995 with flag 81000/81707
7.50/6.57	c cleaning 12986 clauses out of 26002 with flag 95000/95707
8.62/7.67	c cleaning 13994 clauses out of 28016 with flag 110000/110707
9.95/8.90	c cleaning 15010 clauses out of 30022 with flag 126000/126707
11.27/10.25	c cleaning 16005 clauses out of 32012 with flag 143000/143707
12.70/11.61	c cleaning 16994 clauses out of 34007 with flag 161000/161707
14.11/13.01	c cleaning 18005 clauses out of 36013 with flag 180000/180707
15.53/14.45	c cleaning 18999 clauses out of 38009 with flag 200001/200708
17.16/16.00	c cleaning 20004 clauses out of 40009 with flag 221000/221707
18.88/17.72	c cleaning 20991 clauses out of 42005 with flag 243000/243707
20.90/19.76	c cleaning 22001 clauses out of 44014 with flag 266000/266707
22.51/21.38	c cleaning 22995 clauses out of 46014 with flag 290001/290708
24.43/23.20	c cleaning 24002 clauses out of 48018 with flag 315000/315707
26.54/25.32	c cleaning 24998 clauses out of 50017 with flag 341001/341708
28.96/27.73	c cleaning 25998 clauses out of 52021 with flag 368003/368710
31.37/30.18	c cleaning 27002 clauses out of 54022 with flag 396002/396709
33.70/32.40	c cleaning 27996 clauses out of 56020 with flag 425002/425709
35.97/34.67	c cleaning 28980 clauses out of 58024 with flag 455002/455709
38.18/36.84	c cleaning 29998 clauses out of 60042 with flag 486000/486707
40.61/39.28	c cleaning 30999 clauses out of 62046 with flag 518002/518709
43.14/41.76	c cleaning 31998 clauses out of 64045 with flag 551000/551707
46.35/44.90	c cleaning 32998 clauses out of 66047 with flag 585000/585707
49.78/48.39	c cleaning 33985 clauses out of 68049 with flag 620000/620707
52.80/51.38	c cleaning 35008 clauses out of 70065 with flag 656001/656708
56.42/54.92	c cleaning 36013 clauses out of 72056 with flag 693000/693707
60.15/58.64	c cleaning 36990 clauses out of 74045 with flag 731002/731709
63.88/62.36	c cleaning 37997 clauses out of 76053 with flag 770000/770707
66.44/64.87	c Got one! Elapsed wall clock time (in seconds):64.76
66.44/64.87	o 578
66.57/64.91	c Got one! Elapsed wall clock time (in seconds):64.799
66.57/64.91	o 454
66.57/64.96	c Got one! Elapsed wall clock time (in seconds):64.852
66.57/64.96	o 451
66.66/65.02	c Got one! Elapsed wall clock time (in seconds):64.914
66.66/65.02	o 438
66.66/65.06	c Got one! Elapsed wall clock time (in seconds):64.953
66.66/65.06	o 429
67.17/65.58	c cleaning 36142 clauses out of 72418 with flag 5000/805069
67.69/66.07	c cleaning 21081 clauses out of 42279 with flag 11003/811072
68.29/66.64	c cleaning 13955 clauses out of 28195 with flag 18000/818069
69.00/67.34	c cleaning 11005 clauses out of 22242 with flag 26002/826071
69.82/68.16	c cleaning 9987 clauses out of 20236 with flag 35001/835070
70.75/69.02	c cleaning 10067 clauses out of 20249 with flag 45001/845070
70.97/69.29	c Got one! Elapsed wall clock time (in seconds):69.184
70.97/69.29	o 424
71.23/69.43	c cleaning 7723 clauses out of 15572 with flag 2000/850460
71.64/69.81	c cleaning 6850 clauses out of 13853 with flag 8004/856464
72.04/70.20	c Got one! Elapsed wall clock time (in seconds):70.096
72.04/70.20	o 423
72.35/70.50	c Got one! Elapsed wall clock time (in seconds):70.39
72.35/70.50	o 416
72.35/70.57	c cleaning 9120 clauses out of 18258 with flag 1000/867719
72.76/70.98	c cleaning 7497 clauses out of 15138 with flag 7000/873719
72.97/71.15	c Got one! Elapsed wall clock time (in seconds):71.041
72.97/71.15	o 406
73.17/71.35	c cleaning 6384 clauses out of 12948 with flag 3002/879026
73.47/71.67	c cleaning 6243 clauses out of 12564 with flag 9002/885026
73.91/72.07	c cleaning 6642 clauses out of 13322 with flag 16003/892027
74.43/72.57	c cleaning 7327 clauses out of 14678 with flag 24001/900025
74.94/73.08	c cleaning 8167 clauses out of 16352 with flag 33002/909026
75.55/73.65	c cleaning 9083 clauses out of 18184 with flag 43001/919025
76.27/74.30	c cleaning 10035 clauses out of 20100 with flag 54000/930024
76.97/75.06	c cleaning 11016 clauses out of 22065 with flag 66000/942024
77.68/75.78	c cleaning 12014 clauses out of 24049 with flag 79000/955024
78.61/76.60	c cleaning 12991 clauses out of 26035 with flag 93000/969024
79.42/77.46	c cleaning 14018 clauses out of 28048 with flag 108004/984028
80.43/78.40	c cleaning 15001 clauses out of 30026 with flag 124000/1000024
81.57/79.53	c cleaning 16013 clauses out of 32031 with flag 141006/1017030
82.80/80.77	c cleaning 16996 clauses out of 34012 with flag 159000/1035024
84.00/81.95	c cleaning 17980 clauses out of 36016 with flag 178000/1054024
85.21/83.16	c cleaning 19009 clauses out of 38037 with flag 198001/1074025
86.53/84.49	c cleaning 19999 clauses out of 40027 with flag 219000/1095024
87.96/85.85	c cleaning 21004 clauses out of 42029 with flag 241001/1117025
89.47/87.32	c cleaning 21999 clauses out of 44024 with flag 264000/1140024
91.08/88.93	c cleaning 23005 clauses out of 46026 with flag 288001/1164025
92.91/90.75	c cleaning 23993 clauses out of 48020 with flag 313000/1189024
94.74/92.56	c cleaning 25007 clauses out of 50029 with flag 339002/1215026
96.68/94.48	c cleaning 26004 clauses out of 52021 with flag 366001/1242025
98.59/96.39	c cleaning 26968 clauses out of 54017 with flag 394001/1270025
100.71/98.49	c cleaning 28012 clauses out of 56048 with flag 423000/1299024
102.93/100.62	c cleaning 29011 clauses out of 58036 with flag 453000/1329024
105.54/103.24	c cleaning 29987 clauses out of 60025 with flag 484000/1360024
107.87/105.52	c cleaning 31006 clauses out of 62039 with flag 516001/1392025
110.29/107.96	c cleaning 32000 clauses out of 64033 with flag 549001/1425025
112.92/110.52	c cleaning 33009 clauses out of 66033 with flag 583001/1459025
115.12/112.73	c cleaning 34001 clauses out of 68023 with flag 618000/1494024
117.43/115.05	c cleaning 34994 clauses out of 70022 with flag 654000/1530024
119.96/117.51	c cleaning 36015 clauses out of 72033 with flag 691005/1567029
122.50/120.05	c cleaning 36989 clauses out of 74013 with flag 729000/1605024
125.14/122.63	c cleaning 37976 clauses out of 76024 with flag 768000/1644024
127.85/125.32	c cleaning 39015 clauses out of 78049 with flag 808001/1684025
130.68/128.15	c cleaning 40011 clauses out of 80033 with flag 849000/1725024
133.51/130.95	c cleaning 41003 clauses out of 82022 with flag 891000/1767024
136.52/133.93	c cleaning 42003 clauses out of 84023 with flag 934004/1810028
139.84/137.28	c cleaning 43001 clauses out of 86016 with flag 978000/1854024
143.07/140.43	c cleaning 43976 clauses out of 88016 with flag 1023001/1899025
146.59/143.93	c cleaning 44998 clauses out of 90039 with flag 1069000/1945024
150.10/147.49	c cleaning 46010 clauses out of 92041 with flag 1116000/1992024
153.61/150.79	c cleaning 46991 clauses out of 94032 with flag 1164001/2040025
156.80/153.68	c cleaning 48016 clauses out of 96040 with flag 1213000/2089024
159.92/156.74	c cleaning 49006 clauses out of 98025 with flag 1263001/2139025
163.14/159.93	c cleaning 50001 clauses out of 100018 with flag 1314000/2190024
166.36/163.19	c cleaning 50995 clauses out of 102017 with flag 1366000/2242024
169.60/166.37	c cleaning 51994 clauses out of 104024 with flag 1419002/2295026
173.11/169.86	c cleaning 53003 clauses out of 106028 with flag 1473000/2349024
176.54/173.28	c cleaning 53990 clauses out of 108027 with flag 1528002/2404026
179.96/176.62	c cleaning 54998 clauses out of 110035 with flag 1584000/2460024
183.49/180.19	c cleaning 55995 clauses out of 112037 with flag 1641000/2517024
187.32/183.99	c cleaning 56994 clauses out of 114042 with flag 1699000/2575024
191.25/187.83	c cleaning 58003 clauses out of 116048 with flag 1758000/2634024
195.17/191.76	c cleaning 58995 clauses out of 118045 with flag 1818000/2694024
199.41/195.93	c cleaning 59998 clauses out of 120052 with flag 1879002/2755026
203.95/200.43	c cleaning 61004 clauses out of 122052 with flag 1941000/2817024
208.67/205.13	c cleaning 62000 clauses out of 124049 with flag 2004001/2880025
213.11/209.52	c cleaning 62993 clauses out of 126048 with flag 2068000/2944024
217.43/213.87	c cleaning 64026 clauses out of 128059 with flag 2133004/3009028
222.17/218.51	c cleaning 65000 clauses out of 130030 with flag 2199001/3075025
226.94/223.30	c cleaning 66005 clauses out of 132029 with flag 2266000/3142024
231.87/228.15	c cleaning 67001 clauses out of 134025 with flag 2334001/3210025
237.78/234.02	c cleaning 67991 clauses out of 136024 with flag 2403001/3279025
242.64/238.89	c cleaning 69001 clauses out of 138032 with flag 2473000/3349024
248.16/244.32	c cleaning 69992 clauses out of 140032 with flag 2544001/3420025
253.70/249.88	c cleaning 70999 clauses out of 142039 with flag 2616000/3492024
260.07/256.12	c cleaning 72004 clauses out of 144042 with flag 2689002/3565026
266.25/262.22	c cleaning 72997 clauses out of 146037 with flag 2763001/3639025
272.19/268.15	c cleaning 74001 clauses out of 148040 with flag 2838001/3714025
277.71/273.62	c cleaning 74998 clauses out of 150039 with flag 2914001/3790025
283.84/279.72	c cleaning 75989 clauses out of 152041 with flag 2991001/3867025
289.78/285.69	c cleaning 76993 clauses out of 154051 with flag 3069000/3945024
295.64/291.50	c cleaning 78007 clauses out of 156058 with flag 3148000/4024024
302.47/298.27	c cleaning 78976 clauses out of 158053 with flag 3228002/4104026
309.40/305.19	c cleaning 79961 clauses out of 160076 with flag 3309001/4185025
316.86/312.54	c cleaning 81029 clauses out of 162114 with flag 3391000/4267024
324.40/320.07	c cleaning 81998 clauses out of 164086 with flag 3474001/4350025
331.82/327.42	c cleaning 83026 clauses out of 166088 with flag 3558001/4434025
338.65/334.26	c cleaning 84003 clauses out of 168061 with flag 3643000/4519024
346.77/342.37	c cleaning 85011 clauses out of 170058 with flag 3729000/4605024
354.01/349.59	c cleaning 86015 clauses out of 172047 with flag 3816000/4692024
361.35/356.80	c cleaning 87002 clauses out of 174032 with flag 3904000/4780024
368.80/364.21	c cleaning 87990 clauses out of 176031 with flag 3993001/4869025
376.33/371.75	c cleaning 89012 clauses out of 178041 with flag 4083001/4959025
383.46/378.89	c cleaning 90004 clauses out of 180029 with flag 4174001/5050025
391.82/387.12	c cleaning 90973 clauses out of 182024 with flag 4266000/5142024
399.27/394.54	c cleaning 91994 clauses out of 184053 with flag 4359002/5235026
405.72/400.95	c cleaning 93014 clauses out of 186057 with flag 4453000/5329024
412.75/407.98	c cleaning 94005 clauses out of 188043 with flag 4548000/5424024
421.99/417.15	c cleaning 94989 clauses out of 190039 with flag 4644001/5520025
430.73/425.83	c cleaning 95986 clauses out of 192051 with flag 4741002/5617026
439.38/434.44	c cleaning 97006 clauses out of 194063 with flag 4839000/5715024
448.53/443.52	c cleaning 97990 clauses out of 196058 with flag 4938001/5814025
456.86/451.88	c cleaning 99003 clauses out of 198067 with flag 5038000/5914024
464.34/459.21	c cleaning 100003 clauses out of 200065 with flag 5139001/6015025
471.78/466.63	c cleaning 101000 clauses out of 202061 with flag 5241000/6117024
479.70/474.56	c cleaning 102004 clauses out of 204064 with flag 5344003/6220027
488.54/483.39	c cleaning 102986 clauses out of 206057 with flag 5448000/6324024
499.28/494.01	c cleaning 103983 clauses out of 208072 with flag 5553001/6429025
507.76/502.44	c cleaning 105019 clauses out of 210090 with flag 5659002/6535026
515.79/510.47	c cleaning 106015 clauses out of 212073 with flag 5766004/6642028
523.73/518.37	c cleaning 107010 clauses out of 214054 with flag 5874000/6750024
532.27/526.85	c cleaning 108017 clauses out of 216049 with flag 5983005/6859029
540.67/535.17	c cleaning 108969 clauses out of 218027 with flag 6093000/6969024
548.79/543.23	c cleaning 110010 clauses out of 220059 with flag 6204001/7080025
556.96/551.38	c cleaning 110981 clauses out of 222048 with flag 6316000/7192024
566.11/560.41	c cleaning 111958 clauses out of 224068 with flag 6429001/7305025
575.86/570.15	c cleaning 113014 clauses out of 226109 with flag 6543000/7419024
586.20/580.41	c cleaning 114028 clauses out of 228097 with flag 6658002/7534026
596.35/590.51	c cleaning 115015 clauses out of 230068 with flag 6774001/7650025
606.60/600.76	c cleaning 115998 clauses out of 232054 with flag 6891002/7767026
615.77/609.85	c cleaning 117002 clauses out of 234054 with flag 7009000/7885024
624.70/618.79	c cleaning 117971 clauses out of 236054 with flag 7128002/8004026
634.55/628.60	c cleaning 119006 clauses out of 238081 with flag 7248000/8124024
645.03/638.99	c cleaning 119983 clauses out of 240078 with flag 7369003/8245027
654.28/648.11	c cleaning 121001 clauses out of 242092 with flag 7491000/8367024
663.34/657.10	c cleaning 122011 clauses out of 244091 with flag 7614000/8490024
672.78/666.60	c cleaning 123003 clauses out of 246080 with flag 7738000/8614024
682.04/675.70	c cleaning 124005 clauses out of 248077 with flag 7863000/8739024
692.08/685.71	c cleaning 124992 clauses out of 250073 with flag 7989001/8865025
701.84/695.43	c cleaning 126016 clauses out of 252082 with flag 8116002/8992026
712.02/705.50	c cleaning 126996 clauses out of 254065 with flag 8244001/9120025
723.29/716.70	c cleaning 128010 clauses out of 256070 with flag 8373002/9249026
734.67/728.04	c cleaning 128997 clauses out of 258059 with flag 8503001/9379025
747.14/740.47	c cleaning 129993 clauses out of 260062 with flag 8634001/9510025
758.58/751.85	c cleaning 130990 clauses out of 262068 with flag 8766000/9642024
769.65/762.81	c cleaning 131994 clauses out of 264078 with flag 8899000/9775024
779.68/772.81	c cleaning 133018 clauses out of 266084 with flag 9033000/9909024
790.83/783.91	c cleaning 134000 clauses out of 268066 with flag 9168000/10044024
800.88/793.95	c cleaning 135008 clauses out of 270068 with flag 9304002/10180026
813.42/806.42	c cleaning 135990 clauses out of 272061 with flag 9441003/10317027
824.48/817.45	c cleaning 137009 clauses out of 274068 with flag 9579000/10455024
837.36/830.29	c cleaning 138008 clauses out of 276061 with flag 9718002/10594026
849.53/842.35	c cleaning 138984 clauses out of 278053 with flag 9858002/10734026
861.99/854.78	c cleaning 140009 clauses out of 280067 with flag 9999000/10875024
875.96/868.70	c cleaning 141001 clauses out of 282060 with flag 10141002/11017026
888.56/881.19	c cleaning 142001 clauses out of 284058 with flag 10284001/11160025
900.13/892.63	c cleaning 142984 clauses out of 286056 with flag 10428000/11304024
911.98/904.43	c cleaning 144014 clauses out of 288072 with flag 10573000/11449024
925.46/917.89	c cleaning 145011 clauses out of 290058 with flag 10719000/11595024
937.95/930.27	c cleaning 145992 clauses out of 292047 with flag 10866000/11742024
952.63/944.88	c cleaning 147017 clauses out of 294058 with flag 11014003/11890027
966.13/958.20	c cleaning 147948 clauses out of 296038 with flag 11163000/12039024
981.17/973.21	c cleaning 148992 clauses out of 298090 with flag 11313000/12189024
994.01/985.99	c cleaning 150010 clauses out of 300098 with flag 11464000/12340024
1007.78/999.62	c cleaning 151017 clauses out of 302088 with flag 11616000/12492024
1021.95/1013.72	c cleaning 151992 clauses out of 304072 with flag 11769001/12645025
1036.03/1027.71	c cleaning 152982 clauses out of 306079 with flag 11923000/12799024
1050.41/1042.08	c cleaning 154020 clauses out of 308098 with flag 12078001/12954025
1064.58/1056.11	c cleaning 154989 clauses out of 310077 with flag 12234000/13110024
1078.82/1070.34	c cleaning 156021 clauses out of 312089 with flag 12391001/13267025
1093.50/1084.92	c cleaning 156984 clauses out of 314069 with flag 12549002/13425026
1111.41/1102.67	c cleaning 157996 clauses out of 316083 with flag 12708000/13584024
1126.52/1117.64	c cleaning 159005 clauses out of 318087 with flag 12868000/13744024
1143.87/1134.92	c cleaning 160028 clauses out of 320082 with flag 13029000/13905024
1161.54/1152.55	c cleaning 160997 clauses out of 322056 with flag 13191002/14067026
1179.83/1170.75	c cleaning 161985 clauses out of 324057 with flag 13354000/14230024
1196.39/1187.23	c cleaning 162999 clauses out of 326076 with flag 13518004/14394028
1214.71/1205.40	c cleaning 164001 clauses out of 328075 with flag 13683002/14559026
1231.64/1222.26	c cleaning 165013 clauses out of 330073 with flag 13849001/14725025
1248.72/1239.23	c cleaning 166002 clauses out of 332059 with flag 14016000/14892024
1266.70/1257.11	c cleaning 167002 clauses out of 334058 with flag 14184001/15060025
1283.19/1273.54	c cleaning 167981 clauses out of 336056 with flag 14353001/15229025
1296.64/1286.94	c cleaning 168992 clauses out of 338076 with flag 14523002/15399026
1312.52/1302.73	c cleaning 169985 clauses out of 340086 with flag 14694004/15570028
1326.99/1317.15	c cleaning 171024 clauses out of 342098 with flag 14866001/15742025
1343.84/1333.98	c cleaning 172010 clauses out of 344074 with flag 15039001/15915025
1362.51/1352.59	c cleaning 172988 clauses out of 346064 with flag 15213001/16089025
1380.89/1370.81	c cleaning 174028 clauses out of 348079 with flag 15388004/16264028
1398.46/1388.37	c cleaning 174992 clauses out of 350047 with flag 15564000/16440024
1414.54/1404.37	c cleaning 175970 clauses out of 352055 with flag 15741000/16617024
1432.62/1422.39	c cleaning 176978 clauses out of 354085 with flag 15919000/16795024
1449.29/1438.94	c cleaning 178003 clauses out of 356110 with flag 16098003/16974027
1466.19/1455.77	c cleaning 178985 clauses out of 358105 with flag 16278001/17154025
1482.57/1472.02	c cleaning 179992 clauses out of 360122 with flag 16459003/17335027
1499.24/1488.63	c cleaning 181036 clauses out of 362130 with flag 16641003/17517027
1517.99/1507.33	c cleaning 182015 clauses out of 364091 with flag 16824000/17700024
1537.30/1526.57	c cleaning 183013 clauses out of 366076 with flag 17008000/17884024
1558.38/1547.57	c cleaning 184008 clauses out of 368063 with flag 17193000/18069024
1578.68/1567.76	c cleaning 184991 clauses out of 370056 with flag 17379001/18255025
1597.34/1586.30	c cleaning 185973 clauses out of 372065 with flag 17566001/18442025
1613.84/1602.79	c cleaning 187008 clauses out of 374091 with flag 17754000/18630024
1634.98/1623.82	c cleaning 187996 clauses out of 376083 with flag 17943000/18819024
1654.87/1643.61	c cleaning 189012 clauses out of 378087 with flag 18133000/19009024
1674.86/1663.51	c cleaning 190016 clauses out of 380075 with flag 18324000/19200024
1693.55/1682.10	c cleaning 190982 clauses out of 382059 with flag 18516000/19392024
1714.62/1703.16	c cleaning 191979 clauses out of 384079 with flag 18709002/19585026
1732.27/1720.73	c cleaning 193007 clauses out of 386099 with flag 18903001/19779025
1753.95/1742.38	c cleaning 193988 clauses out of 388091 with flag 19098000/19974024
1773.26/1761.52	c cleaning 195005 clauses out of 390103 with flag 19294000/20170024
1791.34/1779.59	c cleaning 196031 clauses out of 392099 with flag 19491001/20367025
1800.02/1788.11	c starts		: 362
1800.02/1788.11	c conflicts		: 20468048
1800.02/1788.11	c decisions		: 62313972
1800.02/1788.11	c propagations		: 1170510074
1800.02/1788.11	c inspects		: 9736849069
1800.02/1788.11	c shortcuts		: 0
1800.02/1788.11	c learnt literals	: 0
1800.02/1788.11	c learnt binary clauses	: 19
1800.02/1788.11	c learnt ternary clauses	: 458
1800.02/1788.11	c learnt constraints	: 20468051
1800.02/1788.11	c ignored constraints	: 0
1800.02/1788.11	c root simplifications	: 0
1800.02/1788.11	c removed literals (reason simplification)	: 0
1800.02/1788.11	c reason swapping (by a shorter reason)	: 0
1800.02/1788.11	c Calls to reduceDB	: 238
1800.02/1788.11	c number of reductions to clauses (during analyze)	: 0
1800.02/1788.11	c number of learned constraints concerned by reduction	: 0
1800.02/1788.11	c number of learning phase by resolution	: 0
1800.02/1788.11	c number of learning phase by cutting planes	: 0
1800.02/1788.11	c speed (assignments/second)	: 654784.3750402069
1800.02/1788.11	c non guided choices	40
1800.02/1788.14	c learnt constraints type 
1800.02/1788.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 19
1800.02/1788.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 297262
1800.02/1788.14	c constraints type 
1800.02/1788.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27383
1800.02/1788.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 175
1800.02/1788.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1520
1800.02/1788.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.02/1788.14	c 29079 constraints processed.
1800.02/1788.14	s SATISFIABLE
1800.02/1788.15	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 
1800.02/1788.15	c objective function=406
1800.02/1788.15	c Total wall clock time (in seconds): 1788.039

Verifier Data 

OK	406

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-3689469-1337890603/watcher-3689469-1337890603 -o /tmp/evaluation-result-3689469-1337890603/solver-3689469-1337890603 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689469-1337890603.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.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29802/stat : 29802 (java) D 29800 29802 27428 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 255186248 9515008 182 33554432000 1073741824 1073778376 140733313652512 140733313643544 242167398069 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/29802/statm: 2323 182 140 9 0 71 0

[startup+0.052894 s]
/proc/loadavg: 2.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 3069 0 1 0 2 0 0 0 20 0 13 0 255186248 9446973440 3768 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2306390 3769 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100249 s]
/proc/loadavg: 2.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 4352 0 1 0 8 1 0 0 20 0 18 0 255186248 9787813888 5551 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2389603 5556 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300176 s]
/proc/loadavg: 2.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9558412 CPUtime=0.53 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 5952 0 1 0 52 1 0 0 20 0 18 0 255186248 9787813888 10016 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2389603 10016 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412

[startup+0.700185 s]
/proc/loadavg: 2.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 9487 0 1 0 145 3 0 0 20 0 19 0 255186248 9855975424 26439 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 26439 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9624976

[startup+1.50069 s]
/proc/loadavg: 2.00 2.03 2.01 3/213 29821
/proc/meminfo: memFree=26788172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=2.42 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 9639 0 1 0 238 4 0 0 20 0 19 0 255186248 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 30814 2282 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2492 0 1 0 139 2 0 0 20 0 19 0 255186249 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830279025048 139830126880400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 255186251 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 2190 0 0 0 41 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 3702 0 0 0 46 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9624976

[startup+3.10053 s]
/proc/loadavg: 2.00 2.03 2.01 3/213 29821
/proc/meminfo: memFree=26777808/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=4.09 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 10117 0 1 0 405 4 0 0 20 0 19 0 255186248 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 31851 2282 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=2.94 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2493 0 1 0 291 3 0 0 20 0 19 0 255186249 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830279025096 139830126975178 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 34 0 0 0 7 0 0 0 20 0 19 0 255186251 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 2190 0 0 0 41 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4162 0 0 0 51 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 2.00 2.03 2.01 3/213 29821
/proc/meminfo: memFree=26773836/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=7.3 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 10127 0 1 0 726 4 0 0 20 0 19 0 255186248 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 32305 2282 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=6.05 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2497 0 1 0 602 3 0 0 20 0 19 0 255186249 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830279024928 139830126887387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 35 0 0 0 15 0 0 0 20 0 19 0 255186251 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 2190 0 0 0 41 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4162 0 0 0 51 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=1.64 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 345 0 0 0 160 4 0 0 20 0 19 0 255186250 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 397 0 0 0 161 4 0 0 20 0 19 0 255186250 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 311 0 0 0 153 3 0 0 20 0 19 0 255186250 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=13.55 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 168 0 0 0 1351 4 0 0 20 0 19 0 255186251 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 9487 0 0 0 96 0 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4663 0 0 0 70 0 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 99 0 0 0 20 24 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1733.94
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29897
/proc/meminfo: memFree=29243048/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=1794.21 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 21387 0 1 0 179354 67 0 0 20 0 19 0 255186248 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 117518 2285 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=1764.5 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2757 0 1 0 176420 30 0 0 20 0 19 0 255186249 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830279024928 139830126875039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 452 0 0 0 175 6 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 430 0 0 0 178 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 315 0 0 0 176 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=1.75 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 457 0 0 0 170 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 319 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=1.68 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 345 0 0 0 164 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 397 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 311 0 0 0 157 3 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=13.92 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 172 0 0 0 1388 4 0 0 20 0 19 0 255186251 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 9487 0 0 0 96 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4663 0 0 0 70 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 103 0 0 0 20 24 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.21
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29897
/proc/meminfo: memFree=29234856/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 21387 0 1 0 179935 67 0 0 20 0 19 0 255186248 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 117518 2285 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=1770.31 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2757 0 1 0 177001 30 0 0 20 0 19 0 255186249 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830279024928 139830126875584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 452 0 0 0 175 6 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 430 0 0 0 178 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 315 0 0 0 176 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=1.75 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 457 0 0 0 170 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 319 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=1.68 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 345 0 0 0 164 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 397 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 311 0 0 0 157 3 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=13.92 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 172 0 0 0 1388 4 0 0 20 0 19 0 255186251 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 9487 0 0 0 96 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4663 0 0 0 70 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 103 0 0 0 21 25 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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+1788.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29897
/proc/meminfo: memFree=29234856/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 21387 0 1 0 179935 67 0 0 20 0 19 0 255186248 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 117518 2285 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=1770.31 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2757 0 1 0 177001 30 0 0 20 0 19 0 255186249 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830279024928 139830126875584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 452 0 0 0 175 6 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 430 0 0 0 178 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 315 0 0 0 176 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=1.75 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 457 0 0 0 170 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 319 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=1.68 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 345 0 0 0 164 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 397 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 311 0 0 0 157 3 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=13.92 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 172 0 0 0 1388 4 0 0 20 0 19 0 255186251 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 9487 0 0 0 96 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4663 0 0 0 70 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 103 0 0 0 21 25 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1788.15
CPU time (s): 1800.51
CPU user time (s): 1799.42
CPU system time (s): 1.09183
CPU usage (%): 100.691
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 1.09183
maximum resident set size= 470196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21420
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44455
involuntary context switches= 22715

runsolver used 7.07192 second user time and 13.332 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-24 22:16:43
IDJOB=3689469
IDBENCH=89828
IDSOLVER=2269
FILE ID=node126/3689469-1337890603
RUNJOBID= node126-1337871880-27446
PBS_JOBID= 14620078
Free space on /tmp= 71572 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689469-1337890603/watcher-3689469-1337890603 -o /tmp/evaluation-result-3689469-1337890603/solver-3689469-1337890603 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689469-1337890603.opb

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

MD5SUM BENCH= 6b78caa911ec8d23c05ac6a0b1089c62
RANDOM SEED=1924914499

node126.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.456
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:       32873648 kB
MemFree:        26895776 kB
Buffers:          242628 kB
Cached:          1991824 kB
SwapCached:        17768 kB
Active:          3452692 kB
Inactive:        1757440 kB
Active(anon):    2958524 kB
Inactive(anon):    19404 kB
Active(file):     494168 kB
Inactive(file):  1738036 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086928 kB
Dirty:              1356 kB
Writeback:             0 kB
AnonPages:       2974144 kB
Mapped:            18328 kB
Shmem:                 0 kB
Slab:             624440 kB
SReclaimable:      68468 kB
SUnreclaim:       555972 kB
KernelStack:        1592 kB
PageTables:         9984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3222256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2918400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node126 at 2012-05-24 22:46:34