Trace number 3718008

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.04 1793.76

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-42_wcsp.wbo
MD5SUM2650719d8056982b79efe8547fa4e1ef
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark169050
Best CPU time to get the best result obtained on this benchmark1800.04
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables494
Total number of constraints2206
Number of soft constraints2016
Number of constraints which are clauses2016
Number of constraints which are cardinality constraints (but not clauses)190
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 263118
Min constraint cost 1
Max constraint cost 263118
Sum of constraints costs 480716585
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.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.10	c version 2.3.2.v20120528
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		501472288
0.00/0.10	c Max memory 		7480803328
0.00/0.10	c Total memory 		504102912
0.00/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3718008-1338258449.wbo
0.09/0.12	c reading problem ... 
0.23/0.29	c ... done. Wall clock time 0.167s.
0.23/0.29	c declared #vars     494
0.23/0.29	c internal #vars     2510
0.23/0.29	c #constraints  2397
0.23/0.29	c constraints type 
0.23/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1883
0.23/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 57
0.23/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 456
0.23/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.23/0.29	c 2397 constraints processed.
0.23/0.29	c objective function length is 2016 literals
0.68/0.44	c SATISFIABLE
0.68/0.44	c OPTIMIZING...
0.68/0.44	c Got one! Elapsed wall clock time (in seconds):0.321
0.68/0.44	o 177065
0.68/0.48	c Got one! Elapsed wall clock time (in seconds):0.358
0.68/0.48	o 175055
2.00/1.45	c cleaning 2563 clauses out of 5125 with flag 11599/5125
2.87/2.21	c cleaning 4281 clauses out of 8562 with flag 25198/11125
3.66/3.02	c cleaning 5641 clauses out of 11282 with flag 41194/18126
4.58/3.91	c cleaning 6821 clauses out of 13641 with flag 57825/26126
5.62/4.94	c cleaning 7906 clauses out of 15819 with flag 77311/35125
6.75/6.04	c cleaning 8957 clauses out of 17914 with flag 98274/45126
7.97/7.30	c cleaning 9971 clauses out of 19956 with flag 121925/56125
9.40/8.68	c cleaning 10988 clauses out of 21985 with flag 147043/68125
10.92/10.17	c cleaning 11994 clauses out of 23998 with flag 173920/81126
12.52/11.74	c cleaning 13002 clauses out of 26004 with flag 205544/95126
14.24/13.42	c cleaning 14000 clauses out of 28003 with flag 239041/110127
16.16/15.30	c cleaning 14997 clauses out of 30001 with flag 277455/126125
18.17/17.35	c cleaning 15998 clauses out of 32004 with flag 319331/143125
20.38/19.55	c cleaning 17005 clauses out of 34009 with flag 363932/161128
22.48/21.65	c cleaning 17998 clauses out of 36001 with flag 410474/180125
24.79/23.96	c cleaning 18997 clauses out of 38003 with flag 458652/200125
27.09/26.26	c cleaning 20000 clauses out of 40006 with flag 509093/221125
29.80/28.95	c cleaning 21000 clauses out of 42007 with flag 562904/243126
32.81/31.91	c cleaning 21999 clauses out of 44006 with flag 618440/266125
35.52/34.61	c cleaning 23001 clauses out of 46007 with flag 677559/290125
38.46/37.58	c cleaning 24004 clauses out of 48007 with flag 737214/315126
41.56/40.64	c cleaning 24999 clauses out of 50002 with flag 801568/341125
44.88/43.97	c cleaning 25996 clauses out of 52003 with flag 865948/368125
48.31/47.39	c cleaning 26994 clauses out of 54008 with flag 945439/396126
51.62/50.68	c cleaning 28006 clauses out of 56014 with flag 1018772/425126
55.32/54.31	c cleaning 28997 clauses out of 58008 with flag 1091980/455126
59.04/58.07	c cleaning 30004 clauses out of 60011 with flag 1166349/486126
59.95/58.96	c Got one! Elapsed wall clock time (in seconds):58.84
59.95/58.96	o 175054
60.75/59.76	c cleaning 22123 clauses out of 44246 with flag 10274/500365
61.76/60.77	c cleaning 14062 clauses out of 28123 with flag 22668/506365
62.97/61.96	c cleaning 10526 clauses out of 21062 with flag 42208/513366
64.28/63.27	c cleaning 9263 clauses out of 18535 with flag 72946/521365
64.90/63.80	c Got one! Elapsed wall clock time (in seconds):63.683
64.90/63.80	o 175051
64.90/63.82	c Got one! Elapsed wall clock time (in seconds):63.699
64.90/63.82	o 175050
65.09/63.91	c Got one! Elapsed wall clock time (in seconds):63.786
65.09/63.91	o 174060
65.09/63.91	c Got one! Elapsed wall clock time (in seconds):63.794
65.09/63.91	o 172055
65.09/63.95	c Got one! Elapsed wall clock time (in seconds):63.831
65.09/63.95	o 172050
65.42/64.26	c cleaning 7935 clauses out of 15870 with flag 4172/527963
66.32/65.12	c cleaning 6968 clauses out of 13935 with flag 16524/533963
67.03/65.83	c Got one! Elapsed wall clock time (in seconds):65.708
67.03/65.83	o 171075
67.13/65.92	c Got one! Elapsed wall clock time (in seconds):65.803
67.13/65.92	o 171069
67.34/66.12	c cleaning 6712 clauses out of 13429 with flag 2197/540425
68.23/67.05	c cleaning 6354 clauses out of 12717 with flag 15523/546425
69.44/68.27	c cleaning 6675 clauses out of 13363 with flag 33289/553425
70.75/69.53	c Got one! Elapsed wall clock time (in seconds):69.413
70.75/69.53	o 171065
71.55/70.32	c cleaning 9624 clauses out of 19247 with flag 10422/565984
72.55/71.32	c cleaning 7810 clauses out of 15623 with flag 22811/571984
73.66/72.42	c cleaning 7405 clauses out of 14813 with flag 37235/578984
74.76/73.59	c cleaning 7704 clauses out of 15407 with flag 53664/586983
74.99/73.77	c Got one! Elapsed wall clock time (in seconds):73.648
74.99/73.77	o 171063
75.18/73.90	c Got one! Elapsed wall clock time (in seconds):73.783
75.18/73.90	o 171061
75.18/73.96	c Got one! Elapsed wall clock time (in seconds):73.837
75.18/73.96	o 171060
75.28/74.01	c Got one! Elapsed wall clock time (in seconds):73.892
75.28/74.01	o 171055
75.68/74.42	c Got one! Elapsed wall clock time (in seconds):74.295
75.68/74.42	o 171053
75.78/74.53	c Got one! Elapsed wall clock time (in seconds):74.407
75.78/74.53	o 171052
75.78/74.54	c Got one! Elapsed wall clock time (in seconds):74.421
75.78/74.54	o 171050
76.48/75.26	c cleaning 8349 clauses out of 16710 with flag 9088/595990
77.58/76.37	c cleaning 7173 clauses out of 14361 with flag 21767/601990
78.59/77.37	c cleaning 7086 clauses out of 14190 with flag 36226/608992
79.89/78.60	c cleaning 7550 clauses out of 15102 with flag 52863/616990
81.41/80.15	c cleaning 8273 clauses out of 16552 with flag 71568/625990
82.14/80.87	c Got one! Elapsed wall clock time (in seconds):80.747
82.14/80.87	o 170067
82.84/81.59	c cleaning 9405 clauses out of 18810 with flag 10296/636521
83.74/82.49	c cleaning 7702 clauses out of 15405 with flag 22649/642521
84.74/83.49	c cleaning 7345 clauses out of 14702 with flag 37903/649520
85.94/84.69	c cleaning 7676 clauses out of 15360 with flag 55452/657523
87.35/86.01	c cleaning 8342 clauses out of 16683 with flag 74239/666522
88.65/87.35	c cleaning 9165 clauses out of 18339 with flag 94983/676520
89.96/88.68	c cleaning 10083 clauses out of 20174 with flag 121746/687520
91.28/89.93	c cleaning 11043 clauses out of 22092 with flag 157655/699521
92.69/91.40	c cleaning 12022 clauses out of 24048 with flag 190010/712520
94.30/92.98	c cleaning 13012 clauses out of 26027 with flag 223975/726521
95.90/94.54	c cleaning 14002 clauses out of 28014 with flag 256932/741520
97.91/96.56	c cleaning 15004 clauses out of 30013 with flag 291249/757521
99.11/97.70	c Got one! Elapsed wall clock time (in seconds):97.577
99.11/97.70	o 170056
99.21/97.82	c Got one! Elapsed wall clock time (in seconds):97.696
99.21/97.82	o 170055
99.21/97.89	c Got one! Elapsed wall clock time (in seconds):97.771
99.21/97.89	o 170050
100.12/98.70	c cleaning 16428 clauses out of 32856 with flag 10354/775368
101.13/99.73	c cleaning 11214 clauses out of 22429 with flag 22842/781369
102.44/101.05	c cleaning 9100 clauses out of 18213 with flag 38160/788367
104.04/102.62	c Got one! Elapsed wall clock time (in seconds):102.498
104.04/102.62	o 169064
104.24/102.82	c Got one! Elapsed wall clock time (in seconds):102.695
104.24/102.82	o 169059
104.24/102.88	c Got one! Elapsed wall clock time (in seconds):102.756
104.24/102.88	o 169057
104.24/102.88	c Got one! Elapsed wall clock time (in seconds):102.762
104.24/102.88	o 169055
104.24/102.89	c Got one! Elapsed wall clock time (in seconds):102.771
104.24/102.89	o 169050
105.04/103.61	c cleaning 11252 clauses out of 22503 with flag 8321/801757
106.10/104.62	c cleaning 8622 clauses out of 17248 with flag 20973/807754
107.31/105.81	c cleaning 7812 clauses out of 15626 with flag 35387/814754
108.51/107.06	c cleaning 7906 clauses out of 15814 with flag 52092/822754
110.03/108.56	c cleaning 8453 clauses out of 16908 with flag 70968/831754
111.64/110.14	c cleaning 9228 clauses out of 18455 with flag 91724/841754
113.54/112.00	c cleaning 10110 clauses out of 20227 with flag 114664/852754
115.56/114.00	c cleaning 11057 clauses out of 22118 with flag 139538/864755
117.86/116.30	c cleaning 12026 clauses out of 24060 with flag 166437/877754
119.88/118.30	c cleaning 13015 clauses out of 26035 with flag 207101/891755
121.59/120.03	c cleaning 14012 clauses out of 28023 with flag 246477/906758
123.29/121.71	c cleaning 14995 clauses out of 30008 with flag 282503/922755
125.10/123.53	c cleaning 16005 clauses out of 32013 with flag 333238/939755
127.23/125.64	c cleaning 17004 clauses out of 34008 with flag 380197/957755
129.35/127.76	c cleaning 17994 clauses out of 36003 with flag 434742/976754
131.77/130.13	c cleaning 19000 clauses out of 38009 with flag 496095/996754
134.30/132.69	c cleaning 20001 clauses out of 40010 with flag 559427/1017755
137.10/135.43	c cleaning 21005 clauses out of 42011 with flag 615656/1039757
139.91/138.26	c cleaning 21999 clauses out of 44003 with flag 674329/1062754
143.03/141.35	c cleaning 22998 clauses out of 46004 with flag 734706/1086754
146.18/144.45	c cleaning 24004 clauses out of 48007 with flag 792723/1111755
149.41/147.66	c cleaning 25000 clauses out of 50004 with flag 857168/1137756
152.96/151.11	c cleaning 25999 clauses out of 52002 with flag 942349/1164754
156.77/154.95	c cleaning 26999 clauses out of 54003 with flag 1037748/1192754
160.78/158.97	c cleaning 28000 clauses out of 56005 with flag 1112641/1221755
165.20/163.30	c cleaning 29003 clauses out of 58005 with flag 1189547/1251755
169.23/167.33	c cleaning 29993 clauses out of 60002 with flag 1264281/1282755
173.23/171.30	c cleaning 31001 clauses out of 62008 with flag 1343747/1314754
178.04/176.13	c cleaning 32000 clauses out of 64008 with flag 1435162/1347755
182.67/180.77	c cleaning 33000 clauses out of 66007 with flag 1536440/1381754
186.99/185.03	c cleaning 34002 clauses out of 68008 with flag 1637539/1416755
191.83/189.84	c cleaning 35001 clauses out of 70005 with flag 1729053/1452754
196.36/194.34	c cleaning 36002 clauses out of 72004 with flag 1831012/1489754
201.48/199.48	c cleaning 36997 clauses out of 74002 with flag 1938380/1527754
207.50/205.47	c cleaning 38002 clauses out of 76006 with flag 2030752/1566755
214.43/212.32	c cleaning 39002 clauses out of 78003 with flag 2123737/1606754
220.95/218.80	c cleaning 40001 clauses out of 80002 with flag 2247220/1647755
227.87/225.77	c cleaning 40998 clauses out of 82001 with flag 2394823/1689755
235.42/233.23	c cleaning 42002 clauses out of 84003 with flag 2554505/1732755
242.84/240.67	c cleaning 42993 clauses out of 86000 with flag 2727504/1776754
250.16/247.98	c cleaning 43997 clauses out of 88008 with flag 2878425/1821755
257.91/255.69	c cleaning 45005 clauses out of 90012 with flag 3011587/1867756
265.35/263.06	c cleaning 46000 clauses out of 92005 with flag 3146811/1914754
274.86/272.54	c cleaning 47001 clauses out of 94006 with flag 3271033/1962755
284.29/281.94	c cleaning 47997 clauses out of 96006 with flag 3392050/2011756
293.43/291.09	c cleaning 48997 clauses out of 98008 with flag 3522359/2061755
302.78/300.31	c cleaning 50003 clauses out of 100011 with flag 3653540/2112755
312.23/309.73	c cleaning 51002 clauses out of 102007 with flag 3784437/2164754
322.26/319.73	c cleaning 51998 clauses out of 104006 with flag 3920568/2217755
332.11/329.50	c cleaning 53001 clauses out of 106008 with flag 4062912/2271755
342.24/339.64	c cleaning 53999 clauses out of 108006 with flag 4207062/2326754
352.57/349.94	c cleaning 55004 clauses out of 110007 with flag 4353230/2382754
363.52/360.86	c cleaning 55997 clauses out of 112003 with flag 4498207/2439754
374.86/372.15	c cleaning 57001 clauses out of 114008 with flag 4647658/2497756
387.62/384.86	c cleaning 58003 clauses out of 116007 with flag 4798618/2556756
398.84/396.08	c cleaning 58999 clauses out of 118003 with flag 4952381/2616755
411.16/408.35	c cleaning 60001 clauses out of 120005 with flag 5101367/2677756
424.79/421.92	c cleaning 60996 clauses out of 122002 with flag 5243740/2739754
438.33/435.47	c cleaning 62004 clauses out of 124007 with flag 5386554/2802755
451.77/448.89	c cleaning 63001 clauses out of 126002 with flag 5532561/2866754
466.71/463.76	c cleaning 63997 clauses out of 128002 with flag 5680616/2931755
482.04/479.06	c cleaning 64996 clauses out of 130004 with flag 5829179/2997754
496.06/493.09	c cleaning 65996 clauses out of 132008 with flag 5992992/3064754
509.82/506.70	c cleaning 67004 clauses out of 134012 with flag 6175985/3132754
524.98/521.87	c cleaning 68002 clauses out of 136008 with flag 6346716/3201754
540.36/537.16	c cleaning 69000 clauses out of 138007 with flag 6515959/3271755
556.01/552.73	c cleaning 70000 clauses out of 140007 with flag 6693102/3342755
571.67/568.35	c cleaning 71000 clauses out of 142006 with flag 6891308/3414754
587.71/584.38	c cleaning 72001 clauses out of 144009 with flag 7085261/3487757
603.56/600.17	c cleaning 73001 clauses out of 146006 with flag 7284608/3561755
618.89/615.47	c cleaning 73997 clauses out of 148004 with flag 7474473/3636754
635.13/631.60	c cleaning 75002 clauses out of 150009 with flag 7674948/3712756
652.47/648.91	c cleaning 75998 clauses out of 152005 with flag 7876178/3789754
671.31/667.71	c cleaning 76999 clauses out of 154007 with flag 8076443/3867754
689.64/686.01	c cleaning 78001 clauses out of 156008 with flag 8280589/3946754
709.42/705.70	c cleaning 79001 clauses out of 158010 with flag 8488527/4026757
727.55/723.87	c cleaning 80002 clauses out of 160008 with flag 8694543/4107756
746.07/742.35	c cleaning 81001 clauses out of 162004 with flag 8901747/4189754
766.63/762.80	c cleaning 82002 clauses out of 164003 with flag 9108715/4272754
789.29/785.45	c cleaning 83001 clauses out of 166002 with flag 9306985/4356755
812.13/808.24	c cleaning 83994 clauses out of 168000 with flag 9505994/4441754
834.29/830.32	c cleaning 84996 clauses out of 170006 with flag 9712568/4527754
858.14/854.17	c cleaning 86002 clauses out of 172010 with flag 9911647/4614754
882.98/878.92	c cleaning 87001 clauses out of 174008 with flag 10110744/4702754
906.82/902.70	c cleaning 87998 clauses out of 176008 with flag 10317623/4791755
932.78/928.69	c cleaning 88998 clauses out of 178009 with flag 10521341/4881754
958.64/954.47	c cleaning 89998 clauses out of 180012 with flag 10729854/4972755
984.20/979.96	c cleaning 91004 clauses out of 182014 with flag 10943915/5064755
1008.46/1004.11	c cleaning 91999 clauses out of 184009 with flag 11158205/5157754
1028.69/1024.34	c cleaning 93001 clauses out of 186011 with flag 11386427/5251755
1050.83/1046.44	c cleaning 93999 clauses out of 188009 with flag 11625533/5346754
1072.27/1067.89	c cleaning 95003 clauses out of 190011 with flag 11871180/5442755
1094.10/1089.67	c cleaning 95998 clauses out of 192008 with flag 12122419/5539755
1116.76/1112.28	c cleaning 96999 clauses out of 194010 with flag 12375914/5637755
1141.63/1137.03	c cleaning 97998 clauses out of 196010 with flag 12636631/5736754
1167.52/1162.87	c cleaning 99002 clauses out of 198013 with flag 12894950/5836755
1193.14/1188.31	c cleaning 100004 clauses out of 200010 with flag 13178672/5937754
1217.97/1213.13	c cleaning 101004 clauses out of 202007 with flag 13446504/6039755
1248.62/1243.79	c cleaning 101998 clauses out of 204002 with flag 13706286/6142754
1279.70/1274.76	c cleaning 102999 clauses out of 206004 with flag 13964221/6246754
1309.46/1304.45	c cleaning 103999 clauses out of 208006 with flag 14201678/6351755
1338.73/1333.67	c cleaning 105004 clauses out of 210008 with flag 14438555/6457756
1370.10/1364.93	c cleaning 106002 clauses out of 212003 with flag 14677242/6564755
1396.40/1391.17	c cleaning 106998 clauses out of 214001 with flag 14941012/6672755
1420.43/1415.16	c cleaning 107993 clauses out of 216002 with flag 15217028/6781754
1447.28/1441.95	c cleaning 109002 clauses out of 218009 with flag 15498502/6891754
1474.16/1468.72	c cleaning 110002 clauses out of 220008 with flag 15777142/7002755
1504.24/1498.71	c cleaning 111002 clauses out of 222006 with flag 16069725/7114755
1534.38/1528.71	c cleaning 111995 clauses out of 224003 with flag 16361456/7227754
1564.87/1559.11	c cleaning 113002 clauses out of 226008 with flag 16655335/7341754
1598.97/1593.16	c cleaning 113995 clauses out of 228006 with flag 16949332/7456754
1631.86/1625.93	c cleaning 115000 clauses out of 230012 with flag 17252726/7572755
1664.22/1658.21	c cleaning 116000 clauses out of 232011 with flag 17573751/7689754
1700.01/1693.92	c cleaning 117003 clauses out of 234011 with flag 17894635/7807754
1730.47/1724.37	c cleaning 118004 clauses out of 236009 with flag 18210392/7926755
1762.91/1756.78	c cleaning 118999 clauses out of 238004 with flag 18530116/8046754
1800.04/1793.71	c starts		: 325
1800.04/1793.71	c conflicts		: 8166351
1800.04/1793.71	c decisions		: 11913584
1800.04/1793.71	c propagations		: 589113620
1800.04/1793.71	c inspects		: 17417863332
1800.04/1793.71	c shortcuts		: 0
1800.04/1793.71	c learnt literals	: 0
1800.04/1793.71	c learnt binary clauses	: 0
1800.04/1793.71	c learnt ternary clauses	: 0
1800.04/1793.71	c learnt constraints	: 8166351
1800.04/1793.71	c ignored constraints	: 0
1800.04/1793.71	c root simplifications	: 0
1800.04/1793.71	c removed literals (reason simplification)	: 0
1800.04/1793.71	c reason swapping (by a shorter reason)	: 0
1800.04/1793.71	c Calls to reduceDB	: 176
1800.04/1793.71	c Number of update (reduction) of LBD	: 910129
1800.04/1793.71	c number of reductions to clauses (during analyze)	: 0
1800.04/1793.71	c number of learned constraints concerned by reduction	: 0
1800.04/1793.71	c number of learning phase by resolution	: 0
1800.04/1793.71	c number of learning phase by cutting planes	: 0
1800.04/1793.71	c speed (assignments/second)	: 328489.07440822036
1800.04/1793.71	c non guided choices	478
1800.04/1793.75	c learnt constraints type 
1800.04/1793.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 238635
1800.04/1793.75	c constraints type 
1800.04/1793.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1883
1800.04/1793.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 57
1800.04/1793.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 456
1800.04/1793.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.04/1793.75	c 2398 constraints processed.
1800.04/1793.75	s SATISFIABLE
1800.04/1793.75	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 
1800.04/1793.75	c objective function=169050
1800.04/1793.75	c Total wall clock time (in seconds): 1793.63

