Trace number 3718030

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.08 1795.66

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap73_wcsp.wbo
MD5SUM6884eb16d9ca5647137a605a0e2a2e0d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark9939840
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 57243026
Min constraint cost 1
Max constraint cost 57243026
Sum of constraints costs 46149905826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120528
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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3718030-1338254817.wbo
0.08/0.11	c reading problem ... 
0.23/0.26	c ... done. Wall clock time 0.144s.
0.23/0.26	c declared #vars     832
0.23/0.26	c internal #vars     2446
0.23/0.26	c #constraints  1747
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850
0.23/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.23/0.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 846
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.23/0.26	c 1747 constraints processed.
0.23/0.26	c objective function length is 1614 literals
0.48/0.31	c SATISFIABLE
0.48/0.31	c OPTIMIZING...
0.48/0.31	c Got one! Elapsed wall clock time (in seconds):0.192
0.48/0.31	o 9939840
1.53/0.98	c cleaning 2494 clauses out of 5000 with flag 15124/5000
2.20/1.59	c cleaning 4255 clauses out of 8510 with flag 34006/11004
3.00/2.34	c cleaning 5626 clauses out of 11256 with flag 57225/18005
3.91/3.23	c cleaning 6813 clauses out of 13628 with flag 88650/26003
4.95/4.21	c cleaning 7897 clauses out of 15812 with flag 122557/35000
6.06/5.30	c cleaning 8947 clauses out of 17916 with flag 156571/45001
7.16/6.49	c cleaning 9970 clauses out of 19969 with flag 196153/56001
8.57/7.83	c cleaning 10991 clauses out of 21998 with flag 245178/68000
9.97/9.28	c cleaning 11992 clauses out of 24007 with flag 286688/81000
11.59/10.81	c cleaning 12995 clauses out of 26015 with flag 331453/95000
13.20/12.43	c cleaning 13998 clauses out of 28023 with flag 381134/110003
14.90/14.12	c cleaning 15008 clauses out of 30022 with flag 432837/126000
16.70/15.95	c cleaning 15992 clauses out of 32014 with flag 490289/143000
18.61/17.89	c cleaning 16995 clauses out of 34022 with flag 558430/161000
20.71/19.93	c cleaning 18005 clauses out of 36027 with flag 630242/180000
23.03/22.20	c cleaning 19009 clauses out of 38022 with flag 704190/200000
25.43/24.60	c cleaning 19989 clauses out of 40014 with flag 781675/221001
27.85/27.08	c cleaning 21005 clauses out of 42025 with flag 868993/243001
30.50/29.61	c cleaning 22002 clauses out of 44019 with flag 945553/266000
33.10/32.25	c cleaning 23000 clauses out of 46017 with flag 1024433/290000
36.02/35.15	c cleaning 23998 clauses out of 48018 with flag 1106672/315001
38.93/38.03	c cleaning 24992 clauses out of 50020 with flag 1192720/341001
41.95/41.09	c cleaning 25994 clauses out of 52029 with flag 1283821/368002
45.17/44.24	c cleaning 27015 clauses out of 54035 with flag 1393597/396002
48.68/47.70	c cleaning 28000 clauses out of 56018 with flag 1499917/425000
52.19/51.21	c cleaning 28995 clauses out of 58019 with flag 1607515/455001
55.80/54.81	c cleaning 30003 clauses out of 60024 with flag 1719277/486001
59.62/58.67	c cleaning 30995 clauses out of 62022 with flag 1838434/518002
63.64/62.61	c cleaning 32009 clauses out of 64025 with flag 1953784/551000
67.64/66.66	c cleaning 32994 clauses out of 66016 with flag 2071912/585000
72.15/71.14	c cleaning 34004 clauses out of 68022 with flag 2202617/620000
76.66/75.62	c cleaning 35000 clauses out of 70018 with flag 2324433/656000
81.38/80.35	c cleaning 36002 clauses out of 72018 with flag 2448794/693000
86.20/85.15	c cleaning 36993 clauses out of 74016 with flag 2572425/731000
91.33/90.26	c cleaning 38004 clauses out of 76027 with flag 2700089/770004
96.74/95.68	c cleaning 39006 clauses out of 78022 with flag 2839870/810003
101.95/100.86	c cleaning 39990 clauses out of 80013 with flag 2998743/851000
107.27/106.15	c cleaning 41002 clauses out of 82025 with flag 3141335/893002
112.87/111.71	c cleaning 42001 clauses out of 84021 with flag 3288830/936000
118.68/117.54	c cleaning 43002 clauses out of 86021 with flag 3445689/980001
124.50/123.33	c cleaning 43998 clauses out of 88018 with flag 3604395/1025000
130.64/129.44	c cleaning 45007 clauses out of 90021 with flag 3783629/1071001
136.77/135.52	c cleaning 46000 clauses out of 92013 with flag 3946810/1118000
142.77/141.52	c cleaning 46994 clauses out of 94015 with flag 4103811/1166002
149.30/148.04	c cleaning 47987 clauses out of 96021 with flag 4266996/1215002
156.02/154.75	c cleaning 49015 clauses out of 98035 with flag 4453237/1265003
162.54/161.27	c cleaning 49995 clauses out of 100017 with flag 4629869/1316000
169.49/168.13	c cleaning 50986 clauses out of 102022 with flag 4816761/1368000
176.62/175.29	c cleaning 52012 clauses out of 104036 with flag 5017480/1421000
183.84/182.46	c cleaning 53007 clauses out of 106026 with flag 5207913/1475002
190.96/189.57	c cleaning 53994 clauses out of 108019 with flag 5389692/1530002
198.17/196.80	c cleaning 54983 clauses out of 110023 with flag 5584830/1586000
205.40/203.95	c cleaning 56013 clauses out of 112040 with flag 5798245/1643000
212.61/211.13	c cleaning 56985 clauses out of 114028 with flag 6012629/1701001
220.22/218.72	c cleaning 58015 clauses out of 116042 with flag 6220034/1760000
228.17/226.68	c cleaning 59009 clauses out of 118028 with flag 6448029/1820001
235.90/234.39	c cleaning 59991 clauses out of 120021 with flag 6688672/1881003
244.02/242.43	c cleaning 60992 clauses out of 122027 with flag 6906740/1943000
252.34/250.79	c cleaning 62013 clauses out of 124035 with flag 7125507/2006000
260.85/259.24	c cleaning 63008 clauses out of 126023 with flag 7369551/2070001
269.65/268.07	c cleaning 63997 clauses out of 128014 with flag 7602552/2135000
278.68/277.07	c cleaning 65001 clauses out of 130017 with flag 7846360/2201000
287.62/285.91	c cleaning 65996 clauses out of 132016 with flag 8080061/2268000
296.93/295.21	c cleaning 66998 clauses out of 134022 with flag 8334632/2336002
306.25/304.51	c cleaning 67993 clauses out of 136022 with flag 8568134/2405000
315.79/314.08	c cleaning 69008 clauses out of 138030 with flag 8805499/2475001
325.60/323.81	c cleaning 70011 clauses out of 140022 with flag 9053984/2546001
335.32/333.54	c cleaning 70996 clauses out of 142010 with flag 9286819/2618000
345.43/343.62	c cleaning 71994 clauses out of 144014 with flag 9556963/2691000
355.84/354.00	c cleaning 72997 clauses out of 146020 with flag 9838898/2765000
366.46/364.65	c cleaning 74008 clauses out of 148027 with flag 10121974/2840004
377.10/375.22	c cleaning 75000 clauses out of 150016 with flag 10383771/2916001
387.82/385.95	c cleaning 75986 clauses out of 152015 with flag 10655374/2993000
399.33/397.43	c cleaning 77006 clauses out of 154030 with flag 10927847/3071001
410.55/408.66	c cleaning 77997 clauses out of 156023 with flag 11196272/3150000
421.86/419.96	c cleaning 79007 clauses out of 158028 with flag 11463174/3230002
433.48/431.51	c cleaning 79998 clauses out of 160021 with flag 11742232/3311002
445.30/443.31	c cleaning 80991 clauses out of 162021 with flag 12015315/3393000
456.50/454.58	c cleaning 81998 clauses out of 164032 with flag 12291109/3476002
468.33/466.40	c cleaning 82989 clauses out of 166033 with flag 12589205/3560001
480.15/478.17	c cleaning 84012 clauses out of 168043 with flag 12895209/3645000
492.69/490.61	c cleaning 84994 clauses out of 170032 with flag 13181747/3731001
505.41/503.30	c cleaning 86017 clauses out of 172037 with flag 13474581/3818000
518.34/516.28	c cleaning 87000 clauses out of 174021 with flag 13775129/3906001
531.07/528.94	c cleaning 87984 clauses out of 176022 with flag 14072176/3995002
543.98/541.81	c cleaning 89017 clauses out of 178037 with flag 14385845/4085001
557.12/554.97	c cleaning 89999 clauses out of 180020 with flag 14682369/4176001
571.03/568.85	c cleaning 91012 clauses out of 182024 with flag 14989851/4268004
585.95/583.74	c cleaning 91989 clauses out of 184013 with flag 15320201/4361005
599.37/597.18	c cleaning 92990 clauses out of 186022 with flag 15635329/4455003
614.12/611.80	c cleaning 94001 clauses out of 188029 with flag 15962462/4550000
627.96/625.67	c cleaning 95004 clauses out of 190029 with flag 16296249/4646001
643.31/640.91	c cleaning 96004 clauses out of 192024 with flag 16641102/4743000
658.27/655.83	c cleaning 96996 clauses out of 194020 with flag 16968152/4841000
672.61/670.19	c cleaning 98000 clauses out of 196025 with flag 17313551/4940001
689.73/687.20	c cleaning 99003 clauses out of 198025 with flag 17672081/5040001
704.42/701.81	c cleaning 100009 clauses out of 200021 with flag 18027342/5141000
720.55/717.94	c cleaning 100985 clauses out of 202012 with flag 18396053/5243000
735.57/732.98	c cleaning 102006 clauses out of 204028 with flag 18757718/5346001
750.91/748.24	c cleaning 102987 clauses out of 206023 with flag 19111013/5450002
767.12/764.46	c cleaning 104007 clauses out of 208034 with flag 19472607/5555000
783.25/780.40	c cleaning 104996 clauses out of 210027 with flag 19847203/5661000
799.20/796.34	c cleaning 106002 clauses out of 212032 with flag 20218850/5768001
815.25/812.33	c cleaning 106992 clauses out of 214029 with flag 20577809/5876000
830.96/828.00	c cleaning 107998 clauses out of 216037 with flag 20946322/5985000
846.91/843.98	c cleaning 109003 clauses out of 218039 with flag 21360928/6095000
863.85/860.85	c cleaning 109992 clauses out of 220038 with flag 21757276/6206002
882.58/879.54	c cleaning 111000 clauses out of 222044 with flag 22174350/6318000
900.10/897.03	c cleaning 111999 clauses out of 224044 with flag 22606485/6431000
918.12/915.05	c cleaning 113013 clauses out of 226048 with flag 23000392/6545003
936.05/932.99	c cleaning 114009 clauses out of 228033 with flag 23427970/6660001
954.59/951.47	c cleaning 115000 clauses out of 230023 with flag 23879340/6776000
973.33/970.17	c cleaning 116007 clauses out of 232024 with flag 24310239/6893001
991.74/988.53	c cleaning 116974 clauses out of 234016 with flag 24749701/7011000
1011.57/1008.34	c cleaning 118013 clauses out of 236042 with flag 25209939/7130000
1030.80/1027.50	c cleaning 119005 clauses out of 238031 with flag 25635350/7250002
1050.72/1047.45	c cleaning 119994 clauses out of 240025 with flag 26063686/7371001
1070.65/1067.38	c cleaning 121008 clauses out of 242030 with flag 26491614/7493000
1093.78/1090.49	c cleaning 121995 clauses out of 244022 with flag 26925611/7616000
1116.13/1112.75	c cleaning 123004 clauses out of 246027 with flag 27378221/7740000
1137.70/1134.21	c cleaning 123996 clauses out of 248023 with flag 27818269/7865000
1158.15/1154.64	c cleaning 125003 clauses out of 250028 with flag 28240848/7991001
1179.98/1176.47	c cleaning 125992 clauses out of 252024 with flag 28651825/8118000
1200.72/1197.18	c cleaning 127007 clauses out of 254032 with flag 29072562/8246000
1223.26/1219.65	c cleaning 128009 clauses out of 256025 with flag 29520315/8375000
1245.29/1241.61	c cleaning 128977 clauses out of 258016 with flag 29975198/8505000
1265.65/1261.96	c cleaning 129998 clauses out of 260041 with flag 30431730/8636002
1285.90/1282.13	c cleaning 130996 clauses out of 262041 with flag 30891917/8768000
1306.81/1303.03	c cleaning 132005 clauses out of 264045 with flag 31412426/8901000
1329.24/1325.42	c cleaning 133012 clauses out of 266040 with flag 31891040/9035000
1352.86/1349.06	c cleaning 133997 clauses out of 268029 with flag 32401483/9170001
1376.20/1372.37	c cleaning 135006 clauses out of 270031 with flag 32931552/9306000
1399.63/1395.76	c cleaning 136010 clauses out of 272025 with flag 33413293/9443000
1424.15/1420.20	c cleaning 136980 clauses out of 274015 with flag 33941197/9581000
1448.51/1444.55	c cleaning 137990 clauses out of 276035 with flag 34403762/9720000
1471.44/1467.42	c cleaning 139003 clauses out of 278045 with flag 34919916/9860000
1494.47/1490.46	c cleaning 140001 clauses out of 280042 with flag 35434853/10001000
1517.68/1513.68	c cleaning 141009 clauses out of 282042 with flag 35986643/10143001
1540.89/1536.84	c cleaning 142005 clauses out of 284032 with flag 36505847/10286000
1566.81/1562.74	c cleaning 143004 clauses out of 286027 with flag 37006219/10430000
1592.64/1588.51	c cleaning 143999 clauses out of 288026 with flag 37512547/10575003
1619.29/1615.11	c cleaning 144990 clauses out of 290024 with flag 38034208/10721000
1643.52/1639.30	c cleaning 146003 clauses out of 292034 with flag 38594250/10868000
1668.85/1664.64	c cleaning 147009 clauses out of 294032 with flag 39091792/11016001
1693.59/1689.37	c cleaning 147997 clauses out of 296022 with flag 39622482/11165000
1718.05/1713.78	c cleaning 148983 clauses out of 298025 with flag 40132521/11315000
1742.77/1738.49	c cleaning 150017 clauses out of 300043 with flag 40640177/11466001
1770.40/1766.02	c cleaning 151002 clauses out of 302025 with flag 41144791/11618000
1797.04/1792.68	c cleaning 152006 clauses out of 304024 with flag 41653082/11771001
1800.08/1795.61	c starts		: 324
1800.08/1795.61	c conflicts		: 11793124
1800.08/1795.61	c decisions		: 28887821
1800.08/1795.61	c propagations		: 3947059289
1800.08/1795.61	c inspects		: 9293020803
1800.08/1795.61	c shortcuts		: 0
1800.08/1795.61	c learnt literals	: 0
1800.08/1795.61	c learnt binary clauses	: 0
1800.08/1795.61	c learnt ternary clauses	: 0
1800.08/1795.61	c learnt constraints	: 11793124
1800.08/1795.61	c ignored constraints	: 0
1800.08/1795.61	c root simplifications	: 0
1800.08/1795.61	c removed literals (reason simplification)	: 0
1800.08/1795.61	c reason swapping (by a shorter reason)	: 0
1800.08/1795.61	c Calls to reduceDB	: 149
1800.08/1795.61	c Number of update (reduction) of LBD	: 5134724
1800.08/1795.61	c number of reductions to clauses (during analyze)	: 0
1800.08/1795.61	c number of learned constraints concerned by reduction	: 0
1800.08/1795.61	c number of learning phase by resolution	: 0
1800.08/1795.61	c number of learning phase by cutting planes	: 0
1800.08/1795.61	c speed (assignments/second)	: 2198513.7370211957
1800.08/1795.61	c non guided choices	65
1800.08/1795.64	c learnt constraints type 
1800.08/1795.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 174386
1800.08/1795.64	c constraints type 
1800.08/1795.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850
1800.08/1795.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
1800.08/1795.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 846
1800.08/1795.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.08/1795.64	c 1748 constraints processed.
1800.08/1795.64	s SATISFIABLE
1800.08/1795.65	v x1 -x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 
1800.08/1795.65	c objective function=9939840
1800.08/1795.65	c Total wall clock time (in seconds): 1795.533

