Trace number 3458419

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 Resolution 2.3.0SAT (TO)-16 1800.08 1798.36

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM4142356c9f50acd7c9005938f6b31a6d
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-32
Best CPU time to get the best result obtained on this benchmark1797.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		12995394264
0.06/0.09	c Max memory 		13063553024
0.06/0.09	c Total memory 		13063553024
0.06/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458419-1307161419.opb
0.10/0.11	c reading problem ... 
1.06/0.51	c ... done. Wall clock time 0.396s.
1.06/0.51	c #vars     6604
1.06/0.51	c #constraints  13010
1.06/0.51	c constraints type 
1.06/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1.06/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.06/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.06/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
4.02/3.01	c cleaning 2501 clauses out of 5001 with flag 5001/5001
4.84/3.80	c SATISFIABLE
4.84/3.80	c OPTIMIZING...
4.84/3.80	c Got one! Elapsed wall clock time (in seconds):3.689
4.84/3.80	o -16
6.31/5.28	c cleaning 3907 clauses out of 7813 with flag 3000/10314
9.61/8.55	c cleaning 4917 clauses out of 9906 with flag 9000/16314
12.71/11.62	c cleaning 5931 clauses out of 11989 with flag 16000/23314
16.46/15.39	c cleaning 6901 clauses out of 14058 with flag 24000/31314
21.97/20.89	c cleaning 8018 clauses out of 16157 with flag 33000/40314
26.75/25.61	c cleaning 8980 clauses out of 18139 with flag 43000/50314
32.56/31.48	c cleaning 9967 clauses out of 20159 with flag 54000/61314
39.16/38.04	c cleaning 10968 clauses out of 22192 with flag 66000/73314
47.96/46.88	c cleaning 12020 clauses out of 24224 with flag 79000/86314
57.77/56.66	c cleaning 13102 clauses out of 26204 with flag 93000/100314
67.87/66.72	c cleaning 13404 clauses out of 27102 with flag 107000/114314
77.57/76.49	c cleaning 13807 clauses out of 27698 with flag 121000/128314
86.57/85.42	c cleaning 13841 clauses out of 27891 with flag 135000/142314
94.59/93.46	c cleaning 14002 clauses out of 28050 with flag 149000/156314
103.88/102.72	c cleaning 13958 clauses out of 28048 with flag 163000/170314
114.39/113.22	c cleaning 13916 clauses out of 28090 with flag 177000/184314
124.29/123.15	c cleaning 13966 clauses out of 28174 with flag 191000/198314
135.29/134.19	c cleaning 13979 clauses out of 28208 with flag 205000/212314
144.68/143.50	c cleaning 13951 clauses out of 28229 with flag 219000/226314
152.78/151.63	c cleaning 14046 clauses out of 28279 with flag 233001/240315
160.18/159.01	c cleaning 14045 clauses out of 28232 with flag 247000/254314
168.18/167.03	c cleaning 14046 clauses out of 28187 with flag 261000/268314
175.68/174.59	c cleaning 14015 clauses out of 28141 with flag 275000/282314
185.18/184.08	c cleaning 13962 clauses out of 28126 with flag 289000/296314
195.09/193.93	c cleaning 14013 clauses out of 28164 with flag 303000/310314
204.20/203.01	c cleaning 13985 clauses out of 28151 with flag 317000/324314
211.50/210.38	c cleaning 14058 clauses out of 28166 with flag 331000/338314
219.90/218.82	c cleaning 13996 clauses out of 28108 with flag 345000/352314
229.40/228.29	c cleaning 13944 clauses out of 28112 with flag 359000/366314
238.90/237.70	c cleaning 13964 clauses out of 28168 with flag 373000/380314
248.50/247.31	c cleaning 13980 clauses out of 28204 with flag 387000/394314
258.10/256.96	c cleaning 14101 clauses out of 28224 with flag 401000/408314
266.40/265.23	c cleaning 13962 clauses out of 28123 with flag 415000/422314
273.80/272.69	c cleaning 13977 clauses out of 28161 with flag 429000/436314
282.20/281.08	c cleaning 14007 clauses out of 28184 with flag 443000/450314
291.20/290.08	c cleaning 13976 clauses out of 28177 with flag 457000/464314
299.50/298.35	c cleaning 13976 clauses out of 28201 with flag 471000/478314
307.50/306.33	c cleaning 14049 clauses out of 28225 with flag 485000/492314
314.40/313.21	c cleaning 14009 clauses out of 28176 with flag 499000/506314
320.91/319.72	c cleaning 14030 clauses out of 28167 with flag 513000/520314
329.31/328.11	c cleaning 13967 clauses out of 28137 with flag 527000/534314
336.21/335.09	c cleaning 14014 clauses out of 28170 with flag 541000/548314
343.71/342.59	c cleaning 13980 clauses out of 28156 with flag 555000/562314
350.71/349.58	c cleaning 13993 clauses out of 28176 with flag 569000/576314
357.92/356.70	c cleaning 14009 clauses out of 28183 with flag 583000/590314
366.12/364.92	c cleaning 13936 clauses out of 28174 with flag 597000/604314
375.52/374.39	c cleaning 13976 clauses out of 28238 with flag 611000/618314
384.42/383.21	c cleaning 14013 clauses out of 28262 with flag 625000/632314
393.52/392.30	c cleaning 13972 clauses out of 28249 with flag 639000/646314
401.93/400.74	c cleaning 14078 clauses out of 28277 with flag 653000/660314
409.83/408.63	c cleaning 13984 clauses out of 28199 with flag 667000/674314
417.53/416.35	c cleaning 14043 clauses out of 28215 with flag 681000/688314
424.93/423.70	c cleaning 14023 clauses out of 28172 with flag 695000/702314
432.34/431.13	c cleaning 13984 clauses out of 28149 with flag 709000/716314
439.83/438.61	c cleaning 13993 clauses out of 28165 with flag 723000/730314
447.43/446.29	c cleaning 13972 clauses out of 28172 with flag 737000/744314
455.13/453.97	c cleaning 14040 clauses out of 28200 with flag 751000/758314
462.33/461.10	c cleaning 13990 clauses out of 28160 with flag 765000/772314
469.53/468.31	c cleaning 13990 clauses out of 28170 with flag 779000/786314
477.03/475.85	c cleaning 14050 clauses out of 28180 with flag 793000/800314
483.54/482.37	c cleaning 14007 clauses out of 28130 with flag 807000/814314
490.34/489.19	c cleaning 14006 clauses out of 28123 with flag 821000/828314
496.74/495.56	c cleaning 13974 clauses out of 28117 with flag 835000/842314
503.14/501.96	c cleaning 14017 clauses out of 28143 with flag 849000/856314
508.84/507.67	c cleaning 13979 clauses out of 28126 with flag 863000/870314
514.54/513.30	c cleaning 14017 clauses out of 28147 with flag 877000/884314
520.96/519.76	c cleaning 13998 clauses out of 28130 with flag 891000/898314
529.18/527.93	c cleaning 14001 clauses out of 28132 with flag 905000/912314
537.57/536.36	c cleaning 13974 clauses out of 28131 with flag 919000/926314
545.07/543.85	c cleaning 13995 clauses out of 28157 with flag 933000/940314
553.57/552.31	c cleaning 13983 clauses out of 28162 with flag 947000/954314
561.88/560.62	c cleaning 13988 clauses out of 28179 with flag 961000/968314
568.58/567.38	c cleaning 14082 clauses out of 28191 with flag 975000/982314
575.98/574.76	c cleaning 13939 clauses out of 28109 with flag 989000/996314
583.20/581.98	c cleaning 14012 clauses out of 28170 with flag 1003000/1010314
590.08/588.82	c cleaning 14015 clauses out of 28158 with flag 1017000/1024314
596.18/595.01	c cleaning 13999 clauses out of 28143 with flag 1031000/1038314
602.08/600.89	c cleaning 13998 clauses out of 28144 with flag 1045000/1052314
608.40/607.13	c cleaning 14027 clauses out of 28146 with flag 1059000/1066314
614.08/612.85	c cleaning 13992 clauses out of 28119 with flag 1073000/1080314
620.39/619.11	c cleaning 13937 clauses out of 28127 with flag 1087000/1094314
627.59/626.33	c cleaning 14003 clauses out of 28190 with flag 1101000/1108314
634.19/632.94	c cleaning 14027 clauses out of 28187 with flag 1115000/1122314
640.60/639.30	c cleaning 14056 clauses out of 28160 with flag 1129000/1136314
646.60/645.34	c cleaning 14010 clauses out of 28104 with flag 1143000/1150314
652.41/651.12	c cleaning 13988 clauses out of 28094 with flag 1157000/1164314
657.91/656.70	c cleaning 14009 clauses out of 28106 with flag 1171000/1178314
665.00/663.76	c cleaning 13926 clauses out of 28097 with flag 1185000/1192314
672.80/671.55	c cleaning 13991 clauses out of 28171 with flag 1199000/1206314
680.30/679.05	c cleaning 14038 clauses out of 28180 with flag 1213000/1220314
687.10/685.82	c cleaning 14019 clauses out of 28142 with flag 1227000/1234314
693.30/692.03	c cleaning 14013 clauses out of 28123 with flag 1241000/1248314
699.11/697.87	c cleaning 14026 clauses out of 28110 with flag 1255000/1262314
704.81/703.56	c cleaning 13980 clauses out of 28084 with flag 1269000/1276314
710.31/709.06	c cleaning 14000 clauses out of 28104 with flag 1283000/1290314
716.81/715.59	c cleaning 13998 clauses out of 28104 with flag 1297000/1304314
724.71/723.44	c cleaning 14012 clauses out of 28106 with flag 1311000/1318314
731.82/730.55	c cleaning 13974 clauses out of 28094 with flag 1325000/1332314
739.33/738.06	c cleaning 14030 clauses out of 28120 with flag 1339000/1346314
746.82/745.56	c cleaning 13925 clauses out of 28090 with flag 1353000/1360314
755.42/754.12	c cleaning 14028 clauses out of 28166 with flag 1367001/1374315
762.73/761.43	c cleaning 14007 clauses out of 28137 with flag 1381000/1388314
770.33/769.00	c cleaning 14033 clauses out of 28130 with flag 1395000/1402314
777.23/775.90	c cleaning 13990 clauses out of 28097 with flag 1409000/1416314
784.23/782.90	c cleaning 14005 clauses out of 28107 with flag 1423000/1430314
790.43/789.18	c cleaning 14017 clauses out of 28102 with flag 1437000/1444314
796.33/795.00	c cleaning 13978 clauses out of 28085 with flag 1451000/1458314
801.53/800.26	c cleaning 14012 clauses out of 28107 with flag 1465000/1472314
807.24/805.90	c cleaning 13971 clauses out of 28095 with flag 1479000/1486314
814.45/813.13	c cleaning 14006 clauses out of 28124 with flag 1493000/1500314
821.05/819.79	c cleaning 13962 clauses out of 28118 with flag 1507000/1514314
828.85/827.52	c cleaning 13979 clauses out of 28156 with flag 1521000/1528314
836.95/835.70	c cleaning 13967 clauses out of 28177 with flag 1535000/1542314
845.35/844.09	c cleaning 14062 clauses out of 28210 with flag 1549000/1556314
852.85/851.55	c cleaning 13985 clauses out of 28148 with flag 1563000/1570314
859.65/858.36	c cleaning 13969 clauses out of 28163 with flag 1577000/1584314
866.97/865.70	c cleaning 14036 clauses out of 28194 with flag 1591000/1598314
873.95/872.63	c cleaning 14026 clauses out of 28158 with flag 1605000/1612314
880.56/879.28	c cleaning 14005 clauses out of 28132 with flag 1619000/1626314
886.46/885.11	c cleaning 13997 clauses out of 28127 with flag 1633000/1640314
892.56/891.22	c cleaning 14021 clauses out of 28130 with flag 1647000/1654314
898.36/897.02	c cleaning 13969 clauses out of 28109 with flag 1661000/1668314
903.76/902.44	c cleaning 14011 clauses out of 28140 with flag 1675000/1682314
909.26/907.91	c cleaning 14018 clauses out of 28130 with flag 1689001/1696315
914.57/913.29	c cleaning 13996 clauses out of 28111 with flag 1703000/1710314
921.17/919.82	c cleaning 13942 clauses out of 28115 with flag 1717000/1724314
927.87/926.52	c cleaning 14002 clauses out of 28173 with flag 1731000/1738314
933.78/932.47	c cleaning 14057 clauses out of 28171 with flag 1745000/1752314
939.18/937.81	c cleaning 13991 clauses out of 28114 with flag 1759000/1766314
945.78/944.42	c cleaning 13950 clauses out of 28123 with flag 1773000/1780314
952.48/951.19	c cleaning 13998 clauses out of 28173 with flag 1787000/1794314
958.69/957.34	c cleaning 14028 clauses out of 28175 with flag 1801000/1808314
964.29/963.00	c cleaning 14017 clauses out of 28147 with flag 1815000/1822314
969.89/968.54	c cleaning 13992 clauses out of 28130 with flag 1829000/1836314
974.99/973.63	c cleaning 14006 clauses out of 28138 with flag 1843000/1850314
980.89/979.55	c cleaning 14005 clauses out of 28132 with flag 1857000/1864314
986.49/985.10	c cleaning 14000 clauses out of 28127 with flag 1871000/1878314
992.00/990.63	c cleaning 13985 clauses out of 28127 with flag 1885000/1892314
997.00/995.64	c cleaning 14044 clauses out of 28142 with flag 1899000/1906314
1001.70/1000.38	c cleaning 14030 clauses out of 28098 with flag 1913000/1920314
1007.82/1006.50	c cleaning 13956 clauses out of 28068 with flag 1927000/1934314
1013.50/1012.19	c cleaning 14008 clauses out of 28112 with flag 1941000/1948314
1018.61/1017.24	c cleaning 14027 clauses out of 28104 with flag 1955000/1962314
1023.41/1022.03	c cleaning 13950 clauses out of 28077 with flag 1969000/1976314
1029.21/1027.86	c cleaning 13952 clauses out of 28127 with flag 1983000/1990314
1035.81/1034.41	c cleaning 14040 clauses out of 28175 with flag 1997000/2004314
1043.04/1041.69	c cleaning 13981 clauses out of 28135 with flag 2011000/2018314
1049.74/1048.37	c cleaning 13981 clauses out of 28154 with flag 2025000/2032314
1056.34/1054.95	c cleaning 14001 clauses out of 28173 with flag 2039000/2046314
1063.23/1061.86	c cleaning 14074 clauses out of 28172 with flag 2053000/2060314
1070.03/1068.67	c cleaning 13983 clauses out of 28098 with flag 2067000/2074314
1077.25/1075.85	c cleaning 13947 clauses out of 28115 with flag 2081000/2088314
1085.14/1083.70	c cleaning 13990 clauses out of 28168 with flag 2095000/2102314
1092.74/1091.35	c cleaning 14020 clauses out of 28178 with flag 2109000/2116314
1100.26/1098.87	c cleaning 14003 clauses out of 28158 with flag 2123000/2130314
1107.05/1105.61	c cleaning 14011 clauses out of 28155 with flag 2137000/2144314
1113.57/1112.15	c cleaning 13993 clauses out of 28144 with flag 2151000/2158314
1119.45/1118.09	c cleaning 13983 clauses out of 28151 with flag 2165000/2172314
1125.35/1123.91	c cleaning 14030 clauses out of 28168 with flag 2179000/2186314
1131.76/1130.38	c cleaning 13988 clauses out of 28138 with flag 2193000/2200314
1138.16/1136.78	c cleaning 14058 clauses out of 28150 with flag 2207000/2214314
1144.28/1142.91	c cleaning 13968 clauses out of 28092 with flag 2221000/2228314
1149.46/1148.04	c cleaning 14054 clauses out of 28124 with flag 2235000/2242314
1154.57/1153.17	c cleaning 13979 clauses out of 28070 with flag 2249000/2256314
1159.57/1158.21	c cleaning 13901 clauses out of 28091 with flag 2263000/2270314
1166.57/1165.14	c cleaning 14006 clauses out of 28190 with flag 2277000/2284314
1172.89/1171.43	c cleaning 14010 clauses out of 28184 with flag 2291000/2298314
1178.50/1177.06	c cleaning 14054 clauses out of 28174 with flag 2305000/2312314
1183.78/1182.32	c cleaning 13987 clauses out of 28120 with flag 2319000/2326314
1188.58/1187.14	c cleaning 14011 clauses out of 28133 with flag 2333000/2340314
1194.48/1193.02	c cleaning 13998 clauses out of 28122 with flag 2347000/2354314
1199.88/1198.46	c cleaning 14045 clauses out of 28124 with flag 2361000/2368314
1204.59/1203.14	c cleaning 13991 clauses out of 28079 with flag 2375000/2382314
1209.09/1207.69	c cleaning 13956 clauses out of 28088 with flag 2389000/2396314
1214.81/1213.37	c cleaning 14005 clauses out of 28132 with flag 2403000/2410314
1219.89/1218.46	c cleaning 13996 clauses out of 28127 with flag 2417000/2424314
1224.29/1222.82	c cleaning 14019 clauses out of 28131 with flag 2431000/2438314
1230.59/1229.11	c cleaning 13956 clauses out of 28112 with flag 2445000/2452314
1237.09/1235.69	c cleaning 14006 clauses out of 28156 with flag 2459000/2466314
1242.99/1241.58	c cleaning 13988 clauses out of 28150 with flag 2473000/2480314
1248.60/1247.16	c cleaning 14071 clauses out of 28162 with flag 2487000/2494314
1254.20/1252.80	c cleaning 14012 clauses out of 28091 with flag 2501000/2508314
1259.30/1257.84	c cleaning 13931 clauses out of 28079 with flag 2515000/2522314
1265.00/1263.53	c cleaning 13978 clauses out of 28148 with flag 2529000/2536314
1270.01/1268.53	c cleaning 14060 clauses out of 28170 with flag 2543000/2550314
1275.01/1273.55	c cleaning 14021 clauses out of 28110 with flag 2557000/2564314
1280.11/1278.68	c cleaning 13984 clauses out of 28089 with flag 2571000/2578314
1285.23/1283.76	c cleaning 14005 clauses out of 28105 with flag 2585000/2592314
1289.53/1288.07	c cleaning 14004 clauses out of 28100 with flag 2599000/2606314
1294.51/1293.04	c cleaning 13962 clauses out of 28096 with flag 2613000/2620314
1299.72/1298.21	c cleaning 14032 clauses out of 28134 with flag 2627000/2634314
1304.72/1303.21	c cleaning 13987 clauses out of 28102 with flag 2641000/2648314
1309.02/1307.51	c cleaning 14006 clauses out of 28115 with flag 2655000/2662314
1314.42/1312.93	c cleaning 13962 clauses out of 28109 with flag 2669000/2676314
1319.34/1317.89	c cleaning 14040 clauses out of 28147 with flag 2683000/2690314
1324.02/1322.53	c cleaning 14011 clauses out of 28107 with flag 2697000/2704314
1328.42/1326.98	c cleaning 13980 clauses out of 28096 with flag 2711000/2718314
1333.32/1331.85	c cleaning 14002 clauses out of 28116 with flag 2725000/2732314
1337.63/1336.13	c cleaning 14017 clauses out of 28114 with flag 2739000/2746314
1342.23/1340.75	c cleaning 13953 clauses out of 28097 with flag 2753000/2760314
1346.03/1344.59	c cleaning 14061 clauses out of 28144 with flag 2767000/2774314
1350.54/1349.02	c cleaning 13989 clauses out of 28083 with flag 2781000/2788314
1354.34/1352.81	c cleaning 13992 clauses out of 28094 with flag 2795000/2802314
1359.04/1357.51	c cleaning 13995 clauses out of 28102 with flag 2809000/2816314
1364.04/1362.57	c cleaning 14026 clauses out of 28107 with flag 2823000/2830314
1368.44/1366.92	c cleaning 13985 clauses out of 28081 with flag 2837000/2844314
1373.04/1371.54	c cleaning 13990 clauses out of 28096 with flag 2851000/2858314
1377.84/1376.33	c cleaning 14011 clauses out of 28106 with flag 2865000/2872314
1382.25/1380.74	c cleaning 14010 clauses out of 28095 with flag 2879000/2886314
1387.15/1385.61	c cleaning 13986 clauses out of 28085 with flag 2893000/2900314
1392.55/1391.05	c cleaning 13993 clauses out of 28099 with flag 2907000/2914314
1397.05/1395.60	c cleaning 14018 clauses out of 28106 with flag 2921000/2928314
1401.55/1400.00	c cleaning 13962 clauses out of 28088 with flag 2935000/2942314
1405.45/1403.97	c cleaning 14022 clauses out of 28126 with flag 2949000/2956314
1409.85/1408.38	c cleaning 13985 clauses out of 28104 with flag 2963000/2970314
1414.06/1412.53	c cleaning 14001 clauses out of 28119 with flag 2977000/2984314
1419.66/1418.13	c cleaning 13985 clauses out of 28118 with flag 2991000/2998314
1425.56/1424.09	c cleaning 13990 clauses out of 28133 with flag 3005000/3012314
1431.97/1430.48	c cleaning 13990 clauses out of 28143 with flag 3019000/3026314
1437.97/1436.42	c cleaning 14014 clauses out of 28153 with flag 3033000/3040314
1443.88/1442.38	c cleaning 14005 clauses out of 28139 with flag 3047000/3054314
1449.20/1447.69	c cleaning 13962 clauses out of 28134 with flag 3061000/3068314
1455.28/1453.76	c cleaning 14002 clauses out of 28172 with flag 3075000/3082314
1462.30/1460.78	c cleaning 14046 clauses out of 28170 with flag 3089000/3096314
1469.59/1468.09	c cleaning 13986 clauses out of 28124 with flag 3103000/3110314
1476.49/1474.98	c cleaning 14033 clauses out of 28138 with flag 3117000/3124314
1483.39/1481.89	c cleaning 13941 clauses out of 28105 with flag 3131000/3138314
1490.00/1488.49	c cleaning 13999 clauses out of 28164 with flag 3145000/3152314
1496.60/1495.05	c cleaning 13988 clauses out of 28165 with flag 3159000/3166314
1502.80/1501.20	c cleaning 14026 clauses out of 28177 with flag 3173000/3180314
1509.61/1508.10	c cleaning 13985 clauses out of 28151 with flag 3187000/3194314
1516.00/1514.42	c cleaning 13949 clauses out of 28166 with flag 3201000/3208314
1522.40/1520.82	c cleaning 14065 clauses out of 28217 with flag 3215000/3222314
1528.70/1527.17	c cleaning 14016 clauses out of 28152 with flag 3229000/3236314
1534.51/1532.93	c cleaning 14015 clauses out of 28136 with flag 3243000/3250314
1539.91/1538.36	c cleaning 13991 clauses out of 28121 with flag 3257000/3264314
1545.31/1543.76	c cleaning 14004 clauses out of 28130 with flag 3271000/3278314
1550.71/1549.18	c cleaning 14021 clauses out of 28126 with flag 3285000/3292314
1556.31/1554.76	c cleaning 14018 clauses out of 28105 with flag 3299000/3306314
1562.13/1560.53	c cleaning 13954 clauses out of 28087 with flag 3313000/3320314
1567.53/1565.99	c cleaning 14039 clauses out of 28133 with flag 3327000/3334314
1572.93/1571.36	c cleaning 13985 clauses out of 28094 with flag 3341000/3348314
1578.04/1576.48	c cleaning 14001 clauses out of 28109 with flag 3355000/3362314
1583.14/1581.54	c cleaning 13997 clauses out of 28108 with flag 3369000/3376314
1588.74/1587.14	c cleaning 13983 clauses out of 28111 with flag 3383000/3390314
1594.64/1593.03	c cleaning 13993 clauses out of 28128 with flag 3397000/3404314
1600.04/1598.46	c cleaning 14024 clauses out of 28135 with flag 3411000/3418314
1605.64/1604.04	c cleaning 13972 clauses out of 28111 with flag 3425000/3432314
1611.64/1610.09	c cleaning 14018 clauses out of 28139 with flag 3439000/3446314
1617.84/1616.26	c cleaning 14017 clauses out of 28121 with flag 3453000/3460314
1623.74/1622.17	c cleaning 13950 clauses out of 28104 with flag 3467000/3474314
1629.25/1627.70	c cleaning 14009 clauses out of 28154 with flag 3481000/3488314
1634.25/1632.62	c cleaning 14034 clauses out of 28145 with flag 3495000/3502314
1638.85/1637.29	c cleaning 13996 clauses out of 28111 with flag 3509000/3516314
1643.75/1642.15	c cleaning 13976 clauses out of 28115 with flag 3523000/3530314
1649.76/1648.16	c cleaning 13945 clauses out of 28139 with flag 3537000/3544314
1655.76/1654.17	c cleaning 14022 clauses out of 28194 with flag 3551000/3558314
1661.36/1659.79	c cleaning 14018 clauses out of 28172 with flag 3565000/3572314
1666.97/1665.39	c cleaning 14012 clauses out of 28154 with flag 3579000/3586314
1672.06/1670.46	c cleaning 14043 clauses out of 28142 with flag 3593000/3600314
1677.06/1675.46	c cleaning 13984 clauses out of 28099 with flag 3607000/3614314
1682.16/1680.59	c cleaning 14007 clauses out of 28115 with flag 3621000/3628314
1687.47/1685.87	c cleaning 13968 clauses out of 28108 with flag 3635000/3642314
1692.17/1690.60	c cleaning 14020 clauses out of 28140 with flag 3649000/3656314
1696.79/1695.12	c cleaning 14014 clauses out of 28120 with flag 3663000/3670314
1701.67/1700.09	c cleaning 13958 clauses out of 28106 with flag 3677000/3684314
1707.17/1705.54	c cleaning 14048 clauses out of 28148 with flag 3691000/3698314
1712.08/1710.45	c cleaning 14011 clauses out of 28101 with flag 3705001/3712315
1716.37/1714.76	c cleaning 14003 clauses out of 28089 with flag 3719000/3726314
1720.88/1719.26	c cleaning 13978 clauses out of 28086 with flag 3733000/3740314
1726.49/1724.89	c cleaning 13999 clauses out of 28108 with flag 3747000/3754314
1731.58/1729.92	c cleaning 14018 clauses out of 28109 with flag 3761000/3768314
1736.29/1734.65	c cleaning 13990 clauses out of 28091 with flag 3775000/3782314
1740.69/1739.08	c cleaning 14010 clauses out of 28101 with flag 3789000/3796314
1745.58/1744.00	c cleaning 13929 clauses out of 28091 with flag 3803000/3810314
1750.38/1748.70	c cleaning 14064 clauses out of 28162 with flag 3817000/3824314
1754.68/1753.00	c cleaning 14002 clauses out of 28098 with flag 3831000/3838314
1758.99/1757.38	c cleaning 13991 clauses out of 28096 with flag 3845000/3852314
1764.19/1762.51	c cleaning 13975 clauses out of 28105 with flag 3859000/3866314
1769.42/1767.73	c cleaning 13995 clauses out of 28130 with flag 3873000/3880314
1774.30/1772.66	c cleaning 14025 clauses out of 28135 with flag 3887000/3894314
1778.80/1777.11	c cleaning 14024 clauses out of 28111 with flag 3901001/3908315
1782.80/1781.17	c cleaning 13985 clauses out of 28087 with flag 3915001/3922315
1787.30/1785.61	c cleaning 13994 clauses out of 28101 with flag 3929000/3936314
1792.00/1790.38	c cleaning 14032 clauses out of 28107 with flag 3943000/3950314
1796.60/1794.94	c cleaning 13968 clauses out of 28075 with flag 3957000/3964314
1800.02/1798.32	c starts		: 253
1800.02/1798.32	c conflicts		: 3975599
1800.02/1798.32	c decisions		: 4041169
1800.02/1798.32	c propagations		: 117583007
1800.02/1798.32	c inspects		: 3602026662
1800.02/1798.32	c shortcuts		: 0
1800.02/1798.32	c learnt literals	: 0
1800.02/1798.32	c learnt binary clauses	: 0
1800.02/1798.32	c learnt ternary clauses	: 688
1800.02/1798.32	c learnt constraints	: 3975599
1800.02/1798.32	c ignored constraints	: 0
1800.02/1798.32	c root simplifications	: 0
1800.02/1798.32	c removed literals (reason simplification)	: 449824320
1800.02/1798.32	c reason swapping (by a shorter reason)	: 0
1800.02/1798.32	c Calls to reduceDB	: 287
1800.02/1798.32	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.32	c number of learned constraints concerned by reduction	: 0
1800.02/1798.32	c number of learning phase by resolution	: 0
1800.02/1798.32	c number of learning phase by cutting planes	: 0
1800.02/1798.32	c speed (assignments/second)	: 65523.38396897221
1800.02/1798.32	c non guided choices	0
1800.02/1798.33	c learnt constraints type 
1800.02/1798.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25416
1800.02/1798.34	c constraints type 
1800.02/1798.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1800.02/1798.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.02/1798.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.02/1798.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1800.02/1798.34	s SATISFIABLE
1800.02/1798.34	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 
1800.02/1798.34	c objective function=-16
1800.02/1798.34	c Total wall clock time (in seconds): 1798.222