Verifier Data 

OK	169050

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-3718008-1338258449/watcher-3718008-1338258449 -o /tmp/evaluation-result-3718008-1338258449/solver-3718008-1338258449 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718008-1338258449.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: 1.31 1.80 1.92 3/175 6209
/proc/meminfo: memFree=30532020/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (java) R 6205 6209 2017 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 291969799 9515008 185 33554432000 1073741824 1073778376 140736385647696 140736385638920 240564989367 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6209/statm: 2323 185 142 9 0 71 0

[startup+0.101887 s]
/proc/loadavg: 1.31 1.80 1.92 3/175 6209
/proc/meminfo: memFree=30532020/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 4253 0 1 0 8 1 0 0 20 0 18 0 291969799 9787817984 5457 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2389604 5457 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.200352 s]
/proc/loadavg: 1.31 1.80 1.92 3/175 6209
/proc/meminfo: memFree=30532020/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9558416 CPUtime=0.23 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 4734 0 1 0 22 1 0 0 20 0 18 0 291969799 9787817984 6844 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2389604 6844 2186 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558416

[startup+0.300339 s]
/proc/loadavg: 1.31 1.80 1.92 3/175 6209
/proc/meminfo: memFree=30532020/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9558416 CPUtime=0.44 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 5109 0 1 0 42 2 0 0 20 0 18 0 291969799 9787817984 7958 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2389604 7958 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558416

