Trace number 3718378

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.63 1793.85

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMfcf2074312786880370cecd0374d7bf5
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.092985
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints70
Number of soft constraints70
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint20
Top cost 3292
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3291
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120528
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3718378-1338252291.wbo
0.10/0.10	c reading problem ... 
0.10/0.15	c ... done. Wall clock time 0.051s.
0.10/0.15	c declared #vars     600
0.10/0.15	c internal #vars     670
0.10/0.15	c #constraints  70
0.10/0.15	c constraints type 
0.10/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40
0.10/0.15	c ignored satisfied constraints => 1
0.10/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.10/0.15	c 71 constraints processed.
0.10/0.15	c objective function length is 70 literals
0.30/0.23	c SATISFIABLE
0.30/0.23	c OPTIMIZING...
0.30/0.23	c Got one! Elapsed wall clock time (in seconds):0.129
0.30/0.23	o 123
0.30/0.25	c Got one! Elapsed wall clock time (in seconds):0.148
0.30/0.25	o 108
0.30/0.29	c Got one! Elapsed wall clock time (in seconds):0.191
0.30/0.29	o 70
0.50/0.32	c Got one! Elapsed wall clock time (in seconds):0.222
0.50/0.32	o 58
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.249
0.50/0.35	o 55
0.50/0.40	c Got one! Elapsed wall clock time (in seconds):0.296
0.50/0.40	o 50
0.68/0.42	c Got one! Elapsed wall clock time (in seconds):0.319
0.68/0.42	o 29
0.80/0.52	c Got one! Elapsed wall clock time (in seconds):0.417
0.80/0.52	o 26
0.80/0.56	c Got one! Elapsed wall clock time (in seconds):0.457
0.80/0.56	o 23
0.90/0.65	c Got one! Elapsed wall clock time (in seconds):0.549
0.90/0.65	o 20
1.01/0.73	c Got one! Elapsed wall clock time (in seconds):0.635
1.01/0.73	o 19
1.11/0.87	c cleaning 5216 clauses out of 10446 with flag 11965/10446
1.56/1.22	c cleaning 5566 clauses out of 11232 with flag 57569/16448
1.99/1.66	c cleaning 6299 clauses out of 12665 with flag 107125/23447
2.40/2.09	c cleaning 7153 clauses out of 14365 with flag 176340/31446
3.11/2.71	c cleaning 8102 clauses out of 16212 with flag 249909/40446
3.91/3.51	c cleaning 9051 clauses out of 18111 with flag 329384/50447
4.73/4.37	c cleaning 10021 clauses out of 20059 with flag 415213/61446
5.84/5.49	c cleaning 11005 clauses out of 22038 with flag 529876/73446
7.04/6.61	c cleaning 12001 clauses out of 24036 with flag 634061/86449
8.34/7.94	c cleaning 12996 clauses out of 26032 with flag 750639/100446
10.27/9.82	c cleaning 14014 clauses out of 28036 with flag 898504/115446
11.89/11.48	c cleaning 15004 clauses out of 30022 with flag 1042203/131446
13.91/13.49	c cleaning 16002 clauses out of 32020 with flag 1201426/148448
16.53/16.06	c cleaning 17001 clauses out of 34016 with flag 1358761/166446
18.56/18.03	c cleaning 17995 clauses out of 36015 with flag 1529035/185446
20.88/20.37	c cleaning 19005 clauses out of 38022 with flag 1709568/205448
23.21/22.65	c cleaning 19994 clauses out of 40015 with flag 1881075/226446
26.52/25.95	c cleaning 21006 clauses out of 42024 with flag 2077958/248449
28.73/28.14	c cleaning 21991 clauses out of 44015 with flag 2288738/271446
31.24/30.68	c cleaning 22984 clauses out of 46024 with flag 2498288/295446
34.07/33.42	c cleaning 24009 clauses out of 48042 with flag 2736124/320448
39.10/38.47	c cleaning 25001 clauses out of 50031 with flag 2959450/346446
43.53/42.86	c cleaning 26005 clauses out of 52030 with flag 3170475/373446
47.25/46.56	c cleaning 26989 clauses out of 54027 with flag 3408767/401448
50.46/49.74	c cleaning 27989 clauses out of 56036 with flag 3687975/430446
54.49/53.72	c cleaning 29022 clauses out of 58049 with flag 4006837/460448
58.82/58.03	c cleaning 30007 clauses out of 60025 with flag 4331622/491446
63.34/62.51	c cleaning 30993 clauses out of 62018 with flag 4605872/523446
68.86/68.01	c cleaning 31992 clauses out of 64029 with flag 4892538/556450
75.38/74.51	c cleaning 33014 clauses out of 66033 with flag 5184743/590446
75.53/74.67	c Got one! Elapsed wall clock time (in seconds):74.567
75.53/74.67	o 18
75.93/75.05	c cleaning 19171 clauses out of 38361 with flag 29946/595788
76.45/75.54	c cleaning 12577 clauses out of 25189 with flag 78614/601787
77.07/76.16	c cleaning 9788 clauses out of 19612 with flag 138306/608787
77.68/76.74	c cleaning 8860 clauses out of 17826 with flag 206521/616789
78.50/77.54	c cleaning 8925 clauses out of 17964 with flag 282197/625787
79.51/78.50	c cleaning 9499 clauses out of 19039 with flag 364592/635787
80.73/79.70	c cleaning 10267 clauses out of 20542 with flag 453145/646789
81.96/80.98	c cleaning 11133 clauses out of 22273 with flag 541435/658787
83.47/82.46	c cleaning 12065 clauses out of 24141 with flag 659839/671788
84.97/83.95	c cleaning 13029 clauses out of 26076 with flag 776527/685788
87.08/86.09	c cleaning 14014 clauses out of 28046 with flag 928246/700787
89.19/88.12	c cleaning 15011 clauses out of 30034 with flag 1096890/716789
91.21/90.13	c cleaning 16003 clauses out of 32024 with flag 1260631/733790
94.24/93.19	c cleaning 16988 clauses out of 34018 with flag 1415914/751787
97.66/96.57	c cleaning 18009 clauses out of 36032 with flag 1596650/770789
100.28/99.15	c cleaning 19003 clauses out of 38023 with flag 1780871/790789
103.79/102.62	c cleaning 19995 clauses out of 40018 with flag 1958092/811787
107.32/106.10	c cleaning 21003 clauses out of 42024 with flag 2159121/833788
110.83/109.69	c cleaning 21998 clauses out of 44023 with flag 2380750/856790
114.96/113.73	c cleaning 23002 clauses out of 46023 with flag 2639419/880788
117.27/116.04	c cleaning 23964 clauses out of 48020 with flag 2847608/905787
119.70/118.46	c cleaning 24961 clauses out of 50056 with flag 3043179/931787
122.93/121.60	c cleaning 26040 clauses out of 52095 with flag 3261009/958787
126.77/125.44	c cleaning 27014 clauses out of 54055 with flag 3509347/986787
132.20/130.84	c cleaning 28010 clauses out of 56042 with flag 3789614/1015788
137.41/136.04	c cleaning 29004 clauses out of 58032 with flag 4071994/1045788
143.13/141.76	c cleaning 30000 clauses out of 60027 with flag 4382830/1076787
148.87/147.44	c cleaning 30996 clauses out of 62027 with flag 4710457/1108787
154.78/153.31	c cleaning 32007 clauses out of 64031 with flag 5031892/1141787
160.83/159.31	c cleaning 33000 clauses out of 66024 with flag 5368488/1175787
168.45/166.92	c cleaning 33996 clauses out of 68025 with flag 5747465/1210788
178.19/176.64	c cleaning 34995 clauses out of 70028 with flag 6110505/1246787
188.12/186.54	c cleaning 35999 clauses out of 72033 with flag 6478080/1283787
196.57/194.97	c cleaning 37000 clauses out of 74035 with flag 6844131/1321788
197.41/195.74	c Got one! Elapsed wall clock time (in seconds):195.639
197.41/195.74	o 17
198.00/196.31	c cleaning 24125 clauses out of 48275 with flag 40838/1333028
198.52/196.80	c cleaning 15063 clauses out of 30148 with flag 86573/1339026
199.02/197.39	c cleaning 11024 clauses out of 22086 with flag 145534/1346027
199.74/198.04	c cleaning 9514 clauses out of 19063 with flag 211527/1354028
200.34/198.67	c cleaning 9228 clauses out of 18548 with flag 284236/1363027
201.26/199.53	c cleaning 9637 clauses out of 19319 with flag 363155/1373026
202.27/200.55	c cleaning 10327 clauses out of 20682 with flag 449386/1384026
203.69/201.96	c cleaning 11143 clauses out of 22356 with flag 548987/1396027
205.60/203.83	c cleaning 12066 clauses out of 24212 with flag 671045/1409026
206.94/205.18	c cleaning 13061 clauses out of 26148 with flag 794411/1423028
208.76/206.94	c cleaning 14035 clauses out of 28086 with flag 938935/1438027
210.66/208.85	c cleaning 15017 clauses out of 30053 with flag 1117842/1454029
212.68/210.86	c cleaning 15999 clauses out of 32034 with flag 1297978/1471027
215.51/213.67	c cleaning 16996 clauses out of 34034 with flag 1495252/1489026
218.65/216.79	c cleaning 18003 clauses out of 36038 with flag 1721122/1508026
221.26/219.30	c cleaning 19002 clauses out of 38037 with flag 1946269/1528028
224.67/222.73	c cleaning 20013 clauses out of 40035 with flag 2127596/1549028
227.98/226.09	c cleaning 21003 clauses out of 42020 with flag 2365561/1571026
231.50/229.50	c cleaning 22003 clauses out of 44017 with flag 2633805/1594026
235.52/233.55	c cleaning 23001 clauses out of 46014 with flag 2895104/1618026
239.44/237.47	c cleaning 24001 clauses out of 48013 with flag 3109666/1643026
243.75/241.77	c cleaning 24999 clauses out of 50013 with flag 3337407/1669027
248.68/246.66	c cleaning 25999 clauses out of 52014 with flag 3594160/1696027
253.79/251.78	c cleaning 26999 clauses out of 54016 with flag 3899630/1724028
259.72/257.60	c cleaning 27997 clauses out of 56016 with flag 4195954/1753027
263.74/261.66	c cleaning 29005 clauses out of 58021 with flag 4502656/1783029
269.06/266.93	c cleaning 30002 clauses out of 60017 with flag 4765302/1814030
275.88/273.78	c cleaning 30996 clauses out of 62012 with flag 5049329/1846027
282.71/280.51	c cleaning 32002 clauses out of 64016 with flag 5378731/1879027
289.63/287.42	c cleaning 33001 clauses out of 66014 with flag 5698269/1913027
296.45/294.27	c cleaning 33997 clauses out of 68016 with flag 6006757/1948030
303.69/301.43	c cleaning 35002 clauses out of 70016 with flag 6326587/1984027
307.82/305.50	c cleaning 35966 clauses out of 72013 with flag 6658054/2021026
312.84/310.56	c cleaning 36992 clauses out of 74047 with flag 7010002/2059026
319.25/316.98	c cleaning 38019 clauses out of 76056 with flag 7357016/2098027
325.39/323.08	c cleaning 39009 clauses out of 78036 with flag 7733639/2138026
336.01/333.60	c cleaning 40004 clauses out of 80027 with flag 8185000/2179026
343.96/341.53	c cleaning 40998 clauses out of 82023 with flag 8600136/2221026
353.20/350.79	c cleaning 42001 clauses out of 84026 with flag 9034349/2264027
361.33/358.81	c cleaning 42999 clauses out of 86024 with flag 9473273/2308026
371.34/368.88	c cleaning 44002 clauses out of 88026 with flag 9943681/2353027
383.40/380.86	c cleaning 45004 clauses out of 90023 with flag 10387954/2399026
392.62/390.06	c cleaning 45999 clauses out of 92019 with flag 10856674/2446026
406.36/403.74	c cleaning 47000 clauses out of 94021 with flag 11322848/2494027
419.72/417.07	c cleaning 48003 clauses out of 96020 with flag 11824224/2543026
433.07/430.37	c cleaning 49003 clauses out of 98018 with flag 12368513/2593027
447.00/444.23	c cleaning 49999 clauses out of 100018 with flag 12893898/2644030
458.65/455.85	c cleaning 51000 clauses out of 102015 with flag 13415209/2696026
472.30/469.49	c cleaning 51998 clauses out of 104015 with flag 13993595/2749026
486.15/483.26	c cleaning 52998 clauses out of 106017 with flag 14581189/2803026
502.08/499.12	c cleaning 53997 clauses out of 108019 with flag 15238762/2858026
517.10/514.17	c cleaning 55005 clauses out of 110025 with flag 15935145/2914029
532.84/529.83	c cleaning 56003 clauses out of 112018 with flag 16630550/2971027
541.48/538.47	c cleaning 56988 clauses out of 114014 with flag 17173785/3029026
551.84/548.76	c cleaning 57975 clauses out of 116027 with flag 17680678/3088027
564.87/561.74	c cleaning 59017 clauses out of 118052 with flag 18253889/3148027
576.90/573.78	c cleaning 60009 clauses out of 120034 with flag 18811453/3209026
595.76/592.55	c cleaning 61003 clauses out of 122025 with flag 19503512/3271026
612.21/608.94	c cleaning 62002 clauses out of 124023 with flag 20116067/3334027
632.16/628.85	c cleaning 63000 clauses out of 126020 with flag 20774380/3398026
645.85/642.43	c cleaning 63986 clauses out of 128020 with flag 21436838/3463026
666.20/662.71	c cleaning 64995 clauses out of 130035 with flag 22117196/3529027
687.27/683.78	c cleaning 65995 clauses out of 132040 with flag 22823809/3596027
706.33/702.77	c cleaning 67001 clauses out of 134044 with flag 23537331/3664026
727.88/724.28	c cleaning 68015 clauses out of 136043 with flag 24179342/3733026
748.75/745.02	c cleaning 69007 clauses out of 138028 with flag 24860801/3803026
771.93/768.17	c cleaning 70005 clauses out of 140023 with flag 25554496/3874028
787.59/783.75	c cleaning 70999 clauses out of 142016 with flag 26300242/3946026
803.35/799.41	c cleaning 71972 clauses out of 144017 with flag 27118277/4019026
830.20/826.24	c cleaning 72983 clauses out of 146045 with flag 27920145/4093026
858.16/854.15	c cleaning 73988 clauses out of 148062 with flag 28736254/4168026
887.03/882.98	c cleaning 74996 clauses out of 150074 with flag 29557281/4244026
912.73/908.55	c cleaning 75995 clauses out of 152078 with flag 30430414/4321026
939.36/935.18	c cleaning 77000 clauses out of 154083 with flag 31257601/4399026
969.74/965.48	c cleaning 78003 clauses out of 156085 with flag 32081832/4478028
982.53/978.12	c cleaning 78989 clauses out of 158080 with flag 32785574/4558026
1003.39/998.92	c cleaning 80036 clauses out of 160092 with flag 33556526/4639027
1023.95/1019.45	c cleaning 81013 clauses out of 162055 with flag 34369986/4721026
1045.61/1041.03	c cleaning 82019 clauses out of 164052 with flag 35239352/4804036
1078.91/1074.28	c cleaning 83004 clauses out of 166026 with flag 36189499/4888029
1101.77/1097.07	c cleaning 83997 clauses out of 168019 with flag 37056902/4973026
1136.63/1131.88	c cleaning 85004 clauses out of 170028 with flag 37958359/5059032
1166.08/1161.26	c cleaning 85998 clauses out of 172018 with flag 38866286/5146026
1199.36/1194.41	c cleaning 87002 clauses out of 174020 with flag 39761008/5234026
1240.97/1235.92	c cleaning 88002 clauses out of 176020 with flag 40720050/5323028
1278.66/1273.54	c cleaning 88996 clauses out of 178016 with flag 41673604/5413026
1304.73/1299.51	c cleaning 89997 clauses out of 180022 with flag 42669028/5504028
1339.78/1334.52	c cleaning 90996 clauses out of 182023 with flag 43776416/5596026
1368.68/1363.34	c cleaning 91996 clauses out of 184028 with flag 44855634/5689027
1397.37/1391.96	c cleaning 93003 clauses out of 186033 with flag 45879091/5783028
1433.39/1427.91	c cleaning 93993 clauses out of 188028 with flag 46868888/5878026
1471.80/1466.25	c cleaning 94999 clauses out of 190035 with flag 47907233/5974026
1521.80/1516.19	c cleaning 96012 clauses out of 192039 with flag 48883406/6071029
1566.89/1561.17	c cleaning 97005 clauses out of 194026 with flag 49809359/6169028
1613.69/1607.82	c cleaning 97999 clauses out of 196019 with flag 50857191/6268026
1659.14/1653.25	c cleaning 99002 clauses out of 198021 with flag 51966970/6368027
1703.84/1697.80	c cleaning 99998 clauses out of 200018 with flag 53118263/6469026
1750.02/1743.99	c cleaning 100997 clauses out of 202021 with flag 54233457/6571027
1798.22/1792.06	c cleaning 102001 clauses out of 204024 with flag 55432637/6674027
1800.08/1793.81	c starts		: 289
1800.08/1793.81	c conflicts		: 6684676
1800.08/1793.81	c decisions		: 7876826
1800.08/1793.81	c propagations		: 162451145
1800.08/1793.81	c inspects		: 26152086090
1800.08/1793.81	c shortcuts		: 0
1800.08/1793.81	c learnt literals	: 0
1800.08/1793.81	c learnt binary clauses	: 0
1800.08/1793.81	c learnt ternary clauses	: 0
1800.08/1793.81	c learnt constraints	: 6684677
1800.08/1793.81	c ignored constraints	: 0
1800.08/1793.81	c root simplifications	: 0
1800.08/1793.81	c removed literals (reason simplification)	: 0
1800.08/1793.81	c reason swapping (by a shorter reason)	: 0
1800.08/1793.81	c Calls to reduceDB	: 163
1800.08/1793.81	c Number of update (reduction) of LBD	: 4066354
1800.08/1793.81	c number of reductions to clauses (during analyze)	: 0
1800.08/1793.81	c number of learned constraints concerned by reduction	: 0
1800.08/1793.81	c number of learning phase by resolution	: 0
1800.08/1793.81	c number of learning phase by cutting planes	: 0
1800.08/1793.81	c speed (assignments/second)	: 90569.98172445745
1800.08/1793.81	c non guided choices	19971
1800.08/1793.84	c learnt constraints type 
1800.08/1793.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 112797
1800.08/1793.84	c constraints type 
1800.08/1793.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40
1800.08/1793.84	c ignored satisfied constraints => 1
1800.08/1793.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31
1800.08/1793.84	c 72 constraints processed.
1800.08/1793.84	s SATISFIABLE
1800.08/1793.84	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 
1800.08/1793.84	c objective function=17
1800.08/1793.84	c Total wall clock time (in seconds): 1793.741

