Trace number 4106066

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16OPT3 881.06 877.459

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
MD5SUM54510d4a8cd791bae993d435a4bb6e03
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.211967
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables243
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

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-2013 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 PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
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 Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4106066-1466269760.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.23/0.22	c ... done. Wall clock time 0.104s.
0.23/0.22	c declared #vars     243
0.23/0.22	c internal #vars     972
0.23/0.22	c #constraints  1486
0.23/0.22	c constraints type 
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
0.23/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
0.23/0.22	c 1486 constraints processed.
0.23/0.22	c objective function length is 9 literals
0.95/0.75	c cleaning 2499 clauses out of 5003 with flag 10647/5003
1.65/1.33	c cleaning 4248 clauses out of 8501 with flag 23389/11000
2.35/2.01	c cleaning 5622 clauses out of 11255 with flag 38189/18002
3.27/2.98	c cleaning 6805 clauses out of 13631 with flag 54947/26000
4.39/4.04	c cleaning 7907 clauses out of 15826 with flag 73938/35000
5.15/4.70	c cleaning 8957 clauses out of 17920 with flag 95071/45001
6.25/5.84	c cleaning 9974 clauses out of 19962 with flag 119810/56000
7.35/6.96	c cleaning 10974 clauses out of 21988 with flag 145438/68000
8.45/8.06	c cleaning 11999 clauses out of 24015 with flag 174221/81001
9.85/9.43	c cleaning 12993 clauses out of 26016 with flag 205061/95001
11.56/11.14	c cleaning 14010 clauses out of 28022 with flag 238904/110000
13.15/12.78	c cleaning 15000 clauses out of 30013 with flag 273734/126001
14.86/14.41	c cleaning 15997 clauses out of 32012 with flag 311654/143000
17.96/17.53	c cleaning 17001 clauses out of 34015 with flag 352132/161000
19.90/19.46	c cleaning 18004 clauses out of 36016 with flag 393591/180002
22.54/21.75	c cleaning 18990 clauses out of 38011 with flag 440297/200001
26.24/25.13	c cleaning 19984 clauses out of 40020 with flag 488130/221000
29.19/27.89	c cleaning 21015 clauses out of 42036 with flag 540516/243000
29.76/28.16	c SATISFIABLE
29.76/28.16	c OPTIMIZING...
29.76/28.16	c Got one! Elapsed wall clock time (in seconds):28.037
29.76/28.16	o 41
30.27/28.50	c cleaning 13189 clauses out of 26385 with flag 5191/248364
30.67/28.93	c cleaning 9587 clauses out of 19196 with flag 20455/254364
31.07/29.36	c cleaning 8285 clauses out of 16609 with flag 35839/261364
31.67/29.93	c cleaning 8164 clauses out of 16328 with flag 53794/269368
32.18/30.48	c cleaning 8567 clauses out of 17162 with flag 72997/278366
33.28/31.56	c cleaning 9293 clauses out of 18593 with flag 96127/288364
34.18/32.44	c cleaning 10143 clauses out of 20301 with flag 120026/299365
35.08/33.38	c cleaning 11076 clauses out of 22157 with flag 149246/311364
36.59/34.80	c cleaning 12029 clauses out of 24081 with flag 177880/324364
37.39/35.69	c cleaning 13005 clauses out of 26053 with flag 208875/338365
38.70/36.93	c cleaning 14013 clauses out of 28047 with flag 241851/353364
40.41/38.66	c cleaning 15012 clauses out of 30034 with flag 279685/369364
40.60/38.83	c Got one! Elapsed wall clock time (in seconds):38.713
40.60/38.83	o 7
40.80/39.08	c cleaning 10086 clauses out of 20206 with flag 4900/374548
41.41/39.61	c cleaning 8048 clauses out of 16121 with flag 18520/380549
41.70/39.97	c cleaning 7518 clauses out of 15072 with flag 33370/387548
42.30/40.57	c cleaning 7772 clauses out of 15555 with flag 51671/395549
43.00/41.30	c cleaning 8384 clauses out of 16782 with flag 71914/404548
43.90/42.20	c cleaning 9177 clauses out of 18398 with flag 94352/414548
44.50/42.76	c cleaning 10089 clauses out of 20221 with flag 117994/425548
45.30/43.57	c cleaning 11046 clauses out of 22133 with flag 143189/437549
46.40/44.68	c cleaning 12025 clauses out of 24087 with flag 171034/450549
47.70/45.91	c cleaning 13012 clauses out of 26061 with flag 200934/464548
49.21/47.49	c cleaning 14006 clauses out of 28050 with flag 234094/479549
50.80/49.06	c cleaning 15007 clauses out of 30044 with flag 271184/495549
52.00/50.30	c cleaning 15984 clauses out of 32036 with flag 310616/512548
53.30/51.51	c cleaning 17015 clauses out of 34053 with flag 353358/530549
55.00/53.29	c cleaning 18010 clauses out of 36038 with flag 399564/549549
57.00/55.29	c cleaning 19000 clauses out of 38027 with flag 448552/569548
59.20/57.46	c cleaning 20003 clauses out of 40028 with flag 496334/590549
61.40/59.64	c cleaning 21002 clauses out of 42024 with flag 546226/612548
63.40/61.67	c cleaning 22001 clauses out of 44022 with flag 601738/635548
65.73/63.98	c cleaning 22997 clauses out of 46021 with flag 656935/659548
68.02/66.24	c Got one! Elapsed wall clock time (in seconds):66.119
68.02/66.24	o 5
68.62/66.82	c cleaning 26337 clauses out of 52698 with flag 11839/689222
69.03/67.23	c cleaning 16167 clauses out of 32361 with flag 24650/695222
69.53/67.73	c cleaning 11566 clauses out of 23194 with flag 40026/702222
70.13/68.35	c cleaning 9801 clauses out of 19628 with flag 58410/710222
70.83/69.07	c cleaning 9398 clauses out of 18828 with flag 78947/719223
71.73/69.97	c cleaning 9709 clauses out of 19429 with flag 102213/729222
72.64/70.77	c cleaning 10343 clauses out of 20720 with flag 125153/740222
73.64/71.71	c cleaning 11172 clauses out of 22377 with flag 152964/752222
74.54/72.61	c cleaning 12084 clauses out of 24206 with flag 182415/765223
76.34/74.44	c cleaning 13053 clauses out of 26122 with flag 215838/779223
78.24/76.31	c cleaning 14024 clauses out of 28069 with flag 254951/794223
79.65/77.73	c cleaning 15019 clauses out of 30045 with flag 291984/810223
81.85/79.90	c cleaning 16002 clauses out of 32025 with flag 331938/827222
83.65/81.79	c cleaning 16998 clauses out of 34023 with flag 372315/845222
85.66/83.72	c cleaning 17999 clauses out of 36026 with flag 413702/864223
87.76/85.90	c cleaning 19005 clauses out of 38027 with flag 458128/884223
91.55/89.64	c cleaning 19997 clauses out of 40022 with flag 502798/905223
95.25/93.31	c cleaning 20996 clauses out of 42024 with flag 550295/927222
97.45/95.57	c cleaning 21988 clauses out of 44027 with flag 601196/950222
101.06/99.17	c cleaning 23001 clauses out of 46041 with flag 657328/974224
103.36/101.46	c cleaning 24009 clauses out of 48038 with flag 712617/999222
108.19/106.23	c cleaning 25003 clauses out of 50029 with flag 769741/1025222
111.69/109.74	c cleaning 26008 clauses out of 52026 with flag 829144/1052222
113.39/111.47	c Got one! Elapsed wall clock time (in seconds):111.347
113.39/111.47	o 3
113.99/112.06	c cleaning 23404 clauses out of 46833 with flag 10462/1073037
114.39/112.41	c cleaning 14701 clauses out of 29428 with flag 22613/1079036
114.79/112.84	c cleaning 10852 clauses out of 21727 with flag 36795/1086036
115.19/113.30	c cleaning 9428 clauses out of 18876 with flag 53418/1094037
116.29/114.34	c cleaning 9221 clauses out of 18447 with flag 73143/1103036
116.99/115.00	c cleaning 9613 clauses out of 19227 with flag 95271/1113037
117.39/115.49	c cleaning 10308 clauses out of 20615 with flag 118214/1124038
118.39/116.46	c cleaning 11147 clauses out of 22305 with flag 144747/1136036
119.09/117.16	c cleaning 12063 clauses out of 24159 with flag 172260/1149037
119.99/118.09	c cleaning 13036 clauses out of 26096 with flag 206049/1163037
121.49/119.50	c cleaning 14020 clauses out of 28059 with flag 241556/1178036
123.10/121.11	c cleaning 15018 clauses out of 30039 with flag 276229/1194036
124.99/123.08	c cleaning 16005 clauses out of 32021 with flag 312755/1211036
127.39/125.43	c cleaning 16993 clauses out of 34016 with flag 352587/1229036
129.29/127.39	c cleaning 18006 clauses out of 36023 with flag 394592/1248036
131.99/130.05	c cleaning 19007 clauses out of 38019 with flag 439904/1268038
134.19/132.26	c cleaning 20001 clauses out of 40011 with flag 485740/1289037
136.49/134.59	c cleaning 21004 clauses out of 42009 with flag 535468/1311036
138.09/136.18	c cleaning 21995 clauses out of 44007 with flag 587655/1334038
140.11/138.16	c cleaning 22985 clauses out of 46011 with flag 642043/1358037
141.81/139.90	c cleaning 23999 clauses out of 48025 with flag 695624/1383036
145.01/143.05	c cleaning 25008 clauses out of 50026 with flag 751274/1409036
147.70/145.77	c cleaning 25996 clauses out of 52018 with flag 807516/1436036
150.90/148.97	c cleaning 27000 clauses out of 54022 with flag 868996/1464036
153.81/151.90	c cleaning 28005 clauses out of 56023 with flag 930799/1493037
156.60/154.66	c cleaning 28998 clauses out of 58017 with flag 999574/1523036
161.51/159.56	c cleaning 29994 clauses out of 60020 with flag 1071830/1554037
165.10/163.14	c cleaning 31002 clauses out of 62025 with flag 1141250/1586036
169.00/167.10	c cleaning 32008 clauses out of 64024 with flag 1214150/1619037
174.00/172.04	c cleaning 32990 clauses out of 66015 with flag 1289991/1653036
177.01/175.10	c cleaning 33999 clauses out of 68025 with flag 1368919/1688036
181.24/179.24	c cleaning 34999 clauses out of 70026 with flag 1450385/1724036
186.14/184.11	c cleaning 35989 clauses out of 72027 with flag 1534453/1761036
191.14/189.19	c cleaning 37005 clauses out of 74038 with flag 1620304/1799036
195.04/193.07	c cleaning 38006 clauses out of 76033 with flag 1709786/1838036
199.94/197.97	c cleaning 38988 clauses out of 78028 with flag 1801041/1878037
203.74/201.76	c cleaning 40002 clauses out of 80039 with flag 1890228/1919036
209.54/207.56	c cleaning 41010 clauses out of 82036 with flag 1980091/1961036
216.84/214.83	c cleaning 42000 clauses out of 84027 with flag 2084097/2004037
223.30/221.21	c cleaning 43009 clauses out of 86026 with flag 2182028/2048036
228.00/225.99	c cleaning 43993 clauses out of 88017 with flag 2282240/2093036
234.89/232.81	c cleaning 45006 clauses out of 90026 with flag 2385103/2139038
242.29/240.28	c cleaning 45990 clauses out of 92019 with flag 2487904/2186037
247.10/245.09	c cleaning 46996 clauses out of 94029 with flag 2595438/2234037
252.60/250.57	c cleaning 48004 clauses out of 96032 with flag 2700380/2283036
258.90/256.87	c cleaning 49000 clauses out of 98028 with flag 2808569/2333036
268.57/266.49	c cleaning 50003 clauses out of 100028 with flag 2924810/2384036
277.18/275.08	c cleaning 51003 clauses out of 102026 with flag 3043348/2436037
284.77/282.68	c cleaning 51985 clauses out of 104023 with flag 3163234/2489037
292.17/290.10	c cleaning 53012 clauses out of 106037 with flag 3287759/2543036
305.07/302.91	c cleaning 54008 clauses out of 108026 with flag 3408866/2598037
312.87/310.70	c cleaning 54995 clauses out of 110016 with flag 3532103/2654036
324.40/322.10	c cleaning 56006 clauses out of 112023 with flag 3656638/2711038
330.70/328.49	c cleaning 57003 clauses out of 114015 with flag 3786532/2769036
339.40/337.15	c cleaning 57995 clauses out of 116012 with flag 3915465/2828036
350.80/348.56	c cleaning 59004 clauses out of 118017 with flag 4051290/2888036
359.34/356.94	c cleaning 59983 clauses out of 120013 with flag 4187076/2949036
370.24/367.85	c cleaning 61011 clauses out of 122030 with flag 4326894/3011036
379.64/377.29	c cleaning 62006 clauses out of 124019 with flag 4467647/3074036
388.54/386.16	c cleaning 62980 clauses out of 126014 with flag 4621484/3138037
398.71/396.13	c cleaning 64004 clauses out of 128033 with flag 4769810/3203036
408.61/406.09	c cleaning 65001 clauses out of 130029 with flag 4916423/3269036
420.50/417.98	c cleaning 66013 clauses out of 132029 with flag 5071695/3336037
431.16/428.55	c cleaning 66991 clauses out of 134014 with flag 5223765/3404036
441.40/438.65	c cleaning 67988 clauses out of 136023 with flag 5372076/3473036
452.81/450.06	c cleaning 69010 clauses out of 138034 with flag 5525675/3543036
469.40/466.68	c cleaning 69999 clauses out of 140025 with flag 5678710/3614037
480.32/477.42	c cleaning 71010 clauses out of 142026 with flag 5837515/3686037
493.91/491.04	c cleaning 71994 clauses out of 144015 with flag 5998165/3759036
507.21/504.32	c cleaning 73004 clauses out of 146021 with flag 6167617/3833037
519.92/517.06	c cleaning 73996 clauses out of 148016 with flag 6335757/3908036
534.21/531.20	c cleaning 75004 clauses out of 150021 with flag 6504263/3984037
546.91/543.96	c cleaning 76000 clauses out of 152016 with flag 6675820/4061037
563.81/560.89	c cleaning 76999 clauses out of 154015 with flag 6842729/4139036
581.62/578.56	c cleaning 77993 clauses out of 156016 with flag 7012410/4218036
597.82/594.75	c cleaning 79004 clauses out of 158023 with flag 7186946/4298036
613.62/610.58	c cleaning 79993 clauses out of 160018 with flag 7364534/4379036
628.90/625.78	c cleaning 81002 clauses out of 162025 with flag 7544881/4461036
645.20/642.08	c cleaning 82002 clauses out of 164023 with flag 7729178/4544037
663.78/660.59	c cleaning 83007 clauses out of 166020 with flag 7917755/4628036
687.48/684.20	c cleaning 84000 clauses out of 168013 with flag 8100435/4713037
706.38/703.19	c cleaning 85001 clauses out of 170013 with flag 8286317/4799037
726.30/722.90	c cleaning 85997 clauses out of 172011 with flag 8477613/4886036
745.80/742.41	c cleaning 86997 clauses out of 174014 with flag 8670206/4974036
767.74/764.20	c cleaning 88002 clauses out of 176018 with flag 8869081/5063037
793.64/790.18	c cleaning 89005 clauses out of 178015 with flag 9072465/5153036
833.44/829.99	c cleaning 90003 clauses out of 180011 with flag 9273955/5244038
880.06/876.48	c cleaning 90992 clauses out of 181999 with flag 9472458/5336036
881.06/877.45	c starts		: 8367
881.06/877.45	c conflicts		: 5342880
881.06/877.45	c decisions		: 6001054
881.06/877.45	c propagations		: 110573199
881.06/877.45	c inspects		: 16482919392
881.06/877.45	c shortcuts		: 0
881.06/877.45	c learnt literals	: 38
881.06/877.45	c learnt binary clauses	: 47
881.06/877.45	c learnt ternary clauses	: 109
881.06/877.45	c learnt constraints	: 5342841
881.06/877.45	c ignored constraints	: 0
881.06/877.45	c root simplifications	: 0
881.06/877.45	c removed literals (reason simplification)	: 0
881.06/877.45	c reason swapping (by a shorter reason)	: 0
881.06/877.45	c Calls to reduceDB	: 161
881.06/877.45	c Number of update (reduction) of LBD	: 171474
881.06/877.45	c Imported unit clauses	: 0
881.06/877.45	c number of reductions to clauses (during analyze)	: 0
881.06/877.45	c number of learned constraints concerned by reduction	: 0
881.06/877.45	c number of learning phase by resolution	: 0
881.06/877.45	c number of learning phase by cutting planes	: 0
881.06/877.45	c speed (assignments/second)	: 126049.13345865306
881.06/877.45	c non guided choices	47890
881.06/877.45	c learnt constraints type 
881.06/877.45	s OPTIMUM FOUND
881.06/877.45	c Found 4 solution(s)
881.06/877.45	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 
881.06/877.45	c objective function=3
881.06/877.45	c Total wall clock time (in seconds): 877.333

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106066-1466269760/watcher-4106066-1466269760 -o /tmp/evaluation-result-4106066-1466269760/solver-4106066-1466269760 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19864 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106066-1466269760.opb 