Verifier Data 

OK	9939840

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.06 2.16 2.08 3/195 10749
/proc/meminfo: memFree=30400768/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10749/stat : 10749 (java) D 10747 10749 6647 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291606078 9515008 183 33554432000 1073741824 1073778376 140736649433728 140736649424760 209883840181 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/10749/statm: 2323 183 140 9 0 71 0

[startup+0.016985 s]
/proc/loadavg: 2.06 2.16 2.08 3/195 10749
/proc/meminfo: memFree=30400768/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 1368 0 0 0 0 0 0 0 20 0 2 0 291606078 103964672 1050 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 25382 1050 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100235 s]
/proc/loadavg: 2.06 2.16 2.08 3/195 10749
/proc/meminfo: memFree=30400768/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 4267 0 1 0 7 1 0 0 20 0 18 0 291606078 9787817984 5466 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2389604 5468 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300274 s]
/proc/loadavg: 2.06 2.16 2.08 3/195 10749
/proc/meminfo: memFree=30400768/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 6573 0 1 0 46 2 0 0 20 0 19 0 291606078 9855979520 8356 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2406245 8356 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624980

[startup+0.700251 s]
/proc/loadavg: 2.06 2.16 2.08 3/195 10749
/proc/meminfo: memFree=30400768/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9624980 CPUtime=1.32 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 12423 0 1 0 129 3 0 0 20 0 19 0 291606078 9855979520 11391 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2406245 11391 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9624980

