Trace number 4085871

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 PB16SAT (TO)-91 1800.09 1774.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_2.opb
MD5SUM8d62286ae12c02f1d9e42b05c51333f2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-115
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

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-4085871-1465259015.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.74/0.41	c ... done. Wall clock time 0.294s.
0.74/0.41	c declared #vars     500
0.74/0.41	c internal #vars     3664
0.74/0.41	c #constraints  7328
0.74/0.41	c constraints type 
0.74/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3164
0.74/0.41	c org.sat4j.minisat.constraints.cnf.UnitClauses => 391
0.74/0.41	c org.sat4j.specs.Constr$1 => 563
0.74/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 46
0.74/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3164
0.74/0.41	c 7328 constraints processed.
0.74/0.41	c objective function length is 500 literals
0.74/0.45	c SATISFIABLE
0.74/0.45	c OPTIMIZING...
0.74/0.45	c Got one! Elapsed wall clock time (in seconds):0.334
0.74/0.45	o -82
1.76/0.91	c Got one! Elapsed wall clock time (in seconds):0.789
1.76/0.91	o -83
1.76/0.91	c Got one! Elapsed wall clock time (in seconds):0.795
1.76/0.91	o -85
1.91/1.01	c cleaning 2591 clauses out of 5181 with flag 2116/5181
2.31/1.37	c cleaning 4295 clauses out of 8590 with flag 14581/11181
2.41/1.46	c Got one! Elapsed wall clock time (in seconds):1.346
2.41/1.46	o -86
2.88/1.71	c cleaning 5107 clauses out of 10214 with flag 8427/17100
3.19/2.06	c cleaning 5554 clauses out of 11108 with flag 20894/23101
3.62/2.46	c cleaning 6275 clauses out of 12554 with flag 35497/30101
4.12/2.93	c cleaning 7139 clauses out of 14279 with flag 52033/38101
4.71/3.54	c cleaning 8066 clauses out of 16141 with flag 70664/47102
4.83/3.61	c Got one! Elapsed wall clock time (in seconds):3.492
4.83/3.61	o -87
5.06/3.87	c cleaning 6608 clauses out of 13225 with flag 8798/52252
5.27/4.00	c Got one! Elapsed wall clock time (in seconds):3.887
5.27/4.00	o -88
5.47/4.21	c cleaning 5999 clauses out of 11998 with flag 6729/57633
5.87/4.61	c cleaning 6000 clauses out of 11999 with flag 19896/63633
6.33/5.09	c cleaning 6494 clauses out of 12999 with flag 35109/70633
6.84/5.55	c cleaning 7250 clauses out of 14506 with flag 51481/78634
7.33/6.09	c cleaning 8125 clauses out of 16256 with flag 70020/87634
7.94/6.67	c cleaning 9063 clauses out of 18130 with flag 90566/97633
8.63/7.36	c cleaning 10026 clauses out of 20067 with flag 113212/108633
9.43/8.13	c cleaning 11021 clauses out of 22041 with flag 138078/120633
9.43/8.14	c Got one! Elapsed wall clock time (in seconds):8.026
9.43/8.14	o -89
9.73/8.50	c cleaning 8140 clauses out of 16290 with flag 10951/125903
10.14/8.84	c cleaning 7076 clauses out of 14152 with flag 23803/131905
10.53/9.20	c cleaning 7033 clauses out of 14075 with flag 38173/138904
11.00/9.66	c cleaning 7518 clauses out of 15041 with flag 54604/146903
11.50/10.14	c cleaning 8256 clauses out of 16523 with flag 73187/155903
12.10/10.70	c cleaning 9132 clauses out of 18267 with flag 93682/165903
12.60/11.28	c cleaning 10066 clauses out of 20135 with flag 116393/176903
13.30/11.92	c cleaning 11031 clauses out of 22069 with flag 141109/188903
14.00/12.66	c cleaning 12015 clauses out of 24038 with flag 167887/201903
14.90/13.57	c cleaning 13006 clauses out of 26023 with flag 196676/215903
16.00/14.51	c cleaning 14007 clauses out of 28018 with flag 227603/230904
17.10/15.62	c cleaning 15004 clauses out of 30013 with flag 260436/246906
18.40/16.96	c cleaning 16002 clauses out of 32007 with flag 295525/263904
19.80/18.35	c cleaning 17000 clauses out of 34004 with flag 332788/281903
21.46/19.90	c cleaning 17998 clauses out of 36005 with flag 372400/300904
23.35/21.70	c cleaning 19001 clauses out of 38007 with flag 413753/320904
25.25/23.61	c cleaning 19999 clauses out of 40006 with flag 457121/341904
27.25/25.66	c cleaning 21000 clauses out of 42007 with flag 502557/363904
29.61/27.84	c cleaning 22000 clauses out of 44006 with flag 549836/386903
31.71/29.92	c cleaning 23003 clauses out of 46006 with flag 599341/410903
33.82/32.10	c cleaning 23999 clauses out of 48003 with flag 650797/435903
36.35/34.43	c cleaning 24999 clauses out of 50005 with flag 704348/461904
38.75/36.85	c cleaning 26002 clauses out of 52006 with flag 759881/488904
41.45/39.53	c cleaning 27002 clauses out of 54004 with flag 817533/516904
44.64/42.58	c cleaning 27998 clauses out of 56001 with flag 877814/545903
47.84/45.70	c cleaning 28998 clauses out of 58004 with flag 939965/575904
51.33/48.91	c cleaning 30000 clauses out of 60006 with flag 1004301/606904
54.82/52.42	c cleaning 31002 clauses out of 62006 with flag 1070341/638904
58.34/55.94	c cleaning 31999 clauses out of 64005 with flag 1138476/671905
62.72/60.24	c cleaning 33001 clauses out of 66005 with flag 1208645/705904
68.00/65.43	c cleaning 33995 clauses out of 68003 with flag 1280868/740903
73.01/70.33	c cleaning 35004 clauses out of 70009 with flag 1355135/776904
77.80/75.12	c cleaning 36003 clauses out of 72005 with flag 1431652/813904
82.67/79.96	c cleaning 37001 clauses out of 74003 with flag 1510311/851905
87.80/85.03	c cleaning 37997 clauses out of 76000 with flag 1590741/890903
92.79/89.97	c cleaning 38997 clauses out of 78003 with flag 1673432/930903
98.30/95.40	c cleaning 40002 clauses out of 80007 with flag 1758280/971904
104.03/101.11	c cleaning 40998 clauses out of 82005 with flag 1845229/1013904
109.14/106.17	c cleaning 42003 clauses out of 84008 with flag 1934499/1056905
115.41/112.32	c cleaning 42995 clauses out of 86004 with flag 2025528/1100904
121.48/118.32	c cleaning 43998 clauses out of 88008 with flag 2118687/1145903
127.33/124.10	c cleaning 45002 clauses out of 90011 with flag 2214239/1191904
133.31/130.01	c cleaning 46000 clauses out of 92008 with flag 2311714/1238903
139.59/136.23	c cleaning 47005 clauses out of 94009 with flag 2410936/1286904
146.14/142.71	c cleaning 47999 clauses out of 96003 with flag 2512687/1335903
153.24/149.76	c cleaning 48997 clauses out of 98006 with flag 2615656/1385905
159.49/155.98	c cleaning 50002 clauses out of 100008 with flag 2721468/1436904
166.93/163.28	c cleaning 51001 clauses out of 102005 with flag 2829082/1488903
174.68/170.84	c cleaning 52001 clauses out of 104005 with flag 2939124/1541904
183.03/179.19	c cleaning 52998 clauses out of 106004 with flag 3050896/1595904
191.98/187.96	c cleaning 53995 clauses out of 108005 with flag 3165098/1650903
201.39/197.27	c cleaning 55000 clauses out of 110010 with flag 3281345/1706903
209.69/205.42	c cleaning 56006 clauses out of 112011 with flag 3399411/1763904
219.52/215.18	c cleaning 57000 clauses out of 114004 with flag 3520191/1821903
230.80/226.38	c cleaning 57998 clauses out of 116005 with flag 3642853/1880904
240.57/235.98	c cleaning 59002 clauses out of 118007 with flag 3767547/1940904
250.70/245.98	c cleaning 59999 clauses out of 120005 with flag 3894198/2001904
260.12/255.29	c cleaning 61003 clauses out of 122005 with flag 4023027/2063903
272.03/267.07	c cleaning 61995 clauses out of 124002 with flag 4153946/2126903
282.38/277.12	c cleaning 63003 clauses out of 126008 with flag 4286822/2190904
293.35/288.00	c cleaning 63999 clauses out of 128005 with flag 4421847/2255904
304.24/298.69	c cleaning 64998 clauses out of 130006 with flag 4559366/2321904
316.41/310.68	c cleaning 65999 clauses out of 132007 with flag 4698972/2388903
329.32/323.37	c cleaning 67003 clauses out of 134008 with flag 4840622/2456903
341.59/335.40	c cleaning 68000 clauses out of 136008 with flag 4984632/2525906
353.95/347.65	c cleaning 69001 clauses out of 138006 with flag 5130337/2595904
366.64/360.14	c cleaning 70003 clauses out of 140006 with flag 5277847/2666905
382.03/375.31	c cleaning 70997 clauses out of 142001 with flag 5427526/2738903
396.04/389.21	c cleaning 71998 clauses out of 144005 with flag 5578804/2811904
408.24/401.29	c cleaning 72997 clauses out of 146007 with flag 5732179/2885904
423.20/416.07	c cleaning 74001 clauses out of 148009 with flag 5887734/2960903
435.39/428.01	c cleaning 75000 clauses out of 150009 with flag 6046550/3036904
448.39/440.82	c cleaning 76000 clauses out of 152010 with flag 6207537/3113905
463.43/455.69	c cleaning 77003 clauses out of 154008 with flag 6370673/3191903
478.44/470.43	c cleaning 78003 clauses out of 156007 with flag 6534717/3270905
497.75/489.51	c cleaning 78999 clauses out of 158003 with flag 6700340/3350904
513.79/505.38	c cleaning 79998 clauses out of 160005 with flag 6868288/3431905
533.86/525.26	c cleaning 80998 clauses out of 162006 with flag 7038296/3513904
551.08/542.22	c cleaning 81999 clauses out of 164008 with flag 7209765/3596904
571.44/562.30	c cleaning 83001 clauses out of 166008 with flag 7383089/3680903
590.78/581.44	c cleaning 84000 clauses out of 168007 with flag 7559197/3765903
612.81/603.23	c cleaning 85004 clauses out of 170007 with flag 7737141/3851903
631.89/622.08	c cleaning 85999 clauses out of 172003 with flag 7916540/3938903
650.22/640.12	c cleaning 86998 clauses out of 174004 with flag 8098698/4026903
672.90/662.51	c cleaning 87998 clauses out of 176006 with flag 8282335/4115903
689.54/678.98	c cleaning 88997 clauses out of 178008 with flag 8470180/4205903
712.71/701.84	c cleaning 90004 clauses out of 180011 with flag 8660178/4296903
730.81/719.73	c cleaning 91000 clauses out of 182008 with flag 8851052/4388904
752.91/741.54	c cleaning 92001 clauses out of 184007 with flag 9044990/4481903
773.10/761.45	c cleaning 93004 clauses out of 186007 with flag 9240433/4575904
795.66/783.71	c cleaning 94001 clauses out of 188003 with flag 9437273/4670904
820.50/808.23	c cleaning 94997 clauses out of 190003 with flag 9637150/4766905
837.55/824.98	c cleaning 95995 clauses out of 192005 with flag 9837100/4863904
856.92/844.08	c cleaning 96998 clauses out of 194009 with flag 10039796/4961903
873.97/860.89	c cleaning 98003 clauses out of 196012 with flag 10244053/5060904
896.92/883.58	c cleaning 99002 clauses out of 198008 with flag 10450341/5160903
916.95/903.24	c cleaning 100000 clauses out of 200007 with flag 10658621/5261904
936.96/922.99	c cleaning 101001 clauses out of 202007 with flag 10868476/5363904
959.44/945.24	c cleaning 101998 clauses out of 204006 with flag 11080879/5466904
989.26/974.83	c cleaning 103000 clauses out of 206008 with flag 11296240/5570904
1018.72/1003.94	c cleaning 104004 clauses out of 208007 with flag 11513573/5675903
1047.10/1032.04	c cleaning 104998 clauses out of 210005 with flag 11733370/5781905
1071.09/1055.64	c Got one! Elapsed wall clock time (in seconds):1055.522
1071.09/1055.64	o -90
1075.79/1060.40	c cleaning 107693 clauses out of 215389 with flag 10620/5892287
1077.99/1062.51	c cleaning 56847 clauses out of 113696 with flag 23394/5898287
1078.89/1063.45	c cleaning 31920 clauses out of 63849 with flag 38359/5905287
1079.63/1064.17	c cleaning 19960 clauses out of 39928 with flag 55458/5913286
1080.34/1064.80	c cleaning 14480 clauses out of 28968 with flag 74710/5922286
1080.95/1065.47	c cleaning 12237 clauses out of 24490 with flag 96112/5932288
1081.75/1066.21	c cleaning 11620 clauses out of 23253 with flag 119650/5943288
1082.47/1066.99	c cleaning 11810 clauses out of 23631 with flag 145244/5955286
1082.77/1067.20	c Got one! Elapsed wall clock time (in seconds):1067.083
1082.77/1067.20	o -91
1082.87/1067.35	c cleaning 8897 clauses out of 17799 with flag 4491/5961264
1083.17/1067.68	c cleaning 7449 clauses out of 14903 with flag 17956/5967265
1083.57/1068.07	c cleaning 7221 clauses out of 14454 with flag 33441/5974265
1084.08/1068.54	c cleaning 7615 clauses out of 15232 with flag 50414/5982264
1084.58/1069.08	c cleaning 8307 clauses out of 16619 with flag 69543/5991266
1085.30/1069.71	c cleaning 9155 clauses out of 18310 with flag 90868/6001264
1086.00/1070.41	c cleaning 10078 clauses out of 20155 with flag 114346/6012264
1086.73/1071.15	c cleaning 11035 clauses out of 22078 with flag 139917/6024265
1087.52/1071.96	c cleaning 12017 clauses out of 24042 with flag 167533/6037264
1088.44/1072.86	c cleaning 13007 clauses out of 26025 with flag 197172/6051264
1089.58/1073.90	c cleaning 14010 clauses out of 28019 with flag 228881/6066265
1090.68/1075.08	c cleaning 14998 clauses out of 30008 with flag 263026/6082264
1091.98/1076.37	c cleaning 16005 clauses out of 32011 with flag 299225/6099265
1093.62/1077.92	c cleaning 17001 clauses out of 34005 with flag 337593/6117264
1095.26/1079.58	c cleaning 17997 clauses out of 36004 with flag 378111/6136264
1097.00/1081.26	c cleaning 19003 clauses out of 38007 with flag 420464/6156264
1098.70/1082.90	c cleaning 19994 clauses out of 40004 with flag 465118/6177264
1100.72/1084.96	c cleaning 21006 clauses out of 42011 with flag 512173/6199265
1102.66/1086.87	c cleaning 22000 clauses out of 44004 with flag 559941/6222264
1104.70/1088.86	c cleaning 23001 clauses out of 46004 with flag 609239/6246264
1106.84/1090.97	c cleaning 23998 clauses out of 48004 with flag 660923/6271265
1109.58/1093.61	c cleaning 24996 clauses out of 50005 with flag 714932/6297264
1112.33/1096.31	c cleaning 26001 clauses out of 52009 with flag 770642/6324264
1115.53/1099.56	c cleaning 27000 clauses out of 54010 with flag 828298/6352266
1119.16/1103.18	c cleaning 28001 clauses out of 56009 with flag 888002/6381265
1123.19/1107.15	c cleaning 29000 clauses out of 58007 with flag 949810/6411264
1126.82/1110.71	c cleaning 30002 clauses out of 60008 with flag 1013711/6442265
1130.35/1114.29	c cleaning 31001 clauses out of 62005 with flag 1079595/6474264
1134.06/1117.98	c cleaning 31997 clauses out of 64005 with flag 1147582/6507265
1138.38/1122.13	c cleaning 32999 clauses out of 66008 with flag 1217683/6541265
1142.63/1126.31	c cleaning 34003 clauses out of 68008 with flag 1289982/6576264
1147.37/1131.03	c cleaning 35001 clauses out of 70005 with flag 1364205/6612264
1152.16/1135.71	c cleaning 36002 clauses out of 72004 with flag 1440677/6649264
1157.22/1140.73	c cleaning 36997 clauses out of 74003 with flag 1519390/6687265
1162.94/1146.32	c cleaning 38003 clauses out of 76005 with flag 1600111/6726264
1167.87/1151.26	c cleaning 38999 clauses out of 78002 with flag 1682254/6766264
1172.47/1155.79	c cleaning 39993 clauses out of 80003 with flag 1766954/6807264
1177.06/1160.20	c cleaning 41004 clauses out of 82010 with flag 1853785/6849264
1182.10/1165.24	c cleaning 41998 clauses out of 84006 with flag 1942727/6892264
1187.43/1170.49	c cleaning 42999 clauses out of 86008 with flag 2036116/6936264
1193.09/1176.03	c cleaning 44003 clauses out of 88009 with flag 2131592/6981264
1198.43/1181.31	c cleaning 44999 clauses out of 90006 with flag 2226922/7027264
1204.63/1187.46	c cleaning 45997 clauses out of 92008 with flag 2324509/7074265
1210.35/1193.07	c cleaning 47002 clauses out of 94010 with flag 2423250/7122264
1215.90/1198.50	c cleaning 48002 clauses out of 96010 with flag 2525146/7171266
1222.09/1204.66	c cleaning 49001 clauses out of 98008 with flag 2628784/7221266
1228.19/1210.62	c cleaning 49996 clauses out of 100005 with flag 2734281/7272264
1234.09/1216.45	c cleaning 51003 clauses out of 102009 with flag 2843456/7324264
1242.21/1224.42	c cleaning 52001 clauses out of 104006 with flag 2957160/7377264
1249.48/1231.63	c cleaning 52999 clauses out of 106006 with flag 3070358/7431265
1257.46/1239.43	c cleaning 53999 clauses out of 108006 with flag 3183941/7486264
1265.08/1246.98	c cleaning 54999 clauses out of 110008 with flag 3299633/7542265
1272.18/1253.99	c cleaning 56001 clauses out of 112009 with flag 3418290/7599265
1281.90/1263.58	c cleaning 57000 clauses out of 114007 with flag 3540008/7657264
1293.03/1274.55	c cleaning 57998 clauses out of 116008 with flag 3665263/7716265
1303.03/1284.49	c cleaning 59004 clauses out of 118009 with flag 3792230/7776264
1313.96/1295.21	c cleaning 60001 clauses out of 120006 with flag 3918561/7837265
1324.62/1305.73	c cleaning 61003 clauses out of 122005 with flag 4046374/7899265
1334.69/1315.64	c cleaning 61999 clauses out of 124002 with flag 4177858/7962265
1345.63/1326.42	c cleaning 62996 clauses out of 126002 with flag 4309921/8026264
1355.70/1336.33	c cleaning 64000 clauses out of 128006 with flag 4444148/8091264
1366.09/1346.57	c cleaning 65000 clauses out of 130007 with flag 4580853/8157265
1379.43/1359.80	c cleaning 65999 clauses out of 132008 with flag 4722391/8224266
1392.53/1372.62	c cleaning 67003 clauses out of 134007 with flag 4865710/8292264
1404.48/1384.40	c cleaning 68000 clauses out of 136004 with flag 5008426/8361264
1416.98/1396.71	c cleaning 69000 clauses out of 138005 with flag 5153019/8431265
1427.29/1406.85	c cleaning 69996 clauses out of 140006 with flag 5299529/8502266
1439.28/1418.60	c cleaning 71000 clauses out of 142009 with flag 5447737/8574265
1450.24/1429.41	c cleaning 71998 clauses out of 144008 with flag 5598636/8647264
1464.61/1443.66	c cleaning 73002 clauses out of 146011 with flag 5751183/8721265
1476.11/1454.90	c cleaning 74002 clauses out of 148008 with flag 5905850/8796264
1487.27/1465.97	c cleaning 75002 clauses out of 150007 with flag 6062314/8872265
1500.98/1479.49	c cleaning 75998 clauses out of 152004 with flag 6220849/8949264
1515.49/1493.75	c cleaning 76998 clauses out of 154006 with flag 6381362/9027264
1529.25/1507.40	c cleaning 77999 clauses out of 156008 with flag 6544120/9106264
1542.32/1520.21	c cleaning 78999 clauses out of 158010 with flag 6709008/9186265
1555.97/1533.68	c cleaning 80000 clauses out of 160010 with flag 6875617/9267264
1568.81/1546.20	c cleaning 81003 clauses out of 162012 with flag 7044304/9349266
1582.76/1560.06	c cleaning 81999 clauses out of 164007 with flag 7215208/9432264
1599.86/1576.93	c cleaning 82999 clauses out of 166008 with flag 7388316/9516264
1616.78/1593.66	c cleaning 84001 clauses out of 168009 with flag 7563594/9601264
1633.38/1610.06	c cleaning 84999 clauses out of 170009 with flag 7740993/9687265
1650.29/1626.69	c cleaning 86001 clauses out of 172010 with flag 7920449/9774265
1667.18/1643.40	c cleaning 87001 clauses out of 174008 with flag 8102280/9862264
1688.20/1664.19	c cleaning 87996 clauses out of 176007 with flag 8286525/9951264
1708.22/1683.98	c cleaning 89003 clauses out of 178011 with flag 8473132/10041264
1725.74/1701.23	c cleaning 89998 clauses out of 180008 with flag 8661493/10132264
1741.93/1717.12	c cleaning 90996 clauses out of 182010 with flag 8852374/10224264
1763.57/1738.56	c cleaning 92007 clauses out of 184016 with flag 9045636/10317266
1781.48/1756.16	c cleaning 93003 clauses out of 186009 with flag 9240742/10411266
1800.09/1774.50	c starts		: 10
1800.09/1774.50	c conflicts		: 10498400
1800.09/1774.50	c decisions		: 11791487
1800.09/1774.50	c propagations		: 75490050
1800.09/1774.50	c inspects		: 25997580010
1800.09/1774.50	c shortcuts		: 0
1800.09/1774.50	c learnt literals	: 0
1800.09/1774.50	c learnt binary clauses	: 0
1800.09/1774.50	c learnt ternary clauses	: 0
1800.09/1774.50	c learnt constraints	: 10498401
1800.09/1774.50	c ignored constraints	: 0
1800.09/1774.50	c root simplifications	: 0
1800.09/1774.50	c removed literals (reason simplification)	: 0
1800.09/1774.50	c reason swapping (by a shorter reason)	: 0
1800.09/1774.50	c Calls to reduceDB	: 216
1800.09/1774.50	c Number of update (reduction) of LBD	: 77697
1800.09/1774.50	c Imported unit clauses	: 0
1800.09/1774.50	c number of reductions to clauses (during analyze)	: 0
1800.09/1774.50	c number of learned constraints concerned by reduction	: 0
1800.09/1774.50	c number of learning phase by resolution	: 0
1800.09/1774.50	c number of learning phase by cutting planes	: 0
1800.09/1774.50	c speed (assignments/second)	: 42551.80730905249
1800.09/1774.50	c non guided choices	0
1800.09/1774.53	c learnt constraints type 
1800.09/1774.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 180141
1800.09/1774.53	s SATISFIABLE
1800.09/1774.53	c Found 9 solution(s)
1800.09/1774.53	v x1 x2 -x3 x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 x71 x72 x73 -x74 x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 x131 x132 x133 x134 -x135 x136 x137 -x138 -x139 -x140 x141 x142 -x143 -x144 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 -x255 x256 x257 x258 x259 x260 -x261 x262 -x263 x264 -x265 -x266 x267 x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 x383 x384 -x385 -x386 x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.09/1774.54	c objective function=-91
1800.09/1774.54	c Total wall clock time (in seconds): 1774.418