pid=20876
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.20 2.23 2.18 3/194 20879
/proc/meminfo: memFree=30423744/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/20879/stat : 20879 (java) R 20876 20879 19848 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 29024930 23793664 409 33554432000 1073741824 1073778376 140736254519536 140736254508600 213183937089 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 5809 424 324 9 0 128 0

[startup+0.100059 s]
/proc/loadavg: 2.20 2.23 2.18 3/194 20879
/proc/meminfo: memFree=30423744/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 29024930 9787879424 6034 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2389619 6034 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20026 s]
/proc/loadavg: 2.20 2.23 2.18 3/194 20879
/proc/meminfo: memFree=30423744/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 4682 0 1 0 22 1 0 0 20 0 18 0 29024930 9787879424 6783 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2389619 6783 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300272 s]
/proc/loadavg: 2.20 2.23 2.18 3/194 20879
/proc/meminfo: memFree=30423744/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 6434 0 1 0 45 2 0 0 20 0 19 0 29024930 9856040960 8465 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2406260 8465 2243 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625040

[startup+0.70019 s]
/proc/loadavg: 2.20 2.23 2.18 3/194 20879
/proc/meminfo: memFree=30423744/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 6476 0 1 0 93 2 0 0 20 0 19 0 29024930 9856040960 9387 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2406260 9387 2245 9 0 2396937 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.20 2.23 2.18 4/213 20898
/proc/meminfo: memFree=30390364/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9625040 CPUtime=1.85 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 7764 0 1 0 183 2 0 0 20 0 19 0 29024930 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2406260 10896 2256 9 0 2396937 0
[pid=20879/tid=20881] ppid=20876 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/20879/task/20881/stat : 20881 (java) R 20876 20879 19848 0 -1 4202560 2415 0 1 0 145 1 0 0 20 0 19 0 29024930 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599220675064 140599060008066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20882] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20882/stat : 20882 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599182166184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20883] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20883/stat : 20883 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599181113640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20884] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20884/stat : 20884 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599180061096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20885] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20885/stat : 20885 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599179008552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20886] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20886/stat : 20886 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599059540648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20887] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20887/stat : 20887 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599058488104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20888] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20888/stat : 20888 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599057435560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20889] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20889/stat : 20889 (java) S 20876 20879 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599056383016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20890] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20890/stat : 20890 (java) S 20876 20879 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140599044184168 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20891] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20891/stat : 20891 (java) S 20876 20879 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140598438782072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20892] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20892/stat : 20892 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140598437729416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20893] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20893/stat : 20893 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140598436678160 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20894] ppid=20876 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/20879/task/20894/stat : 20894 (java) S 20876 20879 19848 0 -1 4202560 1194 0 0 0 16 0 0 0 20 0 19 0 29024936 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140598435625528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20895] ppid=20876 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20879/task/20895/stat : 20895 (java) S 20876 20879 19848 0 -1 4202560 2884 0 0 0 19 0 0 0 20 0 19 0 29024936 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140598434572984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20896] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20896/stat : 20896 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140598433520632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20897] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20897/stat : 20897 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140598432468296 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20898] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20898/stat : 20898 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024953 9856040960 10896 33554432000 1073741824 1073778376 140736254519536 140598431413032 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.20 2.23 2.18 3/213 20898
/proc/meminfo: memFree=30383476/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 7797 0 1 0 346 3 0 0 20 0 19 0 29024930 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2406260 12973 2256 9 0 2396937 0
[pid=20879/tid=20881] ppid=20876 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/20879/task/20881/stat : 20881 (java) R 20876 20879 19848 0 -1 4202560 2419 0 1 0 304 1 0 0 20 0 19 0 29024930 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599220674840 140599060088475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20882] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20882/stat : 20882 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599182166184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20883] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20883/stat : 20883 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599181113640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20884] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20884/stat : 20884 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599180061096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20885] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20885/stat : 20885 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599179008552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20886] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20886/stat : 20886 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599059540648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20887] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20887/stat : 20887 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599058488104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20888] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20888/stat : 20888 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599057435560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20889] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20889/stat : 20889 (java) S 20876 20879 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599056383016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20890] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20890/stat : 20890 (java) S 20876 20879 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140599044184168 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20891] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20891/stat : 20891 (java) S 20876 20879 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140598438782072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20892] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20892/stat : 20892 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140598437729416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20893] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20893/stat : 20893 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140598436678160 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20894] ppid=20876 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20879/task/20894/stat : 20894 (java) S 20876 20879 19848 0 -1 4202560 1208 0 0 0 19 0 0 0 20 0 19 0 29024936 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140598435625528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20895] ppid=20876 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20879/task/20895/stat : 20895 (java) S 20876 20879 19848 0 -1 4202560 2899 0 0 0 19 0 0 0 20 0 19 0 29024936 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140598434572984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20896] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20896/stat : 20896 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140598433520632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20897] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20897/stat : 20897 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140598432468296 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20898] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20898/stat : 20898 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024953 9856040960 12973 33554432000 1073741824 1073778376 140736254519536 140598431413032 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.18 2.23 2.18 3/213 20898
/proc/meminfo: memFree=30370644/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9625040 CPUtime=6.75 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 9026 0 1 0 672 3 0 0 20 0 19 0 29024930 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2406260 16041 2258 9 0 2396937 0
[pid=20879/tid=20881] ppid=20876 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/20879/task/20881/stat : 20881 (java) R 20876 20879 19848 0 -1 4202560 2427 0 1 0 624 1 0 0 20 0 19 0 29024930 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599220666048 140599060088530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20882] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20882/stat : 20882 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599182166184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20883] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20883/stat : 20883 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599181113640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20884] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20884/stat : 20884 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599180061096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20885] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20885/stat : 20885 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599179008552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20886] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20886/stat : 20886 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599059540648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20887] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20887/stat : 20887 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599058488104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20888] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20888/stat : 20888 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599057435560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20889] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20889/stat : 20889 (java) S 20876 20879 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29024932 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599056383016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20890] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20890/stat : 20890 (java) S 20876 20879 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140599044184168 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20891] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20891/stat : 20891 (java) S 20876 20879 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140598438782072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20892] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20892/stat : 20892 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140598437729416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20893] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20893/stat : 20893 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140598436678160 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20894] ppid=20876 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/20879/task/20894/stat : 20894 (java) S 20876 20879 19848 0 -1 4202560 2428 0 0 0 25 0 0 0 20 0 19 0 29024936 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140598435625528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20895] ppid=20876 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20879/task/20895/stat : 20895 (java) S 20876 20879 19848 0 -1 4202560 2899 0 0 0 19 0 0 0 20 0 19 0 29024936 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140598434572984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20896] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20896/stat : 20896 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140598433520632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20897] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20897/stat : 20897 (java) S 20876 20879 19848 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140598432468296 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20898] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20898/stat : 20898 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024953 9856040960 16041 33554432000 1073741824 1073778376 140736254519536 140598431413032 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 9625040


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