Verifier Data 

OK	17

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.94 3/194 21389
/proc/meminfo: memFree=27539380/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/21389/stat : 21389 (java) R 21387 21389 18511 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 291354499 278528 33 33554432000 1073741824 1073778376 140737187125456 140735316796840 270698376487 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 68 33 25 9 0 25 0

[startup+0.097827 s]
/proc/loadavg: 1.92 1.98 1.94 3/194 21389
/proc/meminfo: memFree=27539380/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 4452 0 1 0 9 1 0 0 20 0 18 0 291354499 9787817984 6120 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2389604 6120 2124 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.1002 s]
/proc/loadavg: 1.92 1.98 1.94 3/194 21389
/proc/meminfo: memFree=27539380/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 4473 0 1 0 9 1 0 0 20 0 18 0 291354499 9787817984 6141 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2389604 6141 2139 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.30017 s]
/proc/loadavg: 1.92 1.98 1.94 3/194 21389
/proc/meminfo: memFree=27539380/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 6717 0 1 0 48 2 0 0 20 0 19 0 291354499 9855979520 8028 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2406245 8028 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624980

[startup+0.700227 s]
/proc/loadavg: 1.92 1.98 1.94 3/194 21389
/proc/meminfo: memFree=27539380/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9624980 CPUtime=1.01 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 6931 0 1 0 98 3 0 0 20 0 19 0 291354499 9855979520 9092 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2406245 9092 2239 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9624980

