Trace number 4090486

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 2.3.6 Resolution PB16MSAT (TO) 1800.1 1796.34

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-503_wcsp.wbo
MD5SUM08f4b88f9040f70d336d7e223b6d5133
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11113
Best CPU time to get the best result obtained on this benchmark0.280957
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables402
Total number of constraints1077
Number of soft constraints934
Number of constraints which are clauses934
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 20210
Min constraint cost 1
Max constraint cost 20210
Sum of constraints costs 16006319
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-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.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4090486-1466072743.wbo
0.08/0.12	c reading problem ... 
0.23/0.22	c ... done. Wall clock time 0.107s.
0.23/0.22	c declared #vars     402
0.23/0.22	c internal #vars     1336
0.23/0.22	c #constraints  1220
0.23/0.22	c constraints type 
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 849
0.23/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 58
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 313
0.23/0.22	c 1220 constraints processed.
0.23/0.22	c objective function length is 934 literals
0.23/0.25	c SATISFIABLE
0.23/0.25	c OPTIMIZING...
0.23/0.25	c Got one! Elapsed wall clock time (in seconds):0.138
0.23/0.25	o 12128
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.171
0.23/0.29	o 12127
0.45/0.33	c Got one! Elapsed wall clock time (in seconds):0.212
0.45/0.33	o 12126
0.75/0.48	c Got one! Elapsed wall clock time (in seconds):0.36
0.75/0.48	o 12125
1.39/0.84	c cleaning 2688 clauses out of 5379 with flag 12427/5379
1.91/1.26	c cleaning 4344 clauses out of 8689 with flag 26341/11377
2.40/1.71	c cleaning 5669 clauses out of 11345 with flag 42520/18377
2.50/1.87	c Got one! Elapsed wall clock time (in seconds):1.753
2.50/1.87	o 12124
2.87/2.12	c cleaning 5772 clauses out of 11552 with flag 7016/24253
3.40/2.63	c cleaning 5888 clauses out of 11779 with flag 23663/30252
4.00/3.20	c cleaning 6442 clauses out of 12892 with flag 45168/37253
4.60/3.85	c cleaning 7222 clauses out of 14450 with flag 68776/45253
5.31/4.57	c cleaning 8114 clauses out of 16228 with flag 95877/54253
6.10/5.38	c cleaning 9055 clauses out of 18113 with flag 129891/64252
7.10/6.31	c cleaning 10024 clauses out of 20059 with flag 166063/75253
8.11/7.33	c cleaning 11013 clauses out of 22035 with flag 205469/87253
9.21/8.49	c cleaning 12007 clauses out of 24021 with flag 249263/100252
10.91/10.11	c cleaning 13002 clauses out of 26016 with flag 303796/114254
12.61/11.80	c cleaning 14002 clauses out of 28013 with flag 359291/129253
14.40/13.67	c cleaning 15001 clauses out of 30010 with flag 410855/145252
16.51/15.79	c cleaning 15999 clauses out of 32009 with flag 460522/162252
18.51/17.79	c cleaning 17003 clauses out of 34010 with flag 511903/180252
20.71/19.98	c cleaning 17999 clauses out of 36008 with flag 566954/199253
23.10/22.37	c cleaning 18997 clauses out of 38008 with flag 623238/219252
25.40/24.66	c cleaning 20007 clauses out of 40014 with flag 683005/240255
28.13/27.38	c cleaning 20999 clauses out of 42005 with flag 744425/262253
31.13/30.34	c cleaning 22000 clauses out of 44006 with flag 809599/285253
34.63/33.89	c cleaning 23003 clauses out of 46005 with flag 877459/309252
38.03/37.25	c cleaning 23998 clauses out of 48002 with flag 949110/334252
41.54/40.73	c cleaning 24998 clauses out of 50004 with flag 1019011/360252
45.03/44.29	c cleaning 26004 clauses out of 52008 with flag 1086833/387254
48.03/47.27	c cleaning 27002 clauses out of 54003 with flag 1154910/415253
51.13/50.37	c cleaning 27998 clauses out of 56001 with flag 1225460/444253
55.02/54.21	c cleaning 28999 clauses out of 58002 with flag 1303086/474252
59.23/58.41	c cleaning 30000 clauses out of 60004 with flag 1378546/505253
63.63/62.82	c cleaning 30999 clauses out of 62004 with flag 1456139/537253
68.16/67.35	c cleaning 32000 clauses out of 64005 with flag 1539201/570253
73.26/72.48	c cleaning 33000 clauses out of 66004 with flag 1626485/604252
78.16/77.39	c cleaning 33998 clauses out of 68005 with flag 1713181/639253
83.15/82.39	c cleaning 35000 clauses out of 70006 with flag 1802839/675252
88.65/87.84	c cleaning 35998 clauses out of 72006 with flag 1894828/712252
94.06/93.25	c cleaning 37002 clauses out of 74009 with flag 1988414/750253
99.76/98.90	c cleaning 38000 clauses out of 76008 with flag 2086528/789254
105.66/104.86	c cleaning 39001 clauses out of 78007 with flag 2184522/829253
112.10/111.25	c cleaning 40000 clauses out of 80005 with flag 2293158/870252
118.80/117.96	c cleaning 41004 clauses out of 82007 with flag 2406340/912254
121.90/121.02	c Got one! Elapsed wall clock time (in seconds):120.909
121.90/121.02	o 11143
121.90/121.05	c Got one! Elapsed wall clock time (in seconds):120.932
121.90/121.05	o 11130
122.33/121.43	c cleaning 34744 clauses out of 69488 with flag 12632/940740
122.63/121.74	c cleaning 20372 clauses out of 40744 with flag 24875/946740
123.23/122.35	c cleaning 13686 clauses out of 27372 with flag 41111/953740
124.14/123.24	c cleaning 10842 clauses out of 21686 with flag 58055/961740
124.93/124.02	c cleaning 9920 clauses out of 19844 with flag 79250/970740
125.63/124.73	c cleaning 9961 clauses out of 19924 with flag 101282/980740
126.34/125.42	c cleaning 10475 clauses out of 20961 with flag 126791/991739
127.23/126.31	c cleaning 11240 clauses out of 22486 with flag 158722/1003739
128.23/127.31	c cleaning 12121 clauses out of 24248 with flag 192498/1016741
129.33/128.42	c cleaning 13061 clauses out of 26125 with flag 228113/1030739
130.53/129.67	c cleaning 14029 clauses out of 28064 with flag 266099/1045739
131.93/131.01	c cleaning 15013 clauses out of 30035 with flag 305848/1061739
133.43/132.51	c cleaning 16003 clauses out of 32022 with flag 353010/1078739
135.13/134.28	c cleaning 17004 clauses out of 34020 with flag 409999/1096740
137.03/136.10	c cleaning 18004 clauses out of 36015 with flag 471458/1115739
139.04/138.16	c cleaning 19004 clauses out of 38013 with flag 534102/1135741
141.35/140.44	c cleaning 20000 clauses out of 40007 with flag 597375/1156739
143.87/142.92	c cleaning 20997 clauses out of 42008 with flag 671548/1178740
146.37/145.45	c cleaning 21999 clauses out of 44010 with flag 748402/1201739
149.17/148.27	c cleaning 23002 clauses out of 46011 with flag 827602/1225739
149.87/148.93	c Got one! Elapsed wall clock time (in seconds):148.81
149.87/148.93	o 11129
149.87/148.94	c Got one! Elapsed wall clock time (in seconds):148.819
149.87/148.94	o 11126
149.87/148.94	c Got one! Elapsed wall clock time (in seconds):148.828
149.87/148.94	o 11125
150.40/149.38	c cleaning 17995 clauses out of 35990 with flag 13730/1238720
150.71/149.66	c Got one! Elapsed wall clock time (in seconds):149.542
150.71/149.66	o 11124
150.93/149.90	c cleaning 11898 clauses out of 23803 with flag 4678/1244528
151.33/150.27	c cleaning 8945 clauses out of 17903 with flag 22489/1250526
151.73/150.64	c cleaning 7970 clauses out of 15959 with flag 42921/1257527
152.04/150.90	c Got one! Elapsed wall clock time (in seconds):150.778
152.04/150.90	o 11123
152.57/151.43	c cleaning 9026 clauses out of 18059 with flag 14089/1267597
152.98/151.84	c cleaning 7511 clauses out of 15032 with flag 29539/1273596
153.37/152.27	c cleaning 7252 clauses out of 14521 with flag 49173/1280596
153.77/152.69	c cleaning 7630 clauses out of 15269 with flag 68520/1288596
154.27/153.18	c cleaning 8316 clauses out of 16638 with flag 91882/1297595
155.07/153.93	c cleaning 9157 clauses out of 18322 with flag 119802/1307595
155.77/154.67	c cleaning 10076 clauses out of 20165 with flag 146827/1318595
156.57/155.46	c cleaning 11045 clauses out of 22090 with flag 180751/1330596
157.48/156.36	c cleaning 12018 clauses out of 24044 with flag 215973/1343595
158.58/157.46	c cleaning 13011 clauses out of 26028 with flag 254258/1357597
159.77/158.65	c cleaning 14004 clauses out of 28015 with flag 295913/1372595
161.07/159.98	c cleaning 14998 clauses out of 30011 with flag 341821/1388595
162.77/161.62	c cleaning 16003 clauses out of 32014 with flag 392040/1405596
164.48/163.35	c cleaning 17003 clauses out of 34011 with flag 441377/1423596
166.48/165.38	c cleaning 18003 clauses out of 36009 with flag 495491/1442597
169.08/167.94	c cleaning 19002 clauses out of 38006 with flag 550507/1462597
171.75/170.58	c cleaning 19999 clauses out of 40003 with flag 610113/1483596
174.14/172.96	c cleaning 20999 clauses out of 42003 with flag 670140/1505595
176.95/175.76	c cleaning 21999 clauses out of 44005 with flag 732885/1528596
180.25/179.09	c cleaning 22996 clauses out of 46006 with flag 801815/1552596
183.65/182.44	c cleaning 24002 clauses out of 48009 with flag 872516/1577595
186.45/185.25	c cleaning 25001 clauses out of 50007 with flag 943894/1603595
189.46/188.23	c cleaning 26000 clauses out of 52008 with flag 1018971/1630597
193.15/191.98	c cleaning 26997 clauses out of 54006 with flag 1093158/1658595
197.55/196.34	c cleaning 28001 clauses out of 56009 with flag 1169233/1687595
201.25/200.00	c cleaning 29001 clauses out of 58008 with flag 1252340/1717595
205.15/203.91	c cleaning 30003 clauses out of 60008 with flag 1335962/1748596
209.44/208.15	c cleaning 30998 clauses out of 62004 with flag 1423824/1780595
214.64/213.40	c cleaning 31994 clauses out of 64006 with flag 1511619/1813595
219.44/218.10	c cleaning 33003 clauses out of 66012 with flag 1604208/1847595
224.04/222.70	c cleaning 34002 clauses out of 68009 with flag 1701000/1882595
228.64/227.39	c cleaning 35003 clauses out of 70007 with flag 1799861/1918595
235.24/233.96	c cleaning 35997 clauses out of 72006 with flag 1903749/1955597
241.95/240.61	c cleaning 36997 clauses out of 74007 with flag 2012160/1993595
249.35/248.01	c cleaning 37997 clauses out of 76011 with flag 2120115/2032596
255.72/254.36	c cleaning 39002 clauses out of 78013 with flag 2231566/2072595
262.42/261.05	c cleaning 40002 clauses out of 80013 with flag 2338931/2113597
269.11/267.75	c cleaning 40998 clauses out of 82009 with flag 2447116/2155595
275.32/273.96	c cleaning 42002 clauses out of 84011 with flag 2564678/2198595
283.71/282.36	c cleaning 42998 clauses out of 86009 with flag 2685954/2242595
294.51/293.19	c cleaning 43998 clauses out of 88012 with flag 2808048/2287596
304.64/303.19	c cleaning 45003 clauses out of 90013 with flag 2932861/2333595
318.64/317.10	c cleaning 46001 clauses out of 92010 with flag 3065302/2380595
330.63/329.11	c cleaning 47004 clauses out of 94009 with flag 3197637/2428595
344.85/343.35	c cleaning 47998 clauses out of 96005 with flag 3332134/2477595
358.64/357.14	c cleaning 48999 clauses out of 98008 with flag 3468401/2527596
368.34/366.70	c cleaning 50004 clauses out of 100010 with flag 3604255/2578597
375.93/374.38	c cleaning 50994 clauses out of 102004 with flag 3747231/2630595
384.84/383.26	c cleaning 51999 clauses out of 104011 with flag 3895535/2683596
394.45/392.80	c cleaning 52996 clauses out of 106011 with flag 4050003/2737595
403.05/401.38	c cleaning 54004 clauses out of 108015 with flag 4204487/2792595
412.06/410.34	c cleaning 55001 clauses out of 110012 with flag 4354533/2848596
420.55/418.89	c cleaning 56001 clauses out of 112010 with flag 4512544/2905595
430.46/428.76	c cleaning 56999 clauses out of 114011 with flag 4669425/2963597
440.56/438.77	c cleaning 57998 clauses out of 116010 with flag 4827453/3022595
450.67/448.88	c cleaning 59004 clauses out of 118013 with flag 4992380/3082596
461.87/460.02	c cleaning 59999 clauses out of 120008 with flag 5164702/3143595
473.78/471.98	c cleaning 61002 clauses out of 122010 with flag 5338230/3205596
484.84/482.93	c cleaning 61999 clauses out of 124008 with flag 5511012/3268596
495.53/493.69	c cleaning 63000 clauses out of 126008 with flag 5685200/3332595
506.33/504.48	c cleaning 64005 clauses out of 128009 with flag 5863249/3397596
524.41/522.47	c cleaning 64995 clauses out of 130004 with flag 6049544/3463596
550.22/548.29	c cleaning 65998 clauses out of 132008 with flag 6231566/3530595
581.92/579.96	c cleaning 67005 clauses out of 134010 with flag 6420965/3598595
612.00/610.00	c cleaning 67998 clauses out of 136005 with flag 6608155/3667595
637.41/635.31	c cleaning 68997 clauses out of 138008 with flag 6798055/3737596
650.81/648.78	c cleaning 70003 clauses out of 140012 with flag 6992550/3808597
666.59/664.42	c cleaning 70999 clauses out of 142009 with flag 7192372/3880597
683.09/680.95	c cleaning 72004 clauses out of 144011 with flag 7397409/3953598
700.80/698.61	c cleaning 72999 clauses out of 146004 with flag 7599868/4027595
716.47/714.22	c cleaning 74002 clauses out of 148007 with flag 7794893/4102597
732.17/729.94	c cleaning 74996 clauses out of 150003 with flag 7999637/4178595
746.08/743.73	c cleaning 76003 clauses out of 152009 with flag 8211520/4255597
761.88/759.57	c cleaning 76999 clauses out of 154004 with flag 8430852/4333595
781.98/779.61	c cleaning 78003 clauses out of 156005 with flag 8653586/4412595
799.64/797.27	c cleaning 78996 clauses out of 158002 with flag 8870514/4492595
820.34/817.90	c cleaning 80001 clauses out of 160007 with flag 9095678/4573596
845.63/843.17	c cleaning 81002 clauses out of 162005 with flag 9321577/4655595
866.74/864.30	c cleaning 81995 clauses out of 164003 with flag 9546594/4738595
887.05/884.55	c cleaning 82999 clauses out of 166008 with flag 9776896/4822595
904.80/902.23	c cleaning 84006 clauses out of 168011 with flag 10004515/4907597
935.91/933.31	c cleaning 84996 clauses out of 170005 with flag 10246690/4993597
964.33/961.69	c cleaning 85999 clauses out of 172007 with flag 10488962/5080595
991.94/989.28	c cleaning 86998 clauses out of 174009 with flag 10733121/5168596
1022.20/1019.40	c cleaning 88001 clauses out of 176010 with flag 10975218/5257595
1051.70/1048.96	c cleaning 88997 clauses out of 178010 with flag 11219220/5347596
1084.38/1081.50	c cleaning 90002 clauses out of 180012 with flag 11473760/5438595
1113.18/1110.34	c cleaning 91001 clauses out of 182010 with flag 11723154/5530595
1140.21/1137.30	c cleaning 92001 clauses out of 184009 with flag 11975569/5623595
1187.53/1184.65	c cleaning 93003 clauses out of 186009 with flag 12236812/5717596
1237.28/1234.32	c cleaning 93998 clauses out of 188006 with flag 12489350/5812596
1271.54/1268.53	c cleaning 95004 clauses out of 190008 with flag 12750174/5908596
1304.14/1301.18	c cleaning 96001 clauses out of 192005 with flag 13013259/6005597
1355.71/1352.68	c cleaning 96993 clauses out of 194002 with flag 13287379/6103595
1397.02/1393.92	c cleaning 98006 clauses out of 196011 with flag 13558328/6202597
1435.99/1432.89	c cleaning 98997 clauses out of 198003 with flag 13837176/6302595
1498.83/1495.59	c cleaning 99999 clauses out of 200006 with flag 14118735/6403595
1553.16/1549.84	c cleaning 101001 clauses out of 202007 with flag 14398291/6505595
1600.25/1596.83	c cleaning 101998 clauses out of 204006 with flag 14675268/6608595
1642.16/1638.60	c cleaning 103003 clauses out of 206009 with flag 14955260/6712596
1659.26/1655.72	c Got one! Elapsed wall clock time (in seconds):1655.6
1659.26/1655.72	o 11122
1665.07/1661.57	c cleaning 77641 clauses out of 155292 with flag 12414/6764882
1667.17/1663.61	c cleaning 41819 clauses out of 83652 with flag 31842/6770883
1668.17/1664.62	c cleaning 24413 clauses out of 48833 with flag 53242/6777883
1668.97/1665.46	c cleaning 16201 clauses out of 32420 with flag 76954/6785883
1669.87/1666.33	c cleaning 12606 clauses out of 25218 with flag 103522/6794882
1670.77/1667.25	c cleaning 11299 clauses out of 22613 with flag 133117/6804883
1671.67/1668.15	c cleaning 11146 clauses out of 22313 with flag 165155/6815882
1672.67/1669.18	c cleaning 11581 clauses out of 23167 with flag 200393/6827882
1673.87/1670.38	c cleaning 12289 clauses out of 24586 with flag 238269/6840882
1675.29/1671.74	c cleaning 13148 clauses out of 26297 with flag 278853/6854882
1676.80/1673.23	c cleaning 14073 clauses out of 28149 with flag 319892/6869882
1678.39/1674.81	c cleaning 15035 clauses out of 30076 with flag 363316/6885882
1679.89/1676.40	c cleaning 16021 clauses out of 32042 with flag 407304/6902883
1681.59/1678.05	c cleaning 17005 clauses out of 34021 with flag 455819/6920883
1683.59/1680.07	c cleaning 18006 clauses out of 36017 with flag 507796/6939884
1686.09/1682.53	c cleaning 19002 clauses out of 38009 with flag 564747/6959882
1688.39/1684.89	c cleaning 20004 clauses out of 40008 with flag 622093/6980883
1690.91/1687.31	c cleaning 21000 clauses out of 42004 with flag 682291/7002883
1693.81/1690.25	c cleaning 22002 clauses out of 44003 with flag 744519/7025882
1697.11/1693.50	c cleaning 22998 clauses out of 46001 with flag 809147/7049882
1700.30/1696.77	c cleaning 24002 clauses out of 48003 with flag 876415/7074882
1703.70/1700.18	c cleaning 24996 clauses out of 50001 with flag 947761/7100882
1707.44/1703.86	c cleaning 25998 clauses out of 52007 with flag 1019823/7127884
1711.44/1707.83	c cleaning 27002 clauses out of 54008 with flag 1093919/7155883
1715.64/1712.02	c cleaning 27999 clauses out of 56005 with flag 1175113/7184882
1719.54/1715.94	c cleaning 29003 clauses out of 58006 with flag 1261850/7214882
1723.34/1719.72	c cleaning 29997 clauses out of 60003 with flag 1352169/7245882
1727.50/1723.81	c cleaning 31000 clauses out of 62006 with flag 1439992/7277882
1731.90/1728.26	c cleaning 32002 clauses out of 64006 with flag 1528561/7310882
1736.69/1733.07	c cleaning 32994 clauses out of 66004 with flag 1620188/7344882
1741.89/1738.20	c cleaning 34001 clauses out of 68010 with flag 1714820/7379882
1747.15/1743.46	c cleaning 35004 clauses out of 70009 with flag 1812441/7415882
1751.95/1748.23	c cleaning 36004 clauses out of 72007 with flag 1911626/7452884
1757.35/1753.62	c cleaning 36994 clauses out of 74002 with flag 2020628/7490883
1763.76/1760.06	c cleaning 38004 clauses out of 76007 with flag 2140085/7529882
1774.09/1770.35	c cleaning 38999 clauses out of 78003 with flag 2263048/7569882
1785.39/1781.61	c cleaning 40000 clauses out of 80005 with flag 2391683/7610883
1796.19/1792.41	c cleaning 40998 clauses out of 82004 with flag 2519445/7652882
1800.10/1796.31	c starts		: 20234
1800.10/1796.31	c conflicts		: 7671158
1800.10/1796.31	c decisions		: 11937619
1800.10/1796.31	c propagations		: 474057676
1800.10/1796.31	c inspects		: 31672399600
1800.10/1796.31	c shortcuts		: 0
1800.10/1796.31	c learnt literals	: 2
1800.10/1796.31	c learnt binary clauses	: 0
1800.10/1796.31	c learnt ternary clauses	: 137
1800.10/1796.31	c learnt constraints	: 7671156
1800.10/1796.31	c ignored constraints	: 0
1800.10/1796.31	c root simplifications	: 0
1800.10/1796.31	c removed literals (reason simplification)	: 0
1800.10/1796.31	c reason swapping (by a shorter reason)	: 0
1800.10/1796.31	c Calls to reduceDB	: 203
1800.10/1796.31	c Number of update (reduction) of LBD	: 353157
1800.10/1796.31	c Imported unit clauses	: 0
1800.10/1796.31	c number of reductions to clauses (during analyze)	: 0
1800.10/1796.31	c number of learned constraints concerned by reduction	: 0
1800.10/1796.31	c number of learning phase by resolution	: 0
1800.10/1796.31	c number of learning phase by cutting planes	: 0
1800.10/1796.31	c speed (assignments/second)	: 263940.17861119774
1800.10/1796.31	c non guided choices	320
1800.10/1796.33	c learnt constraints type 
1800.10/1796.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 59282
1800.10/1796.33	s SATISFIABLE
1800.10/1796.33	c Found 13 solution(s)
1800.10/1796.33	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 
1800.10/1796.33	c objective function=11122
1800.10/1796.33	c Total wall clock time (in seconds): 1796.217