[startup+1.50066 s]
/proc/loadavg: 2.06 2.16 2.08 3/214 10768
/proc/meminfo: memFree=30322272/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9624980 CPUtime=2.2 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 12592 0 1 0 217 3 0 0 20 0 19 0 291606078 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2406245 14512 2273 9 0 2396937 0
[pid=10749/tid=10751] ppid=10747 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/10749/task/10751/stat : 10751 (java) R 10747 10749 6647 0 -1 4202560 2467 0 1 0 143 2 0 0 20 0 19 0 291606079 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603820929432 140603690646171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10752] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10752/stat : 10752 (java) S 10747 10749 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603809991080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10753] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10753/stat : 10753 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603808938536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10754] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10754/stat : 10754 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603662481576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10755] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10755/stat : 10755 (java) S 10747 10749 6647 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603661429032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10756] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10756/stat : 10756 (java) S 10747 10749 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603660377000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10757] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10757/stat : 10757 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603659324456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10758] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10758/stat : 10758 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603658271400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10759] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10759/stat : 10759 (java) S 10747 10749 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603657218856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10760] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10760/stat : 10760 (java) S 10747 10749 6647 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 291606081 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603645020520 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10761] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10761/stat : 10761 (java) S 10747 10749 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603643966840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10762] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10762/stat : 10762 (java) S 10747 10749 6647 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603642913672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10763] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10763/stat : 10763 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603641862416 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10764] ppid=10747 vsize=9624980 CPUtime=0.35 cores=1,3,5,7
/proc/10749/task/10764/stat : 10764 (java) R 10747 10749 6647 0 -1 4202560 3457 0 0 0 35 0 0 0 20 0 19 0 291606084 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603640810296 140603825046631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10765] ppid=10747 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/10749/task/10765/stat : 10765 (java) R 10747 10749 6647 0 -1 4202560 5427 0 0 0 33 0 0 0 20 0 19 0 291606084 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603639757752 140603823014640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10766] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10766/stat : 10766 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603638704888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10767] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10767/stat : 10767 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603637652552 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10768] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10768/stat : 10768 (java) S 10747 10749 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606106 9855979520 14512 33554432000 1073741824 1073778376 140734512139680 140603636597800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9624980

