Trace number 3458418

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)-18 1800.15 1798.47

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
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-33
Best CPU time to get the best result obtained on this benchmark1797.13
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)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.10	c version 2.3.1.v20110525
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.18-164.el5
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		12995394264
0.06/0.10	c Max memory 		13063553024
0.06/0.10	c Total memory 		13063553024
0.06/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
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 Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3458418-1307161419.opb
0.09/0.12	c reading problem ... 
1.00/0.53	c ... done. Wall clock time 0.415s.
1.00/0.53	c #vars     6620
1.00/0.53	c #constraints  13042
1.00/0.53	c constraints type 
1.00/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1.00/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.00/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.00/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
3.92/3.05	c SATISFIABLE
3.92/3.05	c OPTIMIZING...
3.92/3.05	c Got one! Elapsed wall clock time (in seconds):2.926
3.92/3.05	o -15
4.45/3.50	c Got one! Elapsed wall clock time (in seconds):3.38
4.45/3.50	o -18
5.06/4.15	c cleaning 2997 clauses out of 6002 with flag 1000/6002
9.02/8.02	c cleaning 4402 clauses out of 9005 with flag 7000/12002
13.43/12.44	c cleaning 5727 clauses out of 11603 with flag 14000/19002
17.56/16.55	c cleaning 6880 clauses out of 13876 with flag 22000/27002
22.86/21.82	c cleaning 7899 clauses out of 15996 with flag 31000/36002
28.76/27.71	c cleaning 8944 clauses out of 18097 with flag 41000/46002
35.26/34.23	c cleaning 10049 clauses out of 20153 with flag 52000/57002
41.56/40.54	c cleaning 10941 clauses out of 22104 with flag 64000/69002
49.38/48.39	c cleaning 12051 clauses out of 24163 with flag 77000/82002
57.87/56.85	c cleaning 12947 clauses out of 26112 with flag 91000/96002
66.87/65.84	c cleaning 13528 clauses out of 27165 with flag 105000/110002
76.58/75.56	c cleaning 13676 clauses out of 27637 with flag 119000/124002
85.88/84.87	c cleaning 13866 clauses out of 27961 with flag 133000/138002
95.99/94.90	c cleaning 14007 clauses out of 28095 with flag 147000/152002
105.19/104.20	c cleaning 13904 clauses out of 28088 with flag 161000/166002
114.09/113.04	c cleaning 14009 clauses out of 28184 with flag 175000/180002
123.29/122.28	c cleaning 14002 clauses out of 28175 with flag 189000/194002
132.39/131.32	c cleaning 13996 clauses out of 28173 with flag 203000/208002
141.09/140.01	c cleaning 14005 clauses out of 28177 with flag 217000/222002
150.90/149.81	c cleaning 14008 clauses out of 28172 with flag 231000/236002
162.00/160.91	c cleaning 14066 clauses out of 28164 with flag 245000/250002
173.50/172.48	c cleaning 13871 clauses out of 28098 with flag 259000/264002
184.60/183.61	c cleaning 14020 clauses out of 28227 with flag 273000/278002
196.20/195.10	c cleaning 14040 clauses out of 28207 with flag 287000/292002
206.20/205.13	c cleaning 13955 clauses out of 28167 with flag 301000/306002
217.30/216.24	c cleaning 14103 clauses out of 28212 with flag 315000/320002
228.60/227.53	c cleaning 14007 clauses out of 28109 with flag 329000/334002
240.60/239.52	c cleaning 13998 clauses out of 28102 with flag 343000/348002
251.20/250.13	c cleaning 13970 clauses out of 28104 with flag 357000/362002
258.80/257.72	c cleaning 14030 clauses out of 28134 with flag 371000/376002
264.70/263.63	c cleaning 14028 clauses out of 28104 with flag 385000/390002
274.51/273.48	c cleaning 13860 clauses out of 28076 with flag 399000/404002
283.21/282.12	c cleaning 14014 clauses out of 28216 with flag 413000/418002
292.32/291.28	c cleaning 14011 clauses out of 28202 with flag 427000/432002
301.12/300.08	c cleaning 13996 clauses out of 28191 with flag 441000/446002
309.32/308.22	c cleaning 13962 clauses out of 28195 with flag 455000/460002
316.22/315.20	c cleaning 14037 clauses out of 28233 with flag 469000/474002
325.12/324.01	c cleaning 14017 clauses out of 28196 with flag 483000/488002
334.44/333.38	c cleaning 13947 clauses out of 28179 with flag 497000/502002
341.92/340.88	c cleaning 14028 clauses out of 28232 with flag 511000/516002
349.33/348.21	c cleaning 14025 clauses out of 28204 with flag 525000/530002
357.03/355.91	c cleaning 14041 clauses out of 28179 with flag 539000/544002
363.83/362.78	c cleaning 14029 clauses out of 28138 with flag 553000/558002
369.93/368.88	c cleaning 14003 clauses out of 28109 with flag 567000/572002
376.03/374.97	c cleaning 14003 clauses out of 28106 with flag 581000/586002
383.73/382.60	c cleaning 13986 clauses out of 28103 with flag 595000/600002
392.13/391.09	c cleaning 13972 clauses out of 28117 with flag 609000/614002
399.64/398.52	c cleaning 14015 clauses out of 28145 with flag 623000/628002
406.14/405.00	c cleaning 14002 clauses out of 28130 with flag 637000/642002
412.45/411.38	c cleaning 14018 clauses out of 28128 with flag 651000/656002
418.64/417.55	c cleaning 13988 clauses out of 28110 with flag 665000/670002
424.44/423.34	c cleaning 14000 clauses out of 28122 with flag 679000/684002
429.64/428.54	c cleaning 13992 clauses out of 28122 with flag 693000/698002
434.34/433.26	c cleaning 13978 clauses out of 28130 with flag 707000/712002
440.75/439.62	c cleaning 14032 clauses out of 28152 with flag 721000/726002
447.35/446.25	c cleaning 13959 clauses out of 28120 with flag 735000/740002
453.65/452.50	c cleaning 13978 clauses out of 28161 with flag 749000/754002
459.35/458.29	c cleaning 14034 clauses out of 28183 with flag 763000/768002
464.46/463.36	c cleaning 14002 clauses out of 28149 with flag 777000/782002
469.06/467.94	c cleaning 14021 clauses out of 28147 with flag 791000/796002
475.36/474.23	c cleaning 14009 clauses out of 28126 with flag 805000/810002
481.16/480.02	c cleaning 13979 clauses out of 28117 with flag 819000/824002
487.06/485.96	c cleaning 14013 clauses out of 28138 with flag 833000/838002
492.97/491.87	c cleaning 14023 clauses out of 28125 with flag 847000/852002
498.58/497.47	c cleaning 13994 clauses out of 28102 with flag 861000/866002
503.38/502.26	c cleaning 13998 clauses out of 28109 with flag 875001/880003
509.80/508.66	c cleaning 14027 clauses out of 28110 with flag 889000/894002
516.90/515.77	c cleaning 13954 clauses out of 28083 with flag 903000/908002
523.73/522.57	c cleaning 14011 clauses out of 28129 with flag 917000/922002
531.11/529.93	c cleaning 13975 clauses out of 28118 with flag 931000/936002
538.61/537.46	c cleaning 14027 clauses out of 28143 with flag 945000/950002
545.91/544.80	c cleaning 13956 clauses out of 28116 with flag 959000/964002
553.33/552.13	c cleaning 14008 clauses out of 28160 with flag 973000/978002
561.13/559.97	c cleaning 13962 clauses out of 28152 with flag 987000/992002
569.12/567.91	c cleaning 13968 clauses out of 28190 with flag 1001000/1006002
577.02/575.88	c cleaning 14089 clauses out of 28222 with flag 1015000/1020002
584.72/583.57	c cleaning 14015 clauses out of 28133 with flag 1029000/1034002
592.94/591.79	c cleaning 14025 clauses out of 28118 with flag 1043000/1048002
600.83/599.63	c cleaning 13942 clauses out of 28093 with flag 1057000/1062002
608.73/607.56	c cleaning 13974 clauses out of 28151 with flag 1071000/1076002
616.23/615.07	c cleaning 14018 clauses out of 28177 with flag 1085000/1090002
623.33/622.14	c cleaning 13998 clauses out of 28159 with flag 1099000/1104002
630.73/629.52	c cleaning 14002 clauses out of 28161 with flag 1113000/1118002
637.74/636.50	c cleaning 14034 clauses out of 28160 with flag 1127001/1132003
644.24/643.08	c cleaning 14028 clauses out of 28125 with flag 1141000/1146002
650.75/649.53	c cleaning 13995 clauses out of 28097 with flag 1155000/1160002
657.25/656.00	c cleaning 13975 clauses out of 28102 with flag 1169000/1174002
663.65/662.42	c cleaning 13998 clauses out of 28127 with flag 1183000/1188002
670.07/668.82	c cleaning 14019 clauses out of 28129 with flag 1197000/1202002
676.75/675.57	c cleaning 13953 clauses out of 28110 with flag 1211000/1216002
684.15/682.95	c cleaning 14027 clauses out of 28157 with flag 1225000/1230002
691.65/690.49	c cleaning 14004 clauses out of 28130 with flag 1239000/1244002
698.96/697.76	c cleaning 14012 clauses out of 28126 with flag 1253000/1258002
706.56/705.37	c cleaning 13967 clauses out of 28114 with flag 1267000/1272002
713.86/712.60	c cleaning 14039 clauses out of 28147 with flag 1281000/1286002
720.96/719.73	c cleaning 13975 clauses out of 28108 with flag 1295000/1300002
728.06/726.81	c cleaning 14011 clauses out of 28133 with flag 1309000/1314002
734.88/733.63	c cleaning 13974 clauses out of 28122 with flag 1323000/1328002
742.47/741.21	c cleaning 14019 clauses out of 28148 with flag 1337000/1342002
749.97/748.77	c cleaning 13962 clauses out of 28129 with flag 1351000/1356002
759.27/758.01	c cleaning 13992 clauses out of 28167 with flag 1365000/1370002
768.00/766.77	c cleaning 14079 clauses out of 28175 with flag 1379000/1384002
776.38/775.14	c cleaning 13899 clauses out of 28096 with flag 1393000/1398002
784.28/783.04	c cleaning 13997 clauses out of 28197 with flag 1407000/1412002
792.48/791.25	c cleaning 14002 clauses out of 28200 with flag 1421000/1426002
801.78/800.59	c cleaning 14027 clauses out of 28198 with flag 1435000/1440002
811.08/809.84	c cleaning 13987 clauses out of 28171 with flag 1449000/1454002
819.88/818.66	c cleaning 13977 clauses out of 28184 with flag 1463000/1468002
828.68/827.42	c cleaning 13961 clauses out of 28207 with flag 1477000/1482002
837.69/836.46	c cleaning 14041 clauses out of 28246 with flag 1491000/1496002
846.49/845.20	c cleaning 14009 clauses out of 28205 with flag 1505000/1510002
855.29/854.09	c cleaning 13977 clauses out of 28196 with flag 1519000/1524002
864.59/863.34	c cleaning 13988 clauses out of 28219 with flag 1533000/1538002
873.79/872.58	c cleaning 14045 clauses out of 28231 with flag 1547000/1552002
882.80/881.57	c cleaning 13957 clauses out of 28186 with flag 1561000/1566002
891.90/890.61	c cleaning 14000 clauses out of 28229 with flag 1575000/1580002
900.80/899.52	c cleaning 13989 clauses out of 28229 with flag 1589000/1594002
909.21/907.92	c cleaning 14023 clauses out of 28240 with flag 1603000/1608002
917.42/916.15	c cleaning 14099 clauses out of 28217 with flag 1617000/1622002
925.72/924.41	c cleaning 13968 clauses out of 28118 with flag 1631000/1636002
934.14/932.84	c cleaning 13984 clauses out of 28150 with flag 1645000/1650002
942.52/941.28	c cleaning 14014 clauses out of 28166 with flag 1659000/1664002
951.12/949.87	c cleaning 14049 clauses out of 28152 with flag 1673000/1678002
959.13/957.81	c cleaning 13986 clauses out of 28103 with flag 1687000/1692002
967.04/965.72	c cleaning 13973 clauses out of 28117 with flag 1701000/1706002
974.85/973.59	c cleaning 14022 clauses out of 28144 with flag 1715000/1720002
982.74/981.41	c cleaning 13987 clauses out of 28122 with flag 1729000/1734002
990.54/989.24	c cleaning 13981 clauses out of 28135 with flag 1743000/1748002
998.24/997.00	c cleaning 14005 clauses out of 28154 with flag 1757000/1762002
1006.35/1005.07	c cleaning 14020 clauses out of 28149 with flag 1771000/1776002
1014.65/1013.38	c cleaning 13956 clauses out of 28129 with flag 1785000/1790002
1023.05/1021.80	c cleaning 13987 clauses out of 28173 with flag 1799000/1804002
1031.75/1030.45	c cleaning 13990 clauses out of 28186 with flag 1813000/1818002
1040.05/1038.72	c cleaning 14034 clauses out of 28196 with flag 1827000/1832002
1047.95/1046.64	c cleaning 14045 clauses out of 28162 with flag 1841000/1846002
1055.55/1054.26	c cleaning 14032 clauses out of 28117 with flag 1855000/1860002
1063.26/1061.90	c cleaning 14004 clauses out of 28085 with flag 1869000/1874002
1071.26/1069.93	c cleaning 13990 clauses out of 28081 with flag 1883000/1888002
1078.86/1077.50	c cleaning 13961 clauses out of 28091 with flag 1897000/1902002
1086.26/1084.97	c cleaning 14004 clauses out of 28130 with flag 1911000/1916002
1093.76/1092.45	c cleaning 13995 clauses out of 28126 with flag 1925000/1930002
1101.16/1099.89	c cleaning 14026 clauses out of 28131 with flag 1939000/1944002
1108.67/1107.37	c cleaning 13986 clauses out of 28106 with flag 1953001/1958003
1116.17/1114.85	c cleaning 14008 clauses out of 28119 with flag 1967000/1972002
1123.77/1122.44	c cleaning 14047 clauses out of 28112 with flag 1981001/1986003
1131.27/1129.96	c cleaning 13945 clauses out of 28064 with flag 1995000/2000002
1139.67/1138.34	c cleaning 13956 clauses out of 28119 with flag 2009000/2014002
1147.49/1146.18	c cleaning 14008 clauses out of 28163 with flag 2023000/2028002
1155.98/1154.63	c cleaning 13982 clauses out of 28155 with flag 2037000/2042002
1164.18/1162.80	c cleaning 14016 clauses out of 28173 with flag 2051000/2056002
1172.48/1171.17	c cleaning 14036 clauses out of 28157 with flag 2065000/2070002
1180.38/1179.10	c cleaning 13953 clauses out of 28121 with flag 2079000/2084002
1189.58/1188.24	c cleaning 14001 clauses out of 28168 with flag 2093000/2098002
1197.00/1195.70	c cleaning 14035 clauses out of 28167 with flag 2107000/2112002
1204.38/1203.05	c cleaning 13998 clauses out of 28132 with flag 2121000/2126002
1211.58/1210.28	c cleaning 14020 clauses out of 28134 with flag 2135000/2140002
1218.49/1217.16	c cleaning 13983 clauses out of 28114 with flag 2149000/2154002
1225.39/1224.01	c cleaning 14022 clauses out of 28131 with flag 2163000/2168002
1232.20/1230.84	c cleaning 13991 clauses out of 28109 with flag 2177000/2182002
1238.80/1237.42	c cleaning 13988 clauses out of 28118 with flag 2191000/2196002
1245.52/1244.14	c cleaning 13967 clauses out of 28130 with flag 2205000/2210002
1252.20/1250.87	c cleaning 14015 clauses out of 28163 with flag 2219000/2224002
1258.72/1257.36	c cleaning 14042 clauses out of 28148 with flag 2233000/2238002
1264.71/1263.37	c cleaning 13998 clauses out of 28106 with flag 2247000/2252002
1270.83/1269.48	c cleaning 13947 clauses out of 28108 with flag 2261000/2266002
1277.52/1276.12	c cleaning 14011 clauses out of 28161 with flag 2275000/2280002
1284.82/1283.48	c cleaning 14018 clauses out of 28150 with flag 2289000/2294002
1291.75/1290.39	c cleaning 14002 clauses out of 28132 with flag 2303000/2308002
1298.24/1296.86	c cleaning 14026 clauses out of 28130 with flag 2317000/2322002
1304.33/1302.99	c cleaning 13998 clauses out of 28104 with flag 2331000/2336002
1311.03/1309.65	c cleaning 13979 clauses out of 28106 with flag 2345000/2350002
1316.95/1315.56	c cleaning 14039 clauses out of 28127 with flag 2359000/2364002
1322.24/1320.86	c cleaning 14007 clauses out of 28088 with flag 2373000/2378002
1328.44/1327.02	c cleaning 14019 clauses out of 28081 with flag 2387000/2392002
1335.14/1333.72	c cleaning 13953 clauses out of 28062 with flag 2401000/2406002
1340.44/1339.00	c cleaning 14018 clauses out of 28109 with flag 2415000/2420002
1346.24/1344.85	c cleaning 13976 clauses out of 28091 with flag 2429000/2434002
1352.55/1351.12	c cleaning 14019 clauses out of 28115 with flag 2443000/2448002
1357.85/1356.44	c cleaning 14017 clauses out of 28096 with flag 2457000/2462002
1363.27/1361.83	c cleaning 13997 clauses out of 28079 with flag 2471000/2476002
1369.66/1368.23	c cleaning 14004 clauses out of 28082 with flag 2485000/2490002
1374.96/1373.53	c cleaning 14011 clauses out of 28078 with flag 2499000/2504002
1379.96/1378.55	c cleaning 13987 clauses out of 28067 with flag 2513000/2518002
1385.06/1383.64	c cleaning 13988 clauses out of 28080 with flag 2527000/2532002
1390.26/1388.86	c cleaning 14011 clauses out of 28092 with flag 2541000/2546002
1396.06/1394.60	c cleaning 13987 clauses out of 28081 with flag 2555000/2560002
1402.78/1401.35	c cleaning 14013 clauses out of 28094 with flag 2569000/2574002
1408.57/1407.12	c cleaning 13970 clauses out of 28081 with flag 2583000/2588002
1414.07/1412.60	c cleaning 13979 clauses out of 28111 with flag 2597000/2602002
1418.97/1417.51	c cleaning 14033 clauses out of 28132 with flag 2611000/2616002
1424.48/1423.03	c cleaning 14020 clauses out of 28099 with flag 2625000/2630002
1429.68/1428.27	c cleaning 14018 clauses out of 28079 with flag 2639000/2644002
1434.48/1433.04	c cleaning 13982 clauses out of 28061 with flag 2653000/2658002
1440.78/1439.38	c cleaning 13934 clauses out of 28079 with flag 2667000/2672002
1448.10/1446.68	c cleaning 14015 clauses out of 28145 with flag 2681000/2686002
1454.51/1453.06	c cleaning 14011 clauses out of 28130 with flag 2695000/2700002
1462.10/1460.64	c cleaning 14005 clauses out of 28119 with flag 2709000/2714002
1468.20/1466.75	c cleaning 14028 clauses out of 28114 with flag 2723000/2728002
1473.91/1472.43	c cleaning 13979 clauses out of 28086 with flag 2737000/2742002
1479.11/1477.69	c cleaning 13957 clauses out of 28107 with flag 2751000/2756002
1485.21/1483.78	c cleaning 14008 clauses out of 28150 with flag 2765000/2770002
1490.72/1489.24	c cleaning 13999 clauses out of 28142 with flag 2779000/2784002
1495.52/1494.06	c cleaning 14029 clauses out of 28144 with flag 2793001/2798003
1500.52/1499.04	c cleaning 13994 clauses out of 28114 with flag 2807000/2812002
1505.52/1504.07	c cleaning 14017 clauses out of 28120 with flag 2821000/2826002
1510.22/1508.74	c cleaning 14009 clauses out of 28103 with flag 2835000/2840002
1514.92/1513.41	c cleaning 13994 clauses out of 28094 with flag 2849000/2854002
1519.73/1518.27	c cleaning 13984 clauses out of 28100 with flag 2863000/2868002
1524.63/1523.16	c cleaning 14025 clauses out of 28116 with flag 2877000/2882002
1529.34/1527.85	c cleaning 14002 clauses out of 28091 with flag 2891000/2896002
1533.75/1532.30	c cleaning 13995 clauses out of 28089 with flag 2905000/2910002
1538.15/1536.68	c cleaning 14006 clauses out of 28094 with flag 2919000/2924002
1542.74/1541.28	c cleaning 14003 clauses out of 28088 with flag 2933000/2938002
1547.64/1546.14	c cleaning 14009 clauses out of 28085 with flag 2947000/2952002
1553.44/1551.90	c cleaning 13938 clauses out of 28076 with flag 2961000/2966002
1559.54/1558.05	c cleaning 14001 clauses out of 28138 with flag 2975000/2980002
1565.55/1564.03	c cleaning 13993 clauses out of 28137 with flag 2989000/2994002
1572.05/1570.54	c cleaning 14031 clauses out of 28144 with flag 3003000/3008002
1579.45/1577.95	c cleaning 13971 clauses out of 28113 with flag 3017000/3022002
1587.15/1585.65	c cleaning 13975 clauses out of 28142 with flag 3031000/3036002
1593.66/1592.17	c cleaning 14010 clauses out of 28167 with flag 3045000/3050002
1601.06/1599.55	c cleaning 14056 clauses out of 28157 with flag 3059000/3064002
1607.76/1606.27	c cleaning 13946 clauses out of 28101 with flag 3073000/3078002
1613.67/1612.16	c cleaning 14034 clauses out of 28155 with flag 3087000/3092002
1619.28/1617.79	c cleaning 14031 clauses out of 28121 with flag 3101000/3106002
1624.10/1622.53	c cleaning 13996 clauses out of 28090 with flag 3115000/3120002
1629.78/1628.23	c cleaning 13984 clauses out of 28094 with flag 3129000/3134002
1635.68/1634.12	c cleaning 13987 clauses out of 28110 with flag 3143000/3148002
1640.88/1639.33	c cleaning 14006 clauses out of 28123 with flag 3157000/3162002
1645.68/1644.14	c cleaning 14004 clauses out of 28117 with flag 3171000/3176002
1651.89/1650.38	c cleaning 13954 clauses out of 28113 with flag 3185000/3190002
1658.10/1656.57	c cleaning 14032 clauses out of 28159 with flag 3199000/3204002
1664.00/1662.43	c cleaning 14001 clauses out of 28127 with flag 3213000/3218002
1669.60/1668.02	c cleaning 13993 clauses out of 28126 with flag 3227000/3232002
1674.50/1672.91	c cleaning 14022 clauses out of 28133 with flag 3241000/3246002
1680.00/1678.51	c cleaning 14027 clauses out of 28111 with flag 3255000/3260002
1686.10/1684.52	c cleaning 13935 clauses out of 28084 with flag 3269000/3274002
1690.80/1689.28	c cleaning 14066 clauses out of 28149 with flag 3283000/3288002
1696.50/1694.94	c cleaning 13936 clauses out of 28083 with flag 3297000/3302002
1703.41/1701.87	c cleaning 13951 clauses out of 28147 with flag 3311000/3316002
1709.41/1707.88	c cleaning 14035 clauses out of 28196 with flag 3325000/3330002
1714.61/1713.05	c cleaning 14039 clauses out of 28161 with flag 3339000/3344002
1719.73/1718.20	c cleaning 13947 clauses out of 28122 with flag 3353000/3358002
1726.22/1724.72	c cleaning 14042 clauses out of 28175 with flag 3367000/3372002
1731.83/1730.24	c cleaning 14014 clauses out of 28133 with flag 3381000/3386002
1736.82/1735.29	c cleaning 14033 clauses out of 28119 with flag 3395000/3400002
1742.42/1740.88	c cleaning 13958 clauses out of 28086 with flag 3409000/3414002
1748.03/1746.42	c cleaning 14034 clauses out of 28128 with flag 3423000/3428002
1752.93/1751.33	c cleaning 14014 clauses out of 28094 with flag 3437000/3442002
1759.13/1757.53	c cleaning 13978 clauses out of 28080 with flag 3451000/3456002
1765.04/1763.46	c cleaning 14015 clauses out of 28102 with flag 3465000/3470002
1770.14/1768.51	c cleaning 13993 clauses out of 28087 with flag 3479000/3484002
1776.14/1774.53	c cleaning 14011 clauses out of 28094 with flag 3493000/3498002
1782.14/1780.56	c cleaning 13965 clauses out of 28083 with flag 3507000/3512002
1787.55/1785.92	c cleaning 14021 clauses out of 28118 with flag 3521000/3526002
1792.75/1791.19	c cleaning 13978 clauses out of 28097 with flag 3535000/3540002
1799.07/1797.44	c cleaning 14002 clauses out of 28119 with flag 3549000/3554002
1800.09/1798.44	c starts		: 253
1800.09/1798.44	c conflicts		: 3556428
1800.09/1798.44	c decisions		: 3625758
1800.09/1798.44	c propagations		: 104634111
1800.09/1798.44	c inspects		: 3130666189
1800.09/1798.44	c shortcuts		: 0
1800.09/1798.44	c learnt literals	: 0
1800.09/1798.44	c learnt binary clauses	: 0
1800.09/1798.44	c learnt ternary clauses	: 870
1800.09/1798.44	c learnt constraints	: 3556427
1800.09/1798.44	c ignored constraints	: 0
1800.09/1798.44	c root simplifications	: 0
1800.09/1798.44	c removed literals (reason simplification)	: 429392615
1800.09/1798.44	c reason swapping (by a shorter reason)	: 0
1800.09/1798.44	c Calls to reduceDB	: 257
1800.09/1798.44	c number of reductions to clauses (during analyze)	: 0
1800.09/1798.44	c number of learned constraints concerned by reduction	: 0
1800.09/1798.44	c number of learning phase by resolution	: 0
1800.09/1798.44	c number of learning phase by cutting planes	: 0
1800.09/1798.44	c speed (assignments/second)	: 58293.90826773693
1800.09/1798.44	c non guided choices	0
1800.09/1798.45	c learnt constraints type 
1800.09/1798.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16574
1800.09/1798.45	c constraints type 
1800.09/1798.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1800.09/1798.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.09/1798.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.09/1798.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
1800.09/1798.45	s SATISFIABLE
1800.09/1798.45	v x1 -x2 -x3 x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -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.09/1798.45	c objective function=-18
1800.09/1798.45	c Total wall clock time (in seconds): 1798.331

