Trace number 3458451

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)-36 1800.09 1798.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUMb5a23f46b7c8ffe564ae87cb51d69480
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-57
Best CPU time to get the best result obtained on this benchmark1797.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
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)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	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.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458451-1307162478.opb
0.11/0.11	c reading problem ... 
0.47/0.37	c ... done. Wall clock time 0.259s.
0.47/0.37	c #vars     2892
0.47/0.37	c #constraints  5586
0.47/0.37	c constraints type 
0.47/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2492
0.47/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.47/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.47/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
1.73/0.94	c SATISFIABLE
1.73/0.94	c OPTIMIZING...
1.73/0.94	c Got one! Elapsed wall clock time (in seconds):0.833
1.73/0.94	o -36
3.49/2.67	c cleaning 2563 clauses out of 5192 with flag 4000/5192
6.16/5.21	c cleaning 4298 clauses out of 8629 with flag 10000/11192
7.96/7.08	c cleaning 5666 clauses out of 11331 with flag 17000/18192
11.27/10.38	c cleaning 6754 clauses out of 13665 with flag 25000/26192
14.41/13.49	c cleaning 7846 clauses out of 15911 with flag 34000/35192
17.86/16.81	c cleaning 8967 clauses out of 18065 with flag 44000/45192
21.46/20.41	c cleaning 9514 clauses out of 19098 with flag 54000/55192
24.86/23.84	c cleaning 9785 clauses out of 19585 with flag 64001/65193
28.16/27.13	c cleaning 9815 clauses out of 19799 with flag 74000/75192
31.96/30.90	c cleaning 9904 clauses out of 19984 with flag 84000/85192
35.36/34.37	c cleaning 9927 clauses out of 20080 with flag 94000/95192
39.06/38.07	c cleaning 9955 clauses out of 20153 with flag 104000/105192
42.96/41.93	c cleaning 9985 clauses out of 20198 with flag 114000/115192
47.46/46.48	c cleaning 9963 clauses out of 20213 with flag 124000/125192
51.46/50.46	c cleaning 10038 clauses out of 20250 with flag 134000/135192
55.46/54.49	c cleaning 10002 clauses out of 20212 with flag 144000/145192
60.06/59.05	c cleaning 10039 clauses out of 20210 with flag 154000/155192
64.36/63.39	c cleaning 9973 clauses out of 20171 with flag 164000/165192
68.27/67.21	c cleaning 9964 clauses out of 20198 with flag 174000/175192
72.47/71.41	c cleaning 10007 clauses out of 20234 with flag 184000/185192
76.47/75.48	c cleaning 10020 clauses out of 20227 with flag 194000/195192
80.37/79.34	c cleaning 10045 clauses out of 20207 with flag 204000/205192
84.57/83.51	c cleaning 9929 clauses out of 20162 with flag 214000/215192
89.09/88.03	c cleaning 9991 clauses out of 20233 with flag 224000/225192
93.57/92.55	c cleaning 10027 clauses out of 20242 with flag 234000/235192
98.47/97.42	c cleaning 9988 clauses out of 20215 with flag 244000/245192
102.67/101.69	c cleaning 10037 clauses out of 20227 with flag 254000/255192
106.87/105.89	c cleaning 9955 clauses out of 20190 with flag 264000/265192
110.98/110.00	c cleaning 10044 clauses out of 20235 with flag 274000/275192
115.38/114.31	c cleaning 10026 clauses out of 20191 with flag 284000/285192
119.78/118.71	c cleaning 10020 clauses out of 20165 with flag 294000/295192
124.07/123.06	c cleaning 9934 clauses out of 20145 with flag 304000/305192
129.17/128.10	c cleaning 10028 clauses out of 20211 with flag 314000/315192
133.77/132.76	c cleaning 9980 clauses out of 20183 with flag 324000/325192
137.98/136.94	c cleaning 10043 clauses out of 20203 with flag 334000/335192
142.68/141.67	c cleaning 10053 clauses out of 20160 with flag 344000/345192
147.08/146.05	c cleaning 9979 clauses out of 20107 with flag 354000/355192
152.08/151.05	c cleaning 10004 clauses out of 20128 with flag 364000/365192
156.78/155.74	c cleaning 9997 clauses out of 20124 with flag 374000/375192
161.48/160.40	c cleaning 9983 clauses out of 20127 with flag 384000/385192
166.58/165.53	c cleaning 9992 clauses out of 20144 with flag 394000/395192
170.58/169.59	c cleaning 9986 clauses out of 20152 with flag 404000/405192
175.08/174.02	c cleaning 9980 clauses out of 20166 with flag 414000/415192
179.88/178.84	c cleaning 9949 clauses out of 20186 with flag 424000/425192
184.89/183.88	c cleaning 10004 clauses out of 20237 with flag 434000/435192
189.60/188.53	c cleaning 10080 clauses out of 20233 with flag 444000/445192
194.40/193.31	c cleaning 10015 clauses out of 20153 with flag 454000/455192
199.50/198.47	c cleaning 9972 clauses out of 20138 with flag 464000/465192
204.20/203.11	c cleaning 9958 clauses out of 20166 with flag 474000/475192
209.20/208.16	c cleaning 9963 clauses out of 20208 with flag 484000/485192
214.10/213.03	c cleaning 10055 clauses out of 20245 with flag 494000/495192
219.40/218.39	c cleaning 10027 clauses out of 20190 with flag 504000/505192
224.90/223.80	c cleaning 9922 clauses out of 20163 with flag 514000/515192
229.60/228.59	c cleaning 10097 clauses out of 20241 with flag 524000/525192
234.60/233.55	c cleaning 9957 clauses out of 20144 with flag 534000/535192
239.20/238.14	c cleaning 9981 clauses out of 20187 with flag 544000/545192
243.60/242.56	c cleaning 10019 clauses out of 20206 with flag 554000/555192
248.40/247.36	c cleaning 10021 clauses out of 20187 with flag 564000/565192
253.10/252.04	c cleaning 10013 clauses out of 20166 with flag 574000/575192
257.81/256.70	c cleaning 10038 clauses out of 20154 with flag 584001/585193
263.21/262.10	c cleaning 9971 clauses out of 20115 with flag 594000/595192
267.91/266.88	c cleaning 9998 clauses out of 20144 with flag 604000/605192
272.71/271.71	c cleaning 10002 clauses out of 20146 with flag 614000/615192
278.51/277.40	c cleaning 9950 clauses out of 20144 with flag 624000/625192
283.82/282.71	c cleaning 10023 clauses out of 20194 with flag 634000/635192
289.11/288.00	c cleaning 10045 clauses out of 20171 with flag 644000/645192
294.41/293.39	c cleaning 9917 clauses out of 20126 with flag 654000/655192
299.51/298.49	c cleaning 9962 clauses out of 20209 with flag 664000/665192
305.13/304.00	c cleaning 10036 clauses out of 20247 with flag 674000/675192
310.53/309.44	c cleaning 9999 clauses out of 20211 with flag 684000/685192
315.64/314.60	c cleaning 10027 clauses out of 20212 with flag 694000/695192
321.03/319.94	c cleaning 10014 clauses out of 20185 with flag 704000/705192
326.43/325.39	c cleaning 10003 clauses out of 20171 with flag 714000/715192
331.93/330.83	c cleaning 9981 clauses out of 20168 with flag 724000/725192
336.93/335.81	c cleaning 9972 clauses out of 20187 with flag 734000/735192
341.44/340.33	c cleaning 9988 clauses out of 20215 with flag 744000/745192
346.55/345.49	c cleaning 10025 clauses out of 20227 with flag 754000/755192
351.34/350.28	c cleaning 10037 clauses out of 20202 with flag 764000/765192
356.04/354.98	c cleaning 10006 clauses out of 20165 with flag 774000/775192
361.04/359.93	c cleaning 9985 clauses out of 20159 with flag 784000/785192
366.14/365.08	c cleaning 9961 clauses out of 20174 with flag 794000/795192
370.84/369.73	c cleaning 9987 clauses out of 20213 with flag 804000/805192
375.04/373.97	c cleaning 10107 clauses out of 20226 with flag 814000/815192
379.84/378.70	c cleaning 9992 clauses out of 20119 with flag 824000/825192
384.34/383.22	c cleaning 9977 clauses out of 20127 with flag 834000/835192
388.74/387.67	c cleaning 9992 clauses out of 20150 with flag 844000/845192
393.54/392.40	c cleaning 10035 clauses out of 20158 with flag 854000/855192
398.34/397.27	c cleaning 9970 clauses out of 20123 with flag 864000/865192
403.14/402.07	c cleaning 9978 clauses out of 20153 with flag 874000/875192
407.74/406.63	c cleaning 9991 clauses out of 20175 with flag 884000/885192
412.84/411.70	c cleaning 9953 clauses out of 20184 with flag 894000/895192
417.04/415.98	c cleaning 9966 clauses out of 20231 with flag 904000/905192
421.44/420.37	c cleaning 10030 clauses out of 20266 with flag 914001/915193
426.94/425.85	c cleaning 9989 clauses out of 20235 with flag 924000/925192
432.36/431.22	c cleaning 10014 clauses out of 20246 with flag 934000/935192
437.24/436.15	c cleaning 10065 clauses out of 20232 with flag 944000/945192
442.54/441.45	c cleaning 10011 clauses out of 20167 with flag 954000/955192
447.84/446.74	c cleaning 9951 clauses out of 20156 with flag 964000/965192
452.85/451.71	c cleaning 10008 clauses out of 20205 with flag 974000/975192
457.85/456.79	c cleaning 10034 clauses out of 20197 with flag 984000/985192
463.55/462.43	c cleaning 9956 clauses out of 20163 with flag 994000/995192
468.35/467.23	c cleaning 10000 clauses out of 20207 with flag 1004000/1005192
473.26/472.16	c cleaning 10014 clauses out of 20207 with flag 1014000/1015192
478.66/477.50	c cleaning 10035 clauses out of 20193 with flag 1024000/1025192
483.46/482.30	c cleaning 9970 clauses out of 20158 with flag 1034000/1035192
488.36/487.26	c cleaning 10035 clauses out of 20188 with flag 1044000/1045192
493.86/492.79	c cleaning 9927 clauses out of 20153 with flag 1054000/1055192
499.48/498.33	c cleaning 10047 clauses out of 20226 with flag 1064000/1065192
504.36/503.24	c cleaning 9987 clauses out of 20179 with flag 1074000/1075192
509.66/508.58	c cleaning 9943 clauses out of 20192 with flag 1084000/1085192
514.77/513.68	c cleaning 10043 clauses out of 20249 with flag 1094000/1095192
519.28/518.18	c cleaning 10000 clauses out of 20206 with flag 1104000/1105192
523.77/522.61	c cleaning 9995 clauses out of 20206 with flag 1114000/1115192
527.97/526.87	c cleaning 10040 clauses out of 20211 with flag 1124000/1125192
532.66/531.58	c cleaning 10014 clauses out of 20171 with flag 1134000/1135192
537.37/536.25	c cleaning 9980 clauses out of 20157 with flag 1144000/1145192
541.87/540.73	c cleaning 9978 clauses out of 20177 with flag 1154000/1155192
546.47/545.31	c cleaning 10080 clauses out of 20199 with flag 1164000/1165192
551.18/550.07	c cleaning 9969 clauses out of 20119 with flag 1174000/1175192
556.77/555.64	c cleaning 9962 clauses out of 20150 with flag 1184000/1185192
561.37/560.23	c cleaning 10001 clauses out of 20188 with flag 1194000/1195192
565.77/564.67	c cleaning 10073 clauses out of 20187 with flag 1204000/1205192
570.87/569.77	c cleaning 9944 clauses out of 20114 with flag 1214000/1215192
575.57/574.47	c cleaning 9952 clauses out of 20170 with flag 1224000/1225192
580.77/579.68	c cleaning 9974 clauses out of 20218 with flag 1234000/1235192
585.77/584.62	c cleaning 10086 clauses out of 20244 with flag 1244000/1245192
591.37/590.23	c cleaning 10040 clauses out of 20158 with flag 1254000/1255192
596.37/595.29	c cleaning 9958 clauses out of 20118 with flag 1264000/1265192
601.57/600.41	c cleaning 9990 clauses out of 20160 with flag 1274000/1275192
606.87/605.70	c cleaning 9983 clauses out of 20170 with flag 1284000/1285192
612.17/611.06	c cleaning 10023 clauses out of 20187 with flag 1294000/1295192
617.37/616.22	c cleaning 10009 clauses out of 20164 with flag 1304000/1305192
622.69/621.55	c cleaning 9997 clauses out of 20155 with flag 1314000/1315192
628.08/626.94	c cleaning 10001 clauses out of 20158 with flag 1324000/1325192
633.08/631.94	c cleaning 9974 clauses out of 20157 with flag 1334000/1335192
637.79/636.62	c cleaning 10019 clauses out of 20183 with flag 1344000/1345192
642.19/641.03	c cleaning 9994 clauses out of 20164 with flag 1354000/1355192
646.49/645.30	c cleaning 9934 clauses out of 20170 with flag 1364000/1365192
650.89/649.76	c cleaning 10003 clauses out of 20236 with flag 1374000/1375192
654.99/653.85	c cleaning 10102 clauses out of 20233 with flag 1384000/1385192
659.89/658.70	c cleaning 9948 clauses out of 20131 with flag 1394000/1395192
664.39/663.26	c cleaning 10000 clauses out of 20183 with flag 1404000/1405192
668.59/667.40	c cleaning 9969 clauses out of 20183 with flag 1414000/1415192
673.69/672.55	c cleaning 10034 clauses out of 20214 with flag 1424000/1425192
678.29/677.10	c cleaning 10037 clauses out of 20180 with flag 1434000/1435192
682.59/681.42	c cleaning 10003 clauses out of 20143 with flag 1444000/1445192
686.79/685.64	c cleaning 9976 clauses out of 20140 with flag 1454000/1455192
691.49/690.30	c cleaning 9947 clauses out of 20164 with flag 1464000/1465192
696.00/694.86	c cleaning 10014 clauses out of 20217 with flag 1474000/1475192
700.81/699.69	c cleaning 9974 clauses out of 20203 with flag 1484000/1485192
705.70/704.52	c cleaning 10030 clauses out of 20229 with flag 1494000/1495192
710.20/709.03	c cleaning 10043 clauses out of 20199 with flag 1504000/1505192
714.90/713.73	c cleaning 10009 clauses out of 20156 with flag 1514000/1515192
719.52/718.36	c cleaning 10007 clauses out of 20147 with flag 1524000/1525192
724.40/723.24	c cleaning 9984 clauses out of 20140 with flag 1534000/1535192
729.30/728.17	c cleaning 10009 clauses out of 20156 with flag 1544000/1545192
734.00/732.85	c cleaning 10009 clauses out of 20147 with flag 1554000/1555192
738.60/737.43	c cleaning 10014 clauses out of 20138 with flag 1564000/1565192
743.10/741.95	c cleaning 9989 clauses out of 20124 with flag 1574000/1575192
747.61/746.46	c cleaning 9977 clauses out of 20135 with flag 1584000/1585192
751.91/750.77	c cleaning 9994 clauses out of 20158 with flag 1594000/1595192
756.21/755.03	c cleaning 10011 clauses out of 20164 with flag 1604000/1605192
760.23/759.10	c cleaning 10000 clauses out of 20153 with flag 1614000/1615192
764.11/762.99	c cleaning 9999 clauses out of 20153 with flag 1624000/1625192
769.32/768.11	c cleaning 9936 clauses out of 20154 with flag 1634000/1635192
773.82/772.67	c cleaning 10083 clauses out of 20218 with flag 1644000/1645192
778.94/777.76	c cleaning 9989 clauses out of 20135 with flag 1654000/1655192
783.52/782.32	c cleaning 9992 clauses out of 20146 with flag 1664000/1665192
788.12/786.93	c cleaning 10000 clauses out of 20154 with flag 1674000/1675192
793.03/791.81	c cleaning 9941 clauses out of 20154 with flag 1684000/1685192
798.03/796.81	c cleaning 10030 clauses out of 20213 with flag 1694000/1695192
803.15/801.98	c cleaning 9986 clauses out of 20183 with flag 1704000/1705192
808.34/807.18	c cleaning 10041 clauses out of 20197 with flag 1714000/1715192
813.24/812.09	c cleaning 9982 clauses out of 20156 with flag 1724000/1725192
818.44/817.23	c cleaning 10037 clauses out of 20174 with flag 1734000/1735192
823.64/822.42	c cleaning 9985 clauses out of 20137 with flag 1744000/1745192
828.34/827.21	c cleaning 9977 clauses out of 20152 with flag 1754000/1755192
833.34/832.16	c cleaning 9990 clauses out of 20175 with flag 1764000/1765192
838.45/837.28	c cleaning 10022 clauses out of 20185 with flag 1774000/1775192
842.85/841.62	c cleaning 9957 clauses out of 20163 with flag 1784000/1785192
847.75/846.54	c cleaning 10043 clauses out of 20206 with flag 1794000/1795192
852.55/851.34	c cleaning 10010 clauses out of 20163 with flag 1804000/1805192
857.55/856.37	c cleaning 9964 clauses out of 20153 with flag 1814000/1815192
862.25/861.06	c cleaning 10031 clauses out of 20189 with flag 1824000/1825192
867.05/865.80	c cleaning 9998 clauses out of 20158 with flag 1834000/1835192
871.85/870.63	c cleaning 10005 clauses out of 20160 with flag 1844000/1845192
876.46/875.28	c cleaning 10004 clauses out of 20155 with flag 1854000/1855192
881.27/880.03	c cleaning 9976 clauses out of 20151 with flag 1864000/1865192
886.26/885.05	c cleaning 10004 clauses out of 20175 with flag 1874000/1875192
891.36/890.13	c cleaning 9993 clauses out of 20171 with flag 1884000/1885192
896.16/894.92	c cleaning 10039 clauses out of 20178 with flag 1894000/1895192
900.86/899.65	c cleaning 9977 clauses out of 20139 with flag 1904000/1905192
905.37/904.20	c cleaning 10012 clauses out of 20162 with flag 1914000/1915192
910.06/908.80	c cleaning 9997 clauses out of 20150 with flag 1924000/1925192
914.36/913.10	c cleaning 9993 clauses out of 20153 with flag 1934000/1935192
918.46/917.24	c cleaning 9999 clauses out of 20160 with flag 1944000/1945192
922.77/921.55	c cleaning 10020 clauses out of 20161 with flag 1954000/1955192
927.07/925.81	c cleaning 9994 clauses out of 20141 with flag 1964000/1965192
930.97/929.79	c cleaning 9998 clauses out of 20147 with flag 1974000/1975192
934.87/933.68	c cleaning 9970 clauses out of 20149 with flag 1984000/1985192
939.27/938.08	c cleaning 9961 clauses out of 20179 with flag 1994000/1995192
943.27/942.07	c cleaning 10082 clauses out of 20218 with flag 2004000/2005192
947.38/946.19	c cleaning 9976 clauses out of 20136 with flag 2014000/2015192
951.70/950.48	c cleaning 9941 clauses out of 20160 with flag 2024000/2025192
956.68/955.48	c cleaning 9982 clauses out of 20219 with flag 2034000/2035192
962.08/960.80	c cleaning 10007 clauses out of 20237 with flag 2044000/2045192
966.99/965.75	c cleaning 10014 clauses out of 20230 with flag 2054000/2055192
972.08/970.88	c cleaning 9972 clauses out of 20216 with flag 2064000/2065192
977.00/975.74	c cleaning 10035 clauses out of 20244 with flag 2074000/2075192
982.58/981.39	c cleaning 9997 clauses out of 20209 with flag 2084000/2085192
987.58/986.39	c cleaning 10044 clauses out of 20212 with flag 2094000/2095192
993.19/991.98	c cleaning 9953 clauses out of 20168 with flag 2104000/2105192
998.49/997.29	c cleaning 10019 clauses out of 20215 with flag 2114000/2115192
1003.79/1002.57	c cleaning 10000 clauses out of 20196 with flag 2124000/2125192
1009.39/1008.10	c cleaning 9979 clauses out of 20196 with flag 2134000/2135192
1014.69/1013.45	c cleaning 9998 clauses out of 20217 with flag 2144000/2145192
1019.59/1018.35	c cleaning 9989 clauses out of 20219 with flag 2154000/2155192
1024.49/1023.21	c cleaning 9991 clauses out of 20230 with flag 2164000/2165192
1029.39/1028.18	c cleaning 10081 clauses out of 20239 with flag 2174000/2175192
1034.29/1033.06	c cleaning 9994 clauses out of 20158 with flag 2184000/2185192
1039.59/1038.34	c cleaning 10053 clauses out of 20164 with flag 2194000/2195192
1044.30/1043.04	c cleaning 9944 clauses out of 20111 with flag 2204000/2205192
1050.20/1048.92	c cleaning 9948 clauses out of 20167 with flag 2214000/2215192
1055.40/1054.15	c cleaning 10043 clauses out of 20219 with flag 2224000/2225192
1060.80/1059.54	c cleaning 10010 clauses out of 20176 with flag 2234000/2235192
1066.30/1065.03	c cleaning 10029 clauses out of 20166 with flag 2244000/2245192
1071.80/1070.50	c cleaning 9996 clauses out of 20137 with flag 2254000/2255192
1077.00/1075.73	c cleaning 10027 clauses out of 20141 with flag 2264000/2265192
1082.50/1081.27	c cleaning 9981 clauses out of 20114 with flag 2274000/2275192
1087.90/1086.61	c cleaning 9991 clauses out of 20133 with flag 2284000/2285192
1093.40/1092.19	c cleaning 9964 clauses out of 20142 with flag 2294000/2295192
1098.30/1097.05	c cleaning 9984 clauses out of 20178 with flag 2304000/2305192
1103.31/1102.11	c cleaning 10060 clauses out of 20194 with flag 2314000/2315192
1108.81/1107.59	c cleaning 9913 clauses out of 20134 with flag 2324000/2325192
1113.81/1112.59	c cleaning 10005 clauses out of 20221 with flag 2334000/2335192
1119.21/1117.93	c cleaning 9977 clauses out of 20216 with flag 2344000/2345192
1124.31/1123.08	c cleaning 10037 clauses out of 20239 with flag 2354000/2355192
1130.11/1128.84	c cleaning 9994 clauses out of 20202 with flag 2364000/2365192
1135.43/1134.13	c cleaning 9998 clauses out of 20208 with flag 2374000/2375192
1140.93/1139.66	c cleaning 10067 clauses out of 20210 with flag 2384000/2385192
1146.43/1145.17	c cleaning 10003 clauses out of 20143 with flag 2394000/2395192
1152.02/1150.77	c cleaning 9971 clauses out of 20140 with flag 2404000/2405192
1157.72/1156.42	c cleaning 9996 clauses out of 20169 with flag 2414000/2415192
1163.32/1162.08	c cleaning 9991 clauses out of 20173 with flag 2424000/2425192
1168.72/1167.41	c cleaning 9947 clauses out of 20182 with flag 2434000/2435192
1173.82/1172.57	c cleaning 10014 clauses out of 20235 with flag 2444000/2445192
1178.62/1177.30	c cleaning 9961 clauses out of 20221 with flag 2454000/2455192
1182.92/1181.64	c cleaning 10006 clauses out of 20260 with flag 2464000/2465192
1187.62/1186.38	c cleaning 9992 clauses out of 20254 with flag 2474000/2475192
1192.33/1191.02	c cleaning 10091 clauses out of 20262 with flag 2484000/2485192
1197.24/1195.91	c cleaning 9971 clauses out of 20171 with flag 2494000/2495192
1202.24/1200.90	c cleaning 9991 clauses out of 20200 with flag 2504000/2505192
1207.54/1206.23	c cleaning 10029 clauses out of 20209 with flag 2514000/2515192
1212.54/1211.26	c cleaning 10009 clauses out of 20180 with flag 2524000/2525192
1217.74/1216.50	c cleaning 10013 clauses out of 20171 with flag 2534000/2535192
1223.04/1221.77	c cleaning 10020 clauses out of 20159 with flag 2544001/2545193
1228.54/1227.22	c cleaning 9998 clauses out of 20138 with flag 2554000/2555192
1233.74/1232.41	c cleaning 9992 clauses out of 20140 with flag 2564000/2565192
1238.86/1237.53	c cleaning 10005 clauses out of 20148 with flag 2574000/2575192
1243.94/1242.65	c cleaning 9969 clauses out of 20143 with flag 2584000/2585192
1248.95/1247.67	c cleaning 10039 clauses out of 20174 with flag 2594000/2595192
1254.05/1252.71	c cleaning 9968 clauses out of 20135 with flag 2604000/2605192
1259.05/1257.78	c cleaning 10019 clauses out of 20167 with flag 2614000/2615192
1264.16/1262.83	c cleaning 10021 clauses out of 20148 with flag 2624000/2625192
1269.05/1267.78	c cleaning 9964 clauses out of 20127 with flag 2634000/2635192
1273.85/1272.58	c cleaning 9998 clauses out of 20163 with flag 2644000/2645192
1278.55/1277.23	c cleaning 9994 clauses out of 20165 with flag 2654000/2655192
1283.36/1282.02	c cleaning 9977 clauses out of 20171 with flag 2664000/2665192
1287.28/1285.99	c cleaning 9982 clauses out of 20194 with flag 2674000/2675192
1291.26/1289.99	c cleaning 10000 clauses out of 20212 with flag 2684000/2685192
1295.57/1294.21	c cleaning 10034 clauses out of 20212 with flag 2694000/2695192
1300.37/1299.07	c cleaning 9968 clauses out of 20178 with flag 2704000/2705192
1304.77/1303.43	c cleaning 9971 clauses out of 20210 with flag 2714000/2715192
1309.67/1308.33	c cleaning 10018 clauses out of 20239 with flag 2724000/2725192
1314.17/1312.87	c cleaning 10012 clauses out of 20221 with flag 2734000/2735192
1318.97/1317.60	c cleaning 10000 clauses out of 20209 with flag 2744000/2745192
1323.17/1321.82	c cleaning 9986 clauses out of 20209 with flag 2754000/2755192
1328.17/1326.80	c cleaning 10049 clauses out of 20223 with flag 2764000/2765192
1332.87/1331.53	c cleaning 10045 clauses out of 20174 with flag 2774000/2775192
1337.89/1336.51	c cleaning 9931 clauses out of 20129 with flag 2784000/2785192
1342.77/1341.43	c cleaning 10057 clauses out of 20198 with flag 2794000/2795192
1348.08/1346.73	c cleaning 9943 clauses out of 20141 with flag 2804000/2805192
1353.18/1351.83	c cleaning 10029 clauses out of 20198 with flag 2814000/2815192
1358.68/1357.41	c cleaning 10032 clauses out of 20169 with flag 2824000/2825192
1364.38/1363.04	c cleaning 9983 clauses out of 20137 with flag 2834000/2835192
1369.88/1368.50	c cleaning 10042 clauses out of 20154 with flag 2844000/2845192
1375.30/1373.92	c cleaning 9940 clauses out of 20112 with flag 2854000/2855192
1380.69/1379.32	c cleaning 10027 clauses out of 20172 with flag 2864000/2865192
1385.99/1384.64	c cleaning 9975 clauses out of 20145 with flag 2874000/2875192
1391.29/1389.92	c cleaning 10052 clauses out of 20170 with flag 2884000/2885192
1396.49/1395.14	c cleaning 9944 clauses out of 20118 with flag 2894000/2895192
1401.79/1400.47	c cleaning 10054 clauses out of 20174 with flag 2904000/2905192
1407.09/1405.76	c cleaning 9969 clauses out of 20120 with flag 2914000/2915192
1412.29/1410.96	c cleaning 10012 clauses out of 20151 with flag 2924000/2925192
1417.49/1416.14	c cleaning 9985 clauses out of 20139 with flag 2934000/2935192
1422.61/1421.24	c cleaning 10002 clauses out of 20154 with flag 2944000/2945192
1427.70/1426.39	c cleaning 10054 clauses out of 20152 with flag 2954000/2955192
1432.20/1430.82	c cleaning 9899 clauses out of 20098 with flag 2964000/2965192
1437.60/1436.22	c cleaning 9977 clauses out of 20199 with flag 2974000/2975192
1442.50/1441.11	c cleaning 9969 clauses out of 20222 with flag 2984000/2985192
1447.40/1446.00	c cleaning 10072 clauses out of 20253 with flag 2994000/2995192
1453.00/1451.61	c cleaning 9984 clauses out of 20181 with flag 3004000/3005192
1457.71/1456.32	c cleaning 10052 clauses out of 20197 with flag 3014000/3015192
1462.91/1461.52	c cleaning 10048 clauses out of 20145 with flag 3024000/3025192
1468.42/1467.02	c cleaning 9948 clauses out of 20097 with flag 3034000/3035192
1473.92/1472.54	c cleaning 9956 clauses out of 20149 with flag 3044000/3045192
1479.72/1478.38	c cleaning 9988 clauses out of 20193 with flag 3054000/3055192
1484.92/1483.53	c cleaning 9962 clauses out of 20205 with flag 3064000/3065192
1490.93/1489.52	c cleaning 10061 clauses out of 20243 with flag 3074000/3075192
1496.13/1494.75	c cleaning 9963 clauses out of 20182 with flag 3084000/3085192
1501.63/1500.26	c cleaning 9999 clauses out of 20219 with flag 3094000/3095192
1506.43/1505.03	c cleaning 10044 clauses out of 20220 with flag 3104000/3105192
1511.63/1510.24	c cleaning 9996 clauses out of 20176 with flag 3114000/3115192
1516.93/1515.50	c cleaning 9999 clauses out of 20180 with flag 3124000/3125192
1522.13/1520.78	c cleaning 10041 clauses out of 20181 with flag 3134000/3135192
1527.43/1526.10	c cleaning 9940 clauses out of 20140 with flag 3144000/3145192
1533.03/1531.62	c cleaning 10042 clauses out of 20200 with flag 3154000/3155192
1538.34/1536.99	c cleaning 9992 clauses out of 20158 with flag 3164000/3165192
1543.74/1542.31	c cleaning 10049 clauses out of 20166 with flag 3174000/3175192
1549.55/1548.18	c cleaning 9938 clauses out of 20117 with flag 3184000/3185192
1555.05/1553.64	c cleaning 9933 clauses out of 20179 with flag 3194000/3195192
1559.65/1558.20	c cleaning 10025 clauses out of 20246 with flag 3204000/3205192
1564.35/1562.93	c cleaning 10001 clauses out of 20221 with flag 3214000/3215192
1569.45/1568.08	c cleaning 10021 clauses out of 20220 with flag 3224000/3225192
1574.55/1573.14	c cleaning 9998 clauses out of 20199 with flag 3234000/3235192
1579.65/1578.29	c cleaning 10009 clauses out of 20201 with flag 3244000/3245192
1585.05/1583.61	c cleaning 9980 clauses out of 20192 with flag 3254000/3255192
1590.25/1588.88	c cleaning 9990 clauses out of 20212 with flag 3264000/3265192
1595.95/1594.54	c cleaning 10039 clauses out of 20222 with flag 3274000/3275192
1601.85/1600.50	c cleaning 10038 clauses out of 20183 with flag 3284000/3285192
1607.36/1606.00	c cleaning 10017 clauses out of 20145 with flag 3294000/3295192
1612.06/1610.63	c cleaning 9964 clauses out of 20128 with flag 3304000/3305192
1617.16/1615.72	c cleaning 9933 clauses out of 20164 with flag 3314000/3315192
1622.36/1620.94	c cleaning 10046 clauses out of 20231 with flag 3324000/3325192
1627.56/1626.16	c cleaning 10014 clauses out of 20185 with flag 3334000/3335192
1632.56/1631.16	c cleaning 9959 clauses out of 20171 with flag 3344000/3345192
1637.67/1636.27	c cleaning 9985 clauses out of 20212 with flag 3354000/3355192
1642.77/1641.39	c cleaning 10017 clauses out of 20227 with flag 3364000/3365192
1648.18/1646.75	c cleaning 10052 clauses out of 20210 with flag 3374000/3375192
1653.87/1652.42	c cleaning 10042 clauses out of 20158 with flag 3384000/3385192
1659.47/1658.04	c cleaning 9974 clauses out of 20116 with flag 3394000/3395192
1665.28/1663.85	c cleaning 9956 clauses out of 20142 with flag 3404000/3405192
1671.38/1669.96	c cleaning 10036 clauses out of 20186 with flag 3414000/3415192
1677.18/1675.77	c cleaning 9976 clauses out of 20150 with flag 3424000/3425192
1682.98/1681.57	c cleaning 10024 clauses out of 20174 with flag 3434000/3435192
1688.68/1687.27	c cleaning 9998 clauses out of 20150 with flag 3444000/3445192
1694.29/1692.91	c cleaning 9972 clauses out of 20152 with flag 3454000/3455192
1699.99/1698.54	c cleaning 10038 clauses out of 20180 with flag 3464000/3465192
1705.49/1704.09	c cleaning 10006 clauses out of 20142 with flag 3474000/3475192
1711.09/1709.61	c cleaning 10014 clauses out of 20136 with flag 3484000/3485192
1716.59/1715.18	c cleaning 9980 clauses out of 20122 with flag 3494000/3495192
1722.10/1720.67	c cleaning 9995 clauses out of 20142 with flag 3504000/3505192
1727.50/1726.09	c cleaning 9967 clauses out of 20147 with flag 3514000/3515192
1732.92/1731.44	c cleaning 10024 clauses out of 20180 with flag 3524000/3525192
1738.10/1736.63	c cleaning 9991 clauses out of 20156 with flag 3534000/3535192
1743.20/1741.79	c cleaning 9988 clauses out of 20165 with flag 3544000/3545192
1748.21/1746.79	c cleaning 9999 clauses out of 20177 with flag 3554000/3555192
1753.11/1751.62	c cleaning 10003 clauses out of 20178 with flag 3564000/3565192
1757.81/1756.40	c cleaning 9934 clauses out of 20175 with flag 3574000/3575192
1762.41/1760.96	c cleaning 10076 clauses out of 20241 with flag 3584000/3585192
1767.41/1765.94	c cleaning 9983 clauses out of 20165 with flag 3594000/3595192
1771.71/1770.29	c cleaning 10025 clauses out of 20182 with flag 3604000/3605192
1776.11/1774.66	c cleaning 10055 clauses out of 20157 with flag 3614000/3615192
1780.71/1779.21	c cleaning 9893 clauses out of 20102 with flag 3624000/3625192
1785.31/1783.89	c cleaning 10019 clauses out of 20209 with flag 3634000/3635192
1789.92/1788.43	c cleaning 9979 clauses out of 20190 with flag 3644000/3645192
1794.71/1793.23	c cleaning 10034 clauses out of 20211 with flag 3654000/3655192
1799.62/1798.13	c cleaning 10011 clauses out of 20177 with flag 3664000/3665192
1800.04/1798.53	c starts		: 253
1800.04/1798.53	c conflicts		: 3666007
1800.04/1798.53	c decisions		: 3707762
1800.04/1798.53	c propagations		: 112159875
1800.04/1798.53	c inspects		: 1503610527
1800.04/1798.53	c shortcuts		: 0
1800.04/1798.53	c learnt literals	: 0
1800.04/1798.53	c learnt binary clauses	: 0
1800.04/1798.53	c learnt ternary clauses	: 317
1800.04/1798.53	c learnt constraints	: 3666006
1800.04/1798.53	c ignored constraints	: 0
1800.04/1798.53	c root simplifications	: 0
1800.04/1798.53	c removed literals (reason simplification)	: 418559121
1800.04/1798.53	c reason swapping (by a shorter reason)	: 0
1800.04/1798.53	c Calls to reduceDB	: 368
1800.04/1798.53	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.53	c number of learned constraints concerned by reduction	: 0
1800.04/1798.53	c number of learning phase by resolution	: 0
1800.04/1798.53	c number of learning phase by cutting planes	: 0
1800.04/1798.53	c speed (assignments/second)	: 62394.442237791176
1800.04/1798.53	c non guided choices	0
1800.04/1798.54	c learnt constraints type 
1800.04/1798.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10985
1800.04/1798.54	c constraints type 
1800.04/1798.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2492
1800.04/1798.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.04/1798.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.04/1798.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
1800.04/1798.54	s SATISFIABLE
1800.04/1798.54	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.04/1798.54	c objective function=-36
1800.04/1798.54	c Total wall clock time (in seconds): 1798.435