Verifier Data 

OK	11122

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-4090486-1466072743/watcher-4090486-1466072743 -o /tmp/evaluation-result-4090486-1466072743/solver-4090486-1466072743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17743 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090486-1466072743.wbo 

pid=20725
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.36 2.25 2.19 4/194 20728
/proc/meminfo: memFree=30151660/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (java) D 20725 20728 17726 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 9323076 9515008 183 33554432000 1073741824 1073778376 140734464074912 140734464065944 266435641013 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/20728/statm: 2323 183 140 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 2.36 2.25 2.19 4/194 20728
/proc/meminfo: memFree=30151660/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 4392 0 1 0 8 0 0 0 20 0 18 0 9323076 9787879424 6023 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2389619 6023 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200233 s]
/proc/loadavg: 2.36 2.25 2.19 4/194 20728
/proc/meminfo: memFree=30151660/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 4750 0 1 0 23 0 0 0 20 0 18 0 9323076 9787879424 6829 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2389619 6829 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300206 s]
/proc/loadavg: 2.36 2.25 2.19 4/194 20728
/proc/meminfo: memFree=30151660/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 5969 0 1 0 44 1 0 0 20 0 19 0 9323076 9856040960 8526 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2406260 8526 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9625040

[startup+0.700154 s]
/proc/loadavg: 2.36 2.25 2.19 4/194 20728
/proc/meminfo: memFree=30151660/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 9704 0 1 0 127 1 0 0 20 0 19 0 9323076 9856040960 11196 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2406260 11196 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.36 2.25 2.19 4/213 20747
/proc/meminfo: memFree=30110916/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9625040 CPUtime=2.2 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 10527 0 1 0 218 2 0 0 20 0 19 0 9323076 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2406260 12746 2261 9 0 2396937 0
[pid=20728/tid=20730] ppid=20725 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/20728/task/20730/stat : 20730 (java) R 20725 20728 17726 0 -1 4202560 2438 0 1 0 145 0 0 0 20 0 19 0 9323077 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819718533168 139819590586663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20731] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20731/stat : 20731 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819562515496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20732] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20732/stat : 20732 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819561462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20733] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20733/stat : 20733 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819560409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20734] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20734/stat : 20734 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819559357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20735] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20735/stat : 20735 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819558304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20736] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20736/stat : 20736 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819557251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20737] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20737/stat : 20737 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819556198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20738] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20738/stat : 20738 (java) S 20725 20728 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819555145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20739] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20739/stat : 20739 (java) S 20725 20728 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9323079 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819542735848 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20740] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20740/stat : 20740 (java) S 20725 20728 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819541681912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20741] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20741/stat : 20741 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819540629000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20742] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20742/stat : 20742 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819539577488 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20743] ppid=20725 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/20728/task/20743/stat : 20743 (java) S 20725 20728 17726 0 -1 4202560 2258 0 0 0 34 0 0 0 20 0 19 0 9323082 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819538524600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20744] ppid=20725 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/20728/task/20744/stat : 20744 (java) S 20725 20728 17726 0 -1 4202560 4560 0 0 0 36 0 0 0 20 0 19 0 9323082 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819537471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20745] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20745/stat : 20745 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819536419192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20746] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20746/stat : 20746 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819535366600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20747] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20747/stat : 20747 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323099 9856040960 12746 33554432000 1073741824 1073778376 140736732393376 139819534313128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.36 2.25 2.19 4/213 20747
/proc/meminfo: memFree=30101856/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 11792 0 1 0 388 2 0 0 20 0 19 0 9323076 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2406260 15308 2262 9 0 2396937 0
[pid=20728/tid=20730] ppid=20725 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/20728/task/20730/stat : 20730 (java) R 20725 20728 17726 0 -1 4202560 2444 0 1 0 305 0 0 0 20 0 19 0 9323077 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819718524592 139819590681948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20731] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20731/stat : 20731 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819562515496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20732] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20732/stat : 20732 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819561462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20733] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20733/stat : 20733 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819560409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20734] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20734/stat : 20734 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819559357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20735] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20735/stat : 20735 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819558304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20736] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20736/stat : 20736 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819557251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20737] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20737/stat : 20737 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819556198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20738] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20738/stat : 20738 (java) S 20725 20728 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819555145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20739] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20739/stat : 20739 (java) S 20725 20728 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9323079 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819542735848 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20740] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20740/stat : 20740 (java) S 20725 20728 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819541681912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20741] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20741/stat : 20741 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819540629000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20742] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20742/stat : 20742 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819539577488 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20743] ppid=20725 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/20728/task/20743/stat : 20743 (java) S 20725 20728 17726 0 -1 4202560 3517 0 0 0 44 0 0 0 20 0 19 0 9323082 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819538524600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20744] ppid=20725 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/20728/task/20744/stat : 20744 (java) S 20725 20728 17726 0 -1 4202560 4560 0 0 0 37 0 0 0 20 0 19 0 9323082 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819537471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20745] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20745/stat : 20745 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819536419192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20746] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20746/stat : 20746 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819535366600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20747] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20747/stat : 20747 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323099 9856040960 15308 33554432000 1073741824 1073778376 140736732393376 139819534313128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.33 2.25 2.19 4/213 20747
/proc/meminfo: memFree=30084052/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9625040 CPUtime=7.1 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 11803 0 1 0 708 2 0 0 20 0 19 0 9323076 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2406260 19686 2263 9 0 2396937 0
[pid=20728/tid=20730] ppid=20725 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/20728/task/20730/stat : 20730 (java) R 20725 20728 17726 0 -1 4202560 2454 0 1 0 623 1 0 0 20 0 19 0 9323077 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819718524592 139819590874680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20731] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20731/stat : 20731 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819562515496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20732] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20732/stat : 20732 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819561462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20733] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20733/stat : 20733 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819560409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20734] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20734/stat : 20734 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819559357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20735] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20735/stat : 20735 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819558304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20736] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20736/stat : 20736 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819557251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20737] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20737/stat : 20737 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819556198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20738] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20738/stat : 20738 (java) S 20725 20728 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9323078 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819555145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20739] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20739/stat : 20739 (java) S 20725 20728 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9323079 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819542735848 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20740] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20740/stat : 20740 (java) S 20725 20728 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819541681912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20741] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20741/stat : 20741 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819540629000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20742] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20742/stat : 20742 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819539577488 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20743] ppid=20725 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/20728/task/20743/stat : 20743 (java) S 20725 20728 17726 0 -1 4202560 3517 0 0 0 44 0 0 0 20 0 19 0 9323082 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819538524600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20744] ppid=20725 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/20728/task/20744/stat : 20744 (java) S 20725 20728 17726 0 -1 4202560 4560 0 0 0 37 0 0 0 20 0 19 0 9323082 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819537471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20745] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20745/stat : 20745 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819536419192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20746] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20746/stat : 20746 (java) S 20725 20728 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819535366600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20747] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20747/stat : 20747 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323099 9856040960 19686 33554432000 1073741824 1073778376 140736732393376 139819534313128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9625040


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

