Trace number 3458806

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.2 1792.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM7262f9f4ab1a3ada75b3b140acf97f7d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-37
Best CPU time to get the best result obtained on this benchmark1797.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41605
Number of constraints which are clauses41605
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458806-1307148419.opb
0.11/0.11	c reading problem ... 
0.78/0.54	c ... done. Wall clock time 0.434s.
0.78/0.54	c #vars     760
0.78/0.54	c #constraints  41605
0.78/0.54	c constraints type 
0.78/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41605
0.78/0.56	c SATISFIABLE
0.78/0.56	c OPTIMIZING...
0.78/0.56	c Got one! Elapsed wall clock time (in seconds):0.451
0.78/0.56	o -28
1.14/0.72	c Got one! Elapsed wall clock time (in seconds):0.614
1.14/0.72	o -29
1.30/0.86	c Got one! Elapsed wall clock time (in seconds):0.749
1.30/0.86	o -30
1.30/0.88	c Got one! Elapsed wall clock time (in seconds):0.772
1.30/0.88	o -31
1.51/1.03	c Got one! Elapsed wall clock time (in seconds):0.926
1.51/1.03	o -32
2.17/1.63	c cleaning 3173 clauses out of 6346 with flag 4001/6346
3.03/2.42	c cleaning 4587 clauses out of 9173 with flag 10001/12346
3.94/3.36	c cleaning 5775 clauses out of 11585 with flag 17000/19345
5.06/4.45	c cleaning 6905 clauses out of 13810 with flag 25000/27345
6.10/5.50	c Got one! Elapsed wall clock time (in seconds):5.394
6.10/5.50	o -33
6.90/6.27	c cleaning 9462 clauses out of 18924 with flag 5001/39364
7.81/7.16	c cleaning 7728 clauses out of 15461 with flag 11000/45363
8.92/8.22	c cleaning 7367 clauses out of 14733 with flag 18000/52363
10.12/9.42	c cleaning 7677 clauses out of 15366 with flag 26000/60363
11.53/10.87	c cleaning 8333 clauses out of 16689 with flag 35000/69363
13.24/12.52	c cleaning 9173 clauses out of 18356 with flag 45000/79363
14.85/14.14	c cleaning 10084 clauses out of 20184 with flag 56001/90364
16.76/16.08	c cleaning 11046 clauses out of 22099 with flag 68000/102363
19.27/18.56	c cleaning 12020 clauses out of 24053 with flag 81000/115363
21.39/20.64	c cleaning 13006 clauses out of 26033 with flag 95000/129363
23.92/23.12	c cleaning 14007 clauses out of 28027 with flag 110000/144363
26.72/25.92	c cleaning 15009 clauses out of 30020 with flag 126000/160363
29.84/29.04	c cleaning 16000 clauses out of 32011 with flag 143000/177363
32.67/31.90	c cleaning 16999 clauses out of 34012 with flag 161001/195364
36.20/35.35	c cleaning 18004 clauses out of 36013 with flag 180001/214364
40.10/39.27	c cleaning 19003 clauses out of 38008 with flag 200000/234363
44.53/43.67	c cleaning 19999 clauses out of 40005 with flag 221000/255363
48.25/47.32	c cleaning 21003 clauses out of 42006 with flag 243000/277363
52.29/51.35	c cleaning 21995 clauses out of 44004 with flag 266001/300364
56.82/55.82	c cleaning 22998 clauses out of 46008 with flag 290000/324363
62.05/61.01	c cleaning 24003 clauses out of 48010 with flag 315000/349363
67.58/66.56	c cleaning 25003 clauses out of 50008 with flag 341001/375364
72.63/71.58	c cleaning 26001 clauses out of 52004 with flag 368000/402363
77.75/76.67	c cleaning 26989 clauses out of 54004 with flag 396001/430364
83.71/82.60	c cleaning 28005 clauses out of 56014 with flag 425000/459363
90.15/88.96	c cleaning 29001 clauses out of 58009 with flag 455000/489363
97.59/96.30	c cleaning 29996 clauses out of 60008 with flag 486000/520363
104.74/103.42	c cleaning 30997 clauses out of 62013 with flag 518001/552364
113.47/112.21	c cleaning 32008 clauses out of 64016 with flag 551001/585364
119.33/117.93	c cleaning 32999 clauses out of 66007 with flag 585000/619363
125.96/124.58	c cleaning 33986 clauses out of 68008 with flag 620000/654363
133.41/131.92	c cleaning 35009 clauses out of 70023 with flag 656001/690364
141.83/140.33	c cleaning 36006 clauses out of 72013 with flag 693000/727363
152.07/150.59	c cleaning 37002 clauses out of 74007 with flag 731000/765363
160.34/158.73	c cleaning 37998 clauses out of 76005 with flag 770000/804363
172.38/170.73	c cleaning 38999 clauses out of 78007 with flag 810000/844363
184.75/183.08	c cleaning 39997 clauses out of 80009 with flag 851001/885364
192.04/190.25	c cleaning 41002 clauses out of 82011 with flag 893000/927363
201.68/199.87	c cleaning 41493 clauses out of 83009 with flag 935000/969363
212.85/210.93	c cleaning 41756 clauses out of 83516 with flag 977000/1011363
224.53/222.59	c cleaning 41879 clauses out of 83761 with flag 1019001/1053364
234.67/232.65	c cleaning 41933 clauses out of 83881 with flag 1061000/1095363
246.12/244.09	c cleaning 41972 clauses out of 83948 with flag 1103000/1137363
259.40/257.22	c cleaning 41977 clauses out of 83976 with flag 1145000/1179363
271.07/268.82	c cleaning 41987 clauses out of 83999 with flag 1187000/1221363
282.04/279.76	c cleaning 42001 clauses out of 84012 with flag 1229000/1263363
293.08/290.73	c cleaning 41997 clauses out of 84011 with flag 1271000/1305363
301.51/299.13	c cleaning 42003 clauses out of 84014 with flag 1313000/1347363
310.06/307.68	c cleaning 41994 clauses out of 84011 with flag 1355000/1389363
319.42/316.95	c cleaning 41993 clauses out of 84017 with flag 1397000/1431363
328.85/326.38	c cleaning 42007 clauses out of 84024 with flag 1439000/1473363
340.51/337.93	c cleaning 42002 clauses out of 84017 with flag 1481000/1515363
351.07/348.46	c cleaning 42003 clauses out of 84015 with flag 1523000/1557363
362.22/359.53	c cleaning 41999 clauses out of 84013 with flag 1565001/1599364
372.26/369.58	c cleaning 41995 clauses out of 84013 with flag 1607000/1641363
385.51/382.75	c cleaning 42003 clauses out of 84018 with flag 1649000/1683363
396.26/393.48	c cleaning 42002 clauses out of 84015 with flag 1691000/1725363
408.20/405.32	c cleaning 42006 clauses out of 84014 with flag 1733001/1767364
418.34/415.45	c cleaning 42002 clauses out of 84007 with flag 1775000/1809363
429.28/426.30	c cleaning 41997 clauses out of 84005 with flag 1817000/1851363
440.14/437.10	c cleaning 41996 clauses out of 84008 with flag 1859000/1893363
450.67/447.63	c cleaning 42002 clauses out of 84012 with flag 1901000/1935363
461.95/458.84	c cleaning 41992 clauses out of 84010 with flag 1943000/1977363
469.79/466.68	c cleaning 42003 clauses out of 84018 with flag 1985000/2019363
478.25/475.05	c cleaning 42004 clauses out of 84015 with flag 2027000/2061363
487.09/483.81	c cleaning 42005 clauses out of 84013 with flag 2069002/2103365
496.25/492.97	c cleaning 41989 clauses out of 84006 with flag 2111000/2145363
506.68/503.30	c cleaning 41994 clauses out of 84017 with flag 2153000/2187363
518.53/515.15	c cleaning 42004 clauses out of 84023 with flag 2195000/2229363
529.20/525.73	c cleaning 41994 clauses out of 84019 with flag 2237000/2271363
538.28/534.75	c cleaning 42008 clauses out of 84025 with flag 2279000/2313363
548.70/545.16	c cleaning 41999 clauses out of 84017 with flag 2321000/2355363
559.26/555.66	c cleaning 42010 clauses out of 84019 with flag 2363001/2397364
570.49/566.84	c cleaning 42002 clauses out of 84009 with flag 2405001/2439364
581.15/577.43	c cleaning 41991 clauses out of 84007 with flag 2447001/2481364
592.68/588.97	c cleaning 42000 clauses out of 84016 with flag 2489001/2523364
604.55/600.72	c cleaning 42008 clauses out of 84015 with flag 2531000/2565363
616.79/612.99	c cleaning 42001 clauses out of 84008 with flag 2573001/2607364
627.84/623.92	c cleaning 42000 clauses out of 84006 with flag 2615000/2649363
638.16/634.24	c cleaning 42002 clauses out of 84006 with flag 2657000/2691363
649.19/645.24	c cleaning 41994 clauses out of 84004 with flag 2699000/2733363
662.54/658.56	c cleaning 42001 clauses out of 84010 with flag 2741000/2775363
676.08/672.09	c cleaning 42003 clauses out of 84009 with flag 2783000/2817363
687.13/683.10	c cleaning 41993 clauses out of 84006 with flag 2825000/2859363
700.17/696.02	c cleaning 41996 clauses out of 84013 with flag 2867000/2901363
712.50/708.39	c cleaning 42002 clauses out of 84017 with flag 2909000/2943363
724.27/720.09	c cleaning 42001 clauses out of 84016 with flag 2951001/2985364
731.99/727.79	c cleaning 42006 clauses out of 84015 with flag 2993001/3027364
740.83/736.55	c cleaning 41997 clauses out of 84008 with flag 3035000/3069363
750.22/745.85	c cleaning 42004 clauses out of 84011 with flag 3077000/3111363
760.35/755.95	c cleaning 41994 clauses out of 84008 with flag 3119001/3153364
769.80/765.32	c cleaning 42002 clauses out of 84014 with flag 3161001/3195364
780.47/775.97	c cleaning 41992 clauses out of 84011 with flag 3203000/3237363
792.10/787.57	c cleaning 42009 clauses out of 84019 with flag 3245000/3279363
802.56/797.93	c cleaning 42000 clauses out of 84010 with flag 3287000/3321363
812.51/807.83	c cleaning 41996 clauses out of 84010 with flag 3329000/3363363
823.06/818.36	c cleaning 41999 clauses out of 84014 with flag 3371000/3405363
832.01/827.27	c cleaning 41998 clauses out of 84015 with flag 3413000/3447363
842.72/837.96	c cleaning 42005 clauses out of 84017 with flag 3455000/3489363
853.36/848.58	c cleaning 41998 clauses out of 84013 with flag 3497001/3531364
864.29/859.44	c cleaning 42001 clauses out of 84014 with flag 3539000/3573363
876.60/871.73	c cleaning 41997 clauses out of 84013 with flag 3581000/3615363
887.83/883.00	c cleaning 41999 clauses out of 84016 with flag 3623000/3657363
897.86/892.91	c cleaning 41992 clauses out of 84018 with flag 3665001/3699364
908.61/903.68	c cleaning 41995 clauses out of 84025 with flag 3707000/3741363
918.75/913.70	c cleaning 42003 clauses out of 84030 with flag 3749000/3783363
929.21/924.16	c cleaning 42004 clauses out of 84029 with flag 3791002/3825365
939.85/934.79	c cleaning 42005 clauses out of 84023 with flag 3833000/3867363
950.58/945.50	c cleaning 42001 clauses out of 84018 with flag 3875000/3909363
961.29/956.13	c cleaning 42001 clauses out of 84017 with flag 3917000/3951363
971.30/966.13	c cleaning 42000 clauses out of 84016 with flag 3959000/3993363
981.42/976.22	c cleaning 41997 clauses out of 84017 with flag 4001001/4035364
992.97/987.76	c cleaning 42002 clauses out of 84019 with flag 4043000/4077363
1004.81/999.53	c cleaning 41998 clauses out of 84017 with flag 4085000/4119363
1016.04/1010.72	c cleaning 42001 clauses out of 84019 with flag 4127000/4161363
1027.38/1022.04	c cleaning 42009 clauses out of 84019 with flag 4169001/4203364
1039.32/1033.92	c cleaning 41996 clauses out of 84009 with flag 4211000/4245363
1051.74/1046.30	c cleaning 41999 clauses out of 84013 with flag 4253000/4287363
1064.90/1059.49	c cleaning 42002 clauses out of 84014 with flag 4295000/4329363
1078.70/1073.22	c cleaning 42004 clauses out of 84012 with flag 4337000/4371363
1092.61/1087.14	c cleaning 42005 clauses out of 84009 with flag 4379001/4413364
1106.33/1100.81	c cleaning 41984 clauses out of 84003 with flag 4421000/4455363
1116.75/1111.24	c cleaning 42006 clauses out of 84019 with flag 4463000/4497363
1124.52/1118.92	c cleaning 42004 clauses out of 84013 with flag 4505000/4539363
1133.87/1128.22	c cleaning 41997 clauses out of 84010 with flag 4547001/4581364
1144.41/1138.73	c cleaning 41998 clauses out of 84012 with flag 4589000/4623363
1155.05/1149.40	c cleaning 41990 clauses out of 84014 with flag 4631000/4665363
1164.20/1158.49	c cleaning 42009 clauses out of 84025 with flag 4673001/4707364
1175.49/1169.77	c cleaning 41998 clauses out of 84016 with flag 4715001/4749364
1184.72/1178.92	c cleaning 41995 clauses out of 84018 with flag 4757001/4791364
1195.66/1189.87	c cleaning 42007 clauses out of 84023 with flag 4799001/4833364
1205.80/1199.98	c cleaning 41999 clauses out of 84016 with flag 4841001/4875364
1217.03/1211.20	c cleaning 41996 clauses out of 84016 with flag 4883000/4917363
1226.16/1220.29	c cleaning 42003 clauses out of 84020 with flag 4925000/4959363
1237.00/1231.05	c cleaning 41999 clauses out of 84017 with flag 4967000/5001363
1247.13/1241.18	c cleaning 41996 clauses out of 84018 with flag 5009000/5043363
1257.74/1251.70	c cleaning 41999 clauses out of 84022 with flag 5051000/5085363
1269.17/1263.10	c cleaning 42000 clauses out of 84023 with flag 5093000/5127363
1278.81/1272.81	c cleaning 42006 clauses out of 84024 with flag 5135001/5169364
1290.45/1284.33	c cleaning 42005 clauses out of 84017 with flag 5177000/5211363
1302.11/1295.96	c cleaning 41998 clauses out of 84012 with flag 5219000/5253363
1315.14/1308.96	c cleaning 41999 clauses out of 84014 with flag 5261000/5295363
1326.47/1320.23	c cleaning 41993 clauses out of 84016 with flag 5303001/5337364
1337.70/1331.44	c cleaning 41997 clauses out of 84022 with flag 5345000/5379363
1349.58/1343.25	c cleaning 42007 clauses out of 84025 with flag 5387000/5421363
1361.30/1354.99	c cleaning 41998 clauses out of 84019 with flag 5429001/5463364
1371.25/1364.84	c cleaning 42006 clauses out of 84020 with flag 5471000/5505363
1382.48/1376.05	c cleaning 41993 clauses out of 84014 with flag 5513000/5547363
1394.51/1388.00	c cleaning 41997 clauses out of 84022 with flag 5555001/5589364
1407.04/1400.59	c cleaning 41999 clauses out of 84024 with flag 5597000/5631363
1418.88/1412.36	c cleaning 42006 clauses out of 84026 with flag 5639001/5673364
1431.42/1424.84	c cleaning 41998 clauses out of 84019 with flag 5681000/5715363
1441.73/1435.12	c cleaning 41999 clauses out of 84022 with flag 5723001/5757364
1453.26/1446.69	c cleaning 41990 clauses out of 84022 with flag 5765000/5799363
1464.78/1458.18	c cleaning 42010 clauses out of 84032 with flag 5807000/5841363
1476.74/1470.07	c cleaning 42008 clauses out of 84023 with flag 5849001/5883364
1489.25/1482.57	c cleaning 41999 clauses out of 84014 with flag 5891000/5925363
1502.96/1496.26	c cleaning 42003 clauses out of 84015 with flag 5933000/5967363
1512.98/1506.25	c cleaning 41996 clauses out of 84013 with flag 5975001/6009364
1524.41/1517.62	c cleaning 41995 clauses out of 84016 with flag 6017000/6051363
1535.33/1528.50	c cleaning 42004 clauses out of 84021 with flag 6059000/6093363
1546.35/1539.50	c cleaning 41998 clauses out of 84017 with flag 6101000/6135363
1558.08/1551.29	c cleaning 41995 clauses out of 84019 with flag 6143000/6177363
1569.88/1563.08	c cleaning 42002 clauses out of 84024 with flag 6185000/6219363
1581.39/1574.51	c cleaning 42001 clauses out of 84022 with flag 6227000/6261363
1593.25/1586.33	c cleaning 41986 clauses out of 84022 with flag 6269001/6303364
1606.05/1599.12	c cleaning 42006 clauses out of 84035 with flag 6311000/6345363
1618.08/1611.15	c cleaning 42009 clauses out of 84030 with flag 6353001/6387364
1631.51/1624.56	c cleaning 42003 clauses out of 84020 with flag 6395000/6429363
1641.81/1634.89	c cleaning 41996 clauses out of 84017 with flag 6437000/6471363
1653.52/1646.55	c cleaning 41999 clauses out of 84021 with flag 6479000/6513363
1665.85/1658.91	c cleaning 41998 clauses out of 84022 with flag 6521000/6555363
1676.68/1669.64	c cleaning 41997 clauses out of 84024 with flag 6563000/6597363
1687.79/1680.79	c cleaning 41996 clauses out of 84027 with flag 6605000/6639363
1699.06/1691.93	c cleaning 42003 clauses out of 84031 with flag 6647000/6681363
1710.18/1703.09	c cleaning 42001 clauses out of 84028 with flag 6689000/6723363
1717.73/1710.57	c cleaning 42001 clauses out of 84027 with flag 6731000/6765363
1726.84/1719.63	c cleaning 41992 clauses out of 84026 with flag 6773000/6807363
1736.37/1729.16	c cleaning 42010 clauses out of 84034 with flag 6815000/6849363
1746.78/1739.59	c cleaning 42003 clauses out of 84024 with flag 6857000/6891363
1757.11/1749.86	c cleaning 41988 clauses out of 84021 with flag 6899000/6933363
1768.65/1761.33	c cleaning 42003 clauses out of 84033 with flag 6941000/6975363
1779.41/1772.04	c cleaning 41983 clauses out of 84030 with flag 6983000/7017363
1789.95/1782.57	c cleaning 42008 clauses out of 84047 with flag 7025000/7059363
1800.07/1792.62	c starts		: 301
1800.07/1792.62	c conflicts		: 7100222
1800.07/1792.62	c decisions		: 7547670
1800.07/1792.62	c propagations		: 42785054
1800.07/1792.62	c inspects		: 10102767433
1800.07/1792.62	c shortcuts		: 0
1800.07/1792.62	c learnt literals	: 0
1800.07/1792.62	c learnt binary clauses	: 0
1800.07/1792.62	c learnt ternary clauses	: 0
1800.07/1792.62	c learnt constraints	: 7100222
1800.07/1792.62	c ignored constraints	: 0
1800.07/1792.62	c root simplifications	: 0
1800.07/1792.62	c removed literals (reason simplification)	: 106374750
1800.07/1792.62	c reason swapping (by a shorter reason)	: 0
1800.07/1792.62	c Calls to reduceDB	: 188
1800.07/1792.62	c number of reductions to clauses (during analyze)	: 0
1800.07/1792.62	c number of learned constraints concerned by reduction	: 0
1800.07/1792.62	c number of learning phase by resolution	: 0
1800.07/1792.62	c number of learning phase by cutting planes	: 0
1800.07/1792.62	c speed (assignments/second)	: 23940.784054792068
1800.07/1792.62	c non guided choices	0
1800.07/1792.65	c learnt constraints type 
1800.07/1792.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 82947
1800.07/1792.65	c constraints type 
1800.07/1792.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1792.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41605
1800.07/1792.65	s SATISFIABLE
1800.07/1792.65	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 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 
1800.07/1792.65	c objective function=-33
1800.07/1792.65	c Total wall clock time (in seconds): 1792.545

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-3458806-1307148419/watcher-3458806-1307148419 -o /tmp/evaluation-result-3458806-1307148419/solver-3458806-1307148419 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458806-1307148419.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: 2.03 2.05 2.00 5/552 14064
/proc/meminfo: memFree=25093500/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 2651 0 1 0 0 0 0 0 18 0 2 0 807258118 13833195520 2354 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3377245 2367 906 9 0 3368401 0
[pid=14064/tid=14065] ppid=14062 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 8152 0 1 0 0 0 0 0 19 0 2 0 807258119 13850947584 8968 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.107361 s]
/proc/loadavg: 2.03 2.05 2.00 5/552 14064
/proc/meminfo: memFree=25093500/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13621784 CPUtime=0.11 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 15459 0 1 0 10 1 0 0 18 0 18 0 807258118 13948706816 15157 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3405446 15158 2092 9 0 3396180 0
[pid=14064/tid=14065] ppid=14062 vsize=13621784 CPUtime=0.09 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 13693 0 1 0 8 1 0 0 25 0 18 0 807258119 13948706816 15158 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621784