Verifier Data 

OK	-16

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458419-1307161419/watcher-3458419-1307161419 -o /tmp/evaluation-result-3458419-1307161419/solver-3458419-1307161419 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458419-1307161419.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 1790 0 1 0 0 0 0 0 17 0 2 0 827738620 13833195520 1492 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3377245 1505 906 9 0 3368401 0
[pid=15463/tid=15469] ppid=15461 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 5317 0 1 0 0 0 0 0 18 0 2 0 827738621 13850947584 6133 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0869891 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 14479 0 1 0 5 1 0 0 17 0 18 0 827738620 13880410112 14176 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3388772 14176 1755 9 0 3379506 0
[pid=15463/tid=15469] ppid=15461 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 13305 0 1 0 5 1 0 0 18 0 18 0 827738621 13880410112 14176 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 47558950536245 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088

[startup+0.100987 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13621900 CPUtime=0.1 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 15472 0 1 0 8 2 0 0 17 0 18 0 827738620 13948825600 15139 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3405475 15140 2092 9 0 3396209 0
[pid=15463/tid=15469] ppid=15461 vsize=13621900 CPUtime=0.07 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 13526 0 1 0 6 1 0 0 18 0 18 0 827738621 13948825600 15140 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 47558947364771 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621900

[startup+0.300935 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13624100 CPUtime=0.46 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 18800 0 1 0 44 2 0 0 17 0 18 0 827738620 13951078400 18138 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3406025 18138 2211 9 0 3396759 0
[pid=15463/tid=15469] ppid=15461 vsize=13624100 CPUtime=0.27 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 15282 0 1 0 26 1 0 0 18 0 18 0 827738621 13951078400 18139 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 47558951832372 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624100

[startup+0.700875 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13698972 CPUtime=1.58 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 32347 0 1 0 155 3 0 0 17 0 19 0 827738620 14027747328 29661 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3424743 29661 2239 9 0 3415477 0
[pid=15463/tid=15469] ppid=15461 vsize=13698972 CPUtime=0.67 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23008 0 1 0 65 2 0 0 19 0 19 0 827738621 14027747328 29661 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505217133 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 13698972

[startup+1.50071 s]
/proc/loadavg: 1.08 1.07 1.38 4/554 15513
/proc/meminfo: memFree=21330176/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13698972 CPUtime=2.5 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 32583 0 1 0 247 3 0 0 17 0 19 0 827738620 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3424743 29896 2243 9 0 3415477 0
[pid=15463/tid=15469] ppid=15461 vsize=13698972 CPUtime=1.47 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23220 0 1 0 145 2 0 0 20 0 19 0 827738621 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505971122 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827738624 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827738624 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827738624 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13698972 CPUtime=0.52 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 3720 0 0 0 52 0 0 0 15 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13698972 CPUtime=0.48 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4483 0 0 0 48 0 0 0 15 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13698972

[startup+3.1014 s]
/proc/loadavg: 1.08 1.07 1.38 3/554 15513
/proc/meminfo: memFree=21326456/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13698972 CPUtime=4.14 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 35966 0 1 0 410 4 0 0 17 0 19 0 827738620 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3424743 33275 2269 9 0 3415477 0
[pid=15463/tid=15469] ppid=15461 vsize=13698972 CPUtime=3.03 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23475 0 1 0 301 2 0 0 25 0 19 0 827738621 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505988645 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 527 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 312 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 477 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13698972 CPUtime=0.02 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 1563 0 0 0 2 0 0 0 17 0 19 0 827738624 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13698972 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 3724 0 0 0 53 0 0 0 15 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13698972 CPUtime=0.49 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4485 0 0 0 49 0 0 0 15 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13698972

[startup+6.30075 s]
/proc/loadavg: 1.08 1.07 1.38 4/554 15515
/proc/meminfo: memFree=21301452/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13695488 CPUtime=7.4 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 36524 0 1 0 736 4 0 0 17 0 19 0 827738620 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3423872 32397 2269 9 0 3414606 0
[pid=15463/tid=15469] ppid=15461 vsize=13695488 CPUtime=6.21 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23485 0 1 0 619 2 0 0 25 0 19 0 827738621 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505830664 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 528 0 0 0 0 0 0 0 18 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 57 0 0 0 0 0 0 0 16 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 402 0 0 0 0 0 0 0 18 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 477 0 0 0 0 0 0 0 15 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=0.05 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 1763 0 0 0 5 0 0 0 16 0 19 0 827738624 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.57 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 3728 0 0 0 57 0 0 0 16 0 19 0 827738626 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.52 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4487 0 0 0 52 0 0 0 16 0 19 0 827738626 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0

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

[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 475 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0.09 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 406 0 0 0 9 0 0 0 15 0 19 0 827738623 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 391 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=8.9 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 4349 0 0 0 885 5 0 0 15 0 19 0 827738624 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.63 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 4422 0 0 0 63 0 0 0 15 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4491 0 0 0 53 0 0 0 15 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1723.97
Current children cumulated vsize (KiB) 13695488

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/554 15569
/proc/meminfo: memFree=21258680/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13695488 CPUtime=1784 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 42842 0 1 0 178388 12 0 0 17 0 19 0 827738620 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3423872 37550 2270 9 0 3414606 0
[pid=15463/tid=15469] ppid=15461 vsize=13695488 CPUtime=1772.51 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23767 0 1 0 177248 3 0 0 25 0 19 0 827738621 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505830826 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 942 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 280 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 980 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 1029 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 46 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 475 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 406 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 391 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=9.33 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 4359 0 0 0 928 5 0 0 15 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.63 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 4422 0 0 0 63 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4491 0 0 0 53 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784
Current children cumulated vsize (KiB) 13695488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/554 15569
/proc/meminfo: memFree=21258540/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13695488 CPUtime=1800.02 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 42845 0 1 0 179990 12 0 0 17 0 19 0 827738620 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3423872 37550 2270 9 0 3414606 0
[pid=15463/tid=15469] ppid=15461 vsize=13695488 CPUtime=1788.42 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23770 0 1 0 178839 3 0 0 25 0 19 0 827738621 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505830835 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 942 0 0 0 12 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 280 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 980 0 0 0 11 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13695488 CPUtime=0.13 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 1029 0 0 0 13 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 46 0 0 0 12 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 475 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 406 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 391 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=9.43 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 4359 0 0 0 938 5 0 0 15 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.63 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 4422 0 0 0 63 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4491 0 0 0 53 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13695488

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

Solver just ended. Dumping a history of the last processes samples

[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/554 15569
/proc/meminfo: memFree=21258540/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13695488 CPUtime=1800.02 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 42845 0 1 0 179990 12 0 0 17 0 19 0 827738620 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3423872 37550 2270 9 0 3414606 0
[pid=15463/tid=15469] ppid=15461 vsize=13695488 CPUtime=1788.42 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23770 0 1 0 178839 3 0 0 25 0 19 0 827738621 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505830835 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 942 0 0 0 12 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 280 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 980 0 0 0 11 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13695488 CPUtime=0.13 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 1029 0 0 0 13 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 46 0 0 0 12 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 475 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 406 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 391 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=9.43 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 4359 0 0 0 938 5 0 0 15 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.63 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 4422 0 0 0 63 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4491 0 0 0 53 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13695488

Child status: 143
Real time (s): 1798.36
CPU time (s): 1800.08
CPU user time (s): 1799.95
CPU system time (s): 0.131979
CPU usage (%): 100.096
Max. virtual memory (cumulated for all children) (KiB): 13698972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42894
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45363
involuntary context switches= 10652

runsolver used 9.8595 second user time and 22.8685 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-04 06:23:39
IDJOB=3458419
IDBENCH=48239
IDSOLVER=1952
FILE ID=node149/3458419-1307161419
RUNJOBID= node149-1307161419-15447
PBS_JOBID= 13508767
Free space on /tmp= 73768 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458419-1307161419/watcher-3458419-1307161419 -o /tmp/evaluation-result-3458419-1307161419/solver-3458419-1307161419 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458419-1307161419.opb

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

MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d
RANDOM SEED=618548424

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21552708 kB
Buffers:        334864 kB
Cached:        3253540 kB
SwapCached:     123196 kB
Active:         347640 kB
Inactive:     10714976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21552708 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:             848 kB
Writeback:           4 kB
AnonPages:     7376040 kB
Mapped:          17584 kB
Slab:           147776 kB
PageTables:     117776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173083292 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73764 MiB
End job on node149 at 2011-06-04 06:53:40