Verifier Data 

OK	-36

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-3458451-1307162478/watcher-3458451-1307162478 -o /tmp/evaluation-result-3458451-1307162478/solver-3458451-1307162478 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458451-1307162478.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: 0.94 1.50 1.80 4/446 450
/proc/meminfo: memFree=29021864/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=8968 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (java) R 448 450 28402 0 -1 4202496 369 0 0 0 0 0 0 0 25 0 1 0 827848234 9183232 118 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458752336 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/450/statm: 2242 118 92 9 0 34 0
[pid=450/tid=451] ppid=448 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 5778 0 1 0 0 0 0 0 25 0 2 0 827848235 13850947584 6593 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0813841 s]
/proc/loadavg: 0.94 1.50 1.80 4/446 450
/proc/meminfo: memFree=29021864/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 14496 0 1 0 5 1 0 0 25 0 18 0 827848234 13880410112 14193 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3388772 14194 1755 9 0 3379506 0
[pid=450/tid=451] ppid=448 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 13324 0 1 0 5 1 0 0 25 0 18 0 827848235 13880410112 14194 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458771915 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088

[startup+0.100377 s]
/proc/loadavg: 0.94 1.50 1.80 4/446 450
/proc/meminfo: memFree=29021864/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13621680 CPUtime=0.11 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 15519 0 1 0 9 2 0 0 25 0 18 0 827848234 13948600320 15193 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3405420 15193 2093 9 0 3396154 0
[pid=450/tid=451] ppid=448 vsize=13621680 CPUtime=0.09 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 13597 0 1 0 7 2 0 0 18 0 18 0 827848235 13948600320 15194 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244446606021 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621680

