Trace number 3453957

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 Res//CP 2.3.0SAT (TO)76 1800.3 971.936

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_5.opb
MD5SUM2dd6cc5a7b1f8311eff7b566cf3505ea
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6270
Sum of products size (including duplicates)12540
Number of different products6270
Sum of products size12540

Quality of the solution as a function of time


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

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3453957-1307194681.opb
0.09/0.12	c reading problem ... 
0.97/0.57	c ... done. Wall clock time 0.446s.
0.97/0.57	c #vars     6770
0.97/0.57	c #constraints  13040
0.97/0.57	c constraints type 
0.97/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6770
0.97/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270
0.97/0.57	c constraints type 
0.97/0.57	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6770
0.97/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6270
1.69/0.70	c  And the winner is Resolution
2.37/1.08	c SATISFIABLE
2.37/1.08	c OPTIMIZING...
2.37/1.08	c Got one! Elapsed wall clock time (in seconds):0.958
2.37/1.08	o 89
2.37/1.10	c  And the winner is Resolution
2.54/1.59	c Got one! Elapsed wall clock time (in seconds):1.469
2.54/1.59	o 88
2.58/1.69	c  And the winner is Resolution
3.42/2.17	c Got one! Elapsed wall clock time (in seconds):2.052
3.42/2.17	o 87
3.42/2.19	c  And the winner is Resolution
3.53/2.68	c Got one! Elapsed wall clock time (in seconds):2.56
3.53/2.68	o 86
3.58/2.71	c  And the winner is Resolution
3.65/3.18	c Got one! Elapsed wall clock time (in seconds):3.066
3.65/3.18	o 85
3.65/3.21	c  And the winner is Resolution
3.75/3.69	c Got one! Elapsed wall clock time (in seconds):3.571
3.75/3.69	o 81
4.09/3.80	c  And the winner is Resolution
4.13/4.20	c Got one! Elapsed wall clock time (in seconds):4.076
4.13/4.20	o 80
4.79/4.55	c  And the winner is Resolution
4.95/4.71	c Got one! Elapsed wall clock time (in seconds):4.588
4.95/4.71	o 79
6.44/5.48	c cleaning 3355 clauses out of 6716 with flag 4000/6716
8.70/6.60	c cleaning 4676 clauses out of 9361 with flag 10000/12716
11.28/7.86	c cleaning 5837 clauses out of 11686 with flag 17001/19717
14.48/9.43	c cleaning 6915 clauses out of 13848 with flag 25000/27716
15.61/10.07	c  And the winner is CuttingPlanes
15.76/10.24	c Got one! Elapsed wall clock time (in seconds):10.116
15.76/10.24	o 78
15.76/10.27	c  And the winner is Resolution
15.91/10.74	c Got one! Elapsed wall clock time (in seconds):10.62
15.91/10.74	o 77
16.88/11.26	c cleaning 6487 clauses out of 12984 with flag 3000/33767
19.01/12.35	c cleaning 6244 clauses out of 12498 with flag 9001/39768
21.76/13.70	c cleaning 6621 clauses out of 13253 with flag 16000/46767
24.72/15.24	c cleaning 7315 clauses out of 14633 with flag 24001/54768
28.22/17.05	c cleaning 8150 clauses out of 16317 with flag 33000/63767
31.74/18.87	c cleaning 9081 clauses out of 18168 with flag 43001/73768
35.91/20.92	c cleaning 10039 clauses out of 20086 with flag 54000/84767
40.59/23.34	c cleaning 11016 clauses out of 22048 with flag 66001/96768
46.07/26.14	c cleaning 12011 clauses out of 24031 with flag 79000/109767
51.57/28.93	c cleaning 13004 clauses out of 26020 with flag 93000/123767
57.30/31.89	c cleaning 13499 clauses out of 27016 with flag 107000/137767
61.37/33.91	c  And the winner is Resolution
61.49/34.07	c Got one! Elapsed wall clock time (in seconds):33.949
61.49/34.07	o 76
63.40/35.04	c cleaning 14032 clauses out of 28079 with flag 5000/152329
66.04/36.46	c cleaning 10018 clauses out of 20047 with flag 11000/158329
68.93/37.94	c cleaning 8508 clauses out of 17029 with flag 18000/165329
72.41/39.76	c cleaning 8257 clauses out of 16522 with flag 26001/173330
76.31/41.72	c cleaning 8624 clauses out of 17264 with flag 35000/182329
80.53/43.94	c cleaning 9308 clauses out of 18641 with flag 45001/192330
85.17/46.38	c cleaning 10161 clauses out of 20332 with flag 56000/203329
89.84/48.71	c cleaning 11082 clauses out of 22171 with flag 68000/215329
94.89/51.39	c cleaning 12039 clauses out of 24089 with flag 81000/228329
101.69/54.86	c cleaning 13022 clauses out of 26050 with flag 95000/242329
108.14/58.21	c cleaning 13502 clauses out of 27028 with flag 109000/256329
114.57/61.45	c cleaning 13752 clauses out of 27526 with flag 123000/270329
121.44/64.98	c cleaning 13876 clauses out of 27774 with flag 137000/284329
127.58/68.20	c cleaning 13950 clauses out of 27901 with flag 151003/298332
133.38/71.13	c cleaning 13964 clauses out of 27949 with flag 165001/312330
139.41/74.25	c cleaning 13983 clauses out of 27986 with flag 179002/326331
145.23/77.29	c cleaning 13992 clauses out of 28001 with flag 193000/340329
151.95/80.70	c cleaning 13996 clauses out of 28009 with flag 207000/354329
158.75/84.20	c cleaning 13999 clauses out of 28013 with flag 221000/368329
165.34/87.69	c cleaning 14003 clauses out of 28014 with flag 235000/382329
172.73/91.41	c cleaning 13995 clauses out of 28011 with flag 249000/396329
180.22/95.37	c cleaning 13996 clauses out of 28016 with flag 263000/410329
187.43/99.02	c cleaning 14007 clauses out of 28022 with flag 277002/424331
192.77/101.83	c cleaning 13995 clauses out of 28014 with flag 291001/438330
198.58/104.85	c cleaning 14001 clauses out of 28018 with flag 305000/452329
205.04/108.28	c cleaning 14002 clauses out of 28018 with flag 319001/466330
211.61/111.66	c cleaning 14004 clauses out of 28016 with flag 333001/480330
217.76/114.89	c cleaning 14004 clauses out of 28011 with flag 347000/494329
224.31/118.25	c cleaning 13994 clauses out of 28007 with flag 361000/508329
230.54/121.57	c cleaning 14001 clauses out of 28013 with flag 375000/522329
236.89/124.87	c cleaning 13996 clauses out of 28012 with flag 389000/536329
243.43/128.25	c cleaning 13999 clauses out of 28016 with flag 403000/550329
249.56/131.45	c cleaning 13997 clauses out of 28017 with flag 417000/564329
256.17/134.93	c cleaning 14000 clauses out of 28021 with flag 431001/578330
262.69/138.34	c cleaning 13998 clauses out of 28020 with flag 445000/592329
269.44/141.84	c cleaning 14002 clauses out of 28022 with flag 459000/606329
275.77/145.16	c cleaning 14007 clauses out of 28021 with flag 473001/620330
281.96/148.48	c cleaning 14000 clauses out of 28013 with flag 487000/634329
288.66/151.98	c cleaning 14000 clauses out of 28014 with flag 501001/648330
294.97/155.27	c cleaning 14000 clauses out of 28014 with flag 515001/662330
301.28/158.55	c cleaning 13997 clauses out of 28013 with flag 529000/676329
307.44/161.85	c cleaning 13996 clauses out of 28017 with flag 543001/690330
313.59/165.02	c cleaning 14003 clauses out of 28020 with flag 557000/704329
319.67/168.23	c cleaning 14004 clauses out of 28017 with flag 571000/718329
325.98/171.61	c cleaning 13992 clauses out of 28013 with flag 585000/732329
332.51/175.07	c cleaning 14004 clauses out of 28022 with flag 599001/746330
338.22/178.10	c cleaning 14002 clauses out of 28017 with flag 613000/760329
344.31/181.27	c cleaning 14000 clauses out of 28016 with flag 627001/774330
350.40/184.48	c cleaning 14000 clauses out of 28016 with flag 641001/788330
356.74/187.81	c cleaning 13998 clauses out of 28015 with flag 655000/802329
362.64/190.98	c cleaning 14004 clauses out of 28017 with flag 669000/816329
368.53/194.03	c cleaning 13996 clauses out of 28014 with flag 683001/830330
374.62/197.25	c cleaning 14001 clauses out of 28017 with flag 697000/844329
380.94/200.60	c cleaning 13998 clauses out of 28016 with flag 711000/858329
386.82/203.79	c cleaning 14000 clauses out of 28019 with flag 725001/872330
392.73/206.87	c cleaning 13998 clauses out of 28019 with flag 739001/886330
398.78/210.10	c cleaning 14004 clauses out of 28021 with flag 753001/900330
405.10/213.49	c cleaning 14004 clauses out of 28016 with flag 767000/914329
411.35/216.72	c cleaning 14001 clauses out of 28013 with flag 781001/928330
416.78/219.62	c cleaning 13996 clauses out of 28011 with flag 795000/942329
422.83/222.81	c cleaning 13998 clauses out of 28016 with flag 809001/956330
429.11/226.26	c cleaning 13997 clauses out of 28018 with flag 823001/970330
435.56/229.64	c cleaning 14004 clauses out of 28020 with flag 837000/984329
442.23/233.12	c cleaning 14002 clauses out of 28017 with flag 851001/998330
447.84/236.16	c cleaning 13994 clauses out of 28014 with flag 865000/1012329
453.90/239.45	c cleaning 14001 clauses out of 28021 with flag 879001/1026330
459.94/242.60	c cleaning 14004 clauses out of 28019 with flag 893000/1040329
465.97/245.81	c cleaning 13998 clauses out of 28015 with flag 907000/1054329
472.40/249.24	c cleaning 14000 clauses out of 28019 with flag 921002/1068331
478.84/252.78	c cleaning 13999 clauses out of 28017 with flag 935000/1082329
485.26/256.14	c cleaning 13996 clauses out of 28018 with flag 949000/1096329
491.70/259.58	c cleaning 13997 clauses out of 28022 with flag 963000/1110329
497.49/262.68	c cleaning 14005 clauses out of 28026 with flag 977001/1124330
503.94/266.18	c cleaning 14006 clauses out of 28020 with flag 991000/1138329
510.15/269.43	c cleaning 13998 clauses out of 28014 with flag 1005000/1152329
516.57/272.82	c cleaning 13999 clauses out of 28016 with flag 1019000/1166329
522.57/276.04	c cleaning 14001 clauses out of 28018 with flag 1033001/1180330
529.56/279.80	c cleaning 14002 clauses out of 28017 with flag 1047001/1194330
535.96/283.20	c cleaning 13998 clauses out of 28016 with flag 1061002/1208331
542.75/286.80	c cleaning 13998 clauses out of 28016 with flag 1075000/1222329
549.95/290.65	c cleaning 14006 clauses out of 28019 with flag 1089001/1236330
557.16/294.53	c cleaning 13993 clauses out of 28012 with flag 1103000/1250329
564.75/298.53	c cleaning 14001 clauses out of 28020 with flag 1117001/1264330
572.16/302.47	c cleaning 14002 clauses out of 28019 with flag 1131001/1278330
579.71/306.43	c cleaning 13997 clauses out of 28017 with flag 1145001/1292330
587.69/310.71	c cleaning 13997 clauses out of 28019 with flag 1159000/1306329
594.67/314.51	c cleaning 14001 clauses out of 28022 with flag 1173000/1320329
601.84/318.29	c cleaning 14001 clauses out of 28022 with flag 1187001/1334330
609.00/322.04	c cleaning 13997 clauses out of 28021 with flag 1201001/1348330
615.77/325.77	c cleaning 14008 clauses out of 28023 with flag 1215000/1362329
621.94/329.06	c cleaning 14002 clauses out of 28015 with flag 1229000/1376329
628.51/332.54	c cleaning 14002 clauses out of 28014 with flag 1243001/1390330
634.68/335.89	c cleaning 13997 clauses out of 28011 with flag 1257000/1404329
641.23/339.45	c cleaning 13997 clauses out of 28015 with flag 1271001/1418330
648.22/343.20	c cleaning 14003 clauses out of 28018 with flag 1285001/1432330
655.56/347.00	c cleaning 14001 clauses out of 28014 with flag 1299000/1446329
662.95/350.95	c cleaning 13997 clauses out of 28013 with flag 1313000/1460329
670.64/355.14	c cleaning 14003 clauses out of 28017 with flag 1327001/1474330
677.78/358.94	c cleaning 14001 clauses out of 28013 with flag 1341000/1488329
684.72/362.62	c cleaning 13999 clauses out of 28013 with flag 1355001/1502330
691.49/366.26	c cleaning 13999 clauses out of 28013 with flag 1369000/1516329
698.57/370.18	c cleaning 13999 clauses out of 28015 with flag 1383001/1530330
705.72/374.01	c cleaning 14001 clauses out of 28016 with flag 1397001/1544330
712.42/377.57	c cleaning 13996 clauses out of 28014 with flag 1411000/1558329
719.35/381.28	c cleaning 14000 clauses out of 28018 with flag 1425000/1572329
726.64/385.22	c cleaning 14007 clauses out of 28019 with flag 1439001/1586330
733.35/388.89	c cleaning 13993 clauses out of 28011 with flag 1453000/1600329
740.49/392.65	c cleaning 14000 clauses out of 28018 with flag 1467000/1614329
747.58/396.41	c cleaning 13999 clauses out of 28019 with flag 1481001/1628330
754.89/400.44	c cleaning 13996 clauses out of 28020 with flag 1495001/1642330
761.56/404.00	c cleaning 14000 clauses out of 28024 with flag 1509001/1656330
768.47/407.78	c cleaning 14007 clauses out of 28024 with flag 1523001/1670330
775.57/411.52	c cleaning 14001 clauses out of 28017 with flag 1537001/1684330
783.03/415.68	c cleaning 13998 clauses out of 28015 with flag 1551000/1698329
787.42/418.02	c cleaning 0 clauses out of 5995 with flag 0/6001
791.14/420.02	c cleaning 13994 clauses out of 28017 with flag 1565000/1712329
798.40/423.89	c cleaning 14004 clauses out of 28025 with flag 1579002/1726331
805.88/427.95	c cleaning 14001 clauses out of 28019 with flag 1593000/1740329
812.74/431.62	c cleaning 14001 clauses out of 28018 with flag 1607000/1754329
819.62/435.35	c cleaning 13998 clauses out of 28018 with flag 1621001/1768330
826.50/439.01	c cleaning 13999 clauses out of 28020 with flag 1635001/1782330
833.55/442.98	c cleaning 13999 clauses out of 28021 with flag 1649001/1796330
840.02/446.45	c cleaning 14002 clauses out of 28021 with flag 1663000/1810329
846.89/450.14	c cleaning 14001 clauses out of 28021 with flag 1677002/1824331
853.58/453.70	c cleaning 13994 clauses out of 28020 with flag 1691002/1838331
860.40/457.54	c cleaning 14004 clauses out of 28025 with flag 1705001/1852330
867.46/461.31	c cleaning 13998 clauses out of 28020 with flag 1719000/1866329
874.33/465.08	c cleaning 13995 clauses out of 28022 with flag 1733000/1880329
881.39/468.81	c cleaning 14005 clauses out of 28028 with flag 1747001/1894330
888.81/472.95	c cleaning 14001 clauses out of 28022 with flag 1761000/1908329
895.66/476.70	c cleaning 14003 clauses out of 28022 with flag 1775001/1922330
902.73/480.40	c cleaning 13997 clauses out of 28020 with flag 1789002/1936331
909.59/484.11	c cleaning 13998 clauses out of 28021 with flag 1803000/1950329
916.79/488.13	c cleaning 13997 clauses out of 28024 with flag 1817001/1964330
923.65/491.83	c cleaning 14002 clauses out of 28027 with flag 1831001/1978330
930.11/495.38	c cleaning 14000 clauses out of 28024 with flag 1845000/1992329
936.58/498.89	c cleaning 14000 clauses out of 28024 with flag 1859000/2006329
943.78/502.85	c cleaning 13999 clauses out of 28024 with flag 1873000/2020329
949.84/506.17	c cleaning 14005 clauses out of 28026 with flag 1887001/2034330
956.52/509.74	c cleaning 14004 clauses out of 28020 with flag 1901000/2048329
962.78/513.18	c cleaning 14000 clauses out of 28016 with flag 1915000/2062329
970.38/517.32	c cleaning 14002 clauses out of 28017 with flag 1929001/2076330
977.04/520.92	c cleaning 14001 clauses out of 28014 with flag 1943000/2090329
983.70/524.57	c cleaning 13996 clauses out of 28014 with flag 1957001/2104330
990.36/528.14	c cleaning 14000 clauses out of 28021 with flag 1971004/2118333
997.76/532.20	c cleaning 14000 clauses out of 28018 with flag 1985001/2132330
1004.83/536.08	c cleaning 14002 clauses out of 28017 with flag 1999000/2146329
1011.69/539.75	c cleaning 14003 clauses out of 28015 with flag 2013000/2160329
1018.75/543.53	c cleaning 13998 clauses out of 28014 with flag 2027002/2174331
1026.37/547.73	c cleaning 13996 clauses out of 28014 with flag 2041000/2188329
1033.42/551.57	c cleaning 14000 clauses out of 28018 with flag 2055000/2202329
1040.91/555.56	c cleaning 14003 clauses out of 28019 with flag 2069001/2216330
1047.34/559.06	c cleaning 13999 clauses out of 28015 with flag 2083000/2230329
1054.34/563.00	c cleaning 13999 clauses out of 28016 with flag 2097000/2244329
1061.03/566.54	c cleaning 13999 clauses out of 28017 with flag 2111000/2258329
1067.85/570.22	c cleaning 13999 clauses out of 28018 with flag 2125000/2272329
1074.51/573.86	c cleaning 14002 clauses out of 28020 with flag 2139001/2286330
1081.70/577.87	c cleaning 14002 clauses out of 28018 with flag 2153001/2300330
1088.16/581.37	c cleaning 14000 clauses out of 28015 with flag 2167000/2314329
1095.02/585.03	c cleaning 13999 clauses out of 28015 with flag 2181000/2328329
1102.09/588.85	c cleaning 14001 clauses out of 28017 with flag 2195001/2342330
1109.87/593.11	c cleaning 13998 clauses out of 28016 with flag 2209001/2356330
1117.31/597.15	c cleaning 14001 clauses out of 28017 with flag 2223000/2370329
1124.96/601.24	c cleaning 13999 clauses out of 28016 with flag 2237000/2384329
1132.60/605.34	c cleaning 14000 clauses out of 28017 with flag 2251000/2398329
1140.76/609.82	c cleaning 14000 clauses out of 28018 with flag 2265001/2412330
1148.23/613.88	c cleaning 13999 clauses out of 28018 with flag 2279001/2426330
1156.02/618.01	c cleaning 14003 clauses out of 28018 with flag 2293000/2440329
1163.85/622.27	c cleaning 13998 clauses out of 28016 with flag 2307001/2454330
1172.00/626.73	c cleaning 14002 clauses out of 28017 with flag 2321000/2468329
1180.21/631.15	c cleaning 13999 clauses out of 28016 with flag 2335001/2482330
1188.64/635.60	c cleaning 13998 clauses out of 28017 with flag 2349001/2496330
1196.87/640.06	c cleaning 13997 clauses out of 28018 with flag 2363000/2510329
1205.25/644.66	c cleaning 14000 clauses out of 28022 with flag 2377001/2524330
1213.26/648.96	c cleaning 14002 clauses out of 28021 with flag 2391000/2538329
1222.05/653.60	c cleaning 13993 clauses out of 28019 with flag 2405000/2552329
1230.67/658.26	c cleaning 14007 clauses out of 28027 with flag 2419001/2566330
1239.41/663.03	c cleaning 13996 clauses out of 28019 with flag 2433000/2580329
1248.04/667.65	c cleaning 14005 clauses out of 28023 with flag 2447000/2594329
1256.02/671.98	c cleaning 14000 clauses out of 28018 with flag 2461000/2608329
1264.22/676.35	c cleaning 14002 clauses out of 28019 with flag 2475001/2622330
1272.35/680.86	c cleaning 13992 clauses out of 28016 with flag 2489000/2636329
1280.55/685.29	c cleaning 14002 clauses out of 28025 with flag 2503001/2650330
1288.53/689.58	c cleaning 14000 clauses out of 28022 with flag 2517000/2664329
1296.95/694.11	c cleaning 14000 clauses out of 28023 with flag 2531001/2678330
1304.86/698.43	c cleaning 14002 clauses out of 28022 with flag 2545000/2692329
1312.03/702.39	c cleaning 13997 clauses out of 28020 with flag 2559000/2706329
1319.43/706.35	c cleaning 14001 clauses out of 28023 with flag 2573000/2720329
1326.82/710.30	c cleaning 14005 clauses out of 28023 with flag 2587001/2734330
1334.11/714.50	c cleaning 13998 clauses out of 28018 with flag 2601001/2748330
1341.70/718.56	c cleaning 14004 clauses out of 28019 with flag 2615000/2762329
1349.32/722.64	c cleaning 13997 clauses out of 28016 with flag 2629001/2776330
1356.90/726.79	c cleaning 14000 clauses out of 28019 with flag 2643001/2790330
1364.79/731.14	c cleaning 13996 clauses out of 28018 with flag 2657000/2804329
1372.77/735.45	c cleaning 14002 clauses out of 28022 with flag 2671000/2818329
1379.96/739.39	c cleaning 14002 clauses out of 28021 with flag 2685001/2832330
1387.13/743.25	c cleaning 13997 clauses out of 28018 with flag 2699000/2846329
1394.78/747.53	c cleaning 13999 clauses out of 28021 with flag 2713000/2860329
1402.35/751.65	c cleaning 14007 clauses out of 28022 with flag 2727000/2874329
1409.95/755.78	c cleaning 13999 clauses out of 28015 with flag 2741000/2888329
1417.68/760.01	c cleaning 14001 clauses out of 28018 with flag 2755002/2902331
1424.92/764.06	c cleaning 13998 clauses out of 28016 with flag 2769001/2916330
1431.92/767.85	c cleaning 14000 clauses out of 28017 with flag 2783000/2930329
1439.03/771.78	c cleaning 13994 clauses out of 28017 with flag 2797000/2944329
1446.58/775.89	c cleaning 14002 clauses out of 28023 with flag 2811000/2958329
1454.61/780.34	c cleaning 14003 clauses out of 28023 with flag 2825002/2972331
1461.99/784.35	c cleaning 13996 clauses out of 28018 with flag 2839000/2986329
1469.49/788.46	c cleaning 13998 clauses out of 28023 with flag 2853001/3000330
1477.23/792.68	c cleaning 14000 clauses out of 28025 with flag 2867001/3014330
1484.24/796.66	c cleaning 14009 clauses out of 28025 with flag 2881001/3028330
1490.57/800.10	c cleaning 13998 clauses out of 28015 with flag 2895000/3042329
1497.31/803.80	c cleaning 14000 clauses out of 28017 with flag 2909000/3056329
1503.87/807.43	c cleaning 14002 clauses out of 28017 with flag 2923000/3070329
1510.83/811.49	c cleaning 14003 clauses out of 28016 with flag 2937001/3084330
1518.35/815.53	c cleaning 14000 clauses out of 28015 with flag 2951003/3098332
1525.26/819.35	c cleaning 14000 clauses out of 28012 with flag 2965000/3112329
1532.32/823.20	c cleaning 14000 clauses out of 28012 with flag 2979000/3126329
1539.70/827.40	c cleaning 13998 clauses out of 28013 with flag 2993001/3140330
1546.22/831.05	c cleaning 14000 clauses out of 28015 with flag 3007001/3154330
1552.73/834.64	c cleaning 13996 clauses out of 28014 with flag 3021000/3168329
1559.27/838.23	c cleaning 14004 clauses out of 28019 with flag 3035001/3182330
1566.00/842.19	c cleaning 13994 clauses out of 28014 with flag 3049000/3196329
1572.97/845.92	c cleaning 13997 clauses out of 28020 with flag 3063000/3210329
1579.45/849.53	c cleaning 14000 clauses out of 28023 with flag 3077000/3224329
1586.56/853.48	c cleaning 14002 clauses out of 28023 with flag 3091000/3238329
1593.92/857.63	c cleaning 14000 clauses out of 28021 with flag 3105000/3252329
1600.83/861.47	c cleaning 14000 clauses out of 28021 with flag 3119000/3266329
1608.33/865.51	c cleaning 13999 clauses out of 28021 with flag 3133000/3280329
1615.23/869.38	c cleaning 14005 clauses out of 28022 with flag 3147000/3294329
1622.59/873.57	c cleaning 13998 clauses out of 28018 with flag 3161001/3308330
1629.29/877.28	c cleaning 13998 clauses out of 28020 with flag 3175001/3322330
1636.59/881.27	c cleaning 14004 clauses out of 28021 with flag 3189000/3336329
1644.09/885.30	c cleaning 13999 clauses out of 28018 with flag 3203001/3350330
1651.84/889.73	c cleaning 14001 clauses out of 28018 with flag 3217000/3364329
1659.14/893.73	c cleaning 13999 clauses out of 28017 with flag 3231000/3378329
1666.44/897.76	c cleaning 13997 clauses out of 28019 with flag 3245001/3392330
1673.92/901.83	c cleaning 14000 clauses out of 28021 with flag 3259000/3406329
1681.67/906.27	c cleaning 13997 clauses out of 28021 with flag 3273000/3420329
1688.97/910.25	c cleaning 14001 clauses out of 28025 with flag 3287001/3434330
1696.26/914.29	c cleaning 14004 clauses out of 28024 with flag 3301001/3448330
1703.75/918.39	c cleaning 14002 clauses out of 28021 with flag 3315002/3462331
1711.93/922.98	c cleaning 14001 clauses out of 28017 with flag 3329000/3476329
1719.81/927.25	c cleaning 14001 clauses out of 28016 with flag 3343000/3490329
1727.67/931.50	c cleaning 13995 clauses out of 28015 with flag 3357000/3504329
1735.16/935.62	c cleaning 13995 clauses out of 28020 with flag 3371000/3518329
1742.91/940.05	c cleaning 14001 clauses out of 28025 with flag 3385000/3532329
1750.39/944.19	c cleaning 14003 clauses out of 28025 with flag 3399001/3546330
1758.08/948.40	c cleaning 14003 clauses out of 28022 with flag 3413001/3560330
1766.00/952.66	c cleaning 13998 clauses out of 28018 with flag 3427000/3574329
1773.91/957.11	c cleaning 14005 clauses out of 28020 with flag 3441000/3588329
1781.00/961.07	c cleaning 13997 clauses out of 28015 with flag 3455000/3602329
1788.48/965.10	c cleaning 13998 clauses out of 28018 with flag 3469000/3616329
1795.59/969.11	c cleaning 14003 clauses out of 28020 with flag 3483000/3630329
1800.14/971.82	c starts		: 316
1800.14/971.82	c conflicts		: 3637851
1800.14/971.82	c decisions		: 5887365
1800.14/971.82	c propagations		: 485274326
1800.14/971.82	c inspects		: 5020323512
1800.14/971.82	c shortcuts		: 0
1800.14/971.82	c learnt literals	: 0
1800.14/971.82	c learnt binary clauses	: 0
1800.14/971.82	c learnt ternary clauses	: 0
1800.14/971.82	c learnt constraints	: 3637850
1800.14/971.82	c ignored constraints	: 0
1800.14/971.82	c root simplifications	: 0
1800.14/971.82	c removed literals (reason simplification)	: 2480929
1800.14/971.82	c reason swapping (by a shorter reason)	: 0
1800.14/971.82	c Calls to reduceDB	: 267
1800.14/971.82	c number of reductions to clauses (during analyze)	: 0
1800.14/971.82	c number of learned constraints concerned by reduction	: 0
1800.14/971.82	c number of learning phase by resolution	: 0
1800.14/971.82	c number of learning phase by cutting planes	: 0
1800.14/971.82	c speed (assignments/second)	: 517485.7937156226
1800.14/971.82	c non guided choices	8371
1800.14/971.83	c learnt constraints type 
1800.14/971.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 21594
1800.14/971.83	c constraints type 
1800.14/971.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6770
1800.14/971.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.14/971.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270
1800.14/971.83	c constraints type 
1800.14/971.83	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6770
1800.14/971.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.14/971.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6270
1800.14/971.83	s SATISFIABLE
1800.14/971.83	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 x252 -x253 x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 x478 -x479 -x480 -x481 -x482 x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.14/971.83	c objective function=76
1800.14/971.83	c Total wall clock time (in seconds): 971.716