Verifier Data 

OK	-18

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

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: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 1860 0 1 0 0 0 0 0 17 0 2 0 827738620 13833195520 1562 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3377245 1576 906 9 0 3368401 0
[pid=15466/tid=15467] ppid=15460 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 5340 0 1 0 0 0 0 0 18 0 2 0 827738620 13850947584 6156 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 2 0 0 0

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

[startup+0.100985 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13621940 CPUtime=0.09 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 15350 0 1 0 8 1 0 0 17 0 18 0 827738620 13948866560 15047 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3405485 15047 2091 9 0 3396219 0
[pid=15466/tid=15467] ppid=15460 vsize=13621940 CPUtime=0.07 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 13509 0 1 0 6 1 0 0 18 0 18 0 827738620 13948866560 15047 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512517813 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621940

[startup+0.300945 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13626840 CPUtime=0.43 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 18464 0 1 0 41 2 0 0 17 0 18 0 827738620 13953884160 17859 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3406710 17859 2198 9 0 3397444 0
[pid=15466/tid=15467] ppid=15460 vsize=13626840 CPUtime=0.27 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 15045 0 1 0 26 1 0 0 18 0 18 0 827738620 13953884160 17860 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 46912505581065 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13626840

[startup+0.700894 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13632640 CPUtime=1.53 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 31735 0 1 0 148 5 0 0 17 0 19 0 827738620 13959823360 29302 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3408160 29302 2233 9 0 3398894 0
[pid=15466/tid=15467] ppid=15460 vsize=13632640 CPUtime=0.68 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 23069 0 1 0 65 3 0 0 19 0 19 0 827738620 13959823360 29302 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 46912505759464 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13632640

[startup+1.50074 s]
/proc/loadavg: 1.08 1.07 1.38 4/554 15513
/proc/meminfo: memFree=21330176/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13632640 CPUtime=2.42 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 31936 0 1 0 237 5 0 0 17 0 19 0 827738620 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3408160 29502 2240 9 0 3398894 0
[pid=15466/tid=15467] ppid=15460 vsize=13632640 CPUtime=1.48 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 23250 0 1 0 145 3 0 0 18 0 19 0 827738620 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 46912505869629 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15466/tid=15474] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827738623 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15475] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15478] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15480] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15482] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15482/stat : 15482 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15485] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15485/stat : 15485 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15487] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15487/stat : 15487 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15490] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15490/stat : 15490 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15491] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15491/stat : 15491 (java) S 15460 15466 7151 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 0 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15493] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15493/stat : 15493 (java) S 15460 15466 7151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827738624 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15496] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15496/stat : 15496 (java) S 15460 15466 7151 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827738624 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15502] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15502/stat : 15502 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827738626 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512515505 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15503] ppid=15460 vsize=13632640 CPUtime=0.38 cores=0,2,4,6
/proc/15466/task/15503/stat : 15503 (java) S 15460 15466 7151 0 -1 4202560 2729 0 0 0 38 0 0 0 15 0 19 0 827738626 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15507] ppid=15460 vsize=13632640 CPUtime=0.53 cores=0,2,4,6
/proc/15466/task/15507/stat : 15507 (java) S 15460 15466 7151 0 -1 4202560 4797 0 0 0 53 0 0 0 15 0 19 0 827738626 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15509] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15509/stat : 15509 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827738626 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15511] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15511/stat : 15511 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827738626 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15513] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15513/stat : 15513 (java) S 15460 15466 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738675 13959823360 29502 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 13632640