[startup+0.200296 s]
/proc/loadavg: 2.03 2.05 2.00 5/552 14064
/proc/meminfo: memFree=25093500/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13622896 CPUtime=0.26 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 16379 0 1 0 25 1 0 0 18 0 18 0 807258118 13949845504 16077 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3405724 16077 2180 9 0 3396458 0
[pid=14064/tid=14065] ppid=14062 vsize=13622896 CPUtime=0.18 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 14256 0 1 0 17 1 0 0 25 0 18 0 807258119 13949845504 16077 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 46912505166880 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622896

[startup+0.300281 s]
/proc/loadavg: 2.03 2.05 2.00 5/552 14064
/proc/meminfo: memFree=25093500/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13622884 CPUtime=0.44 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 17697 0 1 0 43 1 0 0 18 0 18 0 807258118 13949833216 17124 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3405721 17124 2197 9 0 3396455 0
[pid=14064/tid=14065] ppid=14062 vsize=13622884 CPUtime=0.28 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 15265 0 1 0 27 1 0 0 25 0 18 0 807258119 13949833216 17124 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 46912505217685 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13622884

[startup+0.700208 s]
/proc/loadavg: 2.03 2.05 2.00 5/552 14064
/proc/meminfo: memFree=25093500/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13629960 CPUtime=1.14 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 36077 0 1 0 110 4 0 0 18 0 19 0 807258118 13957079040 34553 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3407490 34553 2226 9 0 3398224 0
[pid=14064/tid=14065] ppid=14062 vsize=13629960 CPUtime=0.68 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 31126 0 1 0 65 3 0 0 25 0 19 0 807258119 13957079040 34553 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 46912505121138 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13629960