[startup+0.300323 s]
/proc/loadavg: 0.94 1.50 1.80 4/446 450
/proc/meminfo: memFree=29021864/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13623648 CPUtime=0.47 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 19150 0 1 0 45 2 0 0 25 0 18 0 827848234 13950615552 18353 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3405912 18354 2212 9 0 3396646 0
[pid=450/tid=451] ppid=448 vsize=13623648 CPUtime=0.29 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 15714 0 1 0 27 2 0 0 18 0 18 0 827848235 13950615552 18354 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 46912505510148 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13623648

[startup+0.700266 s]
/proc/loadavg: 0.94 1.50 1.80 4/446 450
/proc/meminfo: memFree=29021864/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13636260 CPUtime=1.51 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 30397 0 1 0 147 4 0 0 25 0 19 0 827848234 13963530240 25762 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3409065 25762 2235 9 0 3399799 0
[pid=450/tid=451] ppid=448 vsize=13636260 CPUtime=0.68 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 17999 0 1 0 65 3 0 0 19 0 19 0 827848235 13963530240 25762 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 46912505508155 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13636260

[startup+1.50113 s]
/proc/loadavg: 0.94 1.50 1.80 3/466 480
/proc/meminfo: memFree=28435272/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13636260 CPUtime=2.39 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 30707 0 1 0 235 4 0 0 25 0 19 0 827848234 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3409065 26071 2241 9 0 3399799 0
[pid=450/tid=451] ppid=448 vsize=13636260 CPUtime=1.48 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 18287 0 1 0 145 3 0 0 20 0 19 0 827848235 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 46912505843488 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=450/tid=453] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/453/stat : 453 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848237 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=454] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/454/stat : 454 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848237 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=455] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/455/stat : 455 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848237 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=456] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/456/stat : 456 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848237 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=457] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/457/stat : 457 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848237 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=458] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/458/stat : 458 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848237 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=467] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/467/stat : 467 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848237 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=468] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/468/stat : 468 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848237 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=470] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/470/stat : 470 (java) S 448 450 28402 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 0 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=472] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/472/stat : 472 (java) S 448 450 28402 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827848238 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=473] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/473/stat : 473 (java) S 448 450 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827848238 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=474] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/474/stat : 474 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458768817 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=475] ppid=448 vsize=13636260 CPUtime=0.47 cores=1,3,5,7
/proc/450/task/475/stat : 475 (java) S 448 450 28402 0 -1 4202560 5620 0 0 0 47 0 0 0 15 0 19 0 827848241 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=476] ppid=448 vsize=13636260 CPUtime=0.41 cores=1,3,5,7
/proc/450/task/476/stat : 476 (java) S 448 450 28402 0 -1 4202560 5641 0 0 0 41 0 0 0 22 0 19 0 827848241 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=477] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/477/stat : 477 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=478] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/478/stat : 478 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827848241 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=479] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/479/stat : 479 (java) S 448 450 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827848272 13963530240 26071 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 13636260