[startup+3.10143 s]
/proc/loadavg: 1.08 1.07 1.38 4/554 15513
/proc/meminfo: memFree=21326332/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13632640 CPUtime=4.05 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 32302 0 1 0 400 5 0 0 17 0 19 0 827738620 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3408160 29866 2240 9 0 3398894 0
[pid=15466/tid=15467] ppid=15460 vsize=13632640 CPUtime=3.08 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 23612 0 1 0 305 3 0 0 19 0 19 0 827738620 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 46912505826308 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15466/tid=15474] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827738623 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15475] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15478] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15480] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15482] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15482/stat : 15482 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15485] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15485/stat : 15485 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15487] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15487/stat : 15487 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15490] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15490/stat : 15490 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15491] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15491/stat : 15491 (java) S 15460 15466 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827738624 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 0 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15493] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15493/stat : 15493 (java) S 15460 15466 7151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827738624 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15496] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15496/stat : 15496 (java) S 15460 15466 7151 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827738624 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15502] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15502/stat : 15502 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827738626 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512515505 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15503] ppid=15460 vsize=13632640 CPUtime=0.4 cores=0,2,4,6
/proc/15466/task/15503/stat : 15503 (java) S 15460 15466 7151 0 -1 4202560 2731 0 0 0 40 0 0 0 15 0 19 0 827738626 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15507] ppid=15460 vsize=13632640 CPUtime=0.54 cores=0,2,4,6
/proc/15466/task/15507/stat : 15507 (java) S 15460 15466 7151 0 -1 4202560 4799 0 0 0 54 0 0 0 16 0 19 0 827738626 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15509] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15509/stat : 15509 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827738626 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15511] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15511/stat : 15511 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827738626 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15513] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15513/stat : 15513 (java) S 15460 15466 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738675 13959823360 29866 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13632640