[startup+1.50107 s]
/proc/loadavg: 2.18 2.08 2.02 3/572 14084
/proc/meminfo: memFree=24869652/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13629960 CPUtime=2.07 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 40507 0 1 0 202 5 0 0 18 0 19 0 807258118 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3407490 38982 2232 9 0 3398224 0
[pid=14064/tid=14065] ppid=14062 vsize=13629960 CPUtime=1.48 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 35522 0 1 0 144 4 0 0 25 0 19 0 807258119 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 46912505771961 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14064/tid=14067] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14067/stat : 14067 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 807258121 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14068] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14068/stat : 14068 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807258121 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14069] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14069/stat : 14069 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807258121 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14070] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14070/stat : 14070 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807258121 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807258121 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807258121 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807258121 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807258121 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 11903 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 0 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 11903 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 807258122 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807258122 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051478961 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=13629960 CPUtime=0.14 cores=0,2,4,6
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 11903 0 -1 4202560 469 0 0 0 14 0 0 0 15 0 19 0 807258124 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=13629960 CPUtime=0.43 cores=0,2,4,6
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 11903 0 -1 4202560 3358 0 0 0 43 0 0 0 15 0 19 0 807258124 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807258124 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807258174 13957079040 38982 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 13629960

[startup+3.10079 s]
/proc/loadavg: 2.18 2.08 2.02 3/572 14084
/proc/meminfo: memFree=24796252/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13629960 CPUtime=3.74 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 53342 0 1 0 368 6 0 0 18 0 19 0 807258118 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3407490 51810 2258 9 0 3398224 0
[pid=14064/tid=14065] ppid=14062 vsize=13629960 CPUtime=3.01 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 36181 0 1 0 297 4 0 0 25 0 19 0 807258119 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 46912505704064 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14064/tid=14067] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14067/stat : 14067 (java) S 14062 14064 11903 0 -1 4202560 3991 0 0 0 0 0 0 0 16 0 19 0 807258121 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14068] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14068/stat : 14068 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807258121 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14069] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14069/stat : 14069 (java) S 14062 14064 11903 0 -1 4202560 1197 0 0 0 0 0 0 0 16 0 19 0 807258121 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14070] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14070/stat : 14070 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807258121 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 11903 0 -1 4202560 1192 0 0 0 0 0 0 0 16 0 19 0 807258121 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 11903 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 807258121 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 11903 0 -1 4202560 501 0 0 0 0 0 0 0 15 0 19 0 807258121 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807258121 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=13629960 CPUtime=0.04 cores=0,2,4,6
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 11903 0 -1 4202560 4981 0 0 0 4 0 0 0 16 0 19 0 807258122 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 0 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051478961 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=13629960 CPUtime=0.16 cores=0,2,4,6
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 11903 0 -1 4202560 476 0 0 0 16 0 0 0 15 0 19 0 807258124 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=13629960 CPUtime=0.46 cores=0,2,4,6
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 11903 0 -1 4202560 3365 0 0 0 46 0 0 0 16 0 19 0 807258124 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807258124 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807258174 13957079040 51810 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 13629960