Verifier Data 

OK	-91

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-4085871-1465259015/watcher-4085871-1465259015 -o /tmp/evaluation-result-4085871-1465259015/solver-4085871-1465259015 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9907 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085871-1465259015.opb 

pid=14825
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.34 2.24 2.19 4/197 14828
/proc/meminfo: memFree=29664472/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/14828/stat : 14828 (java) R 14825 14828 9891 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 107833548 2560000 46 33554432000 1073741824 1073778376 140733481874896 140733481872024 215115459879 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 892 47 37 9 0 30 0

[startup+0.100062 s]
/proc/loadavg: 2.34 2.24 2.19 4/197 14828
/proc/meminfo: memFree=29664472/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 4420 0 1 0 8 1 0 0 20 0 18 0 107833548 9787879424 6031 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200224 s]
/proc/loadavg: 2.34 2.24 2.19 4/197 14828
/proc/meminfo: memFree=29664472/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 4716 0 1 0 22 1 0 0 20 0 18 0 107833548 9787879424 6790 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2389619 6790 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 2.34 2.24 2.19 4/197 14828
/proc/meminfo: memFree=29664472/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 5405 0 1 0 42 1 0 0 20 0 18 0 107833548 9787879424 8917 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2389619 8917 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.700229 s]
/proc/loadavg: 2.34 2.24 2.19 4/197 14828
/proc/meminfo: memFree=29664472/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 14818 0 1 0 150 3 0 0 20 0 19 0 107833548 9856040960 16138 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2406260 16138 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.39 2.25 2.19 4/216 14847
/proc/meminfo: memFree=29606580/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 15783 0 1 0 255 3 0 0 20 0 19 0 107833548 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2406260 21803 2274 9 0 2396937 0
[pid=14828/tid=14830] ppid=14825 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (java) R 14825 14828 9891 0 -1 4202560 2433 0 1 0 144 2 0 0 20 0 19 0 107833549 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187769273672 140187615826743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (java) S 14825 14828 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187741727272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14832] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14832/stat : 14832 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187740674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14833] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14833/stat : 14833 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187739621672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14834] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14834/stat : 14834 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187738568872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14835] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14835/stat : 14835 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187737517096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14836] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14836/stat : 14836 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187736464296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14837] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14837/stat : 14837 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187735411496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14838] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14838/stat : 14838 (java) S 14825 14828 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187734358696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14839] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14839/stat : 14839 (java) S 14825 14828 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187122239976 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14840] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14840/stat : 14840 (java) S 14825 14828 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187121186040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14841] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14841/stat : 14841 (java) S 14825 14828 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187120133128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14842] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14842/stat : 14842 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187119081616 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14843] ppid=14825 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/14828/task/14843/stat : 14843 (java) R 14825 14828 9891 0 -1 4202560 5589 0 0 0 49 0 0 0 20 0 19 0 107833554 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187118029632 140187773391888 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14844] ppid=14825 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/14828/task/14844/stat : 14844 (java) R 14825 14828 9891 0 -1 4202560 6482 0 0 0 59 0 0 0 20 0 19 0 107833554 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187116976832 140187773363301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14845] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14845/stat : 14845 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187115924344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14846] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14846/stat : 14846 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187114871752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14847] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14847/stat : 14847 (java) S 14825 14828 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107833591 9856040960 21803 33554432000 1073741824 1073778376 140733481874896 140187113817256 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 9625040