[startup+3.10083 s]
/proc/loadavg: 0.94 1.50 1.80 3/466 480
/proc/meminfo: memFree=28432916/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13636260 CPUtime=4.03 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 32515 0 1 0 398 5 0 0 25 0 19 0 827848234 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3409065 27873 2267 9 0 3399799 0
[pid=450/tid=451] ppid=448 vsize=13636260 CPUtime=3.06 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 18467 0 1 0 303 3 0 0 25 0 19 0 827848235 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 46912505795741 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=450/tid=453] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/453/stat : 453 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=454] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/454/stat : 454 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=455] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/455/stat : 455 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=456] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/456/stat : 456 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=457] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/457/stat : 457 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=458] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/458/stat : 458 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=467] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/467/stat : 467 (java) S 448 450 28402 0 -1 4202560 409 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=468] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/468/stat : 468 (java) S 448 450 28402 0 -1 4202560 403 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=470] ppid=448 vsize=13636260 CPUtime=0.01 cores=1,3,5,7
/proc/450/task/470/stat : 470 (java) S 448 450 28402 0 -1 4202560 811 0 0 0 1 0 0 0 16 0 19 0 827848238 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 0 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=472] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/472/stat : 472 (java) S 448 450 28402 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=473] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/473/stat : 473 (java) S 448 450 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=474] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/474/stat : 474 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458768817 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=475] ppid=448 vsize=13636260 CPUtime=0.49 cores=1,3,5,7
/proc/450/task/475/stat : 475 (java) S 448 450 28402 0 -1 4202560 5626 0 0 0 49 0 0 0 16 0 19 0 827848241 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=476] ppid=448 vsize=13636260 CPUtime=0.42 cores=1,3,5,7
/proc/450/task/476/stat : 476 (java) S 448 450 28402 0 -1 4202560 5644 0 0 0 42 0 0 0 18 0 19 0 827848241 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=477] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/477/stat : 477 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=478] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/478/stat : 478 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827848241 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=479] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/479/stat : 479 (java) S 448 450 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827848272 13963530240 27873 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13636260