[startup+6.30127 s]
/proc/loadavg: 2.17 2.08 2.01 4/572 14084
/proc/meminfo: memFree=24733268/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13629960 CPUtime=7.01 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 62493 0 1 0 694 7 0 0 18 0 19 0 807258118 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3407490 60957 2259 9 0 3398224 0
[pid=14064/tid=14065] ppid=14062 vsize=13629960 CPUtime=6.11 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) S 14062 14064 11903 0 -1 4202560 36185 0 1 0 607 4 0 0 25 0 19 0 807258119 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14067] ppid=14062 vsize=13629960 CPUtime=0.01 cores=0,2,4,6
/proc/14064/task/14067/stat : 14067 (java) S 14062 14064 11903 0 -1 4202560 5857 0 0 0 1 0 0 0 16 0 19 0 807258121 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14068] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14068/stat : 14068 (java) S 14062 14064 11903 0 -1 4202560 687 0 0 0 0 0 0 0 16 0 19 0 807258121 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14069] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14069/stat : 14069 (java) S 14062 14064 11903 0 -1 4202560 1756 0 0 0 0 0 0 0 16 0 19 0 807258121 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14070] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14070/stat : 14070 (java) S 14062 14064 11903 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 19 0 807258121 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 11903 0 -1 4202560 1192 0 0 0 0 0 0 0 15 0 19 0 807258121 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 11903 0 -1 4202560 1448 0 0 0 0 0 0 0 15 0 19 0 807258121 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=13629960 CPUtime=0.01 cores=0,2,4,6
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 11903 0 -1 4202560 1456 0 0 0 1 0 0 0 15 0 19 0 807258121 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 11903 0 -1 4202560 1454 0 0 0 0 0 0 0 16 0 19 0 807258121 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=13629960 CPUtime=0.11 cores=0,2,4,6
/proc/14064/task/14075/stat : 14075 (java) R 14062 14064 11903 0 -1 4202560 7021 0 0 0 11 0 0 0 15 0 19 0 807258122 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 47981167898696 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051478961 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=13629960 CPUtime=0.17 cores=0,2,4,6
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 11903 0 -1 4202560 476 0 0 0 17 0 0 0 15 0 19 0 807258124 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=13629960 CPUtime=0.51 cores=0,2,4,6
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 11903 0 -1 4202560 3376 0 0 0 51 0 0 0 15 0 19 0 807258124 13957079040 60957 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0

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