[startup+3.1009 s]
/proc/loadavg: 2.39 2.25 2.19 3/216 14847
/proc/meminfo: memFree=29573316/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9625040 CPUtime=4.32 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 15843 0 1 0 428 4 0 0 20 0 19 0 107833548 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2406260 33615 2274 9 0 2396937 0
[pid=14828/tid=14830] ppid=14825 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (java) R 14825 14828 9891 0 -1 4202560 2457 0 1 0 303 2 0 0 20 0 19 0 107833549 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187769274632 140187615826779 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (java) S 14825 14828 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187741727272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14832] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14832/stat : 14832 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187740674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14833] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14833/stat : 14833 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187739621672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14834] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14834/stat : 14834 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187738568872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14835] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14835/stat : 14835 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187737517096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14836] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14836/stat : 14836 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187736464296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14837] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14837/stat : 14837 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187735411496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14838] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14838/stat : 14838 (java) S 14825 14828 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187734358696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14839] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14839/stat : 14839 (java) S 14825 14828 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187122239976 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14840] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14840/stat : 14840 (java) S 14825 14828 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187121186040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14841] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14841/stat : 14841 (java) S 14825 14828 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187120133128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14842] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14842/stat : 14842 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187119081616 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14843] ppid=14825 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/14828/task/14843/stat : 14843 (java) S 14825 14828 9891 0 -1 4202560 5625 0 0 0 56 0 0 0 20 0 19 0 107833554 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187118029752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14844] ppid=14825 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/14828/task/14844/stat : 14844 (java) S 14825 14828 9891 0 -1 4202560 6482 0 0 0 65 0 0 0 20 0 19 0 107833554 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187116976952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14845] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14845/stat : 14845 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187115924344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14846] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14846/stat : 14846 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187114871752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14847] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14847/stat : 14847 (java) S 14825 14828 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107833591 9856040960 33615 33554432000 1073741824 1073778376 140733481874896 140187113817256 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9625040