[pid=20879/tid=20891] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20891/stat : 20891 (java) S 20876 20879 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598438782072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20892] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20892/stat : 20892 (java) S 20876 20879 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598437729416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20893] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20893/stat : 20893 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598436678160 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20894] ppid=20876 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/20879/task/20894/stat : 20894 (java) S 20876 20879 19848 0 -1 4202560 2429 0 0 0 30 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598435625528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20895] ppid=20876 vsize=9625040 CPUtime=1.68 cores=0,2,4,6
/proc/20879/task/20895/stat : 20895 (java) S 20876 20879 19848 0 -1 4202560 12984 0 0 0 165 3 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598434572984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20896] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20896/stat : 20896 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598433520632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20897] ppid=20876 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20879/task/20897/stat : 20897 (java) S 20876 20879 19848 0 -1 4202560 52 0 0 0 7 10 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598432468296 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20898] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20898/stat : 20898 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024953 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598431413032 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 878.86
Current children cumulated vsize (KiB) 9625040

[startup+876.808 s]
/proc/loadavg: 2.31 2.23 2.19 3/213 21309
/proc/meminfo: memFree=29803780/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9625040 CPUtime=880.46 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 21599 0 1 0 87987 59 0 0 20 0 19 0 29024930 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2406260 130943 2280 9 0 2396937 0
[pid=20879/tid=20881] ppid=20876 vsize=9625040 CPUtime=873.67 cores=0,2,4,6
/proc/20879/task/20881/stat : 20881 (java) R 20876 20879 19848 0 -1 4202560 2504 0 1 0 87350 17 0 0 20 0 19 0 29024930 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599220673760 140599060088530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20882] ppid=20876 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/20879/task/20882/stat : 20882 (java) S 20876 20879 19848 0 -1 4202560 110 0 0 0 19 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599182166184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20883] ppid=20876 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/20879/task/20883/stat : 20883 (java) S 20876 20879 19848 0 -1 4202560 229 0 0 0 25 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599181113640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20884] ppid=20876 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/20879/task/20884/stat : 20884 (java) S 20876 20879 19848 0 -1 4202560 135 0 0 0 24 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599180061096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20885] ppid=20876 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/20879/task/20885/stat : 20885 (java) S 20876 20879 19848 0 -1 4202560 402 0 0 0 27 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599179008552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20886] ppid=20876 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/20879/task/20886/stat : 20886 (java) S 20876 20879 19848 0 -1 4202560 329 0 0 0 26 7 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599059540648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20887] ppid=20876 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20879/task/20887/stat : 20887 (java) S 20876 20879 19848 0 -1 4202560 369 0 0 0 17 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599058488104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20888] ppid=20876 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/20879/task/20888/stat : 20888 (java) S 20876 20879 19848 0 -1 4202560 190 0 0 0 20 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599057435560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20889] ppid=20876 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/20879/task/20889/stat : 20889 (java) S 20876 20879 19848 0 -1 4202560 496 0 0 0 19 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599056383016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20890] ppid=20876 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/20879/task/20890/stat : 20890 (java) S 20876 20879 19848 0 -1 4202560 113 0 0 0 12 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599044184168 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20891] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20891/stat : 20891 (java) S 20876 20879 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598438782072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20892] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20892/stat : 20892 (java) S 20876 20879 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598437729416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20893] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20893/stat : 20893 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598436678160 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20894] ppid=20876 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/20879/task/20894/stat : 20894 (java) S 20876 20879 19848 0 -1 4202560 2429 0 0 0 30 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598435625528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20895] ppid=20876 vsize=9625040 CPUtime=1.68 cores=0,2,4,6
/proc/20879/task/20895/stat : 20895 (java) S 20876 20879 19848 0 -1 4202560 12984 0 0 0 165 3 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598434572984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20896] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20896/stat : 20896 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598433520632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20897] ppid=20876 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20879/task/20897/stat : 20897 (java) S 20876 20879 19848 0 -1 4202560 52 0 0 0 7 10 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598432468296 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20898] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20898/stat : 20898 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024953 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598431413032 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 880.46
Current children cumulated vsize (KiB) 9625040