[pid=14064/tid=14072] ppid=14062 vsize=13629960 CPUtime=1.2 cores=0,2,4,6
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 11903 0 -1 4202560 6823 0 0 0 119 1 0 0 16 0 19 0 807258121 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=13629960 CPUtime=1.23 cores=0,2,4,6
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 11903 0 -1 4202560 7984 0 0 0 122 1 0 0 16 0 19 0 807258121 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=13629960 CPUtime=1.12 cores=0,2,4,6
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 11903 0 -1 4202560 5713 0 0 0 112 0 0 0 15 0 19 0 807258121 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=13629960 CPUtime=11.82 cores=0,2,4,6
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 11903 0 -1 4202560 51347 0 0 0 1176 6 0 0 15 0 19 0 807258122 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 0 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051478961 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=13629960 CPUtime=0.17 cores=0,2,4,6
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 11903 0 -1 4202560 476 0 0 0 17 0 0 0 15 0 19 0 807258124 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=13629960 CPUtime=0.53 cores=0,2,4,6
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 11903 0 -1 4202560 3381 0 0 0 53 0 0 0 15 0 19 0 807258124 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 11903 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 807258124 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807258174 13957079040 156979 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1729.57
Current children cumulated vsize (KiB) 13629960

[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/572 14140
/proc/meminfo: memFree=23893536/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13629960 CPUtime=1789.75 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 158970 0 1 0 178951 24 0 0 18 0 19 0 807258118 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3407490 157036 2260 9 0 3398224 0
[pid=14064/tid=14065] ppid=14062 vsize=13629960 CPUtime=1767.22 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 44303 0 1 0 176715 7 0 0 25 0 19 0 807258119 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 46912505736380 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14064/tid=14067] ppid=14062 vsize=13629960 CPUtime=1.12 cores=0,2,4,6
/proc/14064/task/14067/stat : 14067 (java) S 14062 14064 11903 0 -1 4202560 11318 0 0 0 111 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14068] ppid=14062 vsize=13629960 CPUtime=1.21 cores=0,2,4,6
/proc/14064/task/14068/stat : 14068 (java) S 14062 14064 11903 0 -1 4202560 5988 0 0 0 121 0 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14069] ppid=14062 vsize=13629960 CPUtime=1.13 cores=0,2,4,6
/proc/14064/task/14069/stat : 14069 (java) S 14062 14064 11903 0 -1 4202560 7186 0 0 0 112 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14070] ppid=14062 vsize=13629960 CPUtime=1.2 cores=0,2,4,6
/proc/14064/task/14070/stat : 14070 (java) S 14062 14064 11903 0 -1 4202560 8855 0 0 0 119 1 0 0 16 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=13629960 CPUtime=1.25 cores=0,2,4,6
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 11903 0 -1 4202560 4335 0 0 0 125 0 0 0 16 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=13629960 CPUtime=1.23 cores=0,2,4,6
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 11903 0 -1 4202560 6823 0 0 0 122 1 0 0 16 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=13629960 CPUtime=1.24 cores=0,2,4,6
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 11903 0 -1 4202560 7994 0 0 0 123 1 0 0 16 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=13629960 CPUtime=1.14 cores=0,2,4,6
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 11903 0 -1 4202560 5713 0 0 0 114 0 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=13629960 CPUtime=12.19 cores=0,2,4,6
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 11903 0 -1 4202560 51349 0 0 0 1213 6 0 0 15 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 0 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051478961 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=13629960 CPUtime=0.17 cores=0,2,4,6
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 11903 0 -1 4202560 476 0 0 0 17 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=13629960 CPUtime=0.53 cores=0,2,4,6
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 11903 0 -1 4202560 3381 0 0 0 53 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 11903 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807258174 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.75
Current children cumulated vsize (KiB) 13629960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.6 s]
/proc/loadavg: 2.08 2.04 2.01 2/553 14144
/proc/meminfo: memFree=24538704/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13629960 CPUtime=1800.07 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 158973 0 1 0 179983 24 0 0 18 0 19 0 807258118 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3407490 157036 2260 9 0 3398224 0
[pid=14064/tid=14065] ppid=14062 vsize=13629960 CPUtime=1777.43 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 44304 0 1 0 177736 7 0 0 25 0 19 0 807258119 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 46912505770759 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14064/tid=14067] ppid=14062 vsize=13629960 CPUtime=1.12 cores=0,2,4,6
/proc/14064/task/14067/stat : 14067 (java) S 14062 14064 11903 0 -1 4202560 11318 0 0 0 111 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14068] ppid=14062 vsize=13629960 CPUtime=1.21 cores=0,2,4,6
/proc/14064/task/14068/stat : 14068 (java) S 14062 14064 11903 0 -1 4202560 5988 0 0 0 121 0 0 0 16 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14069] ppid=14062 vsize=13629960 CPUtime=1.14 cores=0,2,4,6
/proc/14064/task/14069/stat : 14069 (java) S 14062 14064 11903 0 -1 4202560 7186 0 0 0 113 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14070] ppid=14062 vsize=13629960 CPUtime=1.2 cores=0,2,4,6
/proc/14064/task/14070/stat : 14070 (java) S 14062 14064 11903 0 -1 4202560 8855 0 0 0 119 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=13629960 CPUtime=1.25 cores=0,2,4,6
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 11903 0 -1 4202560 4335 0 0 0 125 0 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=13629960 CPUtime=1.23 cores=0,2,4,6
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 11903 0 -1 4202560 6823 0 0 0 122 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=13629960 CPUtime=1.24 cores=0,2,4,6
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 11903 0 -1 4202560 7994 0 0 0 123 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=13629960 CPUtime=1.14 cores=0,2,4,6
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 11903 0 -1 4202560 5713 0 0 0 114 0 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=13629960 CPUtime=12.29 cores=0,2,4,6
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 11903 0 -1 4202560 51349 0 0 0 1223 6 0 0 15 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 0 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051478961 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=13629960 CPUtime=0.17 cores=0,2,4,6
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 11903 0 -1 4202560 476 0 0 0 17 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=13629960 CPUtime=0.53 cores=0,2,4,6
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 11903 0 -1 4202560 3381 0 0 0 53 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 11903 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807258174 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13629960

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

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