Verifier Data 

OK	76

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-3453957-1307194681/watcher-3453957-1307194681 -o /tmp/evaluation-result-3453957-1307194681/solver-3453957-1307194681 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453957-1307194681.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.88 2.17 2.94 3/510 9374
/proc/meminfo: memFree=16718496/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 2062 0 1 0 0 0 0 0 23 0 2 0 811884245 10681323520 1765 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2607745 1778 906 9 0 2598901 0
[pid=9374/tid=9375] ppid=9372 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) R 9372 9374 5093 0 -1 4202560 5504 0 1 0 0 0 0 0 24 0 2 0 811884245 10694979584 6320 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0293069 s]
/proc/loadavg: 1.88 2.17 2.94 3/510 9374
/proc/meminfo: memFree=16718496/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10454868 CPUtime=0.02 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 10562 0 1 0 1 1 0 0 23 0 10 0 811884245 10705784832 10263 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2613717 10270 1453 9 0 2604465 0
[pid=9374/tid=9375] ppid=9372 vsize=10454868 CPUtime=0.01 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) R 9372 9374 5093 0 -1 4202560 9453 0 1 0 1 0 0 0 25 0 10 0 811884245 10705784832 10275 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 46912504009831 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868

[startup+0.100321 s]
/proc/loadavg: 1.88 2.17 2.94 3/510 9374
/proc/meminfo: memFree=16718496/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10540264 CPUtime=0.09 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 12920 0 1 0 8 1 0 0 23 0 18 0 811884245 10793230336 12618 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2635066 12618 2093 9 0 2625800 0
[pid=9374/tid=9375] ppid=9372 vsize=10540264 CPUtime=0.07 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) R 9372 9374 5093 0 -1 4202560 11020 0 1 0 6 1 0 0 22 0 18 0 811884245 10793230336 12618 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 47866274196579 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540264

