Trace number 3710535

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
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)327 1800.04 1784.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM4dd9ac2644c29d272d2675c7fc366ed6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark0.305953
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved YES
Number of variables319
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=true
0.09/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3710535-1338135710.opb
0.09/0.13	c reading problem ... 
0.09/0.19	c ... done. Wall clock time 0.061s.
0.09/0.19	c declared #vars     319
0.09/0.19	c #constraints  6
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
0.09/0.19	c 6 constraints processed.
0.25/0.20	c SATISFIABLE
0.25/0.20	c OPTIMIZING...
0.25/0.20	c Got one! Elapsed wall clock time (in seconds):0.072
0.25/0.20	o 426
0.25/0.22	c Got one! Elapsed wall clock time (in seconds):0.09
0.25/0.22	o 360
0.82/0.44	c Got one! Elapsed wall clock time (in seconds):0.309
0.82/0.44	o 358
1.91/1.36	c cleaning 2740 clauses out of 5479 with flag 5212/5479
2.15/1.56	c Got one! Elapsed wall clock time (in seconds):1.433
2.15/1.56	o 356
2.98/2.39	c cleaning 4241 clauses out of 8482 with flag 4125/11222
4.09/3.41	c cleaning 5050 clauses out of 10116 with flag 10000/17097
5.32/4.67	c cleaning 6033 clauses out of 12070 with flag 17004/24101
6.56/5.82	c cleaning 7010 clauses out of 14033 with flag 25000/32097
7.66/6.91	c cleaning 8048 clauses out of 16096 with flag 34073/41170
9.48/8.76	c cleaning 8981 clauses out of 17975 with flag 44000/51097
11.38/10.68	c cleaning 10021 clauses out of 20043 with flag 55049/62146
13.71/12.94	c cleaning 11006 clauses out of 22011 with flag 67038/74135
15.33/14.51	c Got one! Elapsed wall clock time (in seconds):14.383
15.33/14.51	o 354
16.14/15.36	c cleaning 13451 clauses out of 26972 with flag 5005/90102
17.06/16.20	c cleaning 9775 clauses out of 19550 with flag 11034/96131
18.07/17.21	c cleaning 8366 clauses out of 16741 with flag 18000/103097
19.11/18.27	c cleaning 8228 clauses out of 16456 with flag 26081/111178
19.22/18.39	c Got one! Elapsed wall clock time (in seconds):18.263
19.22/18.39	o 353
20.02/19.16	c cleaning 7022 clauses out of 14044 with flag 5008/116994
20.96/20.04	c cleaning 6605 clauses out of 13209 with flag 11195/123181
21.96/21.08	c cleaning 6656 clauses out of 13409 with flag 18000/129986
23.56/22.68	c cleaning 7408 clauses out of 14816 with flag 26063/138049
24.90/23.96	c cleaning 8195 clauses out of 16390 with flag 35045/147031
25.90/24.97	c cleaning 9088 clauses out of 18177 with flag 45027/157013
27.52/26.52	c cleaning 10036 clauses out of 20072 with flag 56010/167996
34.36/33.33	c cleaning 11046 clauses out of 22091 with flag 68065/180051
36.19/35.17	c cleaning 11987 clauses out of 23980 with flag 81000/192986
36.32/35.24	c Got one! Elapsed wall clock time (in seconds):35.119
36.32/35.24	o 349
36.91/35.84	c cleaning 8914 clauses out of 17860 with flag 5000/198853
37.63/36.56	c cleaning 7475 clauses out of 14950 with flag 11004/204857
38.68/37.51	c cleaning 7290 clauses out of 14580 with flag 18109/211962
39.72/38.53	c cleaning 7579 clauses out of 15184 with flag 26003/219856
40.82/39.67	c cleaning 8309 clauses out of 16620 with flag 35018/228871
42.22/41.06	c cleaning 9200 clauses out of 18400 with flag 45107/238960
42.53/41.33	c Got one! Elapsed wall clock time (in seconds):41.205
42.53/41.33	o 347
43.23/42.01	c cleaning 7422 clauses out of 14883 with flag 4002/244643
44.36/43.12	c cleaning 6747 clauses out of 13493 with flag 10034/250675
45.38/44.15	c cleaning 6912 clauses out of 13824 with flag 17112/257753
46.61/45.39	c cleaning 7400 clauses out of 14800 with flag 25000/265641
48.86/47.55	c cleaning 8152 clauses out of 16400 with flag 34000/274641
50.18/48.85	c cleaning 9109 clauses out of 18250 with flag 44002/284643
51.83/50.46	c cleaning 10079 clauses out of 20160 with flag 55021/295662
54.04/52.65	c cleaning 11103 clauses out of 22205 with flag 67145/307786
55.76/54.37	c cleaning 11991 clauses out of 23981 with flag 80024/320665
57.60/56.11	c cleaning 13000 clauses out of 26000 with flag 94034/334675
59.79/58.28	c cleaning 13978 clauses out of 27968 with flag 109002/349643
63.59/61.77	c cleaning 15027 clauses out of 30054 with flag 125066/365707
66.40/64.57	c cleaning 15981 clauses out of 31961 with flag 142000/382641
69.43/67.55	c cleaning 16991 clauses out of 33984 with flag 160004/400645
72.48/70.51	c cleaning 17984 clauses out of 35989 with flag 179000/419641
75.99/73.89	c cleaning 18978 clauses out of 38005 with flag 199000/439641
80.51/78.38	c cleaning 20015 clauses out of 40029 with flag 220002/460643
88.66/86.40	c cleaning 21007 clauses out of 42013 with flag 242001/482642
90.68/88.46	c Got one! Elapsed wall clock time (in seconds):88.336
90.68/88.46	o 343
92.01/89.76	c cleaning 19349 clauses out of 38743 with flag 5064/500379
92.84/90.56	c cleaning 12619 clauses out of 25377 with flag 11047/506362
94.15/91.87	c cleaning 9710 clauses out of 19711 with flag 18000/513315
99.26/96.94	c cleaning 9022 clauses out of 18043 with flag 26042/521357
100.88/98.51	c cleaning 9032 clauses out of 18063 with flag 35084/530399
102.21/99.81	c cleaning 9541 clauses out of 19081 with flag 45134/540449
103.76/101.33	c cleaning 10224 clauses out of 20448 with flag 56042/551357
105.50/103.01	c cleaning 11117 clauses out of 22233 with flag 68051/563366
107.48/104.95	c cleaning 12087 clauses out of 24173 with flag 81108/576423
108.70/106.18	c cleaning 12982 clauses out of 25980 with flag 95002/590317
110.45/107.88	c cleaning 14029 clauses out of 28057 with flag 110061/605376
114.20/111.58	c cleaning 15003 clauses out of 30005 with flag 126038/621353
117.16/114.41	c cleaning 16011 clauses out of 32021 with flag 143057/638372
122.82/120.06	c cleaning 17025 clauses out of 34049 with flag 161096/656411
128.10/125.29	c cleaning 17976 clauses out of 35951 with flag 180023/675338
131.19/128.27	c cleaning 18997 clauses out of 37993 with flag 200041/695356
137.34/134.39	c cleaning 19976 clauses out of 39957 with flag 221002/716317
142.64/139.54	c cleaning 20999 clauses out of 41998 with flag 243019/738334
152.02/148.83	c cleaning 22028 clauses out of 44061 with flag 266081/761396
174.76/171.54	c cleaning 22982 clauses out of 46010 with flag 290058/785373
180.02/176.61	c cleaning 23995 clauses out of 47989 with flag 315019/810334
186.18/182.75	c cleaning 24981 clauses out of 49976 with flag 341001/836316
228.38/224.82	c cleaning 25961 clauses out of 51994 with flag 368000/863315
245.95/242.35	c cleaning 27014 clauses out of 54033 with flag 396000/891315
251.21/247.46	c cleaning 28030 clauses out of 56060 with flag 425041/920356
256.72/252.85	c cleaning 29042 clauses out of 58083 with flag 455094/950409
271.41/267.44	c cleaning 30037 clauses out of 60074 with flag 486127/981442
284.58/280.51	c cleaning 30945 clauses out of 61910 with flag 518000/1013315
303.69/299.58	c cleaning 31948 clauses out of 63965 with flag 551000/1046315
314.68/310.47	c cleaning 33002 clauses out of 66017 with flag 585000/1080315
324.59/320.23	c cleaning 33981 clauses out of 68015 with flag 620000/1115315
340.83/336.32	c cleaning 35012 clauses out of 70035 with flag 656001/1151316
377.71/373.13	c cleaning 36027 clauses out of 72054 with flag 693032/1188347
388.93/383.89	c cleaning 37007 clauses out of 74016 with flag 731021/1226336
419.46/413.98	c cleaning 37920 clauses out of 75996 with flag 770008/1265323
460.98/455.21	c cleaning 38904 clauses out of 78068 with flag 810000/1305315
498.90/492.91	c cleaning 40164 clauses out of 80328 with flag 851164/1346479
508.03/501.87	c cleaning 41008 clauses out of 82019 with flag 893019/1388334
523.12/516.79	c cleaning 42016 clauses out of 84032 with flag 936040/1431355
557.29/550.79	c cleaning 43042 clauses out of 86084 with flag 980108/1475423
592.04/585.36	c cleaning 43960 clauses out of 87940 with flag 1025006/1520321
613.89/607.03	c cleaning 44999 clauses out of 90052 with flag 1071078/1566393
644.76/637.75	c cleaning 45986 clauses out of 91991 with flag 1118016/1613331
671.38/664.12	c cleaning 47026 clauses out of 94054 with flag 1166065/1661380
754.97/747.44	c Got one! Elapsed wall clock time (in seconds):747.319
754.97/747.44	o 333
756.47/748.97	c cleaning 45929 clauses out of 91930 with flag 5001/1706282
758.10/750.53	c cleaning 26024 clauses out of 52049 with flag 11049/1712330
763.55/755.95	c cleaning 16527 clauses out of 33056 with flag 18080/1719361
765.60/757.92	c cleaning 12211 clauses out of 24456 with flag 26007/1727288
771.05/763.39	c cleaning 10637 clauses out of 21276 with flag 35038/1736319
775.62/767.84	c cleaning 10298 clauses out of 20603 with flag 45002/1746283
776.97/769.14	c cleaning 10638 clauses out of 21303 with flag 56000/1757281
779.81/771.92	c cleaning 11319 clauses out of 22678 with flag 68013/1769294
782.19/774.25	c cleaning 12165 clauses out of 24346 with flag 81000/1782281
784.47/776.42	c cleaning 13073 clauses out of 26185 with flag 95004/1796285
786.32/778.21	c cleaning 14049 clauses out of 28108 with flag 110000/1811281
789.96/781.81	c cleaning 15031 clauses out of 30063 with flag 126004/1827285
793.86/785.60	c cleaning 16021 clauses out of 32042 with flag 143014/1844295
794.38/786.13	c Got one! Elapsed wall clock time (in seconds):786.0
794.38/786.13	o 330
794.48/786.26	c cleaning 10716 clauses out of 21449 with flag 1026/1849723
795.51/787.22	c cleaning 8353 clauses out of 16710 with flag 7003/1855700
799.75/791.49	c cleaning 7707 clauses out of 15416 with flag 14062/1862759
802.69/794.33	c cleaning 7818 clauses out of 15650 with flag 22003/1870700
805.93/797.51	c cleaning 8406 clauses out of 16830 with flag 31001/1879698
807.33/798.99	c cleaning 9209 clauses out of 18423 with flag 41000/1889697
811.55/803.17	c cleaning 10094 clauses out of 20218 with flag 52004/1900701
816.39/807.98	c cleaning 11061 clauses out of 22123 with flag 64003/1912700
820.00/811.57	c cleaning 12068 clauses out of 24136 with flag 77077/1925774
826.94/818.42	c cleaning 12999 clauses out of 25999 with flag 91008/1939705
836.45/827.92	c cleaning 13927 clauses out of 27992 with flag 106000/1954697
844.29/835.70	c cleaning 15037 clauses out of 30073 with flag 122008/1970705
852.22/843.62	c cleaning 16040 clauses out of 32080 with flag 139052/1987749
860.70/852.09	c cleaning 17006 clauses out of 34017 with flag 157029/2005726
864.41/855.68	c cleaning 18017 clauses out of 36034 with flag 176052/2024749
868.40/859.58	c cleaning 18935 clauses out of 37983 with flag 196018/2044715
894.42/885.41	c cleaning 20033 clauses out of 40065 with flag 217035/2065732
906.76/897.71	c cleaning 21032 clauses out of 42071 with flag 239074/2087771
910.91/901.71	c cleaning 21997 clauses out of 43994 with flag 262029/2110726
914.49/905.26	c cleaning 22991 clauses out of 45991 with flag 286023/2134720
936.78/927.49	c cleaning 23937 clauses out of 47987 with flag 311010/2159707
963.28/953.86	c cleaning 25032 clauses out of 50066 with flag 337026/2185723
978.28/968.74	c cleaning 26027 clauses out of 52054 with flag 364046/2212743
1000.68/991.07	c cleaning 26988 clauses out of 54000 with flag 392019/2240716
1010.97/1001.22	c cleaning 27977 clauses out of 56018 with flag 421025/2269722
1019.66/1009.87	c cleaning 29016 clauses out of 58031 with flag 451015/2299712
1033.58/1023.62	c cleaning 29968 clauses out of 60008 with flag 482008/2330705
1062.04/1051.98	c cleaning 31034 clauses out of 62068 with flag 514036/2362733
1093.42/1083.13	c cleaning 32010 clauses out of 64022 with flag 547024/2395721
1133.70/1123.23	c cleaning 33033 clauses out of 66067 with flag 581079/2429776
1159.66/1149.08	c cleaning 33983 clauses out of 67966 with flag 616011/2464708
1178.75/1167.96	c cleaning 34966 clauses out of 69972 with flag 652000/2500697
1198.66/1187.64	c cleaning 36002 clauses out of 72009 with flag 689003/2537700
1214.55/1203.34	c cleaning 36979 clauses out of 74004 with flag 727000/2575697
1237.40/1226.03	c cleaning 38010 clauses out of 76028 with flag 766003/2614700
1256.11/1244.57	c cleaning 38991 clauses out of 78032 with flag 806017/2654714
1273.05/1261.17	c cleaning 39947 clauses out of 80024 with flag 847000/2695697
1331.04/1318.88	c cleaning 41016 clauses out of 82078 with flag 889001/2737698
1372.15/1359.70	c cleaning 42050 clauses out of 84100 with flag 932039/2780736
1410.50/1397.84	c cleaning 43071 clauses out of 86141 with flag 976130/2824827
1464.09/1451.11	c cleaning 43981 clauses out of 87963 with flag 1021023/2869720
1533.70/1520.30	c cleaning 45034 clauses out of 90068 with flag 1067109/2915806
1601.98/1588.14	c cleaning 45972 clauses out of 91949 with flag 1114024/2962721
1662.22/1647.74	c cleaning 46893 clauses out of 93953 with flag 1162000/3010697
1682.68/1667.79	c cleaning 48085 clauses out of 96178 with flag 1211118/3059815
1714.72/1699.53	c cleaning 48960 clauses out of 98005 with flag 1261030/3109727
1743.11/1727.69	c cleaning 49988 clauses out of 100015 with flag 1312000/3160697
1744.04/1728.58	c Got one! Elapsed wall clock time (in seconds):1728.45
1744.04/1728.58	o 327
1745.48/1729.91	c cleaning 30864 clauses out of 61729 with flag 5033/3172399
1749.52/1733.99	c cleaning 18431 clauses out of 36864 with flag 11032/3178398
1755.06/1739.40	c cleaning 12702 clauses out of 25403 with flag 18002/3185368
1756.59/1740.96	c cleaning 10295 clauses out of 20699 with flag 26000/3193366
1757.85/1742.15	c cleaning 9754 clauses out of 19553 with flag 35149/3202515
1759.29/1743.53	c cleaning 9793 clauses out of 19674 with flag 45024/3212390
1762.04/1746.20	c cleaning 10457 clauses out of 20927 with flag 56070/3223436
1766.51/1750.61	c cleaning 11235 clauses out of 22470 with flag 68070/3235436
1773.67/1757.73	c cleaning 12036 clauses out of 24176 with flag 81011/3248377
1796.61/1780.68	c cleaning 13078 clauses out of 26156 with flag 95027/3262393
1800.04/1784.01	c starts		: 261
1800.04/1784.01	c conflicts		: 3270665
1800.04/1784.01	c decisions		: 7425636
1800.04/1784.01	c propagations		: 355752939
1800.04/1784.01	c inspects		: 9346055903
1800.04/1784.01	c shortcuts		: 0
1800.04/1784.01	c learnt literals	: 0
1800.04/1784.01	c learnt binary clauses	: 15
1800.04/1784.01	c learnt ternary clauses	: 595
1800.04/1784.01	c learnt constraints	: 3270665
1800.04/1784.01	c ignored constraints	: 0
1800.04/1784.01	c root simplifications	: 261
1800.04/1784.01	c removed literals (reason simplification)	: 85080400
1800.04/1784.01	c reason swapping (by a shorter reason)	: 0
1800.04/1784.01	c Calls to reduceDB	: 160
1800.04/1784.01	c number of reductions to clauses (during analyze)	: 0
1800.04/1784.01	c number of learned constraints concerned by reduction	: 0
1800.04/1784.01	c number of learning phase by resolution	: 0
1800.04/1784.01	c number of learning phase by cutting planes	: 0
1800.04/1784.01	c speed (assignments/second)	: 199433.4550946341
1800.04/1784.01	c non guided choices	655
1800.04/1784.02	c learnt constraints type 
1800.04/1784.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 15
1800.04/1784.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 21347
1800.04/1784.02	c constraints type 
1800.04/1784.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7
1800.04/1784.02	c 7 constraints processed.
1800.04/1784.02	s SATISFIABLE
1800.04/1784.02	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 
1800.04/1784.02	c objective function=327
1800.04/1784.02	c Total wall clock time (in seconds): 1783.894