[startup+877.201 s]
/proc/loadavg: 2.31 2.23 2.19 3/213 21309
/proc/meminfo: memFree=29803780/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9625040 CPUtime=880.86 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 21599 0 1 0 88027 59 0 0 20 0 19 0 29024930 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2406260 130943 2280 9 0 2396937 0
[pid=20879/tid=20881] ppid=20876 vsize=9625040 CPUtime=874.06 cores=0,2,4,6
/proc/20879/task/20881/stat : 20881 (java) R 20876 20879 19848 0 -1 4202560 2504 0 1 0 87389 17 0 0 20 0 19 0 29024930 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599220673760 140599060063692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20882] ppid=20876 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/20879/task/20882/stat : 20882 (java) S 20876 20879 19848 0 -1 4202560 110 0 0 0 19 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599182166184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20883] ppid=20876 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/20879/task/20883/stat : 20883 (java) S 20876 20879 19848 0 -1 4202560 229 0 0 0 25 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599181113640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20884] ppid=20876 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/20879/task/20884/stat : 20884 (java) S 20876 20879 19848 0 -1 4202560 135 0 0 0 24 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599180061096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20885] ppid=20876 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/20879/task/20885/stat : 20885 (java) S 20876 20879 19848 0 -1 4202560 402 0 0 0 27 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599179008552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20886] ppid=20876 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/20879/task/20886/stat : 20886 (java) S 20876 20879 19848 0 -1 4202560 329 0 0 0 26 7 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599059540648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20887] ppid=20876 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20879/task/20887/stat : 20887 (java) S 20876 20879 19848 0 -1 4202560 369 0 0 0 17 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599058488104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20888] ppid=20876 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/20879/task/20888/stat : 20888 (java) S 20876 20879 19848 0 -1 4202560 190 0 0 0 20 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599057435560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20889] ppid=20876 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/20879/task/20889/stat : 20889 (java) S 20876 20879 19848 0 -1 4202560 496 0 0 0 19 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599056383016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20890] ppid=20876 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/20879/task/20890/stat : 20890 (java) S 20876 20879 19848 0 -1 4202560 113 0 0 0 12 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599044184168 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20891] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20891/stat : 20891 (java) S 20876 20879 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598438782072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20892] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20892/stat : 20892 (java) S 20876 20879 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598437729416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20893] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20893/stat : 20893 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598436678160 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20894] ppid=20876 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/20879/task/20894/stat : 20894 (java) S 20876 20879 19848 0 -1 4202560 2429 0 0 0 30 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598435625528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20895] ppid=20876 vsize=9625040 CPUtime=1.68 cores=0,2,4,6
/proc/20879/task/20895/stat : 20895 (java) S 20876 20879 19848 0 -1 4202560 12984 0 0 0 165 3 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598434572984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20896] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20896/stat : 20896 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598433520632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20897] ppid=20876 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20879/task/20897/stat : 20897 (java) S 20876 20879 19848 0 -1 4202560 52 0 0 0 7 10 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598432468296 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20898] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20898/stat : 20898 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024953 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598431413032 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 880.86
Current children cumulated vsize (KiB) 9625040