[startup+6.30079 s]
/proc/loadavg: 1.08 1.07 1.38 4/554 15515
/proc/meminfo: memFree=21301452/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13632640 CPUtime=7.29 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 35696 0 1 0 724 5 0 0 17 0 19 0 827738620 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3408160 32358 2266 9 0 3398894 0
[pid=15466/tid=15467] ppid=15460 vsize=13632640 CPUtime=6.24 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 23822 0 1 0 621 3 0 0 20 0 19 0 827738620 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 46912505891953 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15466/tid=15474] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15460 15466 7151 0 -1 4202560 561 0 0 0 0 0 0 0 18 0 19 0 827738623 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 0 0 0 0
[pid=15466/tid=15475] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15460 15466 7151 0 -1 4202560 163 0 0 0 0 0 0 0 18 0 19 0 827738623 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 0 0 0 0
[pid=15466/tid=15478] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15460 15466 7151 0 -1 4202560 344 0 0 0 0 0 0 0 18 0 19 0 827738623 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 0 0 0 0
[pid=15466/tid=15480] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15460 15466 7151 0 -1 4202560 149 0 0 0 0 0 0 0 18 0 19 0 827738623 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15482] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15482/stat : 15482 (java) S 15460 15466 7151 0 -1 4202560 374 0 0 0 0 0 0 0 18 0 19 0 827738623 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15485] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15485/stat : 15485 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738623 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15487] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15487/stat : 15487 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738623 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15490] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15490/stat : 15490 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738623 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15491] ppid=15460 vsize=13632640 CPUtime=0.02 cores=0,2,4,6
/proc/15466/task/15491/stat : 15491 (java) S 15460 15466 7151 0 -1 4202560 1588 0 0 0 2 0 0 0 15 0 19 0 827738624 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 0 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15493] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15493/stat : 15493 (java) S 15460 15466 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15496] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15496/stat : 15496 (java) S 15460 15466 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15502] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15502/stat : 15502 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827738626 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512515505 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15503] ppid=15460 vsize=13632640 CPUtime=0.43 cores=0,2,4,6
/proc/15466/task/15503/stat : 15503 (java) S 15460 15466 7151 0 -1 4202560 2738 0 0 0 43 0 0 0 15 0 19 0 827738626 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15507] ppid=15460 vsize=13632640 CPUtime=0.55 cores=0,2,4,6
/proc/15466/task/15507/stat : 15507 (java) S 15460 15466 7151 0 -1 4202560 4804 0 0 0 55 0 0 0 16 0 19 0 827738626 13959823360 32358 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0

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