[startup+6.30123 s]
/proc/loadavg: 1.03 1.51 1.80 3/466 481
/proc/meminfo: memFree=28421640/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13636260 CPUtime=7.26 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 33148 0 1 0 721 5 0 0 25 0 19 0 827848234 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3409065 28003 2267 9 0 3399799 0
[pid=450/tid=451] ppid=448 vsize=13636260 CPUtime=6.24 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 18470 0 1 0 621 3 0 0 25 0 19 0 827848235 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 46912505618117 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=450/tid=453] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/453/stat : 453 (java) S 448 450 28402 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 19 0 827848237 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=454] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/454/stat : 454 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827848237 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=455] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/455/stat : 455 (java) S 448 450 28402 0 -1 4202560 169 0 0 0 0 0 0 0 16 0 19 0 827848237 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=456] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/456/stat : 456 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827848237 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=457] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/457/stat : 457 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827848237 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=458] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/458/stat : 458 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827848237 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=467] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/467/stat : 467 (java) S 448 450 28402 0 -1 4202560 409 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=468] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/468/stat : 468 (java) S 448 450 28402 0 -1 4202560 403 0 0 0 0 0 0 0 18 0 19 0 827848237 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=470] ppid=448 vsize=13636260 CPUtime=0.03 cores=1,3,5,7
/proc/450/task/470/stat : 470 (java) S 448 450 28402 0 -1 4202560 990 0 0 0 3 0 0 0 15 0 19 0 827848238 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 0 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=472] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/472/stat : 472 (java) S 448 450 28402 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=473] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/473/stat : 473 (java) S 448 450 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=474] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/474/stat : 474 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458768817 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=475] ppid=448 vsize=13636260 CPUtime=0.51 cores=1,3,5,7
/proc/450/task/475/stat : 475 (java) S 448 450 28402 0 -1 4202560 5629 0 0 0 51 0 0 0 15 0 19 0 827848241 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=476] ppid=448 vsize=13636260 CPUtime=0.43 cores=1,3,5,7
/proc/450/task/476/stat : 476 (java) S 448 450 28402 0 -1 4202560 5646 0 0 0 43 0 0 0 18 0 19 0 827848241 13963530240 28003 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0

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