[startup+877.401 s]
/proc/loadavg: 2.31 2.23 2.19 3/213 21309
/proc/meminfo: memFree=29803780/32872528 swapFree=877056/942464
[pid=20879] ppid=20876 vsize=9625040 CPUtime=881.06 cores=0,2,4,6
/proc/20879/stat : 20879 (java) S 20876 20879 19848 0 -1 4202496 21600 0 1 0 88047 59 0 0 20 0 19 0 29024930 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140736254510672 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20879/statm: 2406260 130943 2280 9 0 2396937 0
[pid=20879/tid=20881] ppid=20876 vsize=9625040 CPUtime=874.26 cores=0,2,4,6
/proc/20879/task/20881/stat : 20881 (java) R 20876 20879 19848 0 -1 4202560 2504 0 1 0 87409 17 0 0 20 0 19 0 29024930 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599220673760 140599060146082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20879/tid=20882] ppid=20876 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/20879/task/20882/stat : 20882 (java) S 20876 20879 19848 0 -1 4202560 110 0 0 0 19 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599182166184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20883] ppid=20876 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/20879/task/20883/stat : 20883 (java) S 20876 20879 19848 0 -1 4202560 229 0 0 0 25 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599181113640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20884] ppid=20876 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/20879/task/20884/stat : 20884 (java) S 20876 20879 19848 0 -1 4202560 135 0 0 0 24 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599180061096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20885] ppid=20876 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/20879/task/20885/stat : 20885 (java) S 20876 20879 19848 0 -1 4202560 402 0 0 0 27 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599179008552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20886] ppid=20876 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/20879/task/20886/stat : 20886 (java) S 20876 20879 19848 0 -1 4202560 329 0 0 0 26 7 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599059540648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20887] ppid=20876 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20879/task/20887/stat : 20887 (java) S 20876 20879 19848 0 -1 4202560 369 0 0 0 17 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599058488104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20879/tid=20888] ppid=20876 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/20879/task/20888/stat : 20888 (java) S 20876 20879 19848 0 -1 4202560 190 0 0 0 20 5 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599057435560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20889] ppid=20876 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/20879/task/20889/stat : 20889 (java) S 20876 20879 19848 0 -1 4202560 496 0 0 0 19 6 0 0 20 0 19 0 29024932 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599056383016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20890] ppid=20876 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/20879/task/20890/stat : 20890 (java) S 20876 20879 19848 0 -1 4202560 113 0 0 0 12 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140599044184168 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20891] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20891/stat : 20891 (java) S 20876 20879 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598438782072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20892] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20892/stat : 20892 (java) S 20876 20879 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29024933 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598437729416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20893] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20893/stat : 20893 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598436678160 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20894] ppid=20876 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/20879/task/20894/stat : 20894 (java) S 20876 20879 19848 0 -1 4202560 2429 0 0 0 30 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598435625528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20895] ppid=20876 vsize=9625040 CPUtime=1.69 cores=0,2,4,6
/proc/20879/task/20895/stat : 20895 (java) S 20876 20879 19848 0 -1 4202560 12985 0 0 0 166 3 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598434572984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20896] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20896/stat : 20896 (java) S 20876 20879 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598433520632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20879/tid=20897] ppid=20876 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20879/task/20897/stat : 20897 (java) S 20876 20879 19848 0 -1 4202560 52 0 0 0 7 10 0 0 20 0 19 0 29024936 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598432468296 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20879/tid=20898] ppid=20876 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20879/task/20898/stat : 20898 (java) S 20876 20879 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29024953 9856040960 130943 33554432000 1073741824 1073778376 140736254519536 140598431413032 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 881.06
Current children cumulated vsize (KiB) 9625040

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20879 and gives
#  childrusage.ru_utime.tv_sec=878
#  childrusage.ru_utime.tv_usec=188495
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=881865
# CPU time returned by wait4() is 879.07
# while last known CPU time is 881.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 877.459
CPU time (s): 881.06
CPU user time (s): 880.47
CPU system time (s): 0.59
CPU usage (%): 100.41
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 878.188
system time used= 0.881865
maximum resident set size= 570764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21622
page faults= 1
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19283
involuntary context switches= 7556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42902 second user time and 7.9078 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-18 19:09:20
IDJOB=4106066
IDBENCH=47912
IDSOLVER=2546
FILE ID=node113/4106066-1466269760
RUNJOBID= node113-1466265808-19864
PBS_JOBID= 19918235
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106066-1466269760/watcher-4106066-1466269760 -o /tmp/evaluation-result-4106066-1466269760/solver-4106066-1466269760 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19864 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106066-1466269760.opb

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

MD5SUM BENCH= 54510d4a8cd791bae993d435a4bb6e03
RANDOM SEED=20005570

node113.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.799
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.59
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.799
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	: 5332.55
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.799
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	: 5332.56
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.799
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	: 5332.55
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.799
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	: 5332.55
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.799
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	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30424108 kB
Buffers:          111388 kB
Cached:           281860 kB
SwapCached:         1896 kB
Active:           457120 kB
Inactive:         308128 kB
Active(anon):     372220 kB
Inactive(anon):     2024 kB
Active(file):      84900 kB
Inactive(file):   306104 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:               472 kB
Writeback:             0 kB
AnonPages:       1413920 kB
Mapped:            15348 kB
Shmem:                 0 kB
Slab:             606176 kB
SReclaimable:      49832 kB
SUnreclaim:       556344 kB
KernelStack:        1760 kB
PageTables:         6760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1750840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    520192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node113 at 2016-06-18 19:23:58