[startup+1.5006 s]
/proc/loadavg: 1.92 1.98 1.94 3/213 21408
/proc/meminfo: memFree=27499396/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9624980 CPUtime=1.88 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 7005 0 1 0 185 3 0 0 20 0 19 0 291354499 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2406245 13240 2267 9 0 2396937 0
[pid=21389/tid=21391] ppid=21387 vsize=9624980 CPUtime=1.46 cores=0,2,4,6
/proc/21389/task/21391/stat : 21391 (java) R 21387 21389 18511 0 -1 4202560 2486 0 1 0 144 2 0 0 20 0 19 0 291354500 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140083047178488 140082919214604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21392/stat : 21392 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082891180456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21393] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21393/stat : 21393 (java) S 21387 21389 18511 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082890127912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21394] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21394/stat : 21394 (java) S 21387 21389 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082889074856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21395] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21395/stat : 21395 (java) S 21387 21389 18511 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082888022312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21396] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21396/stat : 21396 (java) S 21387 21389 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082886970280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21397] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21397/stat : 21397 (java) S 21387 21389 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082885917736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21398] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21398/stat : 21398 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082884864680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21399] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21399/stat : 21399 (java) S 21387 21389 18511 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082883812136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21400] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21400/stat : 21400 (java) S 21387 21389 18511 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082871400808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21401] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21401/stat : 21401 (java) S 21387 21389 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082870347128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21402] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21402/stat : 21402 (java) S 21387 21389 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082869293960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21403] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21403/stat : 21403 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082868242704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21404] ppid=21387 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/21389/task/21404/stat : 21404 (java) S 21387 21389 18511 0 -1 4202560 1700 0 0 0 16 0 0 0 20 0 19 0 291354505 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082867190584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21405] ppid=21387 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/21389/task/21405/stat : 21405 (java) S 21387 21389 18511 0 -1 4202560 1567 0 0 0 19 0 0 0 20 0 19 0 291354505 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082866138040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21406] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21406/stat : 21406 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082865085176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21407] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21407/stat : 21407 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082864032840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21408] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21408/stat : 21408 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354515 9855979520 13240 33554432000 1073741824 1073778376 140737187125456 140082862978088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9624980