[startup+0.300278 s]
/proc/loadavg: 1.88 2.17 2.94 3/510 9374
/proc/meminfo: memFree=16718496/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10541728 CPUtime=0.45 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 15385 0 1 0 44 1 0 0 23 0 18 0 811884245 10794729472 14829 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2635432 14829 2207 9 0 2626166 0
[pid=9374/tid=9375] ppid=9372 vsize=10541728 CPUtime=0.27 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) R 9372 9374 5093 0 -1 4202560 12690 0 1 0 26 1 0 0 18 0 18 0 811884245 10794729472 14829 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 46912505573098 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541728

[startup+0.701182 s]
/proc/loadavg: 1.88 2.17 2.94 3/510 9374
/proc/meminfo: memFree=16718496/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10556920 CPUtime=1.69 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 33999 0 1 0 164 5 0 0 23 0 22 0 811884245 10810286080 29171 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2639230 29171 2229 9 0 2629964 0
[pid=9374/tid=9375] ppid=9372 vsize=10556920 CPUtime=0.53 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) S 9372 9374 5093 0 -1 4202560 17043 0 1 0 52 1 0 0 19 0 22 0 811884245 10810286080 29171 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10556920

[startup+1.50101 s]
/proc/loadavg: 1.88 2.17 2.94 4/549 9421
/proc/meminfo: memFree=16542696/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10560240 CPUtime=2.54 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 37885 0 1 0 248 6 0 0 23 0 19 0 811884245 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2640060 30249 2239 9 0 2630794 0
[pid=9374/tid=9375] ppid=9372 vsize=10560240 CPUtime=0.54 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) S 9372 9374 5093 0 -1 4202560 17133 0 1 0 53 1 0 0 17 0 19 0 811884245 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9380] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9380/stat : 9380 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9382] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9382/stat : 9382 (java) S 9372 9374 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811884247 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9384] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9384/stat : 9384 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9386] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9386/stat : 9386 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9388] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9388/stat : 9388 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9390] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9390/stat : 9390 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9392] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9392/stat : 9392 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9394] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9394/stat : 9394 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9395] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9395/stat : 9395 (java) S 9372 9374 5093 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 811884248 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 0 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9398] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9398/stat : 9398 (java) S 9372 9374 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811884249 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9399] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9399/stat : 9399 (java) S 9372 9374 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811884249 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9401] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9401/stat : 9401 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811884251 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118592433 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9403] ppid=9372 vsize=10560240 CPUtime=0.82 cores=0,2,4,6
/proc/9374/task/9403/stat : 9403 (java) S 9372 9374 5093 0 -1 4202560 6398 0 0 0 82 0 0 0 20 0 19 0 811884251 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9405] ppid=9372 vsize=10560240 CPUtime=0.79 cores=0,2,4,6
/proc/9374/task/9405/stat : 9405 (java) S 9372 9374 5093 0 -1 4202560 11991 0 0 0 76 3 0 0 18 0 19 0 811884251 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9407] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9407/stat : 9407 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811884251 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9409] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9409/stat : 9409 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811884251 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9418] ppid=9372 vsize=10560240 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9418/stat : 9418 (java) S 9372 9374 5093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811884304 10813685760 30249 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 10560240

