Trace number 3458420

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)-33 1800.07 1798.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-58
Best CPU time to get the best result obtained on this benchmark1797.16
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)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

Quality of the solution as a function of time


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

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3458420-1307161508.opb
0.09/0.11	c reading problem ... 
0.67/0.51	c ... done. Wall clock time 0.393s.
0.67/0.51	c #vars     2924
0.67/0.51	c #constraints  5650
0.67/0.51	c constraints type 
0.67/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524
0.67/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.67/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.67/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
3.27/2.35	c cleaning 2497 clauses out of 5001 with flag 5001/5001
4.10/3.21	c SATISFIABLE
4.10/3.21	c OPTIMIZING...
4.10/3.21	c Got one! Elapsed wall clock time (in seconds):3.098
4.10/3.21	o -29
4.78/3.73	c cleaning 3884 clauses out of 7767 with flag 2001/10264
6.07/5.04	c Got one! Elapsed wall clock time (in seconds):4.926
6.07/5.04	o -31
6.50/5.43	c Got one! Elapsed wall clock time (in seconds):5.311
6.50/5.43	o -33
7.71/6.66	c cleaning 7356 clauses out of 14718 with flag 4001/21099
10.61/9.53	c cleaning 6561 clauses out of 13361 with flag 10000/27098
13.35/12.28	c cleaning 6774 clauses out of 13800 with flag 17000/34098
16.14/15.05	c cleaning 7385 clauses out of 15026 with flag 25000/42098
19.64/18.56	c cleaning 8199 clauses out of 16641 with flag 34000/51098
23.16/22.01	c cleaning 9092 clauses out of 18442 with flag 44000/61098
27.45/26.40	c cleaning 9675 clauses out of 19350 with flag 54000/71098
31.34/30.23	c cleaning 9794 clauses out of 19675 with flag 64000/81098
35.26/34.14	c cleaning 9938 clauses out of 19881 with flag 74000/91098
38.84/37.76	c cleaning 9929 clauses out of 19943 with flag 84000/101098
42.64/41.58	c cleaning 9948 clauses out of 20014 with flag 94000/111098
46.64/45.55	c cleaning 9911 clauses out of 20066 with flag 104000/121098
50.34/49.24	c cleaning 10015 clauses out of 20155 with flag 114000/131098
55.34/54.26	c cleaning 9944 clauses out of 20140 with flag 124000/141098
59.64/58.51	c cleaning 9978 clauses out of 20196 with flag 134000/151098
63.75/62.63	c cleaning 10046 clauses out of 20218 with flag 144000/161098
67.84/66.77	c cleaning 9940 clauses out of 20172 with flag 154000/171098
72.66/71.58	c cleaning 9976 clauses out of 20232 with flag 164000/181098
76.84/75.81	c cleaning 10055 clauses out of 20256 with flag 174000/191098
80.94/79.81	c cleaning 9968 clauses out of 20201 with flag 184000/201098
85.75/84.65	c cleaning 9963 clauses out of 20233 with flag 194000/211098
90.15/89.06	c cleaning 9989 clauses out of 20270 with flag 204000/221098
94.55/93.42	c cleaning 10064 clauses out of 20281 with flag 214000/231098
98.94/97.84	c cleaning 10075 clauses out of 20217 with flag 224000/241098
103.64/102.58	c cleaning 9932 clauses out of 20142 with flag 234000/251098
108.54/107.48	c cleaning 9990 clauses out of 20210 with flag 244000/261098
113.04/111.93	c cleaning 10007 clauses out of 20220 with flag 254000/271098
118.14/117.05	c cleaning 9988 clauses out of 20213 with flag 264000/281098
122.54/121.47	c cleaning 10023 clauses out of 20225 with flag 274000/291098
127.34/126.21	c cleaning 10050 clauses out of 20202 with flag 284000/301098
131.74/130.68	c cleaning 10044 clauses out of 20152 with flag 294000/311098
136.24/135.20	c cleaning 9964 clauses out of 20108 with flag 304000/321098
141.04/139.93	c cleaning 9943 clauses out of 20144 with flag 314000/331098
146.04/144.90	c cleaning 9991 clauses out of 20201 with flag 324000/341098
151.14/150.00	c cleaning 10019 clauses out of 20210 with flag 334000/351098
155.84/154.70	c cleaning 9977 clauses out of 20191 with flag 344000/361098
160.14/159.02	c cleaning 10002 clauses out of 20214 with flag 354000/371098
164.35/163.25	c cleaning 10008 clauses out of 20212 with flag 364000/381098
168.55/167.49	c cleaning 10014 clauses out of 20204 with flag 374000/391098
173.65/172.57	c cleaning 10024 clauses out of 20190 with flag 384000/401098
178.35/177.24	c cleaning 10019 clauses out of 20166 with flag 394000/411098
183.05/181.93	c cleaning 10054 clauses out of 20147 with flag 404000/421098
188.25/187.19	c cleaning 9927 clauses out of 20093 with flag 414000/431098
192.95/191.86	c cleaning 10016 clauses out of 20166 with flag 424000/441098
197.55/196.40	c cleaning 9998 clauses out of 20150 with flag 434000/451098
201.85/200.73	c cleaning 10001 clauses out of 20152 with flag 444000/461098
206.05/204.91	c cleaning 9960 clauses out of 20151 with flag 454000/471098
210.45/209.30	c cleaning 10024 clauses out of 20191 with flag 464000/481098
215.46/214.32	c cleaning 9930 clauses out of 20167 with flag 474000/491098
219.96/218.90	c cleaning 10006 clauses out of 20237 with flag 484000/501098
224.47/223.39	c cleaning 10064 clauses out of 20231 with flag 494000/511098
229.46/228.36	c cleaning 9938 clauses out of 20167 with flag 504000/521098
233.96/232.86	c cleaning 10048 clauses out of 20229 with flag 514000/531098
238.56/237.51	c cleaning 9998 clauses out of 20181 with flag 524000/541098
243.36/242.24	c cleaning 9954 clauses out of 20183 with flag 534000/551098
247.86/246.77	c cleaning 9998 clauses out of 20229 with flag 544000/561098
252.46/251.37	c cleaning 10085 clauses out of 20231 with flag 554000/571098
257.06/255.90	c cleaning 10009 clauses out of 20146 with flag 564000/581098
261.36/260.25	c cleaning 9946 clauses out of 20137 with flag 574000/591098
266.27/265.14	c cleaning 9952 clauses out of 20191 with flag 584000/601098
271.06/269.98	c cleaning 9986 clauses out of 20239 with flag 594000/611098
276.26/275.18	c cleaning 10022 clauses out of 20253 with flag 604000/621098
281.16/280.09	c cleaning 10007 clauses out of 20231 with flag 614000/631098
286.76/285.66	c cleaning 9965 clauses out of 20224 with flag 624000/641098
291.97/290.86	c cleaning 10075 clauses out of 20259 with flag 634000/651098
297.17/296.07	c cleaning 9956 clauses out of 20184 with flag 644000/661098
302.68/301.50	c cleaning 10040 clauses out of 20228 with flag 654000/671098
307.77/306.60	c cleaning 10019 clauses out of 20188 with flag 664000/681098
313.27/312.14	c cleaning 10061 clauses out of 20169 with flag 674000/691098
318.27/317.14	c cleaning 10002 clauses out of 20108 with flag 684000/701098
323.49/322.35	c cleaning 9961 clauses out of 20106 with flag 694000/711098
328.48/327.31	c cleaning 9977 clauses out of 20145 with flag 704000/721098
333.28/332.12	c cleaning 10010 clauses out of 20168 with flag 714000/731098
338.18/337.09	c cleaning 9955 clauses out of 20158 with flag 724000/741098
343.38/342.22	c cleaning 10044 clauses out of 20203 with flag 734000/751098
347.88/346.76	c cleaning 10049 clauses out of 20159 with flag 744000/761098
352.59/351.47	c cleaning 9952 clauses out of 20110 with flag 754000/771098
356.99/355.86	c cleaning 10009 clauses out of 20158 with flag 764000/781098
361.59/360.41	c cleaning 10007 clauses out of 20149 with flag 774000/791098
367.59/366.46	c cleaning 9960 clauses out of 20142 with flag 784000/801098
372.49/371.39	c cleaning 9953 clauses out of 20182 with flag 794000/811098
377.89/376.74	c cleaning 9981 clauses out of 20229 with flag 804000/821098
383.09/381.94	c cleaning 9999 clauses out of 20248 with flag 814000/831098
387.99/386.80	c cleaning 10014 clauses out of 20249 with flag 824000/841098
392.39/391.29	c cleaning 10034 clauses out of 20236 with flag 834001/851099
397.39/396.25	c cleaning 10040 clauses out of 20201 with flag 844000/861098
402.09/400.91	c cleaning 10011 clauses out of 20161 with flag 854000/871098
406.69/405.52	c cleaning 9953 clauses out of 20150 with flag 864000/881098
411.80/410.69	c cleaning 9942 clauses out of 20197 with flag 874000/891098
416.80/415.67	c cleaning 9989 clauses out of 20255 with flag 884000/901098
421.60/420.42	c cleaning 9987 clauses out of 20266 with flag 894000/911098
426.00/424.88	c cleaning 10033 clauses out of 20279 with flag 904000/921098
430.50/429.31	c cleaning 10068 clauses out of 20246 with flag 914000/931098
435.00/433.86	c cleaning 9947 clauses out of 20178 with flag 924000/941098
439.70/438.51	c cleaning 10027 clauses out of 20231 with flag 934000/951098
444.20/443.03	c cleaning 10037 clauses out of 20204 with flag 944000/961098
448.70/447.58	c cleaning 9979 clauses out of 20167 with flag 954000/971098
454.10/452.97	c cleaning 10042 clauses out of 20188 with flag 964000/981098
459.01/457.84	c cleaning 9968 clauses out of 20146 with flag 974000/991098
464.11/462.93	c cleaning 9978 clauses out of 20178 with flag 984000/1001098
468.61/467.51	c cleaning 9956 clauses out of 20200 with flag 994000/1011098
472.41/471.24	c cleaning 10118 clauses out of 20244 with flag 1004000/1021098
478.11/476.90	c cleaning 9974 clauses out of 20126 with flag 1014000/1031098
482.81/481.64	c cleaning 9932 clauses out of 20152 with flag 1024000/1041098
487.43/486.25	c cleaning 10025 clauses out of 20220 with flag 1034000/1051098
492.21/491.00	c cleaning 9990 clauses out of 20195 with flag 1044000/1061098
496.91/495.73	c cleaning 10004 clauses out of 20205 with flag 1054000/1071098
501.31/500.11	c cleaning 10042 clauses out of 20201 with flag 1064000/1081098
506.31/505.11	c cleaning 10007 clauses out of 20159 with flag 1074000/1091098
511.31/510.16	c cleaning 10031 clauses out of 20152 with flag 1084000/1101098
516.51/515.39	c cleaning 9973 clauses out of 20121 with flag 1094000/1111098
521.53/520.39	c cleaning 9994 clauses out of 20148 with flag 1104000/1121098
526.42/525.26	c cleaning 10012 clauses out of 20154 with flag 1114000/1131098
531.22/530.08	c cleaning 9985 clauses out of 20142 with flag 1124000/1141098
535.84/534.63	c cleaning 10029 clauses out of 20157 with flag 1134000/1151098
540.33/539.11	c cleaning 9996 clauses out of 20128 with flag 1144000/1161098
544.54/543.40	c cleaning 9969 clauses out of 20132 with flag 1154000/1171098
548.83/547.60	c cleaning 10018 clauses out of 20163 with flag 1164000/1181098
552.83/551.65	c cleaning 9996 clauses out of 20145 with flag 1174000/1191098
556.83/555.64	c cleaning 10015 clauses out of 20149 with flag 1184000/1201098
561.43/560.22	c cleaning 9967 clauses out of 20134 with flag 1194000/1211098
566.13/564.93	c cleaning 9935 clauses out of 20167 with flag 1204000/1221098
570.73/569.52	c cleaning 9976 clauses out of 20232 with flag 1214000/1231098
575.13/573.92	c cleaning 10026 clauses out of 20256 with flag 1224000/1241098
579.43/578.22	c cleaning 10012 clauses out of 20230 with flag 1234000/1251098
583.74/582.55	c cleaning 9971 clauses out of 20218 with flag 1244000/1261098
588.44/587.28	c cleaning 10117 clauses out of 20247 with flag 1254000/1271098
593.24/592.03	c cleaning 9966 clauses out of 20130 with flag 1264000/1281098
597.64/596.48	c cleaning 9972 clauses out of 20164 with flag 1274000/1291098
602.45/601.22	c cleaning 9996 clauses out of 20192 with flag 1284000/1301098
607.04/605.82	c cleaning 10069 clauses out of 20196 with flag 1294000/1311098
612.05/610.86	c cleaning 9956 clauses out of 20127 with flag 1304000/1321098
616.75/615.57	c cleaning 10018 clauses out of 20171 with flag 1314000/1331098
621.85/620.68	c cleaning 9988 clauses out of 20153 with flag 1324000/1341098
626.15/624.99	c cleaning 9964 clauses out of 20165 with flag 1334000/1351098
631.35/630.12	c cleaning 10072 clauses out of 20201 with flag 1344000/1361098
636.45/635.27	c cleaning 9925 clauses out of 20129 with flag 1354000/1371098
641.47/640.28	c cleaning 9984 clauses out of 20204 with flag 1364000/1381098
646.65/645.47	c cleaning 9995 clauses out of 20220 with flag 1374000/1391098
652.36/651.14	c cleaning 9987 clauses out of 20225 with flag 1384000/1401098
657.76/656.50	c cleaning 9979 clauses out of 20238 with flag 1394000/1411098
662.96/661.75	c cleaning 10029 clauses out of 20259 with flag 1404000/1421098
668.46/667.25	c cleaning 9974 clauses out of 20230 with flag 1414000/1431098
673.56/672.35	c cleaning 9999 clauses out of 20256 with flag 1424000/1441098
678.36/677.15	c cleaning 10055 clauses out of 20257 with flag 1434000/1451098
684.06/682.90	c cleaning 10002 clauses out of 20202 with flag 1444000/1461098
689.66/688.49	c cleaning 10059 clauses out of 20200 with flag 1454000/1471098
694.66/693.42	c cleaning 9941 clauses out of 20141 with flag 1464000/1481098
699.96/698.72	c cleaning 9982 clauses out of 20200 with flag 1474000/1491098
705.36/704.16	c cleaning 10009 clauses out of 20218 with flag 1484000/1501098
710.56/709.33	c cleaning 9974 clauses out of 20209 with flag 1494000/1511098
716.06/714.86	c cleaning 10006 clauses out of 20235 with flag 1504000/1521098
721.37/720.15	c cleaning 10080 clauses out of 20229 with flag 1514000/1531098
727.47/726.21	c cleaning 9920 clauses out of 20149 with flag 1524000/1541098
732.57/731.38	c cleaning 9978 clauses out of 20229 with flag 1534000/1551098
737.57/736.39	c cleaning 10048 clauses out of 20251 with flag 1544000/1561098
742.48/741.31	c cleaning 9979 clauses out of 20203 with flag 1554000/1571098
747.48/746.28	c cleaning 10016 clauses out of 20224 with flag 1564000/1581098
752.48/751.31	c cleaning 9985 clauses out of 20208 with flag 1574000/1591098
757.68/756.41	c cleaning 10075 clauses out of 20223 with flag 1584000/1601098
763.08/761.87	c cleaning 9993 clauses out of 20148 with flag 1594000/1611098
768.18/766.95	c cleaning 9974 clauses out of 20155 with flag 1604000/1621098
773.78/772.53	c cleaning 10047 clauses out of 20181 with flag 1614000/1631098
778.38/777.10	c cleaning 9971 clauses out of 20134 with flag 1624000/1641098
783.08/781.87	c cleaning 9958 clauses out of 20163 with flag 1634000/1651098
787.80/786.55	c cleaning 10012 clauses out of 20205 with flag 1644000/1661098
792.69/791.42	c cleaning 9978 clauses out of 20193 with flag 1654000/1671098
797.59/796.33	c cleaning 10081 clauses out of 20216 with flag 1664001/1681099
802.79/801.50	c cleaning 10009 clauses out of 20134 with flag 1674000/1691098
807.99/806.72	c cleaning 9936 clauses out of 20125 with flag 1684000/1701098
813.39/812.19	c cleaning 10014 clauses out of 20189 with flag 1694000/1711098
819.09/817.81	c cleaning 10044 clauses out of 20175 with flag 1704000/1721098
824.49/823.25	c cleaning 10024 clauses out of 20131 with flag 1714000/1731098
830.29/829.06	c cleaning 9947 clauses out of 20107 with flag 1724000/1741098
835.80/834.55	c cleaning 9994 clauses out of 20160 with flag 1734000/1751098
841.10/839.84	c cleaning 10012 clauses out of 20166 with flag 1744000/1761098
846.30/845.04	c cleaning 10014 clauses out of 20154 with flag 1754000/1771098
851.62/850.39	c cleaning 10014 clauses out of 20140 with flag 1764000/1781098
856.90/855.68	c cleaning 9975 clauses out of 20126 with flag 1774000/1791098
862.20/860.94	c cleaning 10029 clauses out of 20151 with flag 1784000/1801098
867.41/866.12	c cleaning 9983 clauses out of 20122 with flag 1794000/1811098
872.61/871.31	c cleaning 9987 clauses out of 20139 with flag 1804000/1821098
877.71/876.42	c cleaning 10015 clauses out of 20152 with flag 1814000/1831098
882.71/881.47	c cleaning 9989 clauses out of 20137 with flag 1824000/1841098
887.82/886.53	c cleaning 9996 clauses out of 20148 with flag 1834000/1851098
892.81/891.53	c cleaning 9986 clauses out of 20152 with flag 1844000/1861098
897.11/895.88	c cleaning 9996 clauses out of 20166 with flag 1854000/1871098
901.41/900.15	c cleaning 9983 clauses out of 20170 with flag 1864000/1881098
905.62/904.34	c cleaning 9987 clauses out of 20187 with flag 1874000/1891098
910.02/908.79	c cleaning 10006 clauses out of 20200 with flag 1884000/1901098
914.82/913.56	c cleaning 10069 clauses out of 20194 with flag 1894000/1911098
919.62/918.37	c cleaning 9947 clauses out of 20125 with flag 1904000/1921098
924.32/923.00	c cleaning 10012 clauses out of 20178 with flag 1914000/1931098
929.02/927.76	c cleaning 10063 clauses out of 20166 with flag 1924000/1941098
933.82/932.59	c cleaning 9967 clauses out of 20103 with flag 1934000/1951098
938.82/937.51	c cleaning 10011 clauses out of 20136 with flag 1944000/1961098
943.83/942.55	c cleaning 9966 clauses out of 20125 with flag 1954000/1971098
949.03/947.76	c cleaning 10001 clauses out of 20159 with flag 1964000/1981098
954.13/952.86	c cleaning 9997 clauses out of 20158 with flag 1974000/1991098
959.13/957.88	c cleaning 9940 clauses out of 20161 with flag 1984000/2001098
963.63/962.39	c cleaning 10009 clauses out of 20221 with flag 1994000/2011098
967.54/966.21	c cleaning 10089 clauses out of 20212 with flag 2004000/2021098
971.44/970.17	c cleaning 9949 clauses out of 20123 with flag 2014000/2031098
976.44/975.17	c cleaning 9964 clauses out of 20174 with flag 2024000/2041098
980.94/979.63	c cleaning 9981 clauses out of 20210 with flag 2034000/2051098
985.14/983.87	c cleaning 10072 clauses out of 20229 with flag 2044000/2061098
989.44/988.10	c cleaning 9996 clauses out of 20157 with flag 2054000/2071098
993.64/992.32	c cleaning 10045 clauses out of 20161 with flag 2064000/2081098
998.15/996.84	c cleaning 9946 clauses out of 20116 with flag 2074000/2091098
1002.37/1001.05	c cleaning 10001 clauses out of 20170 with flag 2084000/2101098
1007.05/1005.75	c cleaning 9957 clauses out of 20169 with flag 2094000/2111098
1011.64/1010.35	c cleaning 9992 clauses out of 20212 with flag 2104000/2121098
1016.55/1015.27	c cleaning 10065 clauses out of 20220 with flag 2114000/2131098
1021.85/1020.54	c cleaning 9980 clauses out of 20155 with flag 2124000/2141098
1026.65/1025.38	c cleaning 9996 clauses out of 20175 with flag 2134000/2151098
1031.35/1030.00	c cleaning 10005 clauses out of 20179 with flag 2144000/2161098
1035.95/1034.64	c cleaning 9954 clauses out of 20174 with flag 2154000/2171098
1040.65/1039.35	c cleaning 10043 clauses out of 20220 with flag 2164000/2181098
1045.36/1044.09	c cleaning 9971 clauses out of 20177 with flag 2174000/2191098
1050.46/1049.19	c cleaning 10045 clauses out of 20206 with flag 2184000/2201098
1056.06/1054.76	c cleaning 9992 clauses out of 20161 with flag 2194000/2211098
1061.46/1060.18	c cleaning 9940 clauses out of 20169 with flag 2204000/2221098
1066.56/1065.24	c cleaning 10008 clauses out of 20229 with flag 2214000/2231098
1071.86/1070.57	c cleaning 10016 clauses out of 20221 with flag 2224000/2241098
1077.07/1075.80	c cleaning 10003 clauses out of 20205 with flag 2234000/2251098
1082.68/1081.34	c cleaning 10014 clauses out of 20202 with flag 2244000/2261098
1087.96/1086.64	c cleaning 9964 clauses out of 20188 with flag 2254000/2271098
1093.86/1092.53	c cleaning 10060 clauses out of 20224 with flag 2264000/2281098
1099.77/1098.46	c cleaning 9993 clauses out of 20164 with flag 2274000/2291098
1105.87/1104.53	c cleaning 9956 clauses out of 20171 with flag 2284000/2301098
1110.87/1109.59	c cleaning 10047 clauses out of 20215 with flag 2294000/2311098
1115.87/1114.52	c cleaning 10010 clauses out of 20168 with flag 2304000/2321098
1121.77/1120.45	c cleaning 9939 clauses out of 20158 with flag 2314000/2331098
1127.37/1126.03	c cleaning 10029 clauses out of 20219 with flag 2324000/2341098
1132.67/1131.33	c cleaning 9940 clauses out of 20190 with flag 2334000/2351098
1137.97/1136.61	c cleaning 10032 clauses out of 20250 with flag 2344000/2361098
1143.67/1142.40	c cleaning 10016 clauses out of 20218 with flag 2354000/2371098
1149.48/1148.11	c cleaning 10025 clauses out of 20202 with flag 2364000/2381098
1155.78/1154.43	c cleaning 9974 clauses out of 20177 with flag 2374000/2391098
1161.79/1160.47	c cleaning 10007 clauses out of 20203 with flag 2384000/2401098
1167.98/1166.63	c cleaning 9976 clauses out of 20196 with flag 2394000/2411098
1174.08/1172.75	c cleaning 9999 clauses out of 20220 with flag 2404000/2421098
1180.39/1179.02	c cleaning 10013 clauses out of 20221 with flag 2414000/2431098
1186.59/1185.26	c cleaning 10001 clauses out of 20208 with flag 2424000/2441098
1191.39/1190.09	c cleaning 10046 clauses out of 20207 with flag 2434000/2451098
1197.39/1196.01	c cleaning 9966 clauses out of 20161 with flag 2444000/2461098
1202.70/1201.35	c cleaning 9964 clauses out of 20195 with flag 2454000/2471098
1208.29/1206.95	c cleaning 9978 clauses out of 20231 with flag 2464000/2481098
1214.09/1212.70	c cleaning 10035 clauses out of 20253 with flag 2474000/2491098
1220.10/1218.72	c cleaning 10036 clauses out of 20218 with flag 2484000/2501098
1226.00/1224.66	c cleaning 9952 clauses out of 20182 with flag 2494000/2511098
1232.00/1230.66	c cleaning 10016 clauses out of 20230 with flag 2504000/2521098
1238.20/1236.86	c cleaning 10053 clauses out of 20214 with flag 2514000/2531098
1244.30/1243.00	c cleaning 9994 clauses out of 20161 with flag 2524000/2541098
1250.59/1249.29	c cleaning 9995 clauses out of 20167 with flag 2534000/2551098
1256.89/1255.58	c cleaning 10009 clauses out of 20172 with flag 2544000/2561098
1263.20/1261.81	c cleaning 9972 clauses out of 20163 with flag 2554000/2571098
1269.40/1268.00	c cleaning 9962 clauses out of 20191 with flag 2564000/2581098
1275.60/1274.27	c cleaning 10027 clauses out of 20229 with flag 2574000/2591098
1281.82/1280.47	c cleaning 10027 clauses out of 20202 with flag 2584000/2601098
1288.20/1286.86	c cleaning 9988 clauses out of 20175 with flag 2594000/2611098
1294.50/1293.11	c cleaning 9990 clauses out of 20187 with flag 2604000/2621098
1300.70/1299.33	c cleaning 10006 clauses out of 20197 with flag 2614000/2631098
1306.90/1305.60	c cleaning 10010 clauses out of 20191 with flag 2624000/2641098
1313.20/1311.88	c cleaning 10012 clauses out of 20181 with flag 2634000/2651098
1319.30/1317.94	c cleaning 10015 clauses out of 20169 with flag 2644000/2661098
1323.62/1322.26	c cleaning 10004 clauses out of 20154 with flag 2654000/2671098
1328.71/1327.37	c cleaning 9977 clauses out of 20150 with flag 2664000/2681098
1333.80/1332.49	c cleaning 9954 clauses out of 20173 with flag 2674000/2691098
1338.60/1337.28	c cleaning 9965 clauses out of 20219 with flag 2684000/2701098
1343.31/1341.96	c cleaning 10005 clauses out of 20254 with flag 2694000/2711098
1348.20/1346.89	c cleaning 10097 clauses out of 20249 with flag 2704000/2721098
1353.32/1351.97	c cleaning 10004 clauses out of 20152 with flag 2714000/2731098
1358.51/1357.19	c cleaning 10011 clauses out of 20148 with flag 2724000/2741098
1364.01/1362.60	c cleaning 9937 clauses out of 20137 with flag 2734000/2751098
1369.31/1367.98	c cleaning 9986 clauses out of 20200 with flag 2744000/2761098
1375.41/1374.09	c cleaning 10080 clauses out of 20214 with flag 2754000/2771098
1381.31/1379.92	c cleaning 9963 clauses out of 20134 with flag 2764000/2781098
1387.11/1385.71	c cleaning 10027 clauses out of 20171 with flag 2774000/2791098
1392.82/1391.49	c cleaning 10028 clauses out of 20144 with flag 2784000/2801098
1398.61/1397.29	c cleaning 9937 clauses out of 20116 with flag 2794000/2811098
1404.51/1403.11	c cleaning 10025 clauses out of 20179 with flag 2804000/2821098
1410.12/1408.75	c cleaning 10027 clauses out of 20154 with flag 2814000/2831098
1415.92/1414.57	c cleaning 9938 clauses out of 20127 with flag 2824000/2841098
1421.92/1420.57	c cleaning 10020 clauses out of 20189 with flag 2834000/2851098
1427.72/1426.39	c cleaning 9992 clauses out of 20169 with flag 2844000/2861098
1433.64/1432.22	c cleaning 9990 clauses out of 20177 with flag 2854000/2871098
1439.22/1437.85	c cleaning 10056 clauses out of 20187 with flag 2864000/2881098
1445.02/1443.60	c cleaning 9980 clauses out of 20131 with flag 2874000/2891098
1450.62/1449.20	c cleaning 9991 clauses out of 20151 with flag 2884000/2901098
1456.02/1454.67	c cleaning 10004 clauses out of 20160 with flag 2894000/2911098
1461.52/1460.10	c cleaning 10017 clauses out of 20157 with flag 2904001/2921099
1466.93/1465.53	c cleaning 9986 clauses out of 20139 with flag 2914000/2931098
1472.33/1470.95	c cleaning 9986 clauses out of 20153 with flag 2924000/2941098
1477.53/1476.19	c cleaning 10032 clauses out of 20167 with flag 2934000/2951098
1482.73/1481.37	c cleaning 9985 clauses out of 20135 with flag 2944000/2961098
1487.93/1486.54	c cleaning 9975 clauses out of 20150 with flag 2954000/2971098
1492.94/1491.58	c cleaning 10028 clauses out of 20175 with flag 2964000/2981098
1497.83/1496.49	c cleaning 9965 clauses out of 20147 with flag 2974000/2991098
1502.63/1501.22	c cleaning 9970 clauses out of 20182 with flag 2984000/3001098
1507.54/1506.16	c cleaning 10018 clauses out of 20212 with flag 2994000/3011098
1512.24/1510.85	c cleaning 9981 clauses out of 20194 with flag 3004000/3021098
1517.64/1516.26	c cleaning 9969 clauses out of 20213 with flag 3014000/3031098
1522.54/1521.14	c cleaning 9971 clauses out of 20244 with flag 3024000/3041098
1527.24/1525.84	c cleaning 10000 clauses out of 20273 with flag 3034000/3051098
1532.04/1530.62	c cleaning 10015 clauses out of 20273 with flag 3044000/3061098
1537.74/1536.32	c cleaning 10000 clauses out of 20258 with flag 3054000/3071098
1542.64/1541.30	c cleaning 10066 clauses out of 20258 with flag 3064000/3081098
1547.84/1546.50	c cleaning 9983 clauses out of 20192 with flag 3074000/3091098
1553.45/1552.10	c cleaning 10006 clauses out of 20209 with flag 3084000/3101098
1558.54/1557.18	c cleaning 10033 clauses out of 20203 with flag 3094000/3111098
1563.84/1562.42	c cleaning 10031 clauses out of 20170 with flag 3104000/3121098
1568.96/1567.58	c cleaning 10061 clauses out of 20139 with flag 3114000/3131098
1574.24/1572.82	c cleaning 9918 clauses out of 20078 with flag 3124000/3141098
1579.64/1578.20	c cleaning 9963 clauses out of 20160 with flag 3134000/3151098
1584.95/1583.55	c cleaning 10010 clauses out of 20197 with flag 3144000/3161098
1590.25/1588.84	c cleaning 9981 clauses out of 20187 with flag 3154000/3171098
1595.38/1593.94	c cleaning 9999 clauses out of 20206 with flag 3164000/3181098
1600.36/1598.95	c cleaning 9993 clauses out of 20207 with flag 3174000/3191098
1606.06/1604.68	c cleaning 9983 clauses out of 20214 with flag 3184000/3201098
1611.16/1609.70	c cleaning 10002 clauses out of 20231 with flag 3194000/3211098
1616.36/1614.93	c cleaning 9985 clauses out of 20229 with flag 3204000/3221098
1621.56/1620.12	c cleaning 10044 clauses out of 20244 with flag 3214000/3231098
1627.06/1625.61	c cleaning 9978 clauses out of 20200 with flag 3224000/3241098
1632.47/1631.01	c cleaning 10020 clauses out of 20222 with flag 3234000/3251098
1637.87/1636.41	c cleaning 9986 clauses out of 20202 with flag 3244000/3261098
1643.67/1642.23	c cleaning 10020 clauses out of 20216 with flag 3254000/3271098
1649.97/1648.52	c cleaning 9993 clauses out of 20196 with flag 3264000/3281098
1655.89/1654.43	c cleaning 9997 clauses out of 20203 with flag 3274000/3291098
1660.77/1659.35	c cleaning 9972 clauses out of 20206 with flag 3284000/3301098
1665.97/1664.60	c cleaning 9969 clauses out of 20234 with flag 3294000/3311098
1671.29/1669.85	c cleaning 10047 clauses out of 20265 with flag 3304000/3321098
1676.97/1675.56	c cleaning 9984 clauses out of 20218 with flag 3314000/3331098
1682.29/1680.88	c cleaning 10017 clauses out of 20234 with flag 3324000/3341098
1687.47/1686.07	c cleaning 10028 clauses out of 20217 with flag 3334000/3351098
1693.57/1692.10	c cleaning 10060 clauses out of 20189 with flag 3344000/3361098
1699.47/1698.07	c cleaning 9979 clauses out of 20129 with flag 3354000/3371098
1705.28/1703.84	c cleaning 10003 clauses out of 20150 with flag 3364000/3381098
1710.89/1709.42	c cleaning 9962 clauses out of 20147 with flag 3374000/3391098
1716.88/1715.41	c cleaning 9987 clauses out of 20185 with flag 3384000/3401098
1722.99/1721.56	c cleaning 9993 clauses out of 20198 with flag 3394000/3411098
1729.08/1727.64	c cleaning 10009 clauses out of 20205 with flag 3404000/3421098
1735.10/1733.63	c cleaning 10043 clauses out of 20196 with flag 3414000/3431098
1740.49/1739.06	c cleaning 10036 clauses out of 20153 with flag 3424000/3441098
1745.28/1743.83	c cleaning 9955 clauses out of 20117 with flag 3434000/3451098
1749.98/1748.53	c cleaning 9997 clauses out of 20162 with flag 3444000/3461098
1754.68/1753.30	c cleaning 10010 clauses out of 20165 with flag 3454000/3471098
1759.38/1757.91	c cleaning 9979 clauses out of 20155 with flag 3464000/3481098
1764.59/1763.16	c cleaning 9983 clauses out of 20176 with flag 3474000/3491098
1770.00/1768.52	c cleaning 10055 clauses out of 20193 with flag 3484000/3501098
1775.20/1773.78	c cleaning 9980 clauses out of 20138 with flag 3494000/3511098
1780.70/1779.22	c cleaning 9995 clauses out of 20158 with flag 3504000/3521098
1786.20/1784.74	c cleaning 10031 clauses out of 20163 with flag 3514000/3531098
1791.50/1790.04	c cleaning 9981 clauses out of 20132 with flag 3524000/3541098
1797.20/1795.79	c cleaning 9968 clauses out of 20151 with flag 3534000/3551098
1800.02/1798.53	c starts		: 254
1800.02/1798.53	c conflicts		: 3556000
1800.02/1798.53	c decisions		: 3600231
1800.02/1798.53	c propagations		: 126098087
1800.02/1798.53	c inspects		: 1697694569
1800.02/1798.53	c shortcuts		: 0
1800.02/1798.53	c learnt literals	: 0
1800.02/1798.53	c learnt binary clauses	: 0
1800.02/1798.53	c learnt ternary clauses	: 394
1800.02/1798.53	c learnt constraints	: 3556000
1800.02/1798.53	c ignored constraints	: 0
1800.02/1798.53	c root simplifications	: 0
1800.02/1798.53	c removed literals (reason simplification)	: 418229948
1800.02/1798.53	c reason swapping (by a shorter reason)	: 0
1800.02/1798.53	c Calls to reduceDB	: 357
1800.02/1798.53	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.53	c number of learned constraints concerned by reduction	: 0
1800.02/1798.53	c number of learning phase by resolution	: 0
1800.02/1798.53	c number of learning phase by cutting planes	: 0
1800.02/1798.53	c speed (assignments/second)	: 70323.72488231334
1800.02/1798.53	c non guided choices	0
1800.02/1798.54	c learnt constraints type 
1800.02/1798.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15095
1800.02/1798.54	c constraints type 
1800.02/1798.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524
1800.02/1798.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.02/1798.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.02/1798.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
1800.02/1798.54	s SATISFIABLE
1800.02/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.02/1798.54	c objective function=-33
1800.02/1798.54	c Total wall clock time (in seconds): 1798.428