[startup+3.10065 s]
/proc/loadavg: 1.92 1.98 1.94 8/213 21408
/proc/meminfo: memFree=27490708/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9624980 CPUtime=3.51 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 7022 0 1 0 348 3 0 0 20 0 19 0 291354499 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2406245 14274 2268 9 0 2396937 0
[pid=21389/tid=21391] ppid=21387 vsize=9624980 CPUtime=3.01 cores=0,2,4,6
/proc/21389/task/21391/stat : 21391 (java) R 21387 21389 18511 0 -1 4202560 2488 0 1 0 299 2 0 0 20 0 19 0 291354500 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140083047178648 140082919204851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21392/stat : 21392 (java) S 21387 21389 18511 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082891180456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21393] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21393/stat : 21393 (java) S 21387 21389 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082890127912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21394] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21394/stat : 21394 (java) S 21387 21389 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082889074856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21395] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21395/stat : 21395 (java) S 21387 21389 18511 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082888022312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21396] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21396/stat : 21396 (java) S 21387 21389 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082886970280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21397] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21397/stat : 21397 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082885917736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21398] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21398/stat : 21398 (java) S 21387 21389 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082884864680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21399] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21399/stat : 21399 (java) S 21387 21389 18511 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082883812136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21400] ppid=21387 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/21389/task/21400/stat : 21400 (java) S 21387 21389 18511 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 291354502 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082871400808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21401] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21401/stat : 21401 (java) S 21387 21389 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082870347128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21402] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21402/stat : 21402 (java) S 21387 21389 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082869293960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21403] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21403/stat : 21403 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082868242704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21404] ppid=21387 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/21389/task/21404/stat : 21404 (java) S 21387 21389 18511 0 -1 4202560 1701 0 0 0 17 0 0 0 20 0 19 0 291354505 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082867190584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21405] ppid=21387 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/21389/task/21405/stat : 21405 (java) S 21387 21389 18511 0 -1 4202560 1568 0 0 0 21 0 0 0 20 0 19 0 291354505 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082866138040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21406] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21406/stat : 21406 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082865085176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21407] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21407/stat : 21407 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082864032840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21408] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21408/stat : 21408 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354515 9855979520 14274 33554432000 1073741824 1073778376 140737187125456 140082862978088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9624980