[startup+3.10078 s]
/proc/loadavg: 1.88 2.17 2.94 2/549 9432
/proc/meminfo: memFree=16503884/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10562768 CPUtime=3.65 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 48825 0 1 0 358 7 0 0 23 0 19 0 811884245 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2640692 34844 2242 9 0 2631426 0
[pid=9374/tid=9375] ppid=9372 vsize=10562768 CPUtime=0.55 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) S 9372 9374 5093 0 -1 4202560 17335 0 1 0 54 1 0 0 17 0 19 0 811884245 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9380] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9380/stat : 9380 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9382] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9382/stat : 9382 (java) S 9372 9374 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811884247 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9384] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9384/stat : 9384 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9386] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9386/stat : 9386 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9388] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9388/stat : 9388 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9390] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9390/stat : 9390 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9392] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9392/stat : 9392 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9394] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9394/stat : 9394 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884247 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9395] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9395/stat : 9395 (java) S 9372 9374 5093 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 811884248 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 0 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9398] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9398/stat : 9398 (java) S 9372 9374 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811884249 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9399] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9399/stat : 9399 (java) S 9372 9374 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811884249 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9401] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9401/stat : 9401 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811884251 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118592433 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9403] ppid=9372 vsize=10562768 CPUtime=1.18 cores=0,2,4,6
/proc/9374/task/9403/stat : 9403 (java) S 9372 9374 5093 0 -1 4202560 7033 0 0 0 118 0 0 0 15 0 19 0 811884251 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9405] ppid=9372 vsize=10562768 CPUtime=1.29 cores=0,2,4,6
/proc/9374/task/9405/stat : 9405 (java) S 9372 9374 5093 0 -1 4202560 18485 0 0 0 126 3 0 0 16 0 19 0 811884251 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9407] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9407/stat : 9407 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811884251 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9409] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9409/stat : 9409 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811884251 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9418] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9418/stat : 9418 (java) S 9372 9374 5093 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811884304 10816274432 34844 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 10562768