[startup+3.10065 s]
/proc/loadavg: 2.06 2.16 2.08 3/214 10768
/proc/meminfo: memFree=30319852/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9624980 CPUtime=3.81 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 12603 0 1 0 378 3 0 0 20 0 19 0 291606078 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2406245 15542 2273 9 0 2396937 0
[pid=10749/tid=10751] ppid=10747 vsize=9624980 CPUtime=3.02 cores=1,3,5,7
/proc/10749/task/10751/stat : 10751 (java) R 10747 10749 6647 0 -1 4202560 2468 0 1 0 300 2 0 0 20 0 19 0 291606079 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603820929312 140603690627229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10752] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10752/stat : 10752 (java) S 10747 10749 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603809991080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10753] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10753/stat : 10753 (java) S 10747 10749 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603808938536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10754] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10754/stat : 10754 (java) S 10747 10749 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603662481576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10755] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10755/stat : 10755 (java) S 10747 10749 6647 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603661429032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10756] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10756/stat : 10756 (java) S 10747 10749 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603660377000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10757] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10757/stat : 10757 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603659324456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10758] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10758/stat : 10758 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603658271400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10759] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10759/stat : 10759 (java) S 10747 10749 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603657218856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10760] ppid=10747 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/10749/task/10760/stat : 10760 (java) S 10747 10749 6647 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 291606081 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603645020520 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10761] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10761/stat : 10761 (java) S 10747 10749 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603643966840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10762] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10762/stat : 10762 (java) S 10747 10749 6647 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603642913672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10763] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10763/stat : 10763 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603641862416 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10764] ppid=10747 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/10749/task/10764/stat : 10764 (java) S 10747 10749 6647 0 -1 4202560 3457 0 0 0 36 0 0 0 20 0 19 0 291606084 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603640810296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10765] ppid=10747 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/10749/task/10765/stat : 10765 (java) S 10747 10749 6647 0 -1 4202560 5428 0 0 0 34 0 0 0 20 0 19 0 291606084 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603639757752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10766] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10766/stat : 10766 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603638704888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10767] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10767/stat : 10767 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603637652552 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10768] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10768/stat : 10768 (java) S 10747 10749 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606106 9855979520 15542 33554432000 1073741824 1073778376 140734512139680 140603636597800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9624980