[startup+1792.6 s]
/proc/loadavg: 2.08 2.04 2.01 2/553 14144
/proc/meminfo: memFree=24538704/32951124 swapFree=46970528/67111528
[pid=14064] ppid=14062 vsize=13629960 CPUtime=1800.07 cores=0,2,4,6
/proc/14064/stat : 14064 (java) S 14062 14064 11903 0 -1 4202496 158973 0 1 0 179983 24 0 0 18 0 19 0 807258118 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14064/statm: 3407490 157036 2260 9 0 3398224 0
[pid=14064/tid=14065] ppid=14062 vsize=13629960 CPUtime=1777.43 cores=0,2,4,6
/proc/14064/task/14065/stat : 14065 (java) R 14062 14064 11903 0 -1 4202560 44304 0 1 0 177736 7 0 0 25 0 19 0 807258119 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 46912505770759 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14064/tid=14067] ppid=14062 vsize=13629960 CPUtime=1.12 cores=0,2,4,6
/proc/14064/task/14067/stat : 14067 (java) S 14062 14064 11903 0 -1 4202560 11318 0 0 0 111 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14068] ppid=14062 vsize=13629960 CPUtime=1.21 cores=0,2,4,6
/proc/14064/task/14068/stat : 14068 (java) S 14062 14064 11903 0 -1 4202560 5988 0 0 0 121 0 0 0 16 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14069] ppid=14062 vsize=13629960 CPUtime=1.14 cores=0,2,4,6
/proc/14064/task/14069/stat : 14069 (java) S 14062 14064 11903 0 -1 4202560 7186 0 0 0 113 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14070] ppid=14062 vsize=13629960 CPUtime=1.2 cores=0,2,4,6
/proc/14064/task/14070/stat : 14070 (java) S 14062 14064 11903 0 -1 4202560 8855 0 0 0 119 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=13629960 CPUtime=1.25 cores=0,2,4,6
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 11903 0 -1 4202560 4335 0 0 0 125 0 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=13629960 CPUtime=1.23 cores=0,2,4,6
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 11903 0 -1 4202560 6823 0 0 0 122 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=13629960 CPUtime=1.24 cores=0,2,4,6
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 11903 0 -1 4202560 7994 0 0 0 123 1 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=13629960 CPUtime=1.14 cores=0,2,4,6
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 11903 0 -1 4202560 5713 0 0 0 114 0 0 0 15 0 19 0 807258121 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=13629960 CPUtime=12.29 cores=0,2,4,6
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 11903 0 -1 4202560 51349 0 0 0 1223 6 0 0 15 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 0 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258122 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051478961 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=13629960 CPUtime=0.17 cores=0,2,4,6
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 11903 0 -1 4202560 476 0 0 0 17 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 4 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=13629960 CPUtime=0.53 cores=0,2,4,6
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 11903 0 -1 4202560 3381 0 0 0 53 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471257 0 4 0 16800975 18446604445633882048 0 0 -1 6 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 11903 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807258124 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 0 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=13629960 CPUtime=0 cores=0,2,4,6
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807258174 13957079040 157036 33554432000 1073741824 1073778376 140735877973536 18446744073709551615 212051471872 0 4 0 16800975 18446604445633882048 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13629960

Child status: 143
Real time (s): 1792.68
CPU time (s): 1800.2
CPU user time (s): 1799.93
CPU system time (s): 0.270958
CPU usage (%): 100.419
Max. virtual memory (cumulated for all children) (KiB): 13630104

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

runsolver used 10.5684 second user time and 22.0307 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-04 02:46:59
IDJOB=3458806
IDBENCH=2244
IDSOLVER=1952
FILE ID=node146/3458806-1307148419
RUNJOBID= node146-1307146621-13880
PBS_JOBID= 13508770
Free space on /tmp= 73724 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458806-1307148419/watcher-3458806-1307148419 -o /tmp/evaluation-result-3458806-1307148419/solver-3458806-1307148419 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458806-1307148419.opb

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

MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d
RANDOM SEED=1142518881

node146.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.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.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.86
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.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.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25094152 kB
Buffers:        136312 kB
Cached:         268660 kB
SwapCached:      60288 kB
Active:         297056 kB
Inactive:      7317932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25094152 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            2620 kB
Writeback:           0 kB
AnonPages:     7160660 kB
Mapped:          24264 kB
Slab:            75056 kB
PageTables:      98020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 174111396 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= 73724 MiB
End job on node146 at 2011-06-04 03:16:53