[pid=15466/tid=15485] ppid=15460 vsize=13632640 CPUtime=0.1 cores=0,2,4,6
/proc/15466/task/15485/stat : 15485 (java) S 15460 15466 7151 0 -1 4202560 239 0 0 0 10 0 0 0 15 0 19 0 827738623 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15487] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15487/stat : 15487 (java) S 15460 15466 7151 0 -1 4202560 853 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15490] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15490/stat : 15490 (java) S 15460 15466 7151 0 -1 4202560 533 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15491] ppid=15460 vsize=13632640 CPUtime=8.42 cores=0,2,4,6
/proc/15466/task/15491/stat : 15491 (java) S 15460 15466 7151 0 -1 4202560 4227 0 0 0 838 4 0 0 15 0 19 0 827738624 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 0 0 16800975 18446604442743993472 0 0 -1 0 0 0 0
[pid=15466/tid=15493] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15493/stat : 15493 (java) S 15460 15466 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15496] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15496/stat : 15496 (java) S 15460 15466 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15502] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15502/stat : 15502 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827738626 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512515505 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15503] ppid=15460 vsize=13632640 CPUtime=0.5 cores=0,2,4,6
/proc/15466/task/15503/stat : 15503 (java) S 15460 15466 7151 0 -1 4202560 2786 0 0 0 50 0 0 0 15 0 19 0 827738626 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15507] ppid=15460 vsize=13632640 CPUtime=0.57 cores=0,2,4,6
/proc/15466/task/15507/stat : 15507 (java) S 15460 15466 7151 0 -1 4202560 4810 0 0 0 57 0 0 0 15 0 19 0 827738626 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15509] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15509/stat : 15509 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827738626 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15511] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15511/stat : 15511 (java) S 15460 15466 7151 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827738626 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15513] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15513/stat : 15513 (java) S 15460 15466 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738675 13959823360 37757 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1663.89
Current children cumulated vsize (KiB) 13632640

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.91 4/554 15567
/proc/meminfo: memFree=21259096/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13632640 CPUtime=1723.92 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 41605 0 1 0 172375 17 0 0 17 0 19 0 827738620 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3408160 37821 2267 9 0 3398894 0
[pid=15466/tid=15467] ppid=15460 vsize=13632640 CPUtime=1713 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 24062 0 1 0 171290 10 0 0 25 0 19 0 827738620 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 46912505864190 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15466/tid=15474] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15460 15466 7151 0 -1 4202560 609 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15475] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15460 15466 7151 0 -1 4202560 519 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15478] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15460 15466 7151 0 -1 4202560 472 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15480] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15460 15466 7151 0 -1 4202560 541 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15482] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15482/stat : 15482 (java) S 15460 15466 7151 0 -1 4202560 642 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15485] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15485/stat : 15485 (java) S 15460 15466 7151 0 -1 4202560 239 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 4 0 0 0
[pid=15466/tid=15487] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15487/stat : 15487 (java) S 15460 15466 7151 0 -1 4202560 856 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15490] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15490/stat : 15490 (java) S 15460 15466 7151 0 -1 4202560 533 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15491] ppid=15460 vsize=13632640 CPUtime=8.84 cores=0,2,4,6
/proc/15466/task/15491/stat : 15491 (java) S 15460 15466 7151 0 -1 4202560 4286 0 0 0 880 4 0 0 15 0 19 0 827738624 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 0 0 16800975 18446604442743993472 0 0 -1 0 0 0 0
[pid=15466/tid=15493] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15493/stat : 15493 (java) S 15460 15466 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15496] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15496/stat : 15496 (java) S 15460 15466 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15502] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15502/stat : 15502 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827738626 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512515505 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15503] ppid=15460 vsize=13632640 CPUtime=0.5 cores=0,2,4,6
/proc/15466/task/15503/stat : 15503 (java) S 15460 15466 7151 0 -1 4202560 2786 0 0 0 50 0 0 0 15 0 19 0 827738626 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15507] ppid=15460 vsize=13632640 CPUtime=0.57 cores=0,2,4,6
/proc/15466/task/15507/stat : 15507 (java) S 15460 15466 7151 0 -1 4202560 4810 0 0 0 57 0 0 0 15 0 19 0 827738626 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15509] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15509/stat : 15509 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827738626 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15511] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15511/stat : 15511 (java) S 15460 15466 7151 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827738626 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15513] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15513/stat : 15513 (java) S 15460 15466 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738675 13959823360 37821 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.92
Current children cumulated vsize (KiB) 13632640

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/554 15569
/proc/meminfo: memFree=21258680/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13632640 CPUtime=1783.95 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 41621 0 1 0 178378 17 0 0 17 0 19 0 827738620 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3408160 37822 2267 9 0 3398894 0
[pid=15466/tid=15467] ppid=15460 vsize=13632640 CPUtime=1772.57 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 24073 0 1 0 177247 10 0 0 25 0 19 0 827738620 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 46912505893268 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15466/tid=15474] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15460 15466 7151 0 -1 4202560 609 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15475] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15460 15466 7151 0 -1 4202560 519 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15478] ppid=15460 vsize=13632640 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15460 15466 7151 0 -1 4202560 472 0 0 0 13 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 4 0 0 0
[pid=15466/tid=15480] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15460 15466 7151 0 -1 4202560 541 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15482] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15482/stat : 15482 (java) S 15460 15466 7151 0 -1 4202560 643 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15485] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15485/stat : 15485 (java) S 15460 15466 7151 0 -1 4202560 239 0 0 0 12 0 0 0 16 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 4 0 0 0
[pid=15466/tid=15487] ppid=15460 vsize=13632640 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15487/stat : 15487 (java) S 15460 15466 7151 0 -1 4202560 856 0 0 0 13 0 0 0 16 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15490] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15490/stat : 15490 (java) S 15460 15466 7151 0 -1 4202560 533 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15491] ppid=15460 vsize=13632640 CPUtime=9.25 cores=0,2,4,6
/proc/15466/task/15491/stat : 15491 (java) S 15460 15466 7151 0 -1 4202560 4288 0 0 0 921 4 0 0 15 0 19 0 827738624 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 0 0 16800975 18446604442743993472 0 0 -1 0 0 0 0
[pid=15466/tid=15493] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15493/stat : 15493 (java) S 15460 15466 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15496] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15496/stat : 15496 (java) S 15460 15466 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15502] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15502/stat : 15502 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512515505 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15503] ppid=15460 vsize=13632640 CPUtime=0.5 cores=0,2,4,6
/proc/15466/task/15503/stat : 15503 (java) S 15460 15466 7151 0 -1 4202560 2786 0 0 0 50 0 0 0 15 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15507] ppid=15460 vsize=13632640 CPUtime=0.57 cores=0,2,4,6
/proc/15466/task/15507/stat : 15507 (java) S 15460 15466 7151 0 -1 4202560 4810 0 0 0 57 0 0 0 15 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15509] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15509/stat : 15509 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15511] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15511/stat : 15511 (java) S 15460 15466 7151 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15513] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15513/stat : 15513 (java) S 15460 15466 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738675 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.95
Current children cumulated vsize (KiB) 13632640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.4 s]
/proc/loadavg: 2.00 2.01 1.91 3/535 15572
/proc/meminfo: memFree=21399556/32950928 swapFree=34259960/67111528
[pid=15466] ppid=15460 vsize=13632640 CPUtime=1800.09 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15460 15466 7151 0 -1 4202496 41628 0 1 0 179992 17 0 0 17 0 19 0 827738620 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15466/statm: 3408160 37822 2267 9 0 3398894 0
[pid=15466/tid=15467] ppid=15460 vsize=13632640 CPUtime=1788.59 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15460 15466 7151 0 -1 4202560 24076 0 1 0 178849 10 0 0 25 0 19 0 827738620 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 46912505891944 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15466/tid=15474] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15460 15466 7151 0 -1 4202560 609 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15475] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15460 15466 7151 0 -1 4202560 519 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15478] ppid=15460 vsize=13632640 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15460 15466 7151 0 -1 4202560 472 0 0 0 13 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 4 0 0 0
[pid=15466/tid=15480] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15460 15466 7151 0 -1 4202560 541 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15482] ppid=15460 vsize=13632640 CPUtime=0.11 cores=0,2,4,6
/proc/15466/task/15482/stat : 15482 (java) S 15460 15466 7151 0 -1 4202560 643 0 0 0 11 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15485] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15485/stat : 15485 (java) S 15460 15466 7151 0 -1 4202560 239 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 4 0 0 0
[pid=15466/tid=15487] ppid=15460 vsize=13632640 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15487/stat : 15487 (java) S 15460 15466 7151 0 -1 4202560 856 0 0 0 13 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15490] ppid=15460 vsize=13632640 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15490/stat : 15490 (java) S 15460 15466 7151 0 -1 4202560 533 0 0 0 12 0 0 0 15 0 19 0 827738623 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15491] ppid=15460 vsize=13632640 CPUtime=9.37 cores=0,2,4,6
/proc/15466/task/15491/stat : 15491 (java) S 15460 15466 7151 0 -1 4202560 4290 0 0 0 933 4 0 0 16 0 19 0 827738624 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 0 0 16800975 18446604442743993472 0 0 -1 0 0 0 0
[pid=15466/tid=15493] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15493/stat : 15493 (java) S 15460 15466 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15496] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15496/stat : 15496 (java) S 15460 15466 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827738624 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15502] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15502/stat : 15502 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512515505 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15503] ppid=15460 vsize=13632640 CPUtime=0.5 cores=0,2,4,6
/proc/15466/task/15503/stat : 15503 (java) S 15460 15466 7151 0 -1 4202560 2786 0 0 0 50 0 0 0 15 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15507] ppid=15460 vsize=13632640 CPUtime=0.57 cores=0,2,4,6
/proc/15466/task/15507/stat : 15507 (java) S 15460 15466 7151 0 -1 4202560 4810 0 0 0 57 0 0 0 15 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15509] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15509/stat : 15509 (java) S 15460 15466 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512507801 0 4 0 16800975 18446604442743993472 0 0 -1 2 0 0 0
[pid=15466/tid=15511] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15511/stat : 15511 (java) S 15460 15466 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827738626 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
[pid=15466/tid=15513] ppid=15460 vsize=13632640 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15513/stat : 15513 (java) S 15460 15466 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738675 13959823360 37822 33554432000 1073741824 1073778376 140735810362144 18446744073709551615 254512508416 0 4 0 16800975 18446604442743993472 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13632640

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

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

Child status: 143
Real time (s): 1798.47
CPU time (s): 1800.15
CPU user time (s): 1799.96
CPU system time (s): 0.183972
CPU usage (%): 100.093
Max. virtual memory (cumulated for all children) (KiB): 13633668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41671
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= 44624
involuntary context switches= 12906

runsolver used 10.1994 second user time and 22.3566 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-04 06:23:39
IDJOB=3458418
IDBENCH=48238
IDSOLVER=1952
FILE ID=node149/3458418-1307161419
RUNJOBID= node149-1307161419-15446
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_2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458418-1307161419/watcher-3458418-1307161419 -o /tmp/evaluation-result-3458418-1307161419/solver-3458418-1307161419 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458418-1307161419.opb

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
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