Verifier Data 

OK	-33

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/5903/stat : 5903 (java) R 5900 5903 2099 0 -1 4202496 427 0 0 0 0 0 0 0 17 0 1 0 827750410 9318400 173 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274659884679 0 2147483391 4096 0 0 0 0 17 2 0 0 0
/proc/5903/statm: 2275 173 132 9 0 67 0
[pid=5903/tid=5906] ppid=5900 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 2705 0 1 0 0 0 0 0 18 0 2 0 827750411 13850947584 3521 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0645939 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 14030 0 1 0 3 1 0 0 17 0 13 0 827750410 13874806784 13727 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3387404 13727 1686 9 0 3378152 0
[pid=5903/tid=5906] ppid=5900 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 12883 0 1 0 3 1 0 0 24 0 13 0 827750411 13874806784 13727 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676635083 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616

[startup+0.10055 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13621384 CPUtime=0.09 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 15254 0 1 0 7 2 0 0 17 0 18 0 827750410 13948297216 14951 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3405346 14953 2088 9 0 3396080 0
[pid=5903/tid=5906] ppid=5900 vsize=13621384 CPUtime=0.07 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 13542 0 1 0 6 1 0 0 18 0 18 0 827750411 13948297216 14953 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 47359373111301 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621384

[startup+0.301065 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13622844 CPUtime=0.26 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 16630 0 1 0 24 2 0 0 17 0 18 0 827750410 13949792256 16298 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3405711 16299 2182 9 0 3396445 0
[pid=5903/tid=5906] ppid=5900 vsize=13622844 CPUtime=0.19 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 14507 0 1 0 17 2 0 0 18 0 18 0 827750411 13949792256 16299 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 47359372921984 0 4 0 16800975 0 0 0 -1 2 0 0 8
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622844

[startup+0.700471 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13648812 CPUtime=1.26 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 31522 0 1 0 121 5 0 0 17 0 19 0 827750410 13976383488 28425 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3412203 28425 2226 9 0 3402937 0
[pid=5903/tid=5906] ppid=5900 vsize=13648812 CPUtime=0.59 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18046 0 1 0 56 3 0 0 19 0 19 0 827750411 13976383488 28425 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505228080 0 4 0 16800975 0 0 0 -1 2 0 0 8
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13648812

[startup+1.50137 s]
/proc/loadavg: 1.79 1.98 1.98 4/471 5943
/proc/meminfo: memFree=12328800/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13646404 CPUtime=2.47 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 32273 0 1 0 242 5 0 0 17 0 19 0 827750410 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3411601 28559 2241 9 0 3402335 0
[pid=5903/tid=5906] ppid=5900 vsize=13646404 CPUtime=1.39 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18290 0 1 0 136 3 0 0 18 0 19 0 827750411 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505825854 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827750414 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827750415 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827750415 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13646404 CPUtime=0.49 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4314 0 0 0 48 1 0 0 15 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13646404 CPUtime=0.56 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8509 0 0 0 56 0 0 0 16 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 13646404

[startup+3.1011 s]
/proc/loadavg: 1.79 1.98 1.98 4/471 5943
/proc/meminfo: memFree=12320880/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13646404 CPUtime=4.1 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 34172 0 1 0 405 5 0 0 17 0 19 0 827750410 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3411601 30455 2267 9 0 3402335 0
[pid=5903/tid=5906] ppid=5900 vsize=13646404 CPUtime=2.97 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18544 0 1 0 294 3 0 0 20 0 19 0 827750411 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505814183 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 258 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 263 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 98 0 0 0 0 0 0 0 17 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 186 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13646404 CPUtime=0.01 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 822 0 0 0 1 0 0 0 15 0 19 0 827750414 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13646404 CPUtime=0.5 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4320 0 0 0 49 1 0 0 15 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13646404 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8511 0 0 0 58 0 0 0 15 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 13646404

[startup+6.30155 s]
/proc/loadavg: 1.81 1.98 1.98 4/471 5943
/proc/meminfo: memFree=12307492/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13642568 CPUtime=7.39 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 34849 0 1 0 733 6 0 0 17 0 19 0 827750410 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3410642 30228 2267 9 0 3401376 0
[pid=5903/tid=5906] ppid=5900 vsize=13642568 CPUtime=6.13 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18555 0 1 0 610 3 0 0 23 0 19 0 827750411 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505814650 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 258 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 288 0 0 0 0 0 0 0 18 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 206 0 0 0 0 0 0 0 16 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=0.03 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 998 0 0 0 3 0 0 0 15 0 19 0 827750414 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.54 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4321 0 0 0 53 1 0 0 15 0 19 0 827750417 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.66 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8524 0 0 0 66 0 0 0 15 0 19 0 827750417 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0

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

[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 224 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 145 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 381 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=8.11 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 2772 0 0 0 806 5 0 0 15 0 19 0 827750414 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4346 0 0 0 57 1 0 0 15 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.69 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8543 0 0 0 69 0 0 0 15 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1723.78
Current children cumulated vsize (KiB) 13642568

[startup+1782.3 s]
/proc/loadavg: 2.44 2.13 2.03 4/471 5990
/proc/meminfo: memFree=12285192/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13642568 CPUtime=1783.8 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 38390 0 1 0 178363 17 0 0 17 0 19 0 827750410 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3410642 33117 2268 9 0 3401376 0
[pid=5903/tid=5906] ppid=5900 vsize=13642568 CPUtime=1773.1 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18906 0 1 0 177304 6 0 0 25 0 19 0 827750411 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505899241 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 405 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 22 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 747 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 510 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 129 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0.13 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 224 0 0 0 13 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 147 0 0 0 11 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 386 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=8.41 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 2774 0 0 0 835 6 0 0 15 0 19 0 827750414 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4346 0 0 0 57 1 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.69 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8543 0 0 0 69 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1783.8
Current children cumulated vsize (KiB) 13642568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.52 s]
/proc/loadavg: 2.34 2.12 2.03 2/451 5994
/proc/meminfo: memFree=12372020/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13642568 CPUtime=1800.02 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 38397 0 1 0 179985 17 0 0 17 0 19 0 827750410 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3410642 33117 2268 9 0 3401376 0
[pid=5903/tid=5906] ppid=5900 vsize=13642568 CPUtime=1789.25 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18909 0 1 0 178919 6 0 0 25 0 19 0 827750411 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505617142 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 405 0 0 0 12 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 22 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 747 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 510 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 129 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0.13 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 224 0 0 0 13 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 147 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 386 0 0 0 12 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=8.48 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 2776 0 0 0 842 6 0 0 15 0 19 0 827750414 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4346 0 0 0 57 1 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.69 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8543 0 0 0 69 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13642568

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.34 2.12 2.03 2/451 5994
/proc/meminfo: memFree=12372020/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13642568 CPUtime=1800.02 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 38397 0 1 0 179985 17 0 0 17 0 19 0 827750410 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3410642 33117 2268 9 0 3401376 0
[pid=5903/tid=5906] ppid=5900 vsize=13642568 CPUtime=1789.25 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18909 0 1 0 178919 6 0 0 25 0 19 0 827750411 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505617142 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 405 0 0 0 12 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 22 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 747 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 510 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 129 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0.13 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 224 0 0 0 13 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 147 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 386 0 0 0 12 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=8.48 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 2776 0 0 0 842 6 0 0 15 0 19 0 827750414 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4346 0 0 0 57 1 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.69 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8543 0 0 0 69 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13642568

Child status: 143
Real time (s): 1798.55
CPU time (s): 1800.07
CPU user time (s): 1799.89
CPU system time (s): 0.179972
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 13648812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38440
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= 45723
involuntary context switches= 19529

runsolver used 8.60369 second user time and 18.8011 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-04 06:25:08
IDJOB=3458420
IDBENCH=48240
IDSOLVER=1952
FILE ID=node131/3458420-1307161508
RUNJOBID= node131-1307161508-5886
PBS_JOBID= 13508785
Free space on /tmp= 73912 MiB

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

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=395124274

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12503036 kB
Buffers:        351132 kB
Cached:        5663512 kB
SwapCached:        948 kB
Active:       15965604 kB
Inactive:      4161504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12503036 kB
SwapTotal:    67111528 kB
SwapFree:     67093840 kB
Dirty:             776 kB
Writeback:           0 kB
AnonPages:    14112044 kB
Mapped:          37948 kB
Slab:           197988 kB
PageTables:      55476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 95328996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node131 at 2011-06-04 06:55:08