[startup+6.3006 s]
/proc/loadavg: 1.93 1.98 1.94 3/213 21408
/proc/meminfo: memFree=27486620/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9624980 CPUtime=6.74 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 7040 0 1 0 670 4 0 0 20 0 19 0 291354499 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2406245 15192 2268 9 0 2396937 0
[pid=21389/tid=21391] ppid=21387 vsize=9624980 CPUtime=6.16 cores=0,2,4,6
/proc/21389/task/21391/stat : 21391 (java) R 21387 21389 18511 0 -1 4202560 2492 0 1 0 614 2 0 0 20 0 19 0 291354500 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140083047178528 140082919260907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21392/stat : 21392 (java) S 21387 21389 18511 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082891180456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21393] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21393/stat : 21393 (java) S 21387 21389 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082890127912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21394] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21394/stat : 21394 (java) S 21387 21389 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082889074856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21395] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21395/stat : 21395 (java) S 21387 21389 18511 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082888022312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21396] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21396/stat : 21396 (java) S 21387 21389 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082886970280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21397] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21397/stat : 21397 (java) S 21387 21389 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082885917736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21398] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21398/stat : 21398 (java) S 21387 21389 18511 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082884864680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21399] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21399/stat : 21399 (java) S 21387 21389 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291354501 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082883812136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21400] ppid=21387 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/21389/task/21400/stat : 21400 (java) S 21387 21389 18511 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 291354502 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082871400808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21401] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21401/stat : 21401 (java) S 21387 21389 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082870347128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21402] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21402/stat : 21402 (java) S 21387 21389 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082869293960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21403] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21403/stat : 21403 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082868242704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21404] ppid=21387 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/21389/task/21404/stat : 21404 (java) S 21387 21389 18511 0 -1 4202560 1701 0 0 0 17 0 0 0 20 0 19 0 291354505 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082867190584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21405] ppid=21387 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/21389/task/21405/stat : 21405 (java) S 21387 21389 18511 0 -1 4202560 1568 0 0 0 21 0 0 0 20 0 19 0 291354505 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082866138040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21406] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21406/stat : 21406 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082865085176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21407] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21407/stat : 21407 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082864032840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21408] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21408/stat : 21408 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354515 9855979520 15192 33554432000 1073741824 1073778376 140737187125456 140082862978088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 9624980

[startup+12.7005 s]

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