[pid=450/tid=458] ppid=448 vsize=13636260 CPUtime=0.12 cores=1,3,5,7
/proc/450/task/458/stat : 458 (java) S 448 450 28402 0 -1 4202560 204 0 0 0 12 0 0 0 15 0 19 0 827848237 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=467] ppid=448 vsize=13636260 CPUtime=0.12 cores=1,3,5,7
/proc/450/task/467/stat : 467 (java) S 448 450 28402 0 -1 4202560 645 0 0 0 12 0 0 0 15 0 19 0 827848237 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=468] ppid=448 vsize=13636260 CPUtime=0.12 cores=1,3,5,7
/proc/450/task/468/stat : 468 (java) S 448 450 28402 0 -1 4202560 458 0 0 0 12 0 0 0 15 0 19 0 827848237 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=470] ppid=448 vsize=13636260 CPUtime=8.06 cores=1,3,5,7
/proc/450/task/470/stat : 470 (java) S 448 450 28402 0 -1 4202560 2770 0 0 0 801 5 0 0 15 0 19 0 827848238 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 0 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=472] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/472/stat : 472 (java) S 448 450 28402 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=473] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/473/stat : 473 (java) S 448 450 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=474] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/474/stat : 474 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458768817 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=475] ppid=448 vsize=13636260 CPUtime=0.51 cores=1,3,5,7
/proc/450/task/475/stat : 475 (java) S 448 450 28402 0 -1 4202560 5629 0 0 0 51 0 0 0 15 0 19 0 827848241 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=476] ppid=448 vsize=13636260 CPUtime=0.55 cores=1,3,5,7
/proc/450/task/476/stat : 476 (java) S 448 450 28402 0 -1 4202560 5670 0 0 0 55 0 0 0 15 0 19 0 827848241 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=477] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/477/stat : 477 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=478] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/478/stat : 478 (java) S 448 450 28402 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827848241 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=479] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/479/stat : 479 (java) S 448 450 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827848272 13963530240 31072 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.8
Current children cumulated vsize (KiB) 13636260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/466 540
/proc/meminfo: memFree=28276900/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13636260 CPUtime=1783.81 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 36861 0 1 0 178366 15 0 0 25 0 19 0 827848234 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3409065 31145 2268 9 0 3399799 0
[pid=450/tid=451] ppid=448 vsize=13636260 CPUtime=1773.4 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 18830 0 1 0 177336 4 0 0 25 0 19 0 827848235 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 46912505795767 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=450/tid=453] ppid=448 vsize=13636260 CPUtime=0.09 cores=1,3,5,7
/proc/450/task/453/stat : 453 (java) S 448 450 28402 0 -1 4202560 436 0 0 0 9 0 0 0 15 0 19 0 827848237 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=454] ppid=448 vsize=13636260 CPUtime=0.1 cores=1,3,5,7
/proc/450/task/454/stat : 454 (java) S 448 450 28402 0 -1 4202560 218 0 0 0 10 0 0 0 16 0 19 0 827848237 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=455] ppid=448 vsize=13636260 CPUtime=0.12 cores=1,3,5,7
/proc/450/task/455/stat : 455 (java) S 448 450 28402 0 -1 4202560 360 0 0 0 12 0 0 0 15 0 19 0 827848237 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=456] ppid=448 vsize=13636260 CPUtime=0.1 cores=1,3,5,7
/proc/450/task/456/stat : 456 (java) S 448 450 28402 0 -1 4202560 86 0 0 0 10 0 0 0 15 0 19 0 827848237 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=457] ppid=448 vsize=13636260 CPUtime=0.09 cores=1,3,5,7
/proc/450/task/457/stat : 457 (java) S 448 450 28402 0 -1 4202560 239 0 0 0 9 0 0 0 15 0 19 0 827848237 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=458] ppid=448 vsize=13636260 CPUtime=0.12 cores=1,3,5,7
/proc/450/task/458/stat : 458 (java) S 448 450 28402 0 -1 4202560 204 0 0 0 12 0 0 0 15 0 19 0 827848237 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=467] ppid=448 vsize=13636260 CPUtime=0.13 cores=1,3,5,7
/proc/450/task/467/stat : 467 (java) S 448 450 28402 0 -1 4202560 645 0 0 0 13 0 0 0 15 0 19 0 827848237 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=468] ppid=448 vsize=13636260 CPUtime=0.13 cores=1,3,5,7
/proc/450/task/468/stat : 468 (java) S 448 450 28402 0 -1 4202560 458 0 0 0 13 0 0 0 16 0 19 0 827848237 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=470] ppid=448 vsize=13636260 CPUtime=8.35 cores=1,3,5,7
/proc/450/task/470/stat : 470 (java) S 448 450 28402 0 -1 4202560 2836 0 0 0 830 5 0 0 15 0 19 0 827848238 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 0 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=472] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/472/stat : 472 (java) S 448 450 28402 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=473] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/473/stat : 473 (java) S 448 450 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=474] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/474/stat : 474 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458768817 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=475] ppid=448 vsize=13636260 CPUtime=0.51 cores=1,3,5,7
/proc/450/task/475/stat : 475 (java) S 448 450 28402 0 -1 4202560 5629 0 0 0 51 0 0 0 15 0 19 0 827848241 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=476] ppid=448 vsize=13636260 CPUtime=0.55 cores=1,3,5,7
/proc/450/task/476/stat : 476 (java) S 448 450 28402 0 -1 4202560 5670 0 0 0 55 0 0 0 15 0 19 0 827848241 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=477] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/477/stat : 477 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=478] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/478/stat : 478 (java) S 448 450 28402 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827848241 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=479] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/479/stat : 479 (java) S 448 450 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827848272 13963530240 31145 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.81
Current children cumulated vsize (KiB) 13636260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.52 s]
/proc/loadavg: 2.00 2.02 1.95 2/446 543
/proc/meminfo: memFree=28972316/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13636260 CPUtime=1800.04 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 36899 0 1 0 179989 15 0 0 25 0 19 0 827848234 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3409065 31175 2268 9 0 3399799 0
[pid=450/tid=451] ppid=448 vsize=13636260 CPUtime=1789.53 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 18834 0 1 0 178949 4 0 0 25 0 19 0 827848235 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 46912505808602 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=450/tid=453] ppid=448 vsize=13636260 CPUtime=0.09 cores=1,3,5,7
/proc/450/task/453/stat : 453 (java) S 448 450 28402 0 -1 4202560 436 0 0 0 9 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=454] ppid=448 vsize=13636260 CPUtime=0.11 cores=1,3,5,7
/proc/450/task/454/stat : 454 (java) S 448 450 28402 0 -1 4202560 218 0 0 0 11 0 0 0 16 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=455] ppid=448 vsize=13636260 CPUtime=0.13 cores=1,3,5,7
/proc/450/task/455/stat : 455 (java) S 448 450 28402 0 -1 4202560 360 0 0 0 13 0 0 0 16 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=456] ppid=448 vsize=13636260 CPUtime=0.1 cores=1,3,5,7
/proc/450/task/456/stat : 456 (java) S 448 450 28402 0 -1 4202560 86 0 0 0 10 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=457] ppid=448 vsize=13636260 CPUtime=0.09 cores=1,3,5,7
/proc/450/task/457/stat : 457 (java) S 448 450 28402 0 -1 4202560 239 0 0 0 9 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=458] ppid=448 vsize=13636260 CPUtime=0.12 cores=1,3,5,7
/proc/450/task/458/stat : 458 (java) S 448 450 28402 0 -1 4202560 204 0 0 0 12 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=467] ppid=448 vsize=13636260 CPUtime=0.13 cores=1,3,5,7
/proc/450/task/467/stat : 467 (java) S 448 450 28402 0 -1 4202560 645 0 0 0 13 0 0 0 16 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=468] ppid=448 vsize=13636260 CPUtime=0.13 cores=1,3,5,7
/proc/450/task/468/stat : 468 (java) S 448 450 28402 0 -1 4202560 458 0 0 0 13 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=470] ppid=448 vsize=13636260 CPUtime=8.44 cores=1,3,5,7
/proc/450/task/470/stat : 470 (java) S 448 450 28402 0 -1 4202560 2868 0 0 0 839 5 0 0 15 0 19 0 827848238 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 0 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=472] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/472/stat : 472 (java) S 448 450 28402 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=473] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/473/stat : 473 (java) S 448 450 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=474] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/474/stat : 474 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458768817 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=475] ppid=448 vsize=13636260 CPUtime=0.51 cores=1,3,5,7
/proc/450/task/475/stat : 475 (java) S 448 450 28402 0 -1 4202560 5629 0 0 0 51 0 0 0 15 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=476] ppid=448 vsize=13636260 CPUtime=0.55 cores=1,3,5,7
/proc/450/task/476/stat : 476 (java) S 448 450 28402 0 -1 4202560 5670 0 0 0 55 0 0 0 15 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=477] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/477/stat : 477 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=478] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/478/stat : 478 (java) S 448 450 28402 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=479] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/479/stat : 479 (java) S 448 450 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827848272 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13636260

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

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