Verifier Data

OK	327

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-3710535-1338135710/watcher-3710535-1338135710 -o /tmp/evaluation-result-3710535-1338135710/solver-3710535-1338135710 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710535-1338135710.opb 

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: 2.00 2.00 2.00 3/194 29939
/proc/meminfo: memFree=30622788/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29939/stat : 29939 (java) D 29937 29939 28151 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 279695866 9515008 182 33554432000 1073741824 1073778376 140735927126544 140735927117576 213419638453 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2323 182 140 9 0 71 0

[startup+0.02115 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29939
/proc/meminfo: memFree=30622788/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=152584 CPUtime=0 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 1448 0 1 0 0 0 0 0 20 0 2 0 279695866 156246016 1129 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 38146 1671 894 9 0 29255 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152584

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29939
/proc/meminfo: memFree=30622788/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 4210 0 1 0 8 1 0 0 20 0 18 0 279695866 9787842560 5418 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2389610 5418 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300214 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29939
/proc/meminfo: memFree=30622788/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 10336 0 1 0 49 2 0 0 20 0 19 0 279695866 9856004096 11380 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2406251 11382 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625004

[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29939
/proc/meminfo: memFree=30622788/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 10771 0 1 0 117 3 0 0 20 0 19 0 279695866 9856004096 19195 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2406251 19195 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 29958
/proc/meminfo: memFree=30530276/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9625004 CPUtime=2.15 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 10859 0 1 0 211 4 0 0 20 0 19 0 279695866 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2406251 34607 2278 9 0 2396937 0
[pid=29939/tid=29941] ppid=29937 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/29939/task/29941/stat : 29941 (java) R 29937 29939 28151 0 -1 4202560 2558 0 1 0 142 3 0 0 20 0 19 0 279695867 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289570681240 140289419763924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29942] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29942/stat : 29942 (java) S 29937 29939 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279695868 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289543133864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29943] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29943/stat : 29943 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289542081320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29944] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29944/stat : 29944 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289541028776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29945] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29945/stat : 29945 (java) S 29937 29939 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289539976232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29946] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29946/stat : 29946 (java) S 29937 29939 28151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289538922664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29947] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29947/stat : 29947 (java) S 29937 29939 28151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289537870120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29948] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29948/stat : 29948 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289408281000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29949] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29949/stat : 29949 (java) S 29937 29939 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140289407228456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29950] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29950/stat : 29950 (java) S 29937 29939 28151 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288924281448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29951] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29951/stat : 29951 (java) S 29937 29939 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288923227768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29952] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29952/stat : 29952 (java) S 29937 29939 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288922175112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29953] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29953/stat : 29953 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288921123856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29954] ppid=29937 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/29939/task/29954/stat : 29954 (java) S 29937 29939 28151 0 -1 4202560 3700 0 0 0 34 0 0 0 20 0 19 0 279695873 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288920070200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29955] ppid=29937 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/29939/task/29955/stat : 29955 (java) S 29937 29939 28151 0 -1 4202560 3362 0 0 0 30 0 0 0 20 0 19 0 279695873 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288919017656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29956] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29956/stat : 29956 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288917965304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29957] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29957/stat : 29957 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288916912968 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29958] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29958/stat : 29958 (java) S 29937 29939 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279695886 9856004096 34607 33554432000 1073741824 1073778376 140734149777152 140288915858728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 2.00 2.00 2.00 5/213 29958
/proc/meminfo: memFree=30492668/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9625004 CPUtime=3.8 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 10893 0 1 0 375 5 0 0 20 0 19 0 279695866 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2406251 36674 2278 9 0 2396937 0
[pid=29939/tid=29941] ppid=29937 vsize=9625004 CPUtime=3.04 cores=0,2,4,6
/proc/29939/task/29941/stat : 29941 (java) R 29937 29939 28151 0 -1 4202560 2560 0 1 0 301 3 0 0 20 0 19 0 279695867 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289570681120 140289419810120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29942] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29942/stat : 29942 (java) S 29937 29939 28151 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 279695868 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289543133864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29943] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29943/stat : 29943 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289542081320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29944] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29944/stat : 29944 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289541028776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29945] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29945/stat : 29945 (java) S 29937 29939 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289539976232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29946] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29946/stat : 29946 (java) S 29937 29939 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289538922664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29947] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29947/stat : 29947 (java) S 29937 29939 28151 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289537870120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29948] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29948/stat : 29948 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289408281000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29949] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29949/stat : 29949 (java) S 29937 29939 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140289407228456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29950] ppid=29937 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29939/task/29950/stat : 29950 (java) S 29937 29939 28151 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 279695870 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288924281448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29951] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29951/stat : 29951 (java) S 29937 29939 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288923227768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29952] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29952/stat : 29952 (java) S 29937 29939 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288922175112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29953] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29953/stat : 29953 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288921123856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29954] ppid=29937 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/29939/task/29954/stat : 29954 (java) S 29937 29939 28151 0 -1 4202560 3700 0 0 0 36 0 0 0 20 0 19 0 279695873 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288920070200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29955] ppid=29937 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/29939/task/29955/stat : 29955 (java) S 29937 29939 28151 0 -1 4202560 3362 0 0 0 31 0 0 0 20 0 19 0 279695873 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288919017656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29956] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29956/stat : 29956 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288917965304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29957] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29957/stat : 29957 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288916912968 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29958] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29958/stat : 29958 (java) S 29937 29939 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279695886 9856004096 36674 33554432000 1073741824 1073778376 140734149777152 140288915858728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29958
/proc/meminfo: memFree=30457356/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9625004 CPUtime=7.06 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 10938 0 1 0 700 6 0 0 20 0 19 0 279695866 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2406251 43303 2279 9 0 2396937 0
[pid=29939/tid=29941] ppid=29937 vsize=9625004 CPUtime=6.17 cores=0,2,4,6
/proc/29939/task/29941/stat : 29941 (java) R 29937 29939 28151 0 -1 4202560 2573 0 1 0 614 3 0 0 20 0 19 0 279695867 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289570681120 140289419810527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29942] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29942/stat : 29942 (java) S 29937 29939 28151 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 279695868 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289543133864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29943] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29943/stat : 29943 (java) S 29937 29939 28151 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289542081320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29944] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29944/stat : 29944 (java) S 29937 29939 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289541028776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29945] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29945/stat : 29945 (java) S 29937 29939 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289539976232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29946] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29946/stat : 29946 (java) S 29937 29939 28151 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289538922664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29947] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29947/stat : 29947 (java) S 29937 29939 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289537870120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29948] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29948/stat : 29948 (java) S 29937 29939 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289408281000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29949] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29949/stat : 29949 (java) S 29937 29939 28151 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279695869 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140289407228456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29950] ppid=29937 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/29939/task/29950/stat : 29950 (java) S 29937 29939 28151 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 279695870 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288924281448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29951] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29951/stat : 29951 (java) S 29937 29939 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288923227768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29952] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29952/stat : 29952 (java) S 29937 29939 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288922175112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29953] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29953/stat : 29953 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288921123856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29954] ppid=29937 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/29939/task/29954/stat : 29954 (java) S 29937 29939 28151 0 -1 4202560 3700 0 0 0 36 0 0 0 20 0 19 0 279695873 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288920070200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29955] ppid=29937 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/29939/task/29955/stat : 29955 (java) S 29937 29939 28151 0 -1 4202560 3365 0 0 0 36 0 0 0 20 0 19 0 279695873 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288919017656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29956] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29956/stat : 29956 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288917965304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29957] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29957/stat : 29957 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288916912968 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29958] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29958/stat : 29958 (java) S 29937 29939 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279695886 9856004096 43303 33554432000 1073741824 1073778376 140734149777152 140288915858728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=29939/tid=29954] ppid=29937 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/29939/task/29954/stat : 29954 (java) S 29937 29939 28151 0 -1 4202560 14566 0 0 0 132 2 0 0 20 0 19 0 279695873 9856004096 61387 33554432000 1073741824 1073778376 140734149777152 140288920070200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29955] ppid=29937 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/29939/task/29955/stat : 29955 (java) S 29937 29939 28151 0 -1 4202560 3381 0 0 0 50 0 0 0 20 0 19 0 279695873 9856004096 61387 33554432000 1073741824 1073778376 140734149777152 140288919017656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29956] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29956/stat : 29956 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 61387 33554432000 1073741824 1073778376 140734149777152 140288917965304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29957] ppid=29937 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/29939/task/29957/stat : 29957 (java) S 29937 29939 28151 0 -1 4202560 95 0 0 0 21 28 0 0 20 0 19 0 279695873 9856004096 61387 33554432000 1073741824 1073778376 140734149777152 140288916912968 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29958] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29958/stat : 29958 (java) S 29937 29939 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279695886 9856004096 61387 33554432000 1073741824 1073778376 140734149777152 140288915858728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1677.21
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 30032
/proc/meminfo: memFree=30378716/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9625004 CPUtime=1737.72 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 38442 0 1 0 173684 88 0 0 20 0 19 0 279695866 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2406251 67304 2280 9 0 2396937 0
[pid=29939/tid=29941] ppid=29937 vsize=9625004 CPUtime=1707.24 cores=0,2,4,6
/proc/29939/task/29941/stat : 29941 (java) R 29937 29939 28151 0 -1 4202560 11628 0 1 0 170687 37 0 0 20 0 19 0 279695867 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289570680128 140289419699696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29942] ppid=29937 vsize=9625004 CPUtime=2.47 cores=0,2,4,6
/proc/29939/task/29942/stat : 29942 (java) S 29937 29939 28151 0 -1 4202560 950 0 0 0 241 6 0 0 20 0 19 0 279695868 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289543133864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29943] ppid=29937 vsize=9625004 CPUtime=2.42 cores=0,2,4,6
/proc/29939/task/29943/stat : 29943 (java) S 29937 29939 28151 0 -1 4202560 546 0 0 0 238 4 0 0 20 0 19 0 279695869 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289542081320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29944] ppid=29937 vsize=9625004 CPUtime=2.46 cores=0,2,4,6
/proc/29939/task/29944/stat : 29944 (java) S 29937 29939 28151 0 -1 4202560 760 0 0 0 240 6 0 0 20 0 19 0 279695869 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289541028776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29945] ppid=29937 vsize=9625004 CPUtime=2.42 cores=0,2,4,6
/proc/29939/task/29945/stat : 29945 (java) S 29937 29939 28151 0 -1 4202560 795 0 0 0 237 5 0 0 20 0 19 0 279695869 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289539976232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29946] ppid=29937 vsize=9625004 CPUtime=2.46 cores=0,2,4,6
/proc/29939/task/29946/stat : 29946 (java) S 29937 29939 28151 0 -1 4202560 714 0 0 0 241 5 0 0 20 0 19 0 279695869 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289538922664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29947] ppid=29937 vsize=9625004 CPUtime=2.56 cores=0,2,4,6
/proc/29939/task/29947/stat : 29947 (java) S 29937 29939 28151 0 -1 4202560 1222 0 0 0 249 7 0 0 20 0 19 0 279695869 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289537870120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29948] ppid=29937 vsize=9625004 CPUtime=2.41 cores=0,2,4,6
/proc/29939/task/29948/stat : 29948 (java) S 29937 29939 28151 0 -1 4202560 728 0 0 0 236 5 0 0 20 0 19 0 279695869 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289408281000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29949] ppid=29937 vsize=9625004 CPUtime=2.61 cores=0,2,4,6
/proc/29939/task/29949/stat : 29949 (java) S 29937 29939 28151 0 -1 4202560 1346 0 0 0 255 6 0 0 20 0 19 0 279695869 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140289407228456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29950] ppid=29937 vsize=9625004 CPUtime=4.17 cores=0,2,4,6
/proc/29939/task/29950/stat : 29950 (java) S 29937 29939 28151 0 -1 4202560 527 0 0 0 408 9 0 0 20 0 19 0 279695870 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288924281448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29951] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29951/stat : 29951 (java) S 29937 29939 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288923227768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29952] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29952/stat : 29952 (java) S 29937 29939 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288922175112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29953] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29953/stat : 29953 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288921123856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29954] ppid=29937 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/29939/task/29954/stat : 29954 (java) S 29937 29939 28151 0 -1 4202560 14566 0 0 0 132 2 0 0 20 0 19 0 279695873 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288920070200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29955] ppid=29937 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/29939/task/29955/stat : 29955 (java) S 29937 29939 28151 0 -1 4202560 3381 0 0 0 50 0 0 0 20 0 19 0 279695873 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288919017656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29956] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29956/stat : 29956 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288917965304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29957] ppid=29937 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/29939/task/29957/stat : 29957 (java) S 29937 29939 28151 0 -1 4202560 99 0 0 0 21 30 0 0 20 0 19 0 279695873 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288916912968 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29958] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29958/stat : 29958 (java) S 29937 29939 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279695886 9856004096 67304 33554432000 1073741824 1073778376 140734149777152 140288915858728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1737.72
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 4/213 30032
/proc/meminfo: memFree=30281280/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9625004 CPUtime=1798.34 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 38854 0 1 0 179742 92 0 0 20 0 19 0 279695866 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2406251 77051 2280 9 0 2396937 0
[pid=29939/tid=29941] ppid=29937 vsize=9625004 CPUtime=1766.44 cores=0,2,4,6
/proc/29939/task/29941/stat : 29941 (java) R 29937 29939 28151 0 -1 4202560 11657 0 1 0 176606 38 0 0 20 0 19 0 279695867 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289570681120 140289419866293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29942] ppid=29937 vsize=9625004 CPUtime=2.59 cores=0,2,4,6
/proc/29939/task/29942/stat : 29942 (java) S 29937 29939 28151 0 -1 4202560 1007 0 0 0 253 6 0 0 20 0 19 0 279695868 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289543133864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29943] ppid=29937 vsize=9625004 CPUtime=2.52 cores=0,2,4,6
/proc/29939/task/29943/stat : 29943 (java) S 29937 29939 28151 0 -1 4202560 598 0 0 0 247 5 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289542081320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29944] ppid=29937 vsize=9625004 CPUtime=2.55 cores=0,2,4,6
/proc/29939/task/29944/stat : 29944 (java) S 29937 29939 28151 0 -1 4202560 761 0 0 0 249 6 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289541028776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29945] ppid=29937 vsize=9625004 CPUtime=2.56 cores=0,2,4,6
/proc/29939/task/29945/stat : 29945 (java) S 29937 29939 28151 0 -1 4202560 912 0 0 0 251 5 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289539976232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29946] ppid=29937 vsize=9625004 CPUtime=2.56 cores=0,2,4,6
/proc/29939/task/29946/stat : 29946 (java) S 29937 29939 28151 0 -1 4202560 719 0 0 0 250 6 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289538922664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29947] ppid=29937 vsize=9625004 CPUtime=2.66 cores=0,2,4,6
/proc/29939/task/29947/stat : 29947 (java) S 29937 29939 28151 0 -1 4202560 1227 0 0 0 259 7 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289537870120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29948] ppid=29937 vsize=9625004 CPUtime=2.53 cores=0,2,4,6
/proc/29939/task/29948/stat : 29948 (java) S 29937 29939 28151 0 -1 4202560 831 0 0 0 248 5 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289408281000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29949] ppid=29937 vsize=9625004 CPUtime=2.7 cores=0,2,4,6
/proc/29939/task/29949/stat : 29949 (java) S 29937 29939 28151 0 -1 4202560 1350 0 0 0 264 6 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289407228456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29950] ppid=29937 vsize=9625004 CPUtime=4.56 cores=0,2,4,6
/proc/29939/task/29950/stat : 29950 (java) S 29937 29939 28151 0 -1 4202560 562 0 0 0 446 10 0 0 20 0 19 0 279695870 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288924281448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29951] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29951/stat : 29951 (java) S 29937 29939 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288923227768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29952] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29952/stat : 29952 (java) S 29937 29939 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288922175112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29953] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29953/stat : 29953 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288921123856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29954] ppid=29937 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/29939/task/29954/stat : 29954 (java) S 29937 29939 28151 0 -1 4202560 14566 0 0 0 132 2 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288920070200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29955] ppid=29937 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/29939/task/29955/stat : 29955 (java) S 29937 29939 28151 0 -1 4202560 3381 0 0 0 50 0 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288919017656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29956] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29956/stat : 29956 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288917965304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29957] ppid=29937 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/29939/task/29957/stat : 29957 (java) S 29937 29939 28151 0 -1 4202560 103 0 0 0 22 30 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288916912968 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29958] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29958/stat : 29958 (java) S 29937 29939 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279695886 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288915858728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784 s]
/proc/loadavg: 2.04 2.03 2.00 4/213 30032
/proc/meminfo: memFree=30281404/32873844 swapFree=6600/6600
[pid=29939] ppid=29937 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/29939/stat : 29939 (java) S 29937 29939 28151 0 -1 4202496 38854 0 1 0 179912 92 0 0 20 0 19 0 279695866 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140734149768288 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2406251 77051 2280 9 0 2396937 0
[pid=29939/tid=29941] ppid=29937 vsize=9625004 CPUtime=1768.14 cores=0,2,4,6
/proc/29939/task/29941/stat : 29941 (java) R 29937 29939 28151 0 -1 4202560 11657 0 1 0 176776 38 0 0 20 0 19 0 279695867 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289570681120 140289419515824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29942] ppid=29937 vsize=9625004 CPUtime=2.59 cores=0,2,4,6
/proc/29939/task/29942/stat : 29942 (java) S 29937 29939 28151 0 -1 4202560 1007 0 0 0 253 6 0 0 20 0 19 0 279695868 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289543133864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29943] ppid=29937 vsize=9625004 CPUtime=2.52 cores=0,2,4,6
/proc/29939/task/29943/stat : 29943 (java) S 29937 29939 28151 0 -1 4202560 598 0 0 0 247 5 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289542081320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29944] ppid=29937 vsize=9625004 CPUtime=2.55 cores=0,2,4,6
/proc/29939/task/29944/stat : 29944 (java) S 29937 29939 28151 0 -1 4202560 761 0 0 0 249 6 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289541028776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29945] ppid=29937 vsize=9625004 CPUtime=2.56 cores=0,2,4,6
/proc/29939/task/29945/stat : 29945 (java) S 29937 29939 28151 0 -1 4202560 912 0 0 0 251 5 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289539976232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29946] ppid=29937 vsize=9625004 CPUtime=2.56 cores=0,2,4,6
/proc/29939/task/29946/stat : 29946 (java) S 29937 29939 28151 0 -1 4202560 719 0 0 0 250 6 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289538922664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29947] ppid=29937 vsize=9625004 CPUtime=2.66 cores=0,2,4,6
/proc/29939/task/29947/stat : 29947 (java) S 29937 29939 28151 0 -1 4202560 1227 0 0 0 259 7 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289537870120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29948] ppid=29937 vsize=9625004 CPUtime=2.53 cores=0,2,4,6
/proc/29939/task/29948/stat : 29948 (java) S 29937 29939 28151 0 -1 4202560 831 0 0 0 248 5 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289408281000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29949] ppid=29937 vsize=9625004 CPUtime=2.7 cores=0,2,4,6
/proc/29939/task/29949/stat : 29949 (java) S 29937 29939 28151 0 -1 4202560 1350 0 0 0 264 6 0 0 20 0 19 0 279695869 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140289407228456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29939/tid=29950] ppid=29937 vsize=9625004 CPUtime=4.56 cores=0,2,4,6
/proc/29939/task/29950/stat : 29950 (java) S 29937 29939 28151 0 -1 4202560 562 0 0 0 446 10 0 0 20 0 19 0 279695870 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288924281448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29951] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29951/stat : 29951 (java) S 29937 29939 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288923227768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29952] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29952/stat : 29952 (java) S 29937 29939 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279695870 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288922175112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29953] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29953/stat : 29953 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288921123856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29954] ppid=29937 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/29939/task/29954/stat : 29954 (java) S 29937 29939 28151 0 -1 4202560 14566 0 0 0 132 2 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288920070200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29939/tid=29955] ppid=29937 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/29939/task/29955/stat : 29955 (java) S 29937 29939 28151 0 -1 4202560 3381 0 0 0 50 0 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288919017656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29956] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29956/stat : 29956 (java) S 29937 29939 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288917965304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29939/tid=29957] ppid=29937 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/29939/task/29957/stat : 29957 (java) S 29937 29939 28151 0 -1 4202560 103 0 0 0 22 30 0 0 20 0 19 0 279695873 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288916912968 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29939/tid=29958] ppid=29937 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29939/task/29958/stat : 29958 (java) S 29937 29939 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279695886 9856004096 77051 33554432000 1073741824 1073778376 140734149777152 140288915858728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29939 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=608178
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=393788
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.04
CPU time (s): 1800.04
CPU user time (s): 1799.12
CPU system time (s): 0.92
CPU usage (%): 100.897
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 1.39379
maximum resident set size= 315388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38889
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56872
involuntary context switches= 59745

runsolver used 6.50001 second user time and 14.2628 second system time

The end

Launcher Data

Begin job on node140 at 2012-05-27 18:21:50
IDJOB=3710535
IDBENCH=1854
IDSOLVER=2289
FILE ID=node140/3710535-1338135710
RUNJOBID= node140-1338124688-28167
PBS_JOBID= 14624514
Free space on /tmp= 71336 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710535-1338135710/watcher-3710535-1338135710 -o /tmp/evaluation-result-3710535-1338135710/solver-3710535-1338135710 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710535-1338135710.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=1800512302

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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:       32873844 kB
MemFree:        30623588 kB
Buffers:          385228 kB
Cached:           708008 kB
SwapCached:         1492 kB
Active:          1139020 kB
Inactive:         253288 kB
Active(anon):     290600 kB
Inactive(anon):     8612 kB
Active(file):     848420 kB
Inactive(file):   244676 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105300 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:        302120 kB
Mapped:            19892 kB
Shmem:                 8 kB
Slab:             718588 kB
SReclaimable:     160660 kB
SUnreclaim:       557928 kB
KernelStack:        1600 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node140 at 2012-05-27 18:51:36