[startup+6.30117 s]
/proc/loadavg: 1.73 2.14 2.92 5/554 9501
/proc/meminfo: memFree=15802268/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10562768 CPUtime=8.29 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 248690 0 1 0 801 28 0 0 23 0 22 0 811884245 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2640692 234398 2270 9 0 2631426 0
[pid=9374/tid=9375] ppid=9372 vsize=10562768 CPUtime=0.56 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) S 9372 9374 5093 0 -1 4202560 17603 0 1 0 55 1 0 0 15 0 22 0 811884245 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9380] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9380/stat : 9380 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811884247 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9382] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9382/stat : 9382 (java) S 9372 9374 5093 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811884247 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9384] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9384/stat : 9384 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811884247 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9386] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9386/stat : 9386 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811884247 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9388] ppid=9372 vsize=10562768 CPUtime=0.01 cores=0,2,4,6
/proc/9374/task/9388/stat : 9388 (java) S 9372 9374 5093 0 -1 4202560 1032 0 0 0 1 0 0 0 18 0 22 0 811884247 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9390] ppid=9372 vsize=10562768 CPUtime=0.01 cores=0,2,4,6
/proc/9374/task/9390/stat : 9390 (java) S 9372 9374 5093 0 -1 4202560 1123 0 0 0 1 0 0 0 18 0 22 0 811884247 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9392] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9392/stat : 9392 (java) S 9372 9374 5093 0 -1 4202560 142 0 0 0 0 0 0 0 18 0 22 0 811884247 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9394] ppid=9372 vsize=10562768 CPUtime=0.01 cores=0,2,4,6
/proc/9374/task/9394/stat : 9394 (java) S 9372 9374 5093 0 -1 4202560 1115 0 0 0 1 0 0 0 18 0 22 0 811884247 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9395] ppid=9372 vsize=10562768 CPUtime=0.05 cores=0,2,4,6
/proc/9374/task/9395/stat : 9395 (java) S 9372 9374 5093 0 -1 4202560 3882 0 0 0 5 0 0 0 15 0 22 0 811884248 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 0 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9398] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9398/stat : 9398 (java) S 9372 9374 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811884249 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9399] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9399/stat : 9399 (java) S 9372 9374 5093 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811884249 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9401] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9401/stat : 9401 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811884251 10816274432 234398 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118592433 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9403] ppid=9372 vsize=10562768 CPUtime=1.46 cores=0,2,4,6
/proc/9374/task/9403/stat : 9403 (java) S 9372 9374 5093 0 -1 4202560 7053 0 0 0 146 0 0 0 15 0 22 0 811884251 10816274432 234399 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9405] ppid=9372 vsize=10562768 CPUtime=1.49 cores=0,2,4,6
/proc/9374/task/9405/stat : 9405 (java) S 9372 9374 5093 0 -1 4202560 18506 0 0 0 146 3 0 0 15 0 22 0 811884251 10816274432 234399 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0

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