[startup+6.30064 s]
/proc/loadavg: 2.05 2.16 2.08 3/214 10768
/proc/meminfo: memFree=30317572/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9624980 CPUtime=7.06 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 12616 0 1 0 703 3 0 0 20 0 19 0 291606078 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2406245 15477 2273 9 0 2396937 0
[pid=10749/tid=10751] ppid=10747 vsize=9624980 CPUtime=6.16 cores=1,3,5,7
/proc/10749/task/10751/stat : 10751 (java) R 10747 10749 6647 0 -1 4202560 2471 0 1 0 614 2 0 0 20 0 19 0 291606079 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603820929312 140603690288647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10752] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10752/stat : 10752 (java) S 10747 10749 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603809991080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10753] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10753/stat : 10753 (java) S 10747 10749 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603808938536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10754] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10754/stat : 10754 (java) S 10747 10749 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603662481576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10755] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10755/stat : 10755 (java) S 10747 10749 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603661429032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10756] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10756/stat : 10756 (java) S 10747 10749 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603660377000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10757] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10757/stat : 10757 (java) S 10747 10749 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603659324456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10758] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10758/stat : 10758 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603658271400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10759] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10759/stat : 10759 (java) S 10747 10749 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291606080 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603657218856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10760] ppid=10747 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/10749/task/10760/stat : 10760 (java) S 10747 10749 6647 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 291606081 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603645020520 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10761] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10761/stat : 10761 (java) S 10747 10749 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603643966840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10762] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10762/stat : 10762 (java) S 10747 10749 6647 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603642913672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10763] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10763/stat : 10763 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603641862416 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10764] ppid=10747 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/10749/task/10764/stat : 10764 (java) S 10747 10749 6647 0 -1 4202560 3458 0 0 0 36 0 0 0 20 0 19 0 291606084 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603640810296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10765] ppid=10747 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/10749/task/10765/stat : 10765 (java) S 10747 10749 6647 0 -1 4202560 5428 0 0 0 38 0 0 0 20 0 19 0 291606084 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603639757752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10766] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10766/stat : 10766 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603638704888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10767] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10767/stat : 10767 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603637652552 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10768] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10768/stat : 10768 (java) S 10747 10749 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606106 9855979520 15477 33554432000 1073741824 1073778376 140734512139680 140603636597800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=10749/tid=10764] ppid=10747 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/10749/task/10764/stat : 10764 (java) S 10747 10749 6647 0 -1 4202560 3458 0 0 0 36 0 0 0 20 0 19 0 291606084 9855979520 50515 33554432000 1073741824 1073778376 140734512139680 140603640810296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10765] ppid=10747 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/10749/task/10765/stat : 10765 (java) S 10747 10749 6647 0 -1 4202560 5432 0 0 0 40 0 0 0 20 0 19 0 291606084 9855979520 50515 33554432000 1073741824 1073778376 140734512139680 140603639757752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10766] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10766/stat : 10766 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 50515 33554432000 1073741824 1073778376 140734512139680 140603638704888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10767] ppid=10747 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/10749/task/10767/stat : 10767 (java) S 10747 10749 6647 0 -1 4202560 97 0 0 0 12 18 0 0 20 0 19 0 291606084 9855979520 50515 33554432000 1073741824 1073778376 140734512139680 140603637652552 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10768] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10768/stat : 10768 (java) S 10747 10749 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606106 9855979520 50515 33554432000 1073741824 1073778376 140734512139680 140603636597800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.55
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10855
/proc/meminfo: memFree=30779836/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9624980 CPUtime=1726.67 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 15581 0 1 0 172630 37 0 0 20 0 19 0 291606078 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2406245 51539 2274 9 0 2396937 0
[pid=10749/tid=10751] ppid=10747 vsize=9624980 CPUtime=1708.71 cores=1,3,5,7
/proc/10749/task/10751/stat : 10751 (java) R 10747 10749 6647 0 -1 4202560 2630 0 1 0 170841 30 0 0 20 0 19 0 291606079 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603820929312 140603690588303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10752] ppid=10747 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/10749/task/10752/stat : 10752 (java) S 10747 10749 6647 0 -1 4202560 532 0 0 0 70 2 0 0 20 0 19 0 291606080 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603809991080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10753] ppid=10747 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/10749/task/10753/stat : 10753 (java) S 10747 10749 6647 0 -1 4202560 341 0 0 0 69 0 0 0 20 0 19 0 291606080 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603808938536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10754] ppid=10747 vsize=9624980 CPUtime=0.74 cores=1,3,5,7
/proc/10749/task/10754/stat : 10754 (java) S 10747 10749 6647 0 -1 4202560 270 0 0 0 72 2 0 0 20 0 19 0 291606080 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603662481576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10755] ppid=10747 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/10749/task/10755/stat : 10755 (java) S 10747 10749 6647 0 -1 4202560 264 0 0 0 68 0 0 0 20 0 19 0 291606080 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603661429032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10756] ppid=10747 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/10749/task/10756/stat : 10756 (java) S 10747 10749 6647 0 -1 4202560 345 0 0 0 60 2 0 0 20 0 19 0 291606080 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603660377000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10757] ppid=10747 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/10749/task/10757/stat : 10757 (java) S 10747 10749 6647 0 -1 4202560 344 0 0 0 64 0 0 0 20 0 19 0 291606080 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603659324456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10758] ppid=10747 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/10749/task/10758/stat : 10758 (java) S 10747 10749 6647 0 -1 4202560 262 0 0 0 60 1 0 0 20 0 19 0 291606080 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603658271400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10759] ppid=10747 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/10749/task/10759/stat : 10759 (java) S 10747 10749 6647 0 -1 4202560 265 0 0 0 66 2 0 0 20 0 19 0 291606080 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603657218856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10760] ppid=10747 vsize=9624980 CPUtime=7.24 cores=1,3,5,7
/proc/10749/task/10760/stat : 10760 (java) S 10747 10749 6647 0 -1 4202560 157 0 0 0 722 2 0 0 20 0 19 0 291606081 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603645020520 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10761] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10761/stat : 10761 (java) S 10747 10749 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603643966840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10762] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10762/stat : 10762 (java) S 10747 10749 6647 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603642913672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10763] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10763/stat : 10763 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603641862416 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10764] ppid=10747 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/10749/task/10764/stat : 10764 (java) S 10747 10749 6647 0 -1 4202560 3458 0 0 0 36 0 0 0 20 0 19 0 291606084 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603640810296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10765] ppid=10747 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/10749/task/10765/stat : 10765 (java) S 10747 10749 6647 0 -1 4202560 5432 0 0 0 40 0 0 0 20 0 19 0 291606084 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603639757752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10766] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10766/stat : 10766 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603638704888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10767] ppid=10747 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/10749/task/10767/stat : 10767 (java) S 10747 10749 6647 0 -1 4202560 99 0 0 0 12 19 0 0 20 0 19 0 291606084 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603637652552 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10768] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10768/stat : 10768 (java) S 10747 10749 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606106 9855979520 51539 33554432000 1073741824 1073778376 140734512139680 140603636597800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.67
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10855
/proc/meminfo: memFree=30777540/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9624980 CPUtime=1786.75 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 15592 0 1 0 178637 38 0 0 20 0 19 0 291606078 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2406245 52051 2274 9 0 2396937 0
[pid=10749/tid=10751] ppid=10747 vsize=9624980 CPUtime=1768.31 cores=1,3,5,7
/proc/10749/task/10751/stat : 10751 (java) R 10747 10749 6647 0 -1 4202560 2632 0 1 0 176800 31 0 0 20 0 19 0 291606079 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603820929312 140603690627435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10752] ppid=10747 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/10749/task/10752/stat : 10752 (java) S 10747 10749 6647 0 -1 4202560 532 0 0 0 71 2 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603809991080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10753] ppid=10747 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/10749/task/10753/stat : 10753 (java) S 10747 10749 6647 0 -1 4202560 341 0 0 0 71 0 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603808938536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10754] ppid=10747 vsize=9624980 CPUtime=0.76 cores=1,3,5,7
/proc/10749/task/10754/stat : 10754 (java) S 10747 10749 6647 0 -1 4202560 270 0 0 0 74 2 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603662481576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10755] ppid=10747 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/10749/task/10755/stat : 10755 (java) S 10747 10749 6647 0 -1 4202560 264 0 0 0 69 0 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603661429032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10756] ppid=10747 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/10749/task/10756/stat : 10756 (java) S 10747 10749 6647 0 -1 4202560 345 0 0 0 61 2 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603660377000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10757] ppid=10747 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/10749/task/10757/stat : 10757 (java) S 10747 10749 6647 0 -1 4202560 344 0 0 0 65 0 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603659324456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10758] ppid=10747 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/10749/task/10758/stat : 10758 (java) S 10747 10749 6647 0 -1 4202560 262 0 0 0 62 1 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603658271400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10759] ppid=10747 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/10749/task/10759/stat : 10759 (java) S 10747 10749 6647 0 -1 4202560 265 0 0 0 68 2 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603657218856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10760] ppid=10747 vsize=9624980 CPUtime=7.44 cores=1,3,5,7
/proc/10749/task/10760/stat : 10760 (java) S 10747 10749 6647 0 -1 4202560 162 0 0 0 742 2 0 0 20 0 19 0 291606081 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603645020520 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10761] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10761/stat : 10761 (java) S 10747 10749 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603643966840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10762] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10762/stat : 10762 (java) S 10747 10749 6647 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603642913672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10763] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10763/stat : 10763 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603641862416 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10764] ppid=10747 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/10749/task/10764/stat : 10764 (java) S 10747 10749 6647 0 -1 4202560 3458 0 0 0 36 0 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603640810296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10765] ppid=10747 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/10749/task/10765/stat : 10765 (java) S 10747 10749 6647 0 -1 4202560 5432 0 0 0 40 0 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603639757752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10766] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10766/stat : 10766 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603638704888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10767] ppid=10747 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/10749/task/10767/stat : 10767 (java) S 10747 10749 6647 0 -1 4202560 103 0 0 0 13 20 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603637652552 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10768] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10768/stat : 10768 (java) S 10747 10749 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606106 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603636597800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.75
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10855
/proc/meminfo: memFree=30777540/32873844 swapFree=7632/7632
[pid=10749] ppid=10747 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/10749/stat : 10749 (java) S 10747 10749 6647 0 -1 4202496 15593 0 1 0 179970 38 0 0 20 0 19 0 291606078 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140734512130816 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10749/statm: 2406245 52051 2274 9 0 2396937 0
[pid=10749/tid=10751] ppid=10747 vsize=9624980 CPUtime=1781.48 cores=1,3,5,7
/proc/10749/task/10751/stat : 10751 (java) R 10747 10749 6647 0 -1 4202560 2633 0 1 0 178116 32 0 0 20 0 19 0 291606079 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603820929312 140603690698039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10752] ppid=10747 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/10749/task/10752/stat : 10752 (java) S 10747 10749 6647 0 -1 4202560 532 0 0 0 71 2 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603809991080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10753] ppid=10747 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/10749/task/10753/stat : 10753 (java) S 10747 10749 6647 0 -1 4202560 341 0 0 0 71 0 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603808938536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10754] ppid=10747 vsize=9624980 CPUtime=0.78 cores=1,3,5,7
/proc/10749/task/10754/stat : 10754 (java) S 10747 10749 6647 0 -1 4202560 270 0 0 0 76 2 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603662481576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10755] ppid=10747 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/10749/task/10755/stat : 10755 (java) S 10747 10749 6647 0 -1 4202560 264 0 0 0 69 0 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603661429032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10756] ppid=10747 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/10749/task/10756/stat : 10756 (java) S 10747 10749 6647 0 -1 4202560 345 0 0 0 61 2 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603660377000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10757] ppid=10747 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/10749/task/10757/stat : 10757 (java) S 10747 10749 6647 0 -1 4202560 344 0 0 0 66 0 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603659324456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10758] ppid=10747 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/10749/task/10758/stat : 10758 (java) S 10747 10749 6647 0 -1 4202560 262 0 0 0 63 1 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603658271400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10759] ppid=10747 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/10749/task/10759/stat : 10759 (java) S 10747 10749 6647 0 -1 4202560 265 0 0 0 69 2 0 0 20 0 19 0 291606080 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603657218856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10760] ppid=10747 vsize=9624980 CPUtime=7.53 cores=1,3,5,7
/proc/10749/task/10760/stat : 10760 (java) S 10747 10749 6647 0 -1 4202560 162 0 0 0 751 2 0 0 20 0 19 0 291606081 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603645020520 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10761] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10761/stat : 10761 (java) S 10747 10749 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603643966840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10762] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10762/stat : 10762 (java) S 10747 10749 6647 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606082 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603642913672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10763] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10763/stat : 10763 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603641862416 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10764] ppid=10747 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/10749/task/10764/stat : 10764 (java) S 10747 10749 6647 0 -1 4202560 3458 0 0 0 36 0 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603640810296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10749/tid=10765] ppid=10747 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/10749/task/10765/stat : 10765 (java) S 10747 10749 6647 0 -1 4202560 5432 0 0 0 40 0 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603639757752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10749/tid=10766] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10766/stat : 10766 (java) S 10747 10749 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603638704888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10749/tid=10767] ppid=10747 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/10749/task/10767/stat : 10767 (java) S 10747 10749 6647 0 -1 4202560 103 0 0 0 13 20 0 0 20 0 19 0 291606084 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603637652552 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10749/tid=10768] ppid=10747 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10749/task/10768/stat : 10768 (java) S 10747 10749 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606106 9855979520 52051 33554432000 1073741824 1073778376 140734512139680 140603636597800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 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

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10749 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=249080
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=772882
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.66
CPU time (s): 1800.08
CPU user time (s): 1799.7
CPU system time (s): 0.38
CPU usage (%): 100.246
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.25
system time used= 0.772882
maximum resident set size= 208356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15634
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41969
involuntary context switches= 45595