[startup+6.30089 s]
/proc/loadavg: 2.36 2.25 2.19 3/216 14847
/proc/meminfo: memFree=29480920/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9625040 CPUtime=7.63 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 15929 0 1 0 755 8 0 0 20 0 19 0 107833548 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2406260 49840 2288 9 0 2396937 0
[pid=14828/tid=14830] ppid=14825 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (java) R 14825 14828 9891 0 -1 4202560 2484 0 1 0 619 3 0 0 20 0 19 0 107833549 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187769265888 140187615863346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (java) S 14825 14828 9891 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187741727272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14832] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14832/stat : 14832 (java) S 14825 14828 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187740674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14833] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14833/stat : 14833 (java) S 14825 14828 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187739621672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14834] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14834/stat : 14834 (java) S 14825 14828 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187738568872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14835] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14835/stat : 14835 (java) S 14825 14828 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187737517096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14836] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14836/stat : 14836 (java) S 14825 14828 9891 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187736464296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14837] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14837/stat : 14837 (java) S 14825 14828 9891 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187735411496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14838] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14838/stat : 14838 (java) S 14825 14828 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107833550 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187734358696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14839] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14839/stat : 14839 (java) S 14825 14828 9891 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187122239976 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14840] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14840/stat : 14840 (java) S 14825 14828 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187121186040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14841] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14841/stat : 14841 (java) S 14825 14828 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187120133128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14842] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14842/stat : 14842 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187119081616 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14843] ppid=14825 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/14828/task/14843/stat : 14843 (java) S 14825 14828 9891 0 -1 4202560 5625 0 0 0 56 0 0 0 20 0 19 0 107833554 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187118029752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14844] ppid=14825 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/14828/task/14844/stat : 14844 (java) S 14825 14828 9891 0 -1 4202560 6482 0 0 0 71 0 0 0 20 0 19 0 107833554 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187116976952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14845] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14845/stat : 14845 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187115924344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14846] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14846/stat : 14846 (java) S 14825 14828 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187114871752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14847] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14847/stat : 14847 (java) S 14825 14828 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107833591 9856040960 49840 33554432000 1073741824 1073778376 140733481874896 140187113817256 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 9625040


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