[startup+0.700271 s]
/proc/loadavg: 1.31 1.80 1.92 3/175 6209
/proc/meminfo: memFree=30532020/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9624980 CPUtime=1.26 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 8029 0 1 0 123 3 0 0 20 0 19 0 291969799 9855979520 9819 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2406245 9819 2238 9 0 2396937 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9624980

[startup+1.50067 s]
/proc/loadavg: 1.37 1.80 1.92 3/213 6247
/proc/meminfo: memFree=30455696/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9624980 CPUtime=2.13 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 8106 0 1 0 210 3 0 0 20 0 19 0 291969799 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2406245 13458 2273 9 0 2396937 0
[pid=6209/tid=6212] ppid=6205 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/6209/task/6212/stat : 6212 (java) R 6205 6209 2017 0 -1 4202560 2475 0 1 0 143 2 0 0 20 0 19 0 291969800 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707431739800 140707304528092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6214] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6214/stat : 6214 (java) S 6205 6209 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707275639720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6216] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6216/stat : 6216 (java) S 6205 6209 2017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707274587176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6217] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6217/stat : 6217 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707273534120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6219] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6219/stat : 6219 (java) S 6205 6209 2017 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707272481576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6222] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6222/stat : 6222 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707271428520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6224] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6224/stat : 6224 (java) S 6205 6209 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707270375976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6227] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6227/stat : 6227 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707269322920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6229] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6229/stat : 6229 (java) S 6205 6209 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707268270376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6231] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6231/stat : 6231 (java) S 6205 6209 2017 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707255860072 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6234] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6234/stat : 6234 (java) S 6205 6209 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707254806392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6235] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6235/stat : 6235 (java) S 6205 6209 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707253753224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6236] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6236/stat : 6236 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707252701968 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6238] ppid=6205 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/6209/task/6238/stat : 6238 (java) S 6205 6209 2017 0 -1 4202560 1744 0 0 0 28 0 0 0 20 0 19 0 291969806 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707251648824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6240] ppid=6205 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/6209/task/6240/stat : 6240 (java) S 6205 6209 2017 0 -1 4202560 2645 0 0 0 34 0 0 0 20 0 19 0 291969806 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707250596280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6242] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6242/stat : 6242 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707249543416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6244] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6244/stat : 6244 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707248491080 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6246] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6246/stat : 6246 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969831 9855979520 13458 33554432000 1073741824 1073778376 140734747436768 140707247437352 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9624980