[pid=21389/tid=21397] ppid=21387 vsize=9624980 CPUtime=0.92 cores=0,2,4,6
/proc/21389/task/21397/stat : 21397 (java) S 21387 21389 18511 0 -1 4202560 198 0 0 0 89 3 0 0 20 0 19 0 291354501 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082885917736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21398] ppid=21387 vsize=9624980 CPUtime=0.96 cores=0,2,4,6
/proc/21389/task/21398/stat : 21398 (java) S 21387 21389 18511 0 -1 4202560 72 0 0 0 94 2 0 0 20 0 19 0 291354501 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082884864680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21399] ppid=21387 vsize=9624980 CPUtime=0.88 cores=0,2,4,6
/proc/21389/task/21399/stat : 21399 (java) S 21387 21389 18511 0 -1 4202560 71 0 0 0 85 3 0 0 20 0 19 0 291354501 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082883812136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21400] ppid=21387 vsize=9624980 CPUtime=6.02 cores=0,2,4,6
/proc/21389/task/21400/stat : 21400 (java) S 21387 21389 18511 0 -1 4202560 150 0 0 0 599 3 0 0 20 0 19 0 291354502 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082871400808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21401] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21401/stat : 21401 (java) S 21387 21389 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082870347128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21402] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21402/stat : 21402 (java) S 21387 21389 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082869293960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21403] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21403/stat : 21403 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082868242704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21404] ppid=21387 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/21389/task/21404/stat : 21404 (java) S 21387 21389 18511 0 -1 4202560 2025 0 0 0 19 0 0 0 20 0 19 0 291354505 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082867190584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21405] ppid=21387 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/21389/task/21405/stat : 21405 (java) S 21387 21389 18511 0 -1 4202560 1568 0 0 0 21 0 0 0 20 0 19 0 291354505 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082866138040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21406] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21406/stat : 21406 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082865085176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21407] ppid=21387 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/21389/task/21407/stat : 21407 (java) S 21387 21389 18511 0 -1 4202560 95 0 0 0 24 24 0 0 20 0 19 0 291354505 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082864032840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21408] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21408/stat : 21408 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354515 9855979520 70395 33554432000 1073741824 1073778376 140737187125456 140082862978088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1668.33
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21707
/proc/meminfo: memFree=27823736/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9624980 CPUtime=1728.41 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 9440 0 1 0 172787 54 0 0 20 0 19 0 291354499 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2406245 70910 2269 9 0 2396937 0
[pid=21389/tid=21391] ppid=21387 vsize=9624980 CPUtime=1714.14 cores=0,2,4,6
/proc/21389/task/21391/stat : 21391 (java) R 21387 21389 18511 0 -1 4202560 2668 0 1 0 171382 32 0 0 20 0 19 0 291354500 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140083047178528 140082919185127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=9624980 CPUtime=1.01 cores=0,2,4,6
/proc/21389/task/21392/stat : 21392 (java) S 21387 21389 18511 0 -1 4202560 248 0 0 0 97 4 0 0 20 0 19 0 291354501 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082891180456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21393] ppid=21387 vsize=9624980 CPUtime=0.82 cores=0,2,4,6
/proc/21389/task/21393/stat : 21393 (java) S 21387 21389 18511 0 -1 4202560 345 0 0 0 79 3 0 0 20 0 19 0 291354501 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082890127912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21394] ppid=21387 vsize=9624980 CPUtime=0.85 cores=0,2,4,6
/proc/21389/task/21394/stat : 21394 (java) S 21387 21389 18511 0 -1 4202560 197 0 0 0 84 1 0 0 20 0 19 0 291354501 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082889074856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21395] ppid=21387 vsize=9624980 CPUtime=0.96 cores=0,2,4,6
/proc/21389/task/21395/stat : 21395 (java) S 21387 21389 18511 0 -1 4202560 247 0 0 0 94 2 0 0 20 0 19 0 291354501 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082888022312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21396] ppid=21387 vsize=9624980 CPUtime=1 cores=0,2,4,6
/proc/21389/task/21396/stat : 21396 (java) S 21387 21389 18511 0 -1 4202560 370 0 0 0 98 2 0 0 20 0 19 0 291354501 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082886970280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21397] ppid=21387 vsize=9624980 CPUtime=0.94 cores=0,2,4,6
/proc/21389/task/21397/stat : 21397 (java) S 21387 21389 18511 0 -1 4202560 198 0 0 0 91 3 0 0 20 0 19 0 291354501 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082885917736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21398] ppid=21387 vsize=9624980 CPUtime=0.96 cores=0,2,4,6
/proc/21389/task/21398/stat : 21398 (java) S 21387 21389 18511 0 -1 4202560 72 0 0 0 94 2 0 0 20 0 19 0 291354501 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082884864680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21399] ppid=21387 vsize=9624980 CPUtime=0.89 cores=0,2,4,6
/proc/21389/task/21399/stat : 21399 (java) S 21387 21389 18511 0 -1 4202560 71 0 0 0 86 3 0 0 20 0 19 0 291354501 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082883812136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21400] ppid=21387 vsize=9624980 CPUtime=6.1 cores=0,2,4,6
/proc/21389/task/21400/stat : 21400 (java) S 21387 21389 18511 0 -1 4202560 152 0 0 0 607 3 0 0 20 0 19 0 291354502 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082871400808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21401] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21401/stat : 21401 (java) S 21387 21389 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082870347128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21402] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21402/stat : 21402 (java) S 21387 21389 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082869293960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21403] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21403/stat : 21403 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082868242704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21404] ppid=21387 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/21389/task/21404/stat : 21404 (java) S 21387 21389 18511 0 -1 4202560 2025 0 0 0 19 0 0 0 20 0 19 0 291354505 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082867190584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21405] ppid=21387 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/21389/task/21405/stat : 21405 (java) S 21387 21389 18511 0 -1 4202560 1568 0 0 0 21 0 0 0 20 0 19 0 291354505 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082866138040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21406] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21406/stat : 21406 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082865085176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21407] ppid=21387 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/21389/task/21407/stat : 21407 (java) S 21387 21389 18511 0 -1 4202560 99 0 0 0 25 25 0 0 20 0 19 0 291354505 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082864032840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21408] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21408/stat : 21408 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354515 9855979520 70910 33554432000 1073741824 1073778376 140737187125456 140082862978088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.41
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21707
/proc/meminfo: memFree=27876032/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9624980 CPUtime=1788.51 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 9471 0 1 0 178795 56 0 0 20 0 19 0 291354499 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2406245 71950 2269 9 0 2396937 0
[pid=21389/tid=21391] ppid=21387 vsize=9624980 CPUtime=1774.04 cores=0,2,4,6
/proc/21389/task/21391/stat : 21391 (java) R 21387 21389 18511 0 -1 4202560 2669 0 1 0 177372 32 0 0 20 0 19 0 291354500 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140083047178528 140082919246146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=9624980 CPUtime=1.02 cores=0,2,4,6
/proc/21389/task/21392/stat : 21392 (java) S 21387 21389 18511 0 -1 4202560 249 0 0 0 98 4 0 0 20 0 19 0 291354501 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082891180456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21393] ppid=21387 vsize=9624980 CPUtime=0.84 cores=0,2,4,6
/proc/21389/task/21393/stat : 21393 (java) S 21387 21389 18511 0 -1 4202560 345 0 0 0 81 3 0 0 20 0 19 0 291354501 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082890127912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21394] ppid=21387 vsize=9624980 CPUtime=0.86 cores=0,2,4,6
/proc/21389/task/21394/stat : 21394 (java) S 21387 21389 18511 0 -1 4202560 199 0 0 0 85 1 0 0 20 0 19 0 291354501 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082889074856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21395] ppid=21387 vsize=9624980 CPUtime=0.98 cores=0,2,4,6
/proc/21389/task/21395/stat : 21395 (java) S 21387 21389 18511 0 -1 4202560 249 0 0 0 96 2 0 0 20 0 19 0 291354501 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082888022312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21396] ppid=21387 vsize=9624980 CPUtime=1.02 cores=0,2,4,6
/proc/21389/task/21396/stat : 21396 (java) S 21387 21389 18511 0 -1 4202560 372 0 0 0 100 2 0 0 20 0 19 0 291354501 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082886970280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21397] ppid=21387 vsize=9624980 CPUtime=0.96 cores=0,2,4,6
/proc/21389/task/21397/stat : 21397 (java) S 21387 21389 18511 0 -1 4202560 214 0 0 0 93 3 0 0 20 0 19 0 291354501 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082885917736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21398] ppid=21387 vsize=9624980 CPUtime=0.98 cores=0,2,4,6
/proc/21389/task/21398/stat : 21398 (java) S 21387 21389 18511 0 -1 4202560 73 0 0 0 96 2 0 0 20 0 19 0 291354501 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082884864680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21399] ppid=21387 vsize=9624980 CPUtime=0.91 cores=0,2,4,6
/proc/21389/task/21399/stat : 21399 (java) S 21387 21389 18511 0 -1 4202560 71 0 0 0 88 3 0 0 20 0 19 0 291354501 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082883812136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21400] ppid=21387 vsize=9624980 CPUtime=6.18 cores=0,2,4,6
/proc/21389/task/21400/stat : 21400 (java) S 21387 21389 18511 0 -1 4202560 154 0 0 0 615 3 0 0 20 0 19 0 291354502 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082871400808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21401] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21401/stat : 21401 (java) S 21387 21389 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082870347128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21402] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21402/stat : 21402 (java) S 21387 21389 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082869293960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21403] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21403/stat : 21403 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082868242704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21404] ppid=21387 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/21389/task/21404/stat : 21404 (java) S 21387 21389 18511 0 -1 4202560 2025 0 0 0 19 0 0 0 20 0 19 0 291354505 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082867190584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21405] ppid=21387 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/21389/task/21405/stat : 21405 (java) S 21387 21389 18511 0 -1 4202560 1568 0 0 0 21 0 0 0 20 0 19 0 291354505 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082866138040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21406] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21406/stat : 21406 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082865085176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21407] ppid=21387 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/21389/task/21407/stat : 21407 (java) S 21387 21389 18511 0 -1 4202560 103 0 0 0 27 25 0 0 20 0 19 0 291354505 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082864032840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21408] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21408/stat : 21408 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354515 9855979520 71950 33554432000 1073741824 1073778376 140737187125456 140082862978088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 1.92 1.98 1.99 2/193 21710
/proc/meminfo: memFree=28622608/32873648 swapFree=6864/6864
[pid=21389] ppid=21387 vsize=9624980 CPUtime=1800.08 cores=0,2,4,6
/proc/21389/stat : 21389 (java) S 21387 21389 18511 0 -1 4202496 9481 0 1 0 179952 56 0 0 20 0 19 0 291354499 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140737187116592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21389/statm: 2406245 71957 2269 9 0 2396937 0
[pid=21389/tid=21391] ppid=21387 vsize=9624980 CPUtime=1785.45 cores=0,2,4,6
/proc/21389/task/21391/stat : 21391 (java) R 21387 21389 18511 0 -1 4202560 2670 0 1 0 178512 33 0 0 20 0 19 0 291354500 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140083047178528 140082919214109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=9624980 CPUtime=1.03 cores=0,2,4,6
/proc/21389/task/21392/stat : 21392 (java) S 21387 21389 18511 0 -1 4202560 249 0 0 0 99 4 0 0 20 0 19 0 291354501 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082891180456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21393] ppid=21387 vsize=9624980 CPUtime=0.85 cores=0,2,4,6
/proc/21389/task/21393/stat : 21393 (java) S 21387 21389 18511 0 -1 4202560 345 0 0 0 82 3 0 0 20 0 19 0 291354501 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082890127912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21394] ppid=21387 vsize=9624980 CPUtime=0.87 cores=0,2,4,6
/proc/21389/task/21394/stat : 21394 (java) S 21387 21389 18511 0 -1 4202560 199 0 0 0 86 1 0 0 20 0 19 0 291354501 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082889074856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21395] ppid=21387 vsize=9624980 CPUtime=0.98 cores=0,2,4,6
/proc/21389/task/21395/stat : 21395 (java) S 21387 21389 18511 0 -1 4202560 249 0 0 0 96 2 0 0 20 0 19 0 291354501 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082888022312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21389/tid=21396] ppid=21387 vsize=9624980 CPUtime=1.03 cores=0,2,4,6
/proc/21389/task/21396/stat : 21396 (java) S 21387 21389 18511 0 -1 4202560 372 0 0 0 101 2 0 0 20 0 19 0 291354501 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082886970280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21397] ppid=21387 vsize=9624980 CPUtime=0.98 cores=0,2,4,6
/proc/21389/task/21397/stat : 21397 (java) S 21387 21389 18511 0 -1 4202560 221 0 0 0 95 3 0 0 20 0 19 0 291354501 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082885917736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21398] ppid=21387 vsize=9624980 CPUtime=0.99 cores=0,2,4,6
/proc/21389/task/21398/stat : 21398 (java) S 21387 21389 18511 0 -1 4202560 73 0 0 0 97 2 0 0 20 0 19 0 291354501 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082884864680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21389/tid=21399] ppid=21387 vsize=9624980 CPUtime=0.92 cores=0,2,4,6
/proc/21389/task/21399/stat : 21399 (java) S 21387 21389 18511 0 -1 4202560 71 0 0 0 89 3 0 0 20 0 19 0 291354501 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082883812136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21400] ppid=21387 vsize=9624980 CPUtime=6.25 cores=0,2,4,6
/proc/21389/task/21400/stat : 21400 (java) S 21387 21389 18511 0 -1 4202560 156 0 0 0 622 3 0 0 20 0 19 0 291354502 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082871400808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21401] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21401/stat : 21401 (java) S 21387 21389 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082870347128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21402] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21402/stat : 21402 (java) S 21387 21389 18511 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291354502 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082869293960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21403] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21403/stat : 21403 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082868242704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21404] ppid=21387 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/21389/task/21404/stat : 21404 (java) S 21387 21389 18511 0 -1 4202560 2025 0 0 0 19 0 0 0 20 0 19 0 291354505 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082867190584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21389/tid=21405] ppid=21387 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/21389/task/21405/stat : 21405 (java) S 21387 21389 18511 0 -1 4202560 1568 0 0 0 21 0 0 0 20 0 19 0 291354505 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082866138040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21406] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21406/stat : 21406 (java) S 21387 21389 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291354505 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082865085176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21407] ppid=21387 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/21389/task/21407/stat : 21407 (java) S 21387 21389 18511 0 -1 4202560 103 0 0 0 27 25 0 0 20 0 19 0 291354505 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082864032840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21389/tid=21408] ppid=21387 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21389/task/21408/stat : 21408 (java) S 21387 21389 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291354515 9855979520 71957 33554432000 1073741824 1073778376 140737187125456 140082862978088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143
Real time (s): 1793.85
CPU time (s): 1800.63
CPU user time (s): 1799.66
CPU system time (s): 0.972852
CPU usage (%): 100.378
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.972852
maximum resident set size= 287992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9525
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42449
involuntary context switches= 14157