/proc/meminfo: memFree=11369236/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10562768 CPUtime=1638.09 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 486465 0 1 0 163750 59 0 0 23 0 22 0 811884245 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2640692 471744 2271 9 0 2631426 0
[pid=9374/tid=9375] ppid=9372 vsize=10562768 CPUtime=0.57 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) S 9372 9374 5093 0 -1 4202560 17647 0 1 0 56 1 0 0 15 0 22 0 811884245 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9380] ppid=9372 vsize=10562768 CPUtime=1.24 cores=0,2,4,6
/proc/9374/task/9380/stat : 9380 (java) S 9372 9374 5093 0 -1 4202560 273 0 0 0 124 0 0 0 16 0 22 0 811884247 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9382] ppid=9372 vsize=10562768 CPUtime=1.2 cores=0,2,4,6
/proc/9374/task/9382/stat : 9382 (java) S 9372 9374 5093 0 -1 4202560 317 0 0 0 120 0 0 0 15 0 22 0 811884247 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9384] ppid=9372 vsize=10562768 CPUtime=1.23 cores=0,2,4,6
/proc/9374/task/9384/stat : 9384 (java) S 9372 9374 5093 0 -1 4202560 557 0 0 0 123 0 0 0 16 0 22 0 811884247 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9386] ppid=9372 vsize=10562768 CPUtime=1.29 cores=0,2,4,6
/proc/9374/task/9386/stat : 9386 (java) S 9372 9374 5093 0 -1 4202560 426 0 0 0 129 0 0 0 15 0 22 0 811884247 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9388] ppid=9372 vsize=10562768 CPUtime=1.15 cores=0,2,4,6
/proc/9374/task/9388/stat : 9388 (java) S 9372 9374 5093 0 -1 4202560 1393 0 0 0 115 0 0 0 15 0 22 0 811884247 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9390] ppid=9372 vsize=10562768 CPUtime=1.12 cores=0,2,4,6
/proc/9374/task/9390/stat : 9390 (java) S 9372 9374 5093 0 -1 4202560 1540 0 0 0 112 0 0 0 15 0 22 0 811884247 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9392] ppid=9372 vsize=10562768 CPUtime=1.29 cores=0,2,4,6
/proc/9374/task/9392/stat : 9392 (java) S 9372 9374 5093 0 -1 4202560 597 0 0 0 129 0 0 0 16 0 22 0 811884247 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9394] ppid=9372 vsize=10562768 CPUtime=1.26 cores=0,2,4,6
/proc/9374/task/9394/stat : 9394 (java) S 9372 9374 5093 0 -1 4202560 1455 0 0 0 126 0 0 0 16 0 22 0 811884247 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9395] ppid=9372 vsize=10562768 CPUtime=125.53 cores=0,2,4,6
/proc/9374/task/9395/stat : 9395 (java) S 9372 9374 5093 0 -1 4202560 106106 0 0 0 12541 12 0 0 16 0 22 0 811884248 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 0 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9398] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9398/stat : 9398 (java) S 9372 9374 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811884249 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9399] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9399/stat : 9399 (java) S 9372 9374 5093 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 811884249 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9401] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9401/stat : 9401 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811884251 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118592433 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9403] ppid=9372 vsize=10562768 CPUtime=1.65 cores=0,2,4,6
/proc/9374/task/9403/stat : 9403 (java) S 9372 9374 5093 0 -1 4202560 7054 0 0 0 165 0 0 0 16 0 22 0 811884251 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9405] ppid=9372 vsize=10562768 CPUtime=2.18 cores=0,2,4,6
/proc/9374/task/9405/stat : 9405 (java) S 9372 9374 5093 0 -1 4202560 18560 0 0 0 214 4 0 0 15 0 22 0 811884251 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9407] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9407/stat : 9407 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811884251 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9409] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9409/stat : 9409 (java) S 9372 9374 5093 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 811884251 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9504] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9504/stat : 9504 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811885269 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9585] ppid=9372 vsize=10562768 CPUtime=721.02 cores=0,2,4,6
/proc/9374/task/9585/stat : 9585 (java) R 9372 9374 5093 0 -1 4202560 187 0 0 0 72101 1 0 0 18 0 22 0 811887652 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 46912506125087 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9374/tid=9586] ppid=9372 vsize=10562768 CPUtime=720.98 cores=0,2,4,6
/proc/9374/task/9586/stat : 9586 (java) R 9372 9374 5093 0 -1 4202560 3632 0 0 0 72097 1 0 0 18 0 22 0 811887652 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 46912506149953 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9374/tid=9587] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9587/stat : 9587 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811887652 10816274432 471744 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1638.09
Current children cumulated vsize (KiB) 10562768