[startup+3.10067 s]
/proc/loadavg: 1.37 1.80 1.92 3/213 6247
/proc/meminfo: memFree=30428552/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9624980 CPUtime=3.78 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 8124 0 1 0 375 3 0 0 20 0 19 0 291969799 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2406245 14496 2273 9 0 2396937 0
[pid=6209/tid=6212] ppid=6205 vsize=9624980 CPUtime=3.02 cores=1,3,5,7
/proc/6209/task/6212/stat : 6212 (java) R 6205 6209 2017 0 -1 4202560 2476 0 1 0 300 2 0 0 20 0 19 0 291969800 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707431739800 140707304528040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6214] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6214/stat : 6214 (java) S 6205 6209 2017 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707275639720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6216] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6216/stat : 6216 (java) S 6205 6209 2017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707274587176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6217] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6217/stat : 6217 (java) S 6205 6209 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707273534120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6219] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6219/stat : 6219 (java) S 6205 6209 2017 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707272481576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6222] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6222/stat : 6222 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707271428520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6224] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6224/stat : 6224 (java) S 6205 6209 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707270375976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6227] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6227/stat : 6227 (java) S 6205 6209 2017 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707269322920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6229] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6229/stat : 6229 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707268270376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6231] ppid=6205 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/6209/task/6231/stat : 6231 (java) S 6205 6209 2017 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291969803 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707255860072 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6234] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6234/stat : 6234 (java) S 6205 6209 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707254806392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6235] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6235/stat : 6235 (java) S 6205 6209 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707253753224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6236] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6236/stat : 6236 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707252701968 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6238] ppid=6205 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/6209/task/6238/stat : 6238 (java) S 6205 6209 2017 0 -1 4202560 1745 0 0 0 31 0 0 0 20 0 19 0 291969806 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707251648824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6240] ppid=6205 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/6209/task/6240/stat : 6240 (java) S 6205 6209 2017 0 -1 4202560 2645 0 0 0 36 0 0 0 20 0 19 0 291969806 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707250596280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6242] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6242/stat : 6242 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707249543416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6244] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6244/stat : 6244 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707248491080 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6246] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6246/stat : 6246 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969831 9855979520 14496 33554432000 1073741824 1073778376 140734747436768 140707247437352 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9624980