runsolver used 6.549 second user time and 13.9739 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-29 02:44:51
IDJOB=3718378
IDBENCH=79147
IDSOLVER=2301
FILE ID=node125/3718378-1338252291
RUNJOBID= node125-1338248733-21054
PBS_JOBID= 14624654
Free space on /tmp= 71260 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718378-1338252291/watcher-3718378-1338252291 -o /tmp/evaluation-result-3718378-1338252291/solver-3718378-1338252291 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718378-1338252291.wbo

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

MD5SUM BENCH= fcf2074312786880370cecd0374d7bf5
RANDOM SEED=488253619

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27539652 kB
Buffers:          553800 kB
Cached:          2520704 kB
SwapCached:         2300 kB
Active:          2892628 kB
Inactive:        1556556 kB
Active(anon):    1366252 kB
Inactive(anon):     9556 kB
Active(file):    1526376 kB
Inactive(file):  1547000 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102620 kB
Dirty:               472 kB
Writeback:             0 kB
AnonPages:       1378104 kB
Mapped:            22428 kB
Shmem:               104 kB
Slab:             742852 kB
SReclaimable:     186488 kB
SUnreclaim:       556364 kB
KernelStack:        1624 kB
PageTables:         6616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1954860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1339392 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= 71260 MiB
End job on node125 at 2012-05-29 03:14:47