[startup+1798.52 s]
/proc/loadavg: 2.00 2.02 1.95 2/446 543
/proc/meminfo: memFree=28972316/32951124 swapFree=43324008/67111528
[pid=450] ppid=448 vsize=13636260 CPUtime=1800.04 cores=1,3,5,7
/proc/450/stat : 450 (java) S 448 450 28402 0 -1 4202496 36899 0 1 0 179989 15 0 0 25 0 19 0 827848234 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/450/statm: 3409065 31175 2268 9 0 3399799 0
[pid=450/tid=451] ppid=448 vsize=13636260 CPUtime=1789.53 cores=1,3,5,7
/proc/450/task/451/stat : 451 (java) R 448 450 28402 0 -1 4202560 18834 0 1 0 178949 4 0 0 25 0 19 0 827848235 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 46912505808602 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=450/tid=453] ppid=448 vsize=13636260 CPUtime=0.09 cores=1,3,5,7
/proc/450/task/453/stat : 453 (java) S 448 450 28402 0 -1 4202560 436 0 0 0 9 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=454] ppid=448 vsize=13636260 CPUtime=0.11 cores=1,3,5,7
/proc/450/task/454/stat : 454 (java) S 448 450 28402 0 -1 4202560 218 0 0 0 11 0 0 0 16 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=455] ppid=448 vsize=13636260 CPUtime=0.13 cores=1,3,5,7
/proc/450/task/455/stat : 455 (java) S 448 450 28402 0 -1 4202560 360 0 0 0 13 0 0 0 16 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=456] ppid=448 vsize=13636260 CPUtime=0.1 cores=1,3,5,7
/proc/450/task/456/stat : 456 (java) S 448 450 28402 0 -1 4202560 86 0 0 0 10 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=457] ppid=448 vsize=13636260 CPUtime=0.09 cores=1,3,5,7
/proc/450/task/457/stat : 457 (java) S 448 450 28402 0 -1 4202560 239 0 0 0 9 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=458] ppid=448 vsize=13636260 CPUtime=0.12 cores=1,3,5,7
/proc/450/task/458/stat : 458 (java) S 448 450 28402 0 -1 4202560 204 0 0 0 12 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=467] ppid=448 vsize=13636260 CPUtime=0.13 cores=1,3,5,7
/proc/450/task/467/stat : 467 (java) S 448 450 28402 0 -1 4202560 645 0 0 0 13 0 0 0 16 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=468] ppid=448 vsize=13636260 CPUtime=0.13 cores=1,3,5,7
/proc/450/task/468/stat : 468 (java) S 448 450 28402 0 -1 4202560 458 0 0 0 13 0 0 0 15 0 19 0 827848237 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=470] ppid=448 vsize=13636260 CPUtime=8.44 cores=1,3,5,7
/proc/450/task/470/stat : 470 (java) S 448 450 28402 0 -1 4202560 2868 0 0 0 839 5 0 0 15 0 19 0 827848238 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 0 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=472] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/472/stat : 472 (java) S 448 450 28402 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=473] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/473/stat : 473 (java) S 448 450 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827848238 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=474] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/474/stat : 474 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458768817 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=475] ppid=448 vsize=13636260 CPUtime=0.51 cores=1,3,5,7
/proc/450/task/475/stat : 475 (java) S 448 450 28402 0 -1 4202560 5629 0 0 0 51 0 0 0 15 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 5 0 0 0
[pid=450/tid=476] ppid=448 vsize=13636260 CPUtime=0.55 cores=1,3,5,7
/proc/450/task/476/stat : 476 (java) S 448 450 28402 0 -1 4202560 5670 0 0 0 55 0 0 0 15 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
[pid=450/tid=477] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/477/stat : 477 (java) S 448 450 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761113 0 4 0 16800975 18446604467748333440 0 0 -1 3 0 0 0
[pid=450/tid=478] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/478/stat : 478 (java) S 448 450 28402 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827848241 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 1 0 0 0
[pid=450/tid=479] ppid=448 vsize=13636260 CPUtime=0 cores=1,3,5,7
/proc/450/task/479/stat : 479 (java) S 448 450 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827848272 13963530240 31175 33554432000 1073741824 1073778376 140734270210432 18446744073709551615 244458761728 0 4 0 16800975 18446604467748333440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13636260