[startup+6.30069 s]
/proc/loadavg: 1.37 1.80 1.92 3/213 6247
/proc/meminfo: memFree=30410244/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9624980 CPUtime=7.07 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 8249 0 1 0 703 4 0 0 20 0 19 0 291969799 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2406245 15740 2273 9 0 2396937 0
[pid=6209/tid=6212] ppid=6205 vsize=9624980 CPUtime=6.13 cores=1,3,5,7
/proc/6209/task/6212/stat : 6212 (java) R 6205 6209 2017 0 -1 4202560 2479 0 1 0 611 2 0 0 20 0 19 0 291969800 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707431739800 140707304687453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6214] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6214/stat : 6214 (java) S 6205 6209 2017 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707275639720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6216] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6216/stat : 6216 (java) S 6205 6209 2017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707274587176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6217] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6217/stat : 6217 (java) S 6205 6209 2017 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707273534120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6219] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6219/stat : 6219 (java) S 6205 6209 2017 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707272481576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6222] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6222/stat : 6222 (java) S 6205 6209 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707271428520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6224] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6224/stat : 6224 (java) S 6205 6209 2017 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707270375976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6227] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6227/stat : 6227 (java) S 6205 6209 2017 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707269322920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6229] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6229/stat : 6229 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969802 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707268270376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6231] ppid=6205 vsize=9624980 CPUtime=0.08 cores=1,3,5,7
/proc/6209/task/6231/stat : 6231 (java) S 6205 6209 2017 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 291969803 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707255860072 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6234] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6234/stat : 6234 (java) S 6205 6209 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707254806392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6235] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6235/stat : 6235 (java) S 6205 6209 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707253753224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6236] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6236/stat : 6236 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707252701968 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6238] ppid=6205 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/6209/task/6238/stat : 6238 (java) S 6205 6209 2017 0 -1 4202560 1828 0 0 0 34 0 0 0 20 0 19 0 291969806 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707251648824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6240] ppid=6205 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/6209/task/6240/stat : 6240 (java) S 6205 6209 2017 0 -1 4202560 2646 0 0 0 36 0 0 0 20 0 19 0 291969806 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707250596280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6242] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6242/stat : 6242 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707249543416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6244] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6244/stat : 6244 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707248491080 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6246] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6246/stat : 6246 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969831 9855979520 15740 33554432000 1073741824 1073778376 140734747436768 140707247437352 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=6209/tid=6238] ppid=6205 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/6209/task/6238/stat : 6238 (java) S 6205 6209 2017 0 -1 4202560 2491 0 0 0 42 2 0 0 20 0 19 0 291969806 9855979520 63823 33554432000 1073741824 1073778376 140734747436768 140707251648824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6240] ppid=6205 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/6209/task/6240/stat : 6240 (java) S 6205 6209 2017 0 -1 4202560 3220 0 0 0 46 0 0 0 20 0 19 0 291969806 9855979520 63823 33554432000 1073741824 1073778376 140734747436768 140707250596280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6242] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6242/stat : 6242 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 63823 33554432000 1073741824 1073778376 140734747436768 140707249543416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6244] ppid=6205 vsize=9624980 CPUtime=0.76 cores=1,3,5,7
/proc/6209/task/6244/stat : 6244 (java) S 6205 6209 2017 0 -1 4202560 95 0 0 0 43 33 0 0 20 0 19 0 291969806 9855979520 63823 33554432000 1073741824 1073778376 140734747436768 140707248491080 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6246] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6246/stat : 6246 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969831 9855979520 63823 33554432000 1073741824 1073778376 140734747436768 140707247437352 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1668.38
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.94 3/213 6263
/proc/meminfo: memFree=30035504/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9624980 CPUtime=1728.47 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 12159 0 1 0 172768 79 0 0 20 0 19 0 291969799 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2406245 64335 2276 9 0 2396937 0
[pid=6209/tid=6212] ppid=6205 vsize=9624980 CPUtime=1709.06 cores=1,3,5,7
/proc/6209/task/6212/stat : 6212 (java) R 6205 6209 2017 0 -1 4202560 2674 0 1 0 170879 27 0 0 20 0 19 0 291969800 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707431739744 140707304785727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6214] ppid=6205 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/6209/task/6214/stat : 6214 (java) S 6205 6209 2017 0 -1 4202560 260 0 0 0 79 3 0 0 20 0 19 0 291969802 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707275639720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6216] ppid=6205 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/6209/task/6216/stat : 6216 (java) S 6205 6209 2017 0 -1 4202560 229 0 0 0 63 3 0 0 20 0 19 0 291969802 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707274587176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6217] ppid=6205 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/6209/task/6217/stat : 6217 (java) S 6205 6209 2017 0 -1 4202560 168 0 0 0 63 2 0 0 20 0 19 0 291969802 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707273534120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6219] ppid=6205 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/6209/task/6219/stat : 6219 (java) S 6205 6209 2017 0 -1 4202560 380 0 0 0 72 0 0 0 20 0 19 0 291969802 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707272481576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6222] ppid=6205 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/6209/task/6222/stat : 6222 (java) S 6205 6209 2017 0 -1 4202560 238 0 0 0 63 2 0 0 20 0 19 0 291969802 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707271428520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6224] ppid=6205 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/6209/task/6224/stat : 6224 (java) S 6205 6209 2017 0 -1 4202560 374 0 0 0 82 2 0 0 20 0 19 0 291969802 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707270375976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6227] ppid=6205 vsize=9624980 CPUtime=0.78 cores=1,3,5,7
/proc/6209/task/6227/stat : 6227 (java) S 6205 6209 2017 0 -1 4202560 422 0 0 0 75 3 0 0 20 0 19 0 291969802 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707269322920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6229] ppid=6205 vsize=9624980 CPUtime=0.78 cores=1,3,5,7
/proc/6209/task/6229/stat : 6229 (java) S 6205 6209 2017 0 -1 4202560 265 0 0 0 76 2 0 0 20 0 19 0 291969802 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707268270376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6231] ppid=6205 vsize=9624980 CPUtime=7.02 cores=1,3,5,7
/proc/6209/task/6231/stat : 6231 (java) S 6205 6209 2017 0 -1 4202560 159 0 0 0 698 4 0 0 20 0 19 0 291969803 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707255860072 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6234] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6234/stat : 6234 (java) S 6205 6209 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707254806392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6235] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6235/stat : 6235 (java) S 6205 6209 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707253753224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6236] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6236/stat : 6236 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707252701968 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6238] ppid=6205 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/6209/task/6238/stat : 6238 (java) S 6205 6209 2017 0 -1 4202560 2491 0 0 0 42 2 0 0 20 0 19 0 291969806 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707251648824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6240] ppid=6205 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/6209/task/6240/stat : 6240 (java) S 6205 6209 2017 0 -1 4202560 3220 0 0 0 46 0 0 0 20 0 19 0 291969806 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707250596280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6242] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6242/stat : 6242 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707249543416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6244] ppid=6205 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/6209/task/6244/stat : 6244 (java) S 6205 6209 2017 0 -1 4202560 99 0 0 0 45 34 0 0 20 0 19 0 291969806 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707248491080 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6246] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6246/stat : 6246 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969831 9855979520 64335 33554432000 1073741824 1073778376 140734747436768 140707247437352 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.47
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.94 3/213 6263
/proc/meminfo: memFree=30025140/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9624980 CPUtime=1788.61 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 12170 0 1 0 178780 81 0 0 20 0 19 0 291969799 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2406245 64847 2276 9 0 2396937 0
[pid=6209/tid=6212] ppid=6205 vsize=9624980 CPUtime=1768.68 cores=1,3,5,7
/proc/6209/task/6212/stat : 6212 (java) R 6205 6209 2017 0 -1 4202560 2677 0 1 0 176840 28 0 0 20 0 19 0 291969800 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707431739744 140707304700802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6214] ppid=6205 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/6209/task/6214/stat : 6214 (java) S 6205 6209 2017 0 -1 4202560 260 0 0 0 81 3 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707275639720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6216] ppid=6205 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/6209/task/6216/stat : 6216 (java) S 6205 6209 2017 0 -1 4202560 229 0 0 0 66 3 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707274587176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6217] ppid=6205 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/6209/task/6217/stat : 6217 (java) S 6205 6209 2017 0 -1 4202560 168 0 0 0 64 2 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707273534120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6219] ppid=6205 vsize=9624980 CPUtime=0.75 cores=1,3,5,7
/proc/6209/task/6219/stat : 6219 (java) S 6205 6209 2017 0 -1 4202560 380 0 0 0 75 0 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707272481576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6222] ppid=6205 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/6209/task/6222/stat : 6222 (java) S 6205 6209 2017 0 -1 4202560 238 0 0 0 64 2 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707271428520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6224] ppid=6205 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/6209/task/6224/stat : 6224 (java) S 6205 6209 2017 0 -1 4202560 374 0 0 0 83 2 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707270375976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6227] ppid=6205 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/6209/task/6227/stat : 6227 (java) S 6205 6209 2017 0 -1 4202560 422 0 0 0 76 3 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707269322920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6229] ppid=6205 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/6209/task/6229/stat : 6229 (java) S 6205 6209 2017 0 -1 4202560 265 0 0 0 77 2 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707268270376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6231] ppid=6205 vsize=9624980 CPUtime=7.21 cores=1,3,5,7
/proc/6209/task/6231/stat : 6231 (java) S 6205 6209 2017 0 -1 4202560 163 0 0 0 716 5 0 0 20 0 19 0 291969803 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707255860072 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6234] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6234/stat : 6234 (java) S 6205 6209 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707254806392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6235] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6235/stat : 6235 (java) S 6205 6209 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707253753224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6236] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6236/stat : 6236 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707252701968 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6238] ppid=6205 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/6209/task/6238/stat : 6238 (java) S 6205 6209 2017 0 -1 4202560 2491 0 0 0 42 2 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707251648824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6240] ppid=6205 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/6209/task/6240/stat : 6240 (java) S 6205 6209 2017 0 -1 4202560 3220 0 0 0 46 0 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707250596280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6242] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6242/stat : 6242 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707249543416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6244] ppid=6205 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/6209/task/6244/stat : 6244 (java) S 6205 6209 2017 0 -1 4202560 103 0 0 0 47 35 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707248491080 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6246] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6246/stat : 6246 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969831 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707247437352 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.7 s]
/proc/loadavg: 2.00 1.97 1.94 3/213 6263
/proc/meminfo: memFree=30024892/32873844 swapFree=7116/7116
[pid=6209] ppid=6205 vsize=9624980 CPUtime=1800.04 cores=1,3,5,7
/proc/6209/stat : 6209 (java) S 6205 6209 2017 0 -1 4202496 12170 0 1 0 179922 82 0 0 20 0 19 0 291969799 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140734747427904 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6209/statm: 2406245 64847 2276 9 0 2396937 0
[pid=6209/tid=6212] ppid=6205 vsize=9624980 CPUtime=1780.06 cores=1,3,5,7
/proc/6209/task/6212/stat : 6212 (java) R 6205 6209 2017 0 -1 4202560 2677 0 1 0 177977 29 0 0 20 0 19 0 291969800 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707431739744 140707304700802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6214] ppid=6205 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/6209/task/6214/stat : 6214 (java) S 6205 6209 2017 0 -1 4202560 260 0 0 0 81 3 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707275639720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6216] ppid=6205 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/6209/task/6216/stat : 6216 (java) S 6205 6209 2017 0 -1 4202560 229 0 0 0 66 3 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707274587176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6217] ppid=6205 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/6209/task/6217/stat : 6217 (java) S 6205 6209 2017 0 -1 4202560 168 0 0 0 64 2 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707273534120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6219] ppid=6205 vsize=9624980 CPUtime=0.75 cores=1,3,5,7
/proc/6209/task/6219/stat : 6219 (java) S 6205 6209 2017 0 -1 4202560 380 0 0 0 75 0 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707272481576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6222] ppid=6205 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/6209/task/6222/stat : 6222 (java) S 6205 6209 2017 0 -1 4202560 238 0 0 0 64 2 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707271428520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6224] ppid=6205 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/6209/task/6224/stat : 6224 (java) S 6205 6209 2017 0 -1 4202560 374 0 0 0 83 2 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707270375976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6227] ppid=6205 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/6209/task/6227/stat : 6227 (java) S 6205 6209 2017 0 -1 4202560 422 0 0 0 76 3 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707269322920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6209/tid=6229] ppid=6205 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/6209/task/6229/stat : 6229 (java) S 6205 6209 2017 0 -1 4202560 265 0 0 0 77 2 0 0 20 0 19 0 291969802 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707268270376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6231] ppid=6205 vsize=9624980 CPUtime=7.21 cores=1,3,5,7
/proc/6209/task/6231/stat : 6231 (java) S 6205 6209 2017 0 -1 4202560 163 0 0 0 716 5 0 0 20 0 19 0 291969803 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707255860072 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6234] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6234/stat : 6234 (java) S 6205 6209 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707254806392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6235] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6235/stat : 6235 (java) S 6205 6209 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291969803 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707253753224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6236] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6236/stat : 6236 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707252701968 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6209/tid=6238] ppid=6205 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/6209/task/6238/stat : 6238 (java) S 6205 6209 2017 0 -1 4202560 2491 0 0 0 42 2 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707251648824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6240] ppid=6205 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/6209/task/6240/stat : 6240 (java) S 6205 6209 2017 0 -1 4202560 3220 0 0 0 46 0 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707250596280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6209/tid=6242] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6242/stat : 6242 (java) S 6205 6209 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707249543416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6244] ppid=6205 vsize=9624980 CPUtime=0.83 cores=1,3,5,7
/proc/6209/task/6244/stat : 6244 (java) S 6205 6209 2017 0 -1 4202560 103 0 0 0 48 35 0 0 20 0 19 0 291969806 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707248491080 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6209/tid=6246] ppid=6205 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6209/task/6246/stat : 6246 (java) S 6205 6209 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291969831 9855979520 64847 33554432000 1073741824 1073778376 140734747436768 140707247437352 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 6209 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=388211
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=21844
# CPU time returned by wait4() is 1795.41
# 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): 1793.76
CPU time (s): 1800.04
CPU user time (s): 1799.22
CPU system time (s): 0.82
CPU usage (%): 100.35
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 1.02184
maximum resident set size= 263628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12212
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42829
involuntary context switches= 11990

runsolver used 6.33104 second user time and 15.3627 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-29 04:27:29
IDJOB=3718008
IDBENCH=79607
IDSOLVER=2301
FILE ID=node146/3718008-1338258449
RUNJOBID= node146-1338258449-6183
PBS_JOBID= 14624646
Free space on /tmp= 71188 MiB

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

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

MD5SUM BENCH= 2650719d8056982b79efe8547fa4e1ef
RANDOM SEED=2001574818

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30532664 kB
Buffers:          435424 kB
Cached:          1028240 kB
SwapCached:         2180 kB
Active:          1021400 kB
Inactive:         446664 kB
Active(anon):       3936 kB
Inactive(anon):     2668 kB
Active(file):    1017464 kB
Inactive(file):   443996 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100344 kB
Dirty:               800 kB
Writeback:             0 kB
AnonPages:         10120 kB
Mapped:             8560 kB
Shmem:                 0 kB
Slab:             731168 kB
SReclaimable:     172292 kB
SUnreclaim:       558876 kB
KernelStack:        1376 kB
PageTables:         3940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71184 MiB
End job on node146 at 2012-05-29 04:57:25