[pid=14828/tid=14847] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14847/stat : 14847 (java) S 14825 14828 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107833591 9856040960 196047 33554432000 1073741824 1073778376 140733481874896 140187113817256 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1686.4
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/216 14956
/proc/meminfo: memFree=28831924/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9625040 CPUtime=1747.15 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 26740 0 1 0 174517 198 0 0 20 0 19 0 107833548 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2406260 196087 2297 9 0 2396937 0
[pid=14828/tid=14830] ppid=14825 vsize=9625040 CPUtime=1702.97 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (java) R 14825 14828 9891 0 -1 4202560 2893 0 1 0 170267 30 0 0 20 0 19 0 107833549 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187769273600 140187615903929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (java) S 14825 14828 9891 0 -1 4202560 1165 0 0 0 402 25 0 0 20 0 19 0 107833550 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187741727272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14832] ppid=14825 vsize=9625040 CPUtime=3.98 cores=0,2,4,6
/proc/14828/task/14832/stat : 14832 (java) S 14825 14828 9891 0 -1 4202560 724 0 0 0 377 21 0 0 20 0 19 0 107833550 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187740674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14833] ppid=14825 vsize=9625040 CPUtime=4.07 cores=0,2,4,6
/proc/14828/task/14833/stat : 14833 (java) S 14825 14828 9891 0 -1 4202560 1589 0 0 0 388 19 0 0 20 0 19 0 107833550 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187739621672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14834] ppid=14825 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/14828/task/14834/stat : 14834 (java) S 14825 14828 9891 0 -1 4202560 1001 0 0 0 405 23 0 0 20 0 19 0 107833550 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187738568872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14835] ppid=14825 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/14828/task/14835/stat : 14835 (java) S 14825 14828 9891 0 -1 4202560 1254 0 0 0 389 19 0 0 20 0 19 0 107833550 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187737517096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14836] ppid=14825 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/14828/task/14836/stat : 14836 (java) S 14825 14828 9891 0 -1 4202560 1113 0 0 0 379 21 0 0 20 0 19 0 107833550 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187736464296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14837] ppid=14825 vsize=9625040 CPUtime=4.04 cores=0,2,4,6
/proc/14828/task/14837/stat : 14837 (java) S 14825 14828 9891 0 -1 4202560 1053 0 0 0 383 21 0 0 20 0 19 0 107833550 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187735411496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14838] ppid=14825 vsize=9625040 CPUtime=4.15 cores=0,2,4,6
/proc/14828/task/14838/stat : 14838 (java) S 14825 14828 9891 0 -1 4202560 957 0 0 0 397 18 0 0 20 0 19 0 107833550 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187734358696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14839] ppid=14825 vsize=9625040 CPUtime=5.36 cores=0,2,4,6
/proc/14828/task/14839/stat : 14839 (java) S 14825 14828 9891 0 -1 4202560 1510 0 0 0 530 6 0 0 20 0 19 0 107833551 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187122239976 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14840] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14840/stat : 14840 (java) S 14825 14828 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187121186040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14841] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14841/stat : 14841 (java) S 14825 14828 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187120133128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14842] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14842/stat : 14842 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187119081616 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14843] ppid=14825 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/14828/task/14843/stat : 14843 (java) S 14825 14828 9891 0 -1 4202560 5625 0 0 0 56 0 0 0 20 0 19 0 107833554 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187118029752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14844] ppid=14825 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/14828/task/14844/stat : 14844 (java) S 14825 14828 9891 0 -1 4202560 6492 0 0 0 73 0 0 0 20 0 19 0 107833554 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187116976952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14845] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14845/stat : 14845 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187115924344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14846] ppid=14825 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/14828/task/14846/stat : 14846 (java) S 14825 14828 9891 0 -1 4202560 100 0 0 0 25 25 0 0 20 0 19 0 107833554 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187114871752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14847] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14847/stat : 14847 (java) S 14825 14828 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107833591 9856040960 196087 33554432000 1073741824 1073778376 140733481874896 140187113817256 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1747.15
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.5 s]
/proc/loadavg: 2.22 2.21 2.18 3/216 14957
/proc/meminfo: memFree=28866660/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 26788 0 1 0 179810 199 0 0 20 0 19 0 107833548 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2406260 191255 2297 9 0 2396937 0
[pid=14828/tid=14830] ppid=14825 vsize=9625040 CPUtime=1754.58 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (java) R 14825 14828 9891 0 -1 4202560 2905 0 1 0 175427 31 0 0 20 0 19 0 107833549 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187769273584 140187615903952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=9625040 CPUtime=4.37 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (java) S 14825 14828 9891 0 -1 4202560 1165 0 0 0 412 25 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187741727272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14832] ppid=14825 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/14828/task/14832/stat : 14832 (java) S 14825 14828 9891 0 -1 4202560 724 0 0 0 387 21 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187740674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14833] ppid=14825 vsize=9625040 CPUtime=4.18 cores=0,2,4,6
/proc/14828/task/14833/stat : 14833 (java) S 14825 14828 9891 0 -1 4202560 1589 0 0 0 399 19 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187739621672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14834] ppid=14825 vsize=9625040 CPUtime=4.45 cores=0,2,4,6
/proc/14828/task/14834/stat : 14834 (java) S 14825 14828 9891 0 -1 4202560 1001 0 0 0 422 23 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187738568872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14835] ppid=14825 vsize=9625040 CPUtime=4.21 cores=0,2,4,6
/proc/14828/task/14835/stat : 14835 (java) S 14825 14828 9891 0 -1 4202560 1254 0 0 0 402 19 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187737517096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14836] ppid=14825 vsize=9625040 CPUtime=4.14 cores=0,2,4,6
/proc/14828/task/14836/stat : 14836 (java) S 14825 14828 9891 0 -1 4202560 1113 0 0 0 393 21 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187736464296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14837] ppid=14825 vsize=9625040 CPUtime=4.17 cores=0,2,4,6
/proc/14828/task/14837/stat : 14837 (java) S 14825 14828 9891 0 -1 4202560 1053 0 0 0 396 21 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187735411496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14838] ppid=14825 vsize=9625040 CPUtime=4.29 cores=0,2,4,6
/proc/14828/task/14838/stat : 14838 (java) S 14825 14828 9891 0 -1 4202560 957 0 0 0 411 18 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187734358696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14839] ppid=14825 vsize=9625040 CPUtime=5.53 cores=0,2,4,6
/proc/14828/task/14839/stat : 14839 (java) S 14825 14828 9891 0 -1 4202560 1542 0 0 0 547 6 0 0 20 0 19 0 107833551 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187122239976 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14840] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14840/stat : 14840 (java) S 14825 14828 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187121186040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14841] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14841/stat : 14841 (java) S 14825 14828 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187120133128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14842] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14842/stat : 14842 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187119081616 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14843] ppid=14825 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/14828/task/14843/stat : 14843 (java) S 14825 14828 9891 0 -1 4202560 5625 0 0 0 56 0 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187118029752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14844] ppid=14825 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/14828/task/14844/stat : 14844 (java) S 14825 14828 9891 0 -1 4202560 6492 0 0 0 73 0 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187116976952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14845] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14845/stat : 14845 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187115924344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14846] ppid=14825 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/14828/task/14846/stat : 14846 (java) S 14825 14828 9891 0 -1 4202560 104 0 0 0 26 26 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187114871752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14847] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14847/stat : 14847 (java) S 14825 14828 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107833591 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187113817256 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 14828 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1774.5 s]
/proc/loadavg: 2.22 2.21 2.18 3/216 14957
/proc/meminfo: memFree=28866660/32872528 swapFree=20720/1686580
[pid=14828] ppid=14825 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/14828/stat : 14828 (java) S 14825 14828 9891 0 -1 4202496 26788 0 1 0 179810 199 0 0 20 0 19 0 107833548 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140733481866032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14828/statm: 2406260 191255 2297 9 0 2396937 0
[pid=14828/tid=14830] ppid=14825 vsize=9625040 CPUtime=1754.58 cores=0,2,4,6
/proc/14828/task/14830/stat : 14830 (java) R 14825 14828 9891 0 -1 4202560 2905 0 1 0 175427 31 0 0 20 0 19 0 107833549 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187769273584 140187615903952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14831] ppid=14825 vsize=9625040 CPUtime=4.37 cores=0,2,4,6
/proc/14828/task/14831/stat : 14831 (java) S 14825 14828 9891 0 -1 4202560 1165 0 0 0 412 25 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187741727272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14832] ppid=14825 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/14828/task/14832/stat : 14832 (java) S 14825 14828 9891 0 -1 4202560 724 0 0 0 387 21 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187740674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14833] ppid=14825 vsize=9625040 CPUtime=4.18 cores=0,2,4,6
/proc/14828/task/14833/stat : 14833 (java) S 14825 14828 9891 0 -1 4202560 1589 0 0 0 399 19 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187739621672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14834] ppid=14825 vsize=9625040 CPUtime=4.45 cores=0,2,4,6
/proc/14828/task/14834/stat : 14834 (java) S 14825 14828 9891 0 -1 4202560 1001 0 0 0 422 23 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187738568872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14835] ppid=14825 vsize=9625040 CPUtime=4.21 cores=0,2,4,6
/proc/14828/task/14835/stat : 14835 (java) S 14825 14828 9891 0 -1 4202560 1254 0 0 0 402 19 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187737517096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14836] ppid=14825 vsize=9625040 CPUtime=4.14 cores=0,2,4,6
/proc/14828/task/14836/stat : 14836 (java) S 14825 14828 9891 0 -1 4202560 1113 0 0 0 393 21 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187736464296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14837] ppid=14825 vsize=9625040 CPUtime=4.17 cores=0,2,4,6
/proc/14828/task/14837/stat : 14837 (java) S 14825 14828 9891 0 -1 4202560 1053 0 0 0 396 21 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187735411496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14828/tid=14838] ppid=14825 vsize=9625040 CPUtime=4.29 cores=0,2,4,6
/proc/14828/task/14838/stat : 14838 (java) S 14825 14828 9891 0 -1 4202560 957 0 0 0 411 18 0 0 20 0 19 0 107833550 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187734358696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14839] ppid=14825 vsize=9625040 CPUtime=5.53 cores=0,2,4,6
/proc/14828/task/14839/stat : 14839 (java) S 14825 14828 9891 0 -1 4202560 1542 0 0 0 547 6 0 0 20 0 19 0 107833551 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187122239976 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14828/tid=14840] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14840/stat : 14840 (java) S 14825 14828 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187121186040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14841] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14841/stat : 14841 (java) S 14825 14828 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107833551 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187120133128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14842] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14842/stat : 14842 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187119081616 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14843] ppid=14825 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/14828/task/14843/stat : 14843 (java) S 14825 14828 9891 0 -1 4202560 5625 0 0 0 56 0 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187118029752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14828/tid=14844] ppid=14825 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/14828/task/14844/stat : 14844 (java) S 14825 14828 9891 0 -1 4202560 6492 0 0 0 73 0 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187116976952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14845] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14845/stat : 14845 (java) S 14825 14828 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187115924344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14846] ppid=14825 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/14828/task/14846/stat : 14846 (java) S 14825 14828 9891 0 -1 4202560 104 0 0 0 26 26 0 0 20 0 19 0 107833554 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187114871752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14828/tid=14847] ppid=14825 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14828/task/14847/stat : 14847 (java) S 14825 14828 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107833591 9856040960 191255 33554432000 1073741824 1073778376 140733481874896 140187113817256 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14828 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=718313
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=441628
# CPU time returned by wait4() is 1796.16
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1774.54
CPU time (s): 1800.09
CPU user time (s): 1798.1
CPU system time (s): 1.99
CPU usage (%): 101.44
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.72
system time used= 2.44163
maximum resident set size= 895280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26824
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51058
involuntary context switches= 55808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4531 second user time and 11.2343 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-07 02:23:35
IDJOB=4085871
IDBENCH=48220
IDSOLVER=2546
FILE ID=node135/4085871-1465259015
RUNJOBID= node135-1465226821-9907
PBS_JOBID= 19843238
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085871-1465259015/watcher-4085871-1465259015 -o /tmp/evaluation-result-4085871-1465259015/solver-4085871-1465259015 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9907 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085871-1465259015.opb

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

MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2
RANDOM SEED=142051124

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29665116 kB
Buffers:           49904 kB
Cached:           100036 kB
SwapCached:         1824 kB
Active:           730528 kB
Inactive:          88308 kB
Active(anon):     670044 kB
Inactive(anon):     1356 kB
Active(file):      60484 kB
Inactive(file):    86952 kB
Unevictable:     1686580 kB
Mlocked:           20720 kB
SwapTotal:      67108856 kB
SwapFree:       67098256 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       2485324 kB
Mapped:            15460 kB
Shmem:                 0 kB
Slab:             567616 kB
SReclaimable:      11456 kB
SUnreclaim:       556160 kB
KernelStack:        1784 kB
PageTables:         8844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2492984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2424832 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= 71736 MiB
End job on node135 at 2016-06-07 02:53:09