/proc/20728/task/20747/stat : 20747 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323099 9856040960 111828 33554432000 1073741824 1073778376 140736732393376 139819534313128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.99
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.17 2.21 2.19 3/213 20857
/proc/meminfo: memFree=28334088/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9625040 CPUtime=1786.09 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 14891 0 1 0 178526 83 0 0 20 0 19 0 9323076 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2406260 110143 2290 9 0 2396937 0
[pid=20728/tid=20730] ppid=20725 vsize=9625040 CPUtime=1776.42 cores=1,3,5,7
/proc/20728/task/20730/stat : 20730 (java) R 20725 20728 17726 0 -1 4202560 2539 0 1 0 177609 33 0 0 20 0 19 0 9323077 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819718524640 139819590682028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20731] ppid=20725 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/20728/task/20731/stat : 20731 (java) S 20725 20728 17726 0 -1 4202560 234 0 0 0 34 6 0 0 20 0 19 0 9323078 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819562515496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20732] ppid=20725 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/20728/task/20732/stat : 20732 (java) S 20725 20728 17726 0 -1 4202560 274 0 0 0 43 5 0 0 20 0 19 0 9323078 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819561462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20733] ppid=20725 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/20728/task/20733/stat : 20733 (java) S 20725 20728 17726 0 -1 4202560 529 0 0 0 36 5 0 0 20 0 19 0 9323078 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819560409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20734] ppid=20725 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/20728/task/20734/stat : 20734 (java) S 20725 20728 17726 0 -1 4202560 360 0 0 0 36 6 0 0 20 0 19 0 9323078 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819559357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20735] ppid=20725 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/20728/task/20735/stat : 20735 (java) S 20725 20728 17726 0 -1 4202560 335 0 0 0 39 7 0 0 20 0 19 0 9323078 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819558304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20736] ppid=20725 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/20728/task/20736/stat : 20736 (java) S 20725 20728 17726 0 -1 4202560 356 0 0 0 34 4 0 0 20 0 19 0 9323078 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819557251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20737] ppid=20725 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/20728/task/20737/stat : 20737 (java) S 20725 20728 17726 0 -1 4202560 343 0 0 0 33 6 0 0 20 0 19 0 9323078 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819556198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20738] ppid=20725 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/20728/task/20738/stat : 20738 (java) S 20725 20728 17726 0 -1 4202560 321 0 0 0 35 6 0 0 20 0 19 0 9323078 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819555145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20739] ppid=20725 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/20728/task/20739/stat : 20739 (java) S 20725 20728 17726 0 -1 4202560 151 0 0 0 10 3 0 0 20 0 19 0 9323079 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819542735848 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20740] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20740/stat : 20740 (java) S 20725 20728 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819541681912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20741] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20741/stat : 20741 (java) S 20725 20728 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819540629000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20742] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20742/stat : 20742 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819539577488 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20743] ppid=20725 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/20728/task/20743/stat : 20743 (java) S 20725 20728 17726 0 -1 4202560 3518 0 0 0 54 0 0 0 20 0 19 0 9323082 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819538524600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20744] ppid=20725 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/20728/task/20744/stat : 20744 (java) S 20725 20728 17726 0 -1 4202560 4570 0 0 0 54 0 0 0 20 0 19 0 9323082 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819537471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20745] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20745/stat : 20745 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819536419192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20746] ppid=20725 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/20728/task/20746/stat : 20746 (java) S 20725 20728 17726 0 -1 4202560 104 0 0 0 25 31 0 0 20 0 19 0 9323082 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819535366600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20747] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20747/stat : 20747 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323099 9856040960 110143 33554432000 1073741824 1073778376 140736732393376 139819534313128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1786.09
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.3 s]
/proc/loadavg: 2.21 2.22 2.19 3/213 20857
/proc/meminfo: memFree=28332912/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9625040 CPUtime=1800.1 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 14891 0 1 0 179927 83 0 0 20 0 19 0 9323076 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2406260 110332 2290 9 0 2396937 0
[pid=20728/tid=20730] ppid=20725 vsize=9625040 CPUtime=1790.39 cores=1,3,5,7
/proc/20728/task/20730/stat : 20730 (java) R 20725 20728 17726 0 -1 4202560 2539 0 1 0 179006 33 0 0 20 0 19 0 9323077 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819718524640 139819590681948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20731] ppid=20725 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/20728/task/20731/stat : 20731 (java) S 20725 20728 17726 0 -1 4202560 234 0 0 0 34 6 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819562515496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20732] ppid=20725 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/20728/task/20732/stat : 20732 (java) S 20725 20728 17726 0 -1 4202560 274 0 0 0 43 5 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819561462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20733] ppid=20725 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/20728/task/20733/stat : 20733 (java) S 20725 20728 17726 0 -1 4202560 529 0 0 0 36 5 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819560409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20734] ppid=20725 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/20728/task/20734/stat : 20734 (java) S 20725 20728 17726 0 -1 4202560 360 0 0 0 36 6 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819559357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20735] ppid=20725 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/20728/task/20735/stat : 20735 (java) S 20725 20728 17726 0 -1 4202560 335 0 0 0 39 7 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819558304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20736] ppid=20725 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/20728/task/20736/stat : 20736 (java) S 20725 20728 17726 0 -1 4202560 356 0 0 0 34 4 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819557251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20737] ppid=20725 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/20728/task/20737/stat : 20737 (java) S 20725 20728 17726 0 -1 4202560 343 0 0 0 33 6 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819556198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20738] ppid=20725 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/20728/task/20738/stat : 20738 (java) S 20725 20728 17726 0 -1 4202560 321 0 0 0 35 6 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819555145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20739] ppid=20725 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/20728/task/20739/stat : 20739 (java) S 20725 20728 17726 0 -1 4202560 151 0 0 0 10 3 0 0 20 0 19 0 9323079 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819542735848 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20740] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20740/stat : 20740 (java) S 20725 20728 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819541681912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20741] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20741/stat : 20741 (java) S 20725 20728 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819540629000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20742] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20742/stat : 20742 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819539577488 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20743] ppid=20725 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/20728/task/20743/stat : 20743 (java) S 20725 20728 17726 0 -1 4202560 3518 0 0 0 54 0 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819538524600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20744] ppid=20725 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/20728/task/20744/stat : 20744 (java) S 20725 20728 17726 0 -1 4202560 4570 0 0 0 54 0 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819537471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20745] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20745/stat : 20745 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819536419192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20746] ppid=20725 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/20728/task/20746/stat : 20746 (java) S 20725 20728 17726 0 -1 4202560 104 0 0 0 26 31 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819535366600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20747] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20747/stat : 20747 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323099 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819534313128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20728 sig 9
??? kill -20728 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.3 s]
/proc/loadavg: 2.21 2.22 2.19 3/213 20857
/proc/meminfo: memFree=28332912/32872528 swapFree=1430864/1543284
[pid=20728] ppid=20725 vsize=9625040 CPUtime=1800.1 cores=1,3,5,7
/proc/20728/stat : 20728 (java) S 20725 20728 17726 0 -1 4202496 14891 0 1 0 179927 83 0 0 20 0 19 0 9323076 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 140736732384512 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20728/statm: 2406260 110332 2290 9 0 2396937 0
[pid=20728/tid=20730] ppid=20725 vsize=9625040 CPUtime=1790.39 cores=1,3,5,7
/proc/20728/task/20730/stat : 20730 (java) R 20725 20728 17726 0 -1 4202560 2539 0 1 0 179006 33 0 0 20 0 19 0 9323077 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819718524640 139819590681948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20731] ppid=20725 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/20728/task/20731/stat : 20731 (java) S 20725 20728 17726 0 -1 4202560 234 0 0 0 34 6 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819562515496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20732] ppid=20725 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/20728/task/20732/stat : 20732 (java) S 20725 20728 17726 0 -1 4202560 274 0 0 0 43 5 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819561462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20733] ppid=20725 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/20728/task/20733/stat : 20733 (java) S 20725 20728 17726 0 -1 4202560 529 0 0 0 36 5 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819560409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20734] ppid=20725 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/20728/task/20734/stat : 20734 (java) S 20725 20728 17726 0 -1 4202560 360 0 0 0 36 6 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819559357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20735] ppid=20725 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/20728/task/20735/stat : 20735 (java) S 20725 20728 17726 0 -1 4202560 335 0 0 0 39 7 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819558304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20736] ppid=20725 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/20728/task/20736/stat : 20736 (java) S 20725 20728 17726 0 -1 4202560 356 0 0 0 34 4 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819557251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20728/tid=20737] ppid=20725 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/20728/task/20737/stat : 20737 (java) S 20725 20728 17726 0 -1 4202560 343 0 0 0 33 6 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819556198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20728/tid=20738] ppid=20725 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/20728/task/20738/stat : 20738 (java) S 20725 20728 17726 0 -1 4202560 321 0 0 0 35 6 0 0 20 0 19 0 9323078 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819555145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20739] ppid=20725 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/20728/task/20739/stat : 20739 (java) S 20725 20728 17726 0 -1 4202560 151 0 0 0 10 3 0 0 20 0 19 0 9323079 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819542735848 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20740] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20740/stat : 20740 (java) S 20725 20728 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819541681912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20741] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20741/stat : 20741 (java) S 20725 20728 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9323080 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819540629000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20742] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20742/stat : 20742 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819539577488 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20743] ppid=20725 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/20728/task/20743/stat : 20743 (java) S 20725 20728 17726 0 -1 4202560 3518 0 0 0 54 0 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819538524600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20744] ppid=20725 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/20728/task/20744/stat : 20744 (java) S 20725 20728 17726 0 -1 4202560 4570 0 0 0 54 0 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819537471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20745] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20745/stat : 20745 (java) S 20725 20728 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819536419192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20728/tid=20746] ppid=20725 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/20728/task/20746/stat : 20746 (java) S 20725 20728 17726 0 -1 4202560 104 0 0 0 26 31 0 0 20 0 19 0 9323082 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819535366600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20728/tid=20747] ppid=20725 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20728/task/20747/stat : 20747 (java) S 20725 20728 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9323099 9856040960 110332 33554432000 1073741824 1073778376 140736732393376 139819534313128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1796.34
CPU time (s): 1800.1
CPU user time (s): 1799.27
CPU system time (s): 0.83
CPU usage (%): 100.209
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 1.26081
maximum resident set size= 574700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14936
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39092
involuntary context switches= 12915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2114 second user time and 13.7049 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-16 12:25:44
IDJOB=4090486
IDBENCH=79611
IDSOLVER=2551
FILE ID=node116/4090486-1466072743
RUNJOBID= node116-1466062131-17743
PBS_JOBID= 19904020
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-503_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090486-1466072743/watcher-4090486-1466072743 -o /tmp/evaluation-result-4090486-1466072743/solver-4090486-1466072743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17743 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090486-1466072743.wbo

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

MD5SUM BENCH= 08f4b88f9040f70d336d7e223b6d5133
RANDOM SEED=608085686

node116.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.781
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.56
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.781
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.781
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.55
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.781
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.781
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.781
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.781
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.55
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.781
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:        30152700 kB
Buffers:           15928 kB
Cached:            47988 kB
SwapCached:         2840 kB
Active:           422284 kB
Inactive:          35036 kB
Active(anon):     393832 kB
Inactive(anon):     1948 kB
Active(file):      28452 kB
Inactive(file):    33088 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:               828 kB
Writeback:            36 kB
AnonPages:       1980500 kB
Mapped:            15296 kB
Shmem:                 0 kB
Slab:             566236 kB
SReclaimable:      10368 kB
SUnreclaim:       555868 kB
KernelStack:        1560 kB
PageTables:         7844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2618440 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= 71608 MiB
End job on node116 at 2016-06-16 12:55:40