[startup+942.301 s]
/proc/loadavg: 3.69 3.72 3.47 5/554 9617
/proc/meminfo: memFree=11361504/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10562768 CPUtime=1746.79 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 488392 0 1 0 174620 59 0 0 23 0 22 0 811884245 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2640692 473649 2271 9 0 2631426 0
[pid=9374/tid=9375] ppid=9372 vsize=10562768 CPUtime=0.57 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) S 9372 9374 5093 0 -1 4202560 17647 0 1 0 56 1 0 0 15 0 22 0 811884245 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9380] ppid=9372 vsize=10562768 CPUtime=1.41 cores=0,2,4,6
/proc/9374/task/9380/stat : 9380 (java) S 9372 9374 5093 0 -1 4202560 287 0 0 0 141 0 0 0 16 0 22 0 811884247 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9382] ppid=9372 vsize=10562768 CPUtime=1.29 cores=0,2,4,6
/proc/9374/task/9382/stat : 9382 (java) S 9372 9374 5093 0 -1 4202560 318 0 0 0 129 0 0 0 15 0 22 0 811884247 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9384] ppid=9372 vsize=10562768 CPUtime=1.36 cores=0,2,4,6
/proc/9374/task/9384/stat : 9384 (java) S 9372 9374 5093 0 -1 4202560 564 0 0 0 136 0 0 0 15 0 22 0 811884247 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9386] ppid=9372 vsize=10562768 CPUtime=1.36 cores=0,2,4,6
/proc/9374/task/9386/stat : 9386 (java) S 9372 9374 5093 0 -1 4202560 428 0 0 0 136 0 0 0 16 0 22 0 811884247 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9388] ppid=9372 vsize=10562768 CPUtime=1.27 cores=0,2,4,6
/proc/9374/task/9388/stat : 9388 (java) S 9372 9374 5093 0 -1 4202560 1393 0 0 0 127 0 0 0 15 0 22 0 811884247 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9390] ppid=9372 vsize=10562768 CPUtime=1.23 cores=0,2,4,6
/proc/9374/task/9390/stat : 9390 (java) S 9372 9374 5093 0 -1 4202560 1548 0 0 0 123 0 0 0 15 0 22 0 811884247 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9392] ppid=9372 vsize=10562768 CPUtime=1.33 cores=0,2,4,6
/proc/9374/task/9392/stat : 9392 (java) S 9372 9374 5093 0 -1 4202560 597 0 0 0 133 0 0 0 15 0 22 0 811884247 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9394] ppid=9372 vsize=10562768 CPUtime=1.34 cores=0,2,4,6
/proc/9374/task/9394/stat : 9394 (java) S 9372 9374 5093 0 -1 4202560 1455 0 0 0 134 0 0 0 16 0 22 0 811884247 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9395] ppid=9372 vsize=10562768 CPUtime=137.14 cores=0,2,4,6
/proc/9374/task/9395/stat : 9395 (java) S 9372 9374 5093 0 -1 4202560 107983 0 0 0 13702 12 0 0 15 0 22 0 811884248 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 0 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9398] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9398/stat : 9398 (java) S 9372 9374 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811884249 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9399] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9399/stat : 9399 (java) S 9372 9374 5093 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 811884249 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9401] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9401/stat : 9401 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811884251 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118592433 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9403] ppid=9372 vsize=10562768 CPUtime=1.65 cores=0,2,4,6
/proc/9374/task/9403/stat : 9403 (java) S 9372 9374 5093 0 -1 4202560 7054 0 0 0 165 0 0 0 16 0 22 0 811884251 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9405] ppid=9372 vsize=10562768 CPUtime=2.18 cores=0,2,4,6
/proc/9374/task/9405/stat : 9405 (java) S 9372 9374 5093 0 -1 4202560 18560 0 0 0 214 4 0 0 15 0 22 0 811884251 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9407] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9407/stat : 9407 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811884251 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9409] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9409/stat : 9409 (java) S 9372 9374 5093 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811884251 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9504] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9504/stat : 9504 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811885269 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9585] ppid=9372 vsize=10562768 CPUtime=769.16 cores=0,2,4,6
/proc/9374/task/9585/stat : 9585 (java) R 9372 9374 5093 0 -1 4202560 201 0 0 0 76915 1 0 0 20 0 22 0 811887652 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 46912506125547 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9374/tid=9586] ppid=9372 vsize=10562768 CPUtime=769.13 cores=0,2,4,6
/proc/9374/task/9586/stat : 9586 (java) R 9372 9374 5093 0 -1 4202560 3632 0 0 0 76912 1 0 0 20 0 22 0 811887652 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 46912506149967 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9374/tid=9587] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9587/stat : 9587 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811887652 10816274432 473649 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1746.79
Current children cumulated vsize (KiB) 10562768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+971.802 s]
/proc/loadavg: 3.43 3.67 3.46 3/527 9638
/proc/meminfo: memFree=14822028/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=10562768 CPUtime=1800.14 cores=0,2,4,6
/proc/9374/stat : 9374 (java) S 9372 9374 5093 0 -1 4202496 489141 0 1 0 179954 60 0 0 23 0 22 0 811884245 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 2640692 474387 2271 9 0 2631426 0
[pid=9374/tid=9375] ppid=9372 vsize=10562768 CPUtime=0.57 cores=0,2,4,6
/proc/9374/task/9375/stat : 9375 (java) S 9372 9374 5093 0 -1 4202560 17647 0 1 0 56 1 0 0 15 0 22 0 811884245 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9380] ppid=9372 vsize=10562768 CPUtime=1.49 cores=0,2,4,6
/proc/9374/task/9380/stat : 9380 (java) S 9372 9374 5093 0 -1 4202560 287 0 0 0 149 0 0 0 16 0 22 0 811884247 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9382] ppid=9372 vsize=10562768 CPUtime=1.32 cores=0,2,4,6
/proc/9374/task/9382/stat : 9382 (java) S 9372 9374 5093 0 -1 4202560 318 0 0 0 132 0 0 0 16 0 22 0 811884247 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9384] ppid=9372 vsize=10562768 CPUtime=1.4 cores=0,2,4,6
/proc/9374/task/9384/stat : 9384 (java) S 9372 9374 5093 0 -1 4202560 564 0 0 0 140 0 0 0 16 0 22 0 811884247 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9386] ppid=9372 vsize=10562768 CPUtime=1.39 cores=0,2,4,6
/proc/9374/task/9386/stat : 9386 (java) S 9372 9374 5093 0 -1 4202560 428 0 0 0 139 0 0 0 16 0 22 0 811884247 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9388] ppid=9372 vsize=10562768 CPUtime=1.37 cores=0,2,4,6
/proc/9374/task/9388/stat : 9388 (java) S 9372 9374 5093 0 -1 4202560 1393 0 0 0 137 0 0 0 16 0 22 0 811884247 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9390] ppid=9372 vsize=10562768 CPUtime=1.29 cores=0,2,4,6
/proc/9374/task/9390/stat : 9390 (java) S 9372 9374 5093 0 -1 4202560 1550 0 0 0 129 0 0 0 15 0 22 0 811884247 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9392] ppid=9372 vsize=10562768 CPUtime=1.38 cores=0,2,4,6
/proc/9374/task/9392/stat : 9392 (java) S 9372 9374 5093 0 -1 4202560 608 0 0 0 138 0 0 0 15 0 22 0 811884247 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 6 0 0 0
[pid=9374/tid=9394] ppid=9372 vsize=10562768 CPUtime=1.35 cores=0,2,4,6
/proc/9374/task/9394/stat : 9394 (java) S 9372 9374 5093 0 -1 4202560 1458 0 0 0 135 0 0 0 15 0 22 0 811884247 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9395] ppid=9372 vsize=10562768 CPUtime=142.99 cores=0,2,4,6
/proc/9374/task/9395/stat : 9395 (java) S 9372 9374 5093 0 -1 4202560 108707 0 0 0 14287 12 0 0 15 0 22 0 811884248 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 0 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9398] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9398/stat : 9398 (java) S 9372 9374 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811884249 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9399] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9399/stat : 9399 (java) S 9372 9374 5093 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 811884249 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9401] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9401/stat : 9401 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811884251 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118592433 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9403] ppid=9372 vsize=10562768 CPUtime=1.65 cores=0,2,4,6
/proc/9374/task/9403/stat : 9403 (java) S 9372 9374 5093 0 -1 4202560 7054 0 0 0 165 0 0 0 16 0 22 0 811884251 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 0 0 0 0
[pid=9374/tid=9405] ppid=9372 vsize=10562768 CPUtime=2.18 cores=0,2,4,6
/proc/9374/task/9405/stat : 9405 (java) S 9372 9374 5093 0 -1 4202560 18560 0 0 0 214 4 0 0 15 0 22 0 811884251 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9407] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9407/stat : 9407 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811884251 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118584729 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9409] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9409/stat : 9409 (java) S 9372 9374 5093 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811884251 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 4 0 0 0
[pid=9374/tid=9504] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9504/stat : 9504 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811885269 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
[pid=9374/tid=9585] ppid=9372 vsize=10562768 CPUtime=792.71 cores=0,2,4,6
/proc/9374/task/9585/stat : 9585 (java) R 9372 9374 5093 0 -1 4202560 208 0 0 0 79270 1 0 0 20 0 22 0 811887652 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 46912506213856 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9374/tid=9586] ppid=9372 vsize=10562768 CPUtime=792.67 cores=0,2,4,6
/proc/9374/task/9586/stat : 9586 (java) R 9372 9374 5093 0 -1 4202560 3632 0 0 0 79266 1 0 0 20 0 22 0 811887652 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 46912506246486 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9374/tid=9587] ppid=9372 vsize=10562768 CPUtime=0 cores=0,2,4,6
/proc/9374/task/9587/stat : 9587 (java) S 9372 9374 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811887652 10816274432 474387 33554432000 1073741824 1073778376 140735999425872 18446744073709551615 255118585344 0 4 0 16800975 18446604451633465152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10562768

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

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