Child status: 143
Real time (s): 1798.55
CPU time (s): 1800.09
CPU user time (s): 1799.93
CPU system time (s): 0.165974
CPU usage (%): 100.086
Max. virtual memory (cumulated for all children) (KiB): 13641336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36940
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= 46007
involuntary context switches= 27824

runsolver used 7.31989 second user time and 17.8113 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-04 06:41:18
IDJOB=3458451
IDBENCH=48271
IDSOLVER=1952
FILE ID=node105/3458451-1307162478
RUNJOBID= node105-1307162477-368
PBS_JOBID= 13508811
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_10_2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458451-1307162478/watcher-3458451-1307162478 -o /tmp/evaluation-result-3458451-1307162478/solver-3458451-1307162478 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458451-1307162478.opb

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

MD5SUM BENCH= b5a23f46b7c8ffe564ae87cb51d69480
RANDOM SEED=1629180964

node105.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.825
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.65
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.825
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	: 5226.15
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.825
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.82
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.825
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.75
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:     32951124 kB
MemFree:      29022748 kB
Buffers:        326904 kB
Cached:         806680 kB
SwapCached:      20984 kB
Active:        2946464 kB
Inactive:       668128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29022748 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:            1636 kB
Writeback:          48 kB
AnonPages:     2477756 kB
Mapped:          26616 kB
Slab:           165332 kB
PageTables:      81708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 128292388 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= 73768 MiB
End job on node105 at 2011-06-04 07:11:19