runsolver used 6.57 second user time and 14.5028 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-29 03:26:57
IDJOB=3718030
IDBENCH=79498
IDSOLVER=2301
FILE ID=node141/3718030-1338254817
RUNJOBID= node141-1338248797-9482
PBS_JOBID= 14624658
Free space on /tmp= 71232 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap73_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718030-1338254817/watcher-3718030-1338254817 -o /tmp/evaluation-result-3718030-1338254817/solver-3718030-1338254817 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718030-1338254817.wbo

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

MD5SUM BENCH= 6884eb16d9ca5647137a605a0e2a2e0d
RANDOM SEED=379317777

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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.92
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.744
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:        30400768 kB
Buffers:          250360 kB
Cached:           407220 kB
SwapCached:          216 kB
Active:          1547812 kB
Inactive:          52244 kB
Active(anon):     931868 kB
Inactive(anon):    12884 kB
Active(file):     615944 kB
Inactive(file):    39360 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:               444 kB
Writeback:             0 kB
AnonPages:        949668 kB
Mapped:            18248 kB
Shmem:               172 kB
Slab:             730056 kB
SReclaimable:     172168 kB
SUnreclaim:       557888 kB
KernelStack:        1584 kB
PageTables:         6016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1446880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    905216 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= 71232 MiB
End job on node141 at 2012-05-29 03:56:55