[startup+971.931 s]
/proc/loadavg: 3.43 3.67 3.46 3/527 9638
/proc/meminfo: memFree=14822028/32951124 swapFree=67111204/67111528
[pid=9374] ppid=9372 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/9374/stat : 9374 (java) Z 9372 9374 5093 0 -1 4203548 489169 0 1 0 179961 68 0 0 17 0 2 0 811884245 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9374/statm: 0 0 0 0 0 0 0
[pid=9374/tid=9392] ppid=9372 vsize=0 CPUtime=1.45 cores=0,2,4,6
/proc/9374/task/9392/stat : 9392 (java) R 9372 9374 5093 0 -1 4203588 608 0 0 0 138 7 0 0 15 0 2 0 811884247 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 971.936
CPU time (s): 1800.3
CPU user time (s): 1799.61
CPU system time (s): 0.686895
CPU usage (%): 185.228
Max. virtual memory (cumulated for all children) (KiB): 10562768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.686895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489169
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= 30881
involuntary context switches= 26629

runsolver used 5.52216 second user time and 11.3293 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-04 15:38:01
IDJOB=3453957
IDBENCH=48161
IDSOLVER=1950
FILE ID=node144/3453957-1307194681
RUNJOBID= node144-1307194681-9355
PBS_JOBID= 13508845
Free space on /tmp= 73928 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_5.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453957-1307194681/watcher-3453957-1307194681 -o /tmp/evaluation-result-3453957-1307194681/solver-3453957-1307194681 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453957-1307194681.opb

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

MD5SUM BENCH= 2dd6cc5a7b1f8311eff7b566cf3505ea
RANDOM SEED=454669792

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16718668 kB
Buffers:        319600 kB
Cached:         475480 kB
SwapCached:        140 kB
Active:       15541044 kB
Inactive:       416548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16718668 kB
SwapTotal:    67111528 kB
SwapFree:     67111204 kB
Dirty:             932 kB
Writeback:           0 kB
AnonPages:    15162864 kB
Mapped:          42076 kB
Slab:           136692 kB
PageTables:      69416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 157745384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73928 MiB
End job on node144 at 2011-06-04 15:54:15