Trace number 3458808

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.0? (TO) 1800.14 1795.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark8.41272
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/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-3458808-1307148193.opb
0.11/0.11	c reading problem ... 
0.70/0.47	c ... done. Wall clock time 0.359s.
0.70/0.47	c #vars     8405
0.70/0.47	c #constraints  11367
0.70/0.47	c constraints type 
0.70/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 700
0.70/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 748
0.70/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9918
3.22/2.47	c cleaning 2500 clauses out of 5001 with flag 5001/5001
5.39/4.55	c cleaning 4246 clauses out of 8500 with flag 11000/11000
7.71/6.84	c cleaning 5620 clauses out of 11255 with flag 18001/18001
10.92/10.05	c cleaning 6814 clauses out of 13634 with flag 26000/26000
14.09/13.13	c cleaning 7909 clauses out of 15820 with flag 35000/35000
18.39/17.43	c cleaning 8941 clauses out of 17911 with flag 45000/45000
25.59/24.64	c cleaning 9974 clauses out of 19971 with flag 56001/56001
31.12/30.14	c cleaning 10991 clauses out of 21996 with flag 68000/68000
35.93/34.94	c cleaning 11501 clauses out of 23006 with flag 80001/80001
41.04/40.08	c cleaning 11743 clauses out of 23504 with flag 92000/92000
46.36/45.33	c cleaning 11878 clauses out of 23761 with flag 104000/104000
52.37/51.30	c cleaning 11940 clauses out of 23886 with flag 116003/116003
58.39/57.40	c cleaning 11965 clauses out of 23943 with flag 128000/128000
62.72/61.62	c cleaning 11980 clauses out of 23978 with flag 140000/140000
68.31/67.26	c cleaning 11994 clauses out of 24001 with flag 152003/152003
72.02/70.95	c cleaning 11996 clauses out of 24004 with flag 164000/164000
76.13/75.00	c cleaning 11996 clauses out of 24008 with flag 176000/176000
80.54/79.45	c cleaning 12006 clauses out of 24017 with flag 188005/188005
85.25/84.11	c cleaning 11989 clauses out of 24006 with flag 200000/200000
90.05/88.93	c cleaning 12000 clauses out of 24019 with flag 212002/212002
94.37/93.21	c cleaning 11997 clauses out of 24017 with flag 224000/224000
99.38/98.26	c cleaning 11998 clauses out of 24021 with flag 236001/236001
106.71/105.61	c cleaning 11999 clauses out of 24023 with flag 248001/248001
112.91/111.75	c cleaning 12007 clauses out of 24023 with flag 260000/260000
117.84/116.62	c cleaning 12004 clauses out of 24023 with flag 272007/272007
137.75/136.58	c cleaning 11999 clauses out of 24012 with flag 284000/284000
142.96/141.71	c cleaning 11996 clauses out of 24013 with flag 296000/296000
146.88/145.66	c cleaning 12003 clauses out of 24017 with flag 308000/308000
151.19/149.95	c cleaning 11997 clauses out of 24015 with flag 320001/320001
158.30/157.04	c cleaning 12005 clauses out of 24019 with flag 332002/332002
164.82/163.53	c cleaning 11968 clauses out of 24012 with flag 344000/344000
170.04/168.72	c cleaning 12010 clauses out of 24044 with flag 356000/356000
174.45/173.17	c cleaning 11999 clauses out of 24034 with flag 368000/368000
179.27/177.92	c cleaning 12009 clauses out of 24035 with flag 380000/380000
183.79/182.41	c cleaning 12009 clauses out of 24026 with flag 392000/392000
188.70/187.40	c cleaning 12006 clauses out of 24020 with flag 404003/404003
194.82/193.44	c cleaning 12006 clauses out of 24013 with flag 416002/416002
206.34/204.99	c cleaning 11984 clauses out of 24005 with flag 428000/428000
211.06/209.61	c cleaning 12005 clauses out of 24021 with flag 440000/440000
215.08/213.61	c cleaning 11999 clauses out of 24016 with flag 452000/452000
218.69/217.22	c cleaning 12001 clauses out of 24017 with flag 464000/464000
223.20/221.71	c cleaning 12000 clauses out of 24016 with flag 476000/476000
228.22/226.73	c cleaning 12003 clauses out of 24020 with flag 488004/488004
233.43/232.01	c cleaning 11997 clauses out of 24013 with flag 500000/500000
238.34/236.89	c cleaning 12001 clauses out of 24018 with flag 512002/512002
243.15/241.60	c cleaning 11996 clauses out of 24015 with flag 524000/524000
247.98/246.46	c cleaning 11997 clauses out of 24019 with flag 536000/536000
252.98/251.45	c cleaning 11997 clauses out of 24028 with flag 548006/548006
258.09/256.57	c cleaning 11994 clauses out of 24025 with flag 560000/560000
263.00/261.46	c cleaning 12007 clauses out of 24035 with flag 572004/572004
268.62/267.09	c cleaning 11994 clauses out of 24024 with flag 584000/584000
273.04/271.49	c cleaning 12005 clauses out of 24030 with flag 596000/596000
278.16/276.59	c cleaning 12005 clauses out of 24025 with flag 608000/608000
282.57/280.95	c cleaning 12006 clauses out of 24021 with flag 620001/620001
287.08/285.43	c cleaning 11998 clauses out of 24014 with flag 632000/632000
291.59/289.99	c cleaning 12005 clauses out of 24018 with flag 644002/644002
296.90/295.29	c cleaning 11995 clauses out of 24011 with flag 656000/656000
302.41/300.70	c cleaning 12010 clauses out of 24027 with flag 668011/668011
307.12/305.43	c cleaning 11998 clauses out of 24009 with flag 680003/680003
314.15/312.42	c cleaning 11998 clauses out of 24008 with flag 692000/692000
320.36/318.66	c cleaning 12001 clauses out of 24011 with flag 704001/704001
326.87/325.14	c cleaning 12000 clauses out of 24014 with flag 716005/716005
335.49/333.78	c cleaning 11995 clauses out of 24015 with flag 728006/728006
345.10/343.31	c cleaning 12001 clauses out of 24014 with flag 740000/740000
351.53/349.77	c cleaning 11998 clauses out of 24013 with flag 752000/752000
358.03/356.28	c cleaning 11998 clauses out of 24018 with flag 764003/764003
365.35/363.59	c cleaning 11983 clauses out of 24018 with flag 776001/776001
372.75/370.98	c cleaning 12014 clauses out of 24036 with flag 788002/788002
379.67/377.90	c cleaning 12003 clauses out of 24020 with flag 800000/800000
384.51/382.62	c cleaning 12003 clauses out of 24018 with flag 812001/812001
389.52/387.64	c cleaning 12001 clauses out of 24014 with flag 824000/824000
394.65/392.75	c cleaning 11999 clauses out of 24013 with flag 836000/836000
400.06/398.14	c cleaning 11999 clauses out of 24014 with flag 848000/848000
405.35/403.44	c cleaning 12000 clauses out of 24016 with flag 860001/860001
411.96/410.01	c cleaning 12000 clauses out of 24017 with flag 872002/872002
418.06/416.15	c cleaning 11998 clauses out of 24015 with flag 884000/884000
422.79/420.85	c cleaning 12001 clauses out of 24018 with flag 896001/896001
429.99/428.02	c cleaning 12007 clauses out of 24017 with flag 908001/908001
434.41/432.42	c cleaning 11997 clauses out of 24011 with flag 920002/920002
438.75/436.73	c cleaning 11996 clauses out of 24012 with flag 932000/932000
443.35/441.39	c cleaning 12002 clauses out of 24018 with flag 944002/944002
447.07/445.05	c cleaning 11995 clauses out of 24014 with flag 956000/956000
451.78/449.71	c cleaning 12005 clauses out of 24019 with flag 968000/968000
458.50/456.42	c cleaning 11996 clauses out of 24015 with flag 980001/980001
467.42/465.35	c cleaning 11998 clauses out of 24018 with flag 992000/992000
475.63/473.54	c cleaning 11999 clauses out of 24020 with flag 1004000/1004000
481.86/479.75	c cleaning 12005 clauses out of 24022 with flag 1016001/1016001
487.38/485.25	c cleaning 11989 clauses out of 24016 with flag 1028000/1028000
492.59/490.48	c cleaning 12005 clauses out of 24027 with flag 1040000/1040000
498.51/496.35	c cleaning 12003 clauses out of 24023 with flag 1052001/1052001
503.63/501.47	c cleaning 11985 clauses out of 24020 with flag 1064001/1064001
510.74/508.52	c cleaning 11996 clauses out of 24038 with flag 1076004/1076004
516.75/514.53	c cleaning 12004 clauses out of 24039 with flag 1088001/1088001
527.37/525.15	c cleaning 12007 clauses out of 24034 with flag 1100000/1100000
534.80/532.55	c cleaning 12000 clauses out of 24027 with flag 1112000/1112000
545.63/543.37	c cleaning 11996 clauses out of 24028 with flag 1124001/1124001
553.64/551.36	c cleaning 11978 clauses out of 24031 with flag 1136000/1136000
560.65/558.33	c cleaning 12004 clauses out of 24053 with flag 1148000/1148000
567.86/565.57	c cleaning 11989 clauses out of 24050 with flag 1160001/1160001
575.27/572.91	c cleaning 11987 clauses out of 24062 with flag 1172002/1172002
581.19/578.89	c cleaning 12030 clauses out of 24073 with flag 1184000/1184000
587.00/584.66	c cleaning 12017 clauses out of 24045 with flag 1196002/1196002
592.42/590.08	c cleaning 12003 clauses out of 24026 with flag 1208000/1208000
597.55/595.19	c cleaning 12005 clauses out of 24024 with flag 1220001/1220001
603.44/601.06	c cleaning 12001 clauses out of 24019 with flag 1232001/1232001
609.36/606.93	c cleaning 11999 clauses out of 24017 with flag 1244000/1244000
614.77/612.31	c cleaning 11997 clauses out of 24018 with flag 1256000/1256000
620.27/617.84	c cleaning 12002 clauses out of 24021 with flag 1268000/1268000
625.68/623.28	c cleaning 12004 clauses out of 24022 with flag 1280003/1280003
631.61/629.18	c cleaning 11993 clauses out of 24016 with flag 1292001/1292001
640.43/637.96	c cleaning 12000 clauses out of 24023 with flag 1304001/1304001
649.25/646.80	c cleaning 11994 clauses out of 24023 with flag 1316001/1316001
656.16/653.69	c cleaning 12011 clauses out of 24028 with flag 1328000/1328000
661.40/658.89	c cleaning 12003 clauses out of 24019 with flag 1340002/1340002
666.30/663.78	c cleaning 12003 clauses out of 24015 with flag 1352001/1352001
671.22/668.63	c cleaning 11996 clauses out of 24011 with flag 1364000/1364000
677.54/674.97	c cleaning 12005 clauses out of 24019 with flag 1376004/1376004
682.65/680.02	c cleaning 12002 clauses out of 24012 with flag 1388002/1388002
687.57/684.98	c cleaning 11995 clauses out of 24008 with flag 1400000/1400000
692.08/689.47	c cleaning 12001 clauses out of 24014 with flag 1412001/1412001
696.71/694.08	c cleaning 11987 clauses out of 24012 with flag 1424000/1424000
705.71/703.07	c cleaning 11993 clauses out of 24025 with flag 1436000/1436000
713.94/711.22	c cleaning 11997 clauses out of 24035 with flag 1448003/1448003
719.89/717.12	c cleaning 12014 clauses out of 24035 with flag 1460000/1460000
724.20/721.48	c cleaning 12003 clauses out of 24021 with flag 1472000/1472000
728.51/725.77	c cleaning 12001 clauses out of 24018 with flag 1484000/1484000
733.01/730.25	c cleaning 12000 clauses out of 24018 with flag 1496001/1496001
737.83/735.01	c cleaning 12003 clauses out of 24017 with flag 1508000/1508000
742.34/739.58	c cleaning 11999 clauses out of 24014 with flag 1520000/1520000
745.86/743.08	c cleaning 12002 clauses out of 24015 with flag 1532000/1532000
749.79/746.92	c cleaning 11996 clauses out of 24013 with flag 1544000/1544000
756.48/753.69	c cleaning 12002 clauses out of 24018 with flag 1556001/1556001
763.49/760.66	c cleaning 12002 clauses out of 24017 with flag 1568002/1568002
770.51/767.68	c cleaning 12001 clauses out of 24014 with flag 1580001/1580001
776.25/773.37	c cleaning 11997 clauses out of 24014 with flag 1592002/1592002
781.55/778.67	c cleaning 11991 clauses out of 24015 with flag 1604000/1604000
786.46/783.54	c cleaning 11993 clauses out of 24026 with flag 1616002/1616002
792.47/789.55	c cleaning 12009 clauses out of 24032 with flag 1628001/1628001
801.39/798.43	c cleaning 12004 clauses out of 24024 with flag 1640002/1640002
809.92/806.91	c cleaning 12000 clauses out of 24018 with flag 1652000/1652000
816.34/813.39	c cleaning 12006 clauses out of 24022 with flag 1664004/1664004
824.16/821.19	c cleaning 11994 clauses out of 24012 with flag 1676000/1676000
831.67/828.63	c cleaning 12000 clauses out of 24019 with flag 1688001/1688001
839.69/836.61	c cleaning 11995 clauses out of 24018 with flag 1700000/1700000
848.51/845.46	c cleaning 12003 clauses out of 24023 with flag 1712000/1712000
856.52/853.50	c cleaning 12006 clauses out of 24026 with flag 1724006/1724006
865.23/862.19	c cleaning 11991 clauses out of 24015 with flag 1736001/1736001
874.54/871.41	c cleaning 12001 clauses out of 24024 with flag 1748001/1748001
882.54/879.48	c cleaning 12002 clauses out of 24023 with flag 1760001/1760001
891.05/887.95	c cleaning 12004 clauses out of 24021 with flag 1772001/1772001
898.07/894.95	c cleaning 11997 clauses out of 24016 with flag 1784000/1784000
904.49/901.31	c cleaning 12000 clauses out of 24020 with flag 1796001/1796001
910.31/907.10	c cleaning 12000 clauses out of 24021 with flag 1808002/1808002
917.82/914.63	c cleaning 11997 clauses out of 24021 with flag 1820002/1820002
924.43/921.23	c cleaning 12003 clauses out of 24025 with flag 1832003/1832003
931.66/928.43	c cleaning 12001 clauses out of 24020 with flag 1844001/1844001
939.17/935.99	c cleaning 11998 clauses out of 24018 with flag 1856000/1856000
945.78/942.57	c cleaning 12004 clauses out of 24021 with flag 1868001/1868001
953.49/950.27	c cleaning 11997 clauses out of 24016 with flag 1880000/1880000
960.42/957.14	c cleaning 12000 clauses out of 24020 with flag 1892001/1892001
966.52/963.27	c cleaning 12002 clauses out of 24021 with flag 1904002/1904002
974.02/970.73	c cleaning 11999 clauses out of 24017 with flag 1916000/1916000
980.74/977.48	c cleaning 11995 clauses out of 24019 with flag 1928001/1928001
988.15/984.82	c cleaning 11999 clauses out of 24024 with flag 1940001/1940001
995.07/991.78	c cleaning 12005 clauses out of 24025 with flag 1952001/1952001
1002.59/999.21	c cleaning 12001 clauses out of 24021 with flag 1964002/1964002
1009.60/1006.25	c cleaning 12000 clauses out of 24019 with flag 1976001/1976001
1016.53/1013.13	c cleaning 11996 clauses out of 24018 with flag 1988000/1988000
1022.52/1019.17	c cleaning 12008 clauses out of 24023 with flag 2000001/2000001
1028.93/1025.53	c cleaning 11999 clauses out of 24014 with flag 2012000/2012000
1033.07/1029.69	c cleaning 11999 clauses out of 24015 with flag 2024000/2024000
1039.17/1035.73	c cleaning 12002 clauses out of 24016 with flag 2036000/2036000
1046.38/1042.94	c cleaning 11996 clauses out of 24015 with flag 2048001/2048001
1050.61/1047.13	c cleaning 12000 clauses out of 24019 with flag 2060001/2060001
1054.71/1051.26	c cleaning 12002 clauses out of 24019 with flag 2072001/2072001
1058.94/1055.44	c cleaning 11999 clauses out of 24016 with flag 2084000/2084000
1065.35/1061.86	c cleaning 11998 clauses out of 24017 with flag 2096000/2096000
1071.68/1068.14	c cleaning 11998 clauses out of 24020 with flag 2108001/2108001
1078.09/1074.57	c cleaning 12001 clauses out of 24022 with flag 2120001/2120001
1082.31/1078.74	c cleaning 12005 clauses out of 24022 with flag 2132002/2132002
1086.62/1083.02	c cleaning 12003 clauses out of 24015 with flag 2144000/2144000
1090.74/1087.12	c cleaning 11999 clauses out of 24012 with flag 2156000/2156000
1095.05/1091.43	c cleaning 12000 clauses out of 24013 with flag 2168000/2168000
1098.96/1095.39	c cleaning 12001 clauses out of 24013 with flag 2180000/2180000
1102.67/1099.04	c cleaning 11999 clauses out of 24012 with flag 2192000/2192000
1107.00/1103.37	c cleaning 12001 clauses out of 24014 with flag 2204001/2204001
1111.50/1107.85	c cleaning 11996 clauses out of 24012 with flag 2216000/2216000
1117.51/1113.87	c cleaning 12002 clauses out of 24018 with flag 2228002/2228002
1127.01/1123.31	c cleaning 12000 clauses out of 24015 with flag 2240001/2240001
1135.33/1131.65	c cleaning 12001 clauses out of 24014 with flag 2252000/2252000
1143.27/1139.52	c cleaning 11978 clauses out of 24015 with flag 2264002/2264002
1152.20/1148.42	c cleaning 11988 clauses out of 24037 with flag 2276002/2276002
1159.41/1155.67	c cleaning 12004 clauses out of 24048 with flag 2288001/2288001
1166.93/1163.15	c cleaning 12005 clauses out of 24043 with flag 2300000/2300000
1175.04/1171.26	c cleaning 11998 clauses out of 24039 with flag 2312001/2312001
1184.67/1180.87	c cleaning 12003 clauses out of 24041 with flag 2324001/2324001
1192.49/1188.66	c cleaning 12001 clauses out of 24039 with flag 2336002/2336002
1199.51/1195.67	c cleaning 12010 clauses out of 24039 with flag 2348003/2348003
1207.72/1203.86	c cleaning 11993 clauses out of 24027 with flag 2360001/2360001
1214.14/1210.24	c cleaning 12011 clauses out of 24034 with flag 2372001/2372001
1223.05/1219.14	c cleaning 11996 clauses out of 24023 with flag 2384001/2384001
1231.59/1227.64	c cleaning 12002 clauses out of 24026 with flag 2396000/2396000
1240.58/1236.63	c cleaning 11999 clauses out of 24027 with flag 2408003/2408003
1249.13/1245.12	c cleaning 11998 clauses out of 24025 with flag 2420000/2420000
1258.14/1254.12	c cleaning 12000 clauses out of 24027 with flag 2432000/2432000
1263.16/1259.16	c cleaning 12002 clauses out of 24027 with flag 2444000/2444000
1268.07/1264.09	c cleaning 12006 clauses out of 24026 with flag 2456001/2456001
1273.19/1269.18	c cleaning 12002 clauses out of 24021 with flag 2468002/2468002
1278.09/1274.05	c cleaning 12002 clauses out of 24017 with flag 2480000/2480000
1282.80/1278.75	c cleaning 11999 clauses out of 24015 with flag 2492000/2492000
1287.72/1283.69	c cleaning 12003 clauses out of 24017 with flag 2504001/2504001
1292.61/1288.55	c cleaning 12000 clauses out of 24014 with flag 2516001/2516001
1297.73/1293.69	c cleaning 11999 clauses out of 24014 with flag 2528001/2528001
1303.02/1298.93	c cleaning 11998 clauses out of 24014 with flag 2540000/2540000
1308.13/1304.09	c cleaning 12001 clauses out of 24016 with flag 2552000/2552000
1313.14/1309.08	c cleaning 11995 clauses out of 24015 with flag 2564000/2564000
1318.13/1314.06	c cleaning 12000 clauses out of 24020 with flag 2576000/2576000
1323.23/1319.18	c cleaning 12003 clauses out of 24020 with flag 2588000/2588000
1328.55/1324.42	c cleaning 12001 clauses out of 24017 with flag 2600000/2600000
1333.05/1328.92	c cleaning 12003 clauses out of 24017 with flag 2612001/2612001
1337.55/1333.50	c cleaning 11997 clauses out of 24013 with flag 2624000/2624000
1342.46/1338.36	c cleaning 11996 clauses out of 24016 with flag 2636000/2636000
1347.36/1343.27	c cleaning 12004 clauses out of 24020 with flag 2648000/2648000
1351.68/1347.56	c cleaning 11995 clauses out of 24016 with flag 2660000/2660000
1356.69/1352.53	c cleaning 12005 clauses out of 24023 with flag 2672002/2672002
1362.81/1358.69	c cleaning 12000 clauses out of 24017 with flag 2684001/2684001
1368.24/1364.03	c cleaning 11995 clauses out of 24018 with flag 2696002/2696002
1373.95/1369.76	c cleaning 12001 clauses out of 24022 with flag 2708001/2708001
1384.15/1379.90	c cleaning 11996 clauses out of 24020 with flag 2720000/2720000
1394.58/1390.32	c cleaning 11998 clauses out of 24026 with flag 2732002/2732002
1403.41/1399.14	c cleaning 12000 clauses out of 24026 with flag 2744000/2744000
1411.79/1407.55	c cleaning 11997 clauses out of 24026 with flag 2756000/2756000
1420.60/1416.33	c cleaning 12002 clauses out of 24030 with flag 2768001/2768001
1428.60/1424.37	c cleaning 11992 clauses out of 24027 with flag 2780000/2780000
1437.11/1432.84	c cleaning 12003 clauses out of 24036 with flag 2792001/2792001
1444.63/1440.30	c cleaning 11998 clauses out of 24032 with flag 2804000/2804000
1453.54/1449.20	c cleaning 12006 clauses out of 24035 with flag 2816001/2816001
1462.35/1458.10	c cleaning 12003 clauses out of 24028 with flag 2828000/2828000
1472.08/1467.74	c cleaning 11990 clauses out of 24025 with flag 2840000/2840000
1481.48/1477.12	c cleaning 11996 clauses out of 24035 with flag 2852000/2852000
1489.91/1485.55	c cleaning 12009 clauses out of 24039 with flag 2864000/2864000
1499.42/1495.07	c cleaning 11998 clauses out of 24030 with flag 2876000/2876000
1508.72/1504.32	c cleaning 11997 clauses out of 24032 with flag 2888000/2888000
1517.73/1513.33	c cleaning 11997 clauses out of 24037 with flag 2900002/2900002
1527.03/1522.69	c cleaning 12004 clauses out of 24040 with flag 2912002/2912002
1532.95/1528.52	c cleaning 12000 clauses out of 24035 with flag 2924001/2924001
1538.86/1534.44	c cleaning 12005 clauses out of 24037 with flag 2936003/2936003
1546.96/1542.58	c cleaning 11999 clauses out of 24030 with flag 2948001/2948001
1556.86/1552.49	c cleaning 12004 clauses out of 24032 with flag 2960002/2960002
1566.86/1562.45	c cleaning 11993 clauses out of 24026 with flag 2972000/2972000
1575.07/1570.70	c cleaning 12008 clauses out of 24033 with flag 2984000/2984000
1581.68/1577.25	c cleaning 12009 clauses out of 24025 with flag 2996000/2996000
1587.91/1583.48	c cleaning 12003 clauses out of 24019 with flag 3008003/3008003
1592.23/1587.74	c cleaning 12002 clauses out of 24014 with flag 3020001/3020001
1598.15/1593.68	c cleaning 12000 clauses out of 24011 with flag 3032000/3032000
1601.57/1597.09	c cleaning 11998 clauses out of 24013 with flag 3044002/3044002
1605.28/1600.71	c cleaning 12002 clauses out of 24015 with flag 3056002/3056002
1609.10/1604.56	c cleaning 11999 clauses out of 24011 with flag 3068000/3068000
1613.22/1608.60	c cleaning 11999 clauses out of 24012 with flag 3080000/3080000
1618.74/1614.12	c cleaning 11998 clauses out of 24014 with flag 3092001/3092001
1626.45/1621.85	c cleaning 11998 clauses out of 24017 with flag 3104002/3104002
1634.78/1630.20	c cleaning 12003 clauses out of 24018 with flag 3116001/3116001
1640.88/1636.27	c cleaning 11994 clauses out of 24014 with flag 3128000/3128000
1646.69/1642.03	c cleaning 12002 clauses out of 24020 with flag 3140000/3140000
1653.41/1648.72	c cleaning 12001 clauses out of 24019 with flag 3152001/3152001
1659.03/1654.35	c cleaning 12002 clauses out of 24017 with flag 3164000/3164000
1665.43/1660.74	c cleaning 12001 clauses out of 24016 with flag 3176001/3176001
1670.16/1665.46	c cleaning 12001 clauses out of 24016 with flag 3188002/3188002
1676.05/1671.39	c cleaning 12000 clauses out of 24014 with flag 3200001/3200001
1682.37/1677.61	c cleaning 12000 clauses out of 24015 with flag 3212002/3212002
1688.09/1683.36	c cleaning 11998 clauses out of 24015 with flag 3224002/3224002
1694.19/1689.44	c cleaning 11995 clauses out of 24015 with flag 3236000/3236000
1700.39/1695.62	c cleaning 11996 clauses out of 24020 with flag 3248000/3248000
1706.51/1701.79	c cleaning 11997 clauses out of 24024 with flag 3260000/3260000
1712.80/1708.03	c cleaning 11996 clauses out of 24027 with flag 3272000/3272000
1718.30/1713.57	c cleaning 12009 clauses out of 24031 with flag 3284000/3284000
1724.31/1719.53	c cleaning 12004 clauses out of 24024 with flag 3296002/3296002
1731.22/1726.40	c cleaning 11997 clauses out of 24018 with flag 3308000/3308000
1738.03/1733.21	c cleaning 11995 clauses out of 24021 with flag 3320000/3320000
1744.45/1739.66	c cleaning 12004 clauses out of 24026 with flag 3332000/3332000
1749.86/1745.09	c cleaning 11999 clauses out of 24022 with flag 3344000/3344000
1756.77/1751.94	c cleaning 11997 clauses out of 24025 with flag 3356002/3356002
1762.89/1758.08	c cleaning 12006 clauses out of 24028 with flag 3368002/3368002
1768.90/1764.01	c cleaning 11998 clauses out of 24020 with flag 3380000/3380000
1775.70/1770.81	c cleaning 11992 clauses out of 24022 with flag 3392000/3392000
1782.32/1777.43	c cleaning 12001 clauses out of 24030 with flag 3404000/3404000
1789.22/1784.32	c cleaning 12000 clauses out of 24029 with flag 3416000/3416000
1796.44/1791.52	c cleaning 12004 clauses out of 24030 with flag 3428001/3428001
1800.08/1795.13	c starts		: 251
1800.08/1795.13	c conflicts		: 3437616
1800.08/1795.13	c decisions		: 4109799
1800.08/1795.13	c propagations		: 112458219
1800.08/1795.13	c inspects		: 2700391095
1800.08/1795.13	c shortcuts		: 0
1800.08/1795.13	c learnt literals	: 0
1800.08/1795.13	c learnt binary clauses	: 0
1800.08/1795.13	c learnt ternary clauses	: 0
1800.08/1795.13	c learnt constraints	: 3437615
1800.08/1795.13	c ignored constraints	: 0
1800.08/1795.13	c root simplifications	: 0
1800.08/1795.13	c removed literals (reason simplification)	: 12281939
1800.08/1795.13	c reason swapping (by a shorter reason)	: 0
1800.08/1795.13	c Calls to reduceDB	: 288
1800.08/1795.13	c number of reductions to clauses (during analyze)	: 0
1800.08/1795.13	c number of learned constraints concerned by reduction	: 0
1800.08/1795.13	c number of learning phase by resolution	: 0
1800.08/1795.13	c number of learning phase by cutting planes	: 0
1800.08/1795.14	c speed (assignments/second)	: 62662.42614232828
1800.08/1795.14	c non guided choices	184135
1800.08/1795.15	c learnt constraints type 
1800.08/1795.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 21679
1800.08/1795.15	c constraints type 
1800.08/1795.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 700
1800.08/1795.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 748
1800.08/1795.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9918
1800.08/1795.15	s UNKNOWN
1800.08/1795.15	c Total wall clock time (in seconds): 1795.041

Verifier Data 

ERROR: no interpretation found !

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.06 2.06 2.00 4/442 29823
/proc/meminfo: memFree=25866348/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 6072 0 1 0 0 0 0 0 25 0 2 0 826417505 13850947584 5775 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3381579 5788 917 9 0 3372735 0
[pid=29823/tid=29824] ppid=29821 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 5562 0 1 0 0 0 0 0 25 0 2 0 826417506 13850947584 6377 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0625 s]
/proc/loadavg: 2.06 2.06 2.00 4/442 29823
/proc/meminfo: memFree=25866348/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13620448 CPUtime=0.05 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 14157 0 1 0 4 1 0 0 25 0 18 0 826417505 13947338752 13855 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3405112 13855 1733 9 0 3395853 0
[pid=29823/tid=29824] ppid=29821 vsize=13620448 CPUtime=0.05 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 12984 0 1 0 4 1 0 0 25 0 18 0 826417506 13947338752 13856 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246516495045 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13620448

[startup+0.100491 s]
/proc/loadavg: 2.06 2.06 2.00 4/442 29823
/proc/meminfo: memFree=25866348/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13622324 CPUtime=0.11 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 15571 0 1 0 9 2 0 0 25 0 18 0 826417505 13949259776 15255 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3405581 15255 2092 9 0 3396315 0
[pid=29823/tid=29824] ppid=29821 vsize=13622324 CPUtime=0.08 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 13655 0 1 0 7 1 0 0 25 0 18 0 826417506 13949259776 15255 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622324

[startup+0.300423 s]
/proc/loadavg: 2.06 2.06 2.00 4/442 29823
/proc/meminfo: memFree=25866348/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13628600 CPUtime=0.54 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 22735 0 1 0 52 2 0 0 25 0 18 0 826417505 13955686400 21276 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3407150 21279 2205 9 0 3397884 0
[pid=29823/tid=29824] ppid=29821 vsize=13628600 CPUtime=0.29 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 18073 0 1 0 27 2 0 0 25 0 18 0 826417506 13955686400 21280 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912505554910 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13628600

[startup+0.700348 s]
/proc/loadavg: 2.06 2.06 2.00 4/442 29823
/proc/meminfo: memFree=25866348/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13630668 CPUtime=1.45 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 42198 0 1 0 140 5 0 0 25 0 19 0 826417505 13957804032 40173 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3407667 40173 2232 9 0 3398401 0
[pid=29823/tid=29824] ppid=29821 vsize=13630668 CPUtime=0.68 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 35716 0 1 0 64 4 0 0 25 0 19 0 826417506 13957804032 40173 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912505216356 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 13630668

[startup+1.50123 s]
/proc/loadavg: 2.05 2.06 2.00 3/461 29843
/proc/meminfo: memFree=25703512/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13630908 CPUtime=2.32 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 43877 0 1 0 227 5 0 0 25 0 19 0 826417505 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3407727 41851 2236 9 0 3398461 0
[pid=29823/tid=29824] ppid=29821 vsize=13630908 CPUtime=1.49 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 37333 0 1 0 144 5 0 0 25 0 19 0 826417506 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912505882060 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29826/stat : 29826 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417508 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29827/stat : 29827 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417508 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29828/stat : 29828 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417508 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29829/stat : 29829 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417508 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29831/stat : 29831 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417508 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29832/stat : 29832 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417508 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29833/stat : 29833 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417508 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29834/stat : 29834 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417508 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29835/stat : 29835 (java) S 29821 29823 27631 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826417509 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 0 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29836/stat : 29836 (java) S 29821 29823 27631 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826417509 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29837/stat : 29837 (java) S 29821 29823 27631 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 826417509 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29838/stat : 29838 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528657841 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=13630908 CPUtime=0.47 cores=1,3,5,7
/proc/29823/task/29839/stat : 29839 (java) S 29821 29823 27631 0 -1 4202560 3067 0 0 0 47 0 0 0 25 0 19 0 826417511 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=13630908 CPUtime=0.34 cores=1,3,5,7
/proc/29823/task/29840/stat : 29840 (java) S 29821 29823 27631 0 -1 4202560 2317 0 0 0 34 0 0 0 25 0 19 0 826417511 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29841] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29841/stat : 29841 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29842] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29842/stat : 29842 (java) S 29821 29823 27631 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826417511 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29843] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29843/stat : 29843 (java) S 29821 29823 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826417560 13958049792 41851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 13630908

[startup+3.10094 s]
/proc/loadavg: 2.05 2.06 2.00 3/461 29843
/proc/meminfo: memFree=25691980/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13630908 CPUtime=3.96 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 51067 0 1 0 390 6 0 0 25 0 19 0 826417505 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3407727 49032 2264 9 0 3398461 0
[pid=29823/tid=29824] ppid=29821 vsize=13630908 CPUtime=3.05 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 39333 0 1 0 300 5 0 0 25 0 19 0 826417506 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912505882237 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29826/stat : 29826 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826417508 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29827/stat : 29827 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826417508 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29828/stat : 29828 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826417508 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29829/stat : 29829 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826417508 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29831/stat : 29831 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826417508 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29832/stat : 29832 (java) S 29821 29823 27631 0 -1 4202560 1249 0 0 0 0 0 0 0 18 0 19 0 826417508 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29833/stat : 29833 (java) S 29821 29823 27631 0 -1 4202560 674 0 0 0 0 0 0 0 18 0 19 0 826417508 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29834/stat : 29834 (java) S 29821 29823 27631 0 -1 4202560 695 0 0 0 0 0 0 0 18 0 19 0 826417508 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=13630908 CPUtime=0.02 cores=1,3,5,7
/proc/29823/task/29835/stat : 29835 (java) S 29821 29823 27631 0 -1 4202560 2565 0 0 0 2 0 0 0 16 0 19 0 826417509 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 0 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29836/stat : 29836 (java) S 29821 29823 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826417509 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29837/stat : 29837 (java) S 29821 29823 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826417509 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29838/stat : 29838 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528657841 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=13630908 CPUtime=0.48 cores=1,3,5,7
/proc/29823/task/29839/stat : 29839 (java) S 29821 29823 27631 0 -1 4202560 3073 0 0 0 48 0 0 0 17 0 19 0 826417511 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=13630908 CPUtime=0.36 cores=1,3,5,7
/proc/29823/task/29840/stat : 29840 (java) S 29821 29823 27631 0 -1 4202560 2323 0 0 0 36 0 0 0 17 0 19 0 826417511 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29841] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29841/stat : 29841 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29842] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29842/stat : 29842 (java) S 29821 29823 27631 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826417511 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29843] ppid=29821 vsize=13630908 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29843/stat : 29843 (java) S 29821 29823 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826417560 13958049792 49032 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13630908

[startup+6.30136 s]
/proc/loadavg: 2.05 2.06 2.00 3/461 29844
/proc/meminfo: memFree=25645312/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13630252 CPUtime=7.21 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 56380 0 1 0 714 7 0 0 25 0 19 0 826417505 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3407563 54146 2264 9 0 3398297 0
[pid=29823/tid=29824] ppid=29821 vsize=13630252 CPUtime=6.22 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 39335 0 1 0 617 5 0 0 25 0 19 0 826417506 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912505927150 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29826/stat : 29826 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826417508 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29827/stat : 29827 (java) S 29821 29823 27631 0 -1 4202560 1246 0 0 0 0 0 0 0 18 0 19 0 826417508 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29828/stat : 29828 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826417508 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29829/stat : 29829 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826417508 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29831/stat : 29831 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826417508 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29832/stat : 29832 (java) S 29821 29823 27631 0 -1 4202560 2389 0 0 0 0 0 0 0 18 0 19 0 826417508 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29833/stat : 29833 (java) S 29821 29823 27631 0 -1 4202560 2170 0 0 0 0 0 0 0 18 0 19 0 826417508 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29834/stat : 29834 (java) S 29821 29823 27631 0 -1 4202560 695 0 0 0 0 0 0 0 18 0 19 0 826417508 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=13630252 CPUtime=0.04 cores=1,3,5,7
/proc/29823/task/29835/stat : 29835 (java) S 29821 29823 27631 0 -1 4202560 3987 0 0 0 4 0 0 0 15 0 19 0 826417509 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 0 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29836/stat : 29836 (java) S 29821 29823 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29837/stat : 29837 (java) S 29821 29823 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29838/stat : 29838 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528657841 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=13630252 CPUtime=0.5 cores=1,3,5,7
/proc/29823/task/29839/stat : 29839 (java) S 29821 29823 27631 0 -1 4202560 3078 0 0 0 50 0 0 0 16 0 19 0 826417511 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=13630252 CPUtime=0.38 cores=1,3,5,7
/proc/29823/task/29840/stat : 29840 (java) S 29821 29823 27631 0 -1 4202560 2326 0 0 0 38 0 0 0 15 0 19 0 826417511 13957378048 54146 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0

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

[pid=29823/tid=29832] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29832/stat : 29832 (java) S 29821 29823 27631 0 -1 4202560 5169 0 0 0 72 0 0 0 16 0 19 0 826417508 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=13630252 CPUtime=0.71 cores=1,3,5,7
/proc/29823/task/29833/stat : 29833 (java) S 29821 29823 27631 0 -1 4202560 3821 0 0 0 71 0 0 0 15 0 19 0 826417508 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=13630252 CPUtime=0.69 cores=1,3,5,7
/proc/29823/task/29834/stat : 29834 (java) S 29821 29823 27631 0 -1 4202560 4617 0 0 0 69 0 0 0 16 0 19 0 826417508 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=13630252 CPUtime=12.74 cores=1,3,5,7
/proc/29823/task/29835/stat : 29835 (java) S 29821 29823 27631 0 -1 4202560 26577 0 0 0 1269 5 0 0 15 0 19 0 826417509 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 0 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29836/stat : 29836 (java) S 29821 29823 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29837/stat : 29837 (java) S 29821 29823 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29838/stat : 29838 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528657841 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=13630252 CPUtime=0.56 cores=1,3,5,7
/proc/29823/task/29839/stat : 29839 (java) S 29821 29823 27631 0 -1 4202560 3091 0 0 0 56 0 0 0 15 0 19 0 826417511 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=13630252 CPUtime=0.39 cores=1,3,5,7
/proc/29823/task/29840/stat : 29840 (java) S 29821 29823 27631 0 -1 4202560 2326 0 0 0 39 0 0 0 15 0 19 0 826417511 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29841] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29841/stat : 29841 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29842] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29842/stat : 29842 (java) S 29821 29823 27631 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826417511 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29843] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29843/stat : 29843 (java) S 29821 29823 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826417560 13957378048 98851 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1727.12
Current children cumulated vsize (KiB) 13630252

[startup+1782.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/461 29903
/proc/meminfo: memFree=25456912/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13630252 CPUtime=1787.22 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 101606 0 1 0 178703 19 0 0 25 0 19 0 826417505 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3407563 98876 2265 9 0 3398297 0
[pid=29823/tid=29824] ppid=29821 vsize=13630252 CPUtime=1767.27 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 39618 0 1 0 176721 6 0 0 25 0 19 0 826417506 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912505865818 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=13630252 CPUtime=0.65 cores=1,3,5,7
/proc/29823/task/29826/stat : 29826 (java) S 29821 29823 27631 0 -1 4202560 595 0 0 0 65 0 0 0 15 0 19 0 826417508 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=13630252 CPUtime=0.76 cores=1,3,5,7
/proc/29823/task/29827/stat : 29827 (java) S 29821 29823 27631 0 -1 4202560 5474 0 0 0 75 1 0 0 15 0 19 0 826417508 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29828/stat : 29828 (java) S 29821 29823 27631 0 -1 4202560 3421 0 0 0 72 0 0 0 16 0 19 0 826417508 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=13630252 CPUtime=0.7 cores=1,3,5,7
/proc/29823/task/29829/stat : 29829 (java) S 29821 29823 27631 0 -1 4202560 4208 0 0 0 70 0 0 0 16 0 19 0 826417508 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=13630252 CPUtime=0.65 cores=1,3,5,7
/proc/29823/task/29831/stat : 29831 (java) S 29821 29823 27631 0 -1 4202560 1434 0 0 0 65 0 0 0 15 0 19 0 826417508 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=13630252 CPUtime=0.74 cores=1,3,5,7
/proc/29823/task/29832/stat : 29832 (java) S 29821 29823 27631 0 -1 4202560 5169 0 0 0 74 0 0 0 16 0 19 0 826417508 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29833/stat : 29833 (java) S 29821 29823 27631 0 -1 4202560 3822 0 0 0 72 0 0 0 15 0 19 0 826417508 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=13630252 CPUtime=0.71 cores=1,3,5,7
/proc/29823/task/29834/stat : 29834 (java) S 29821 29823 27631 0 -1 4202560 4617 0 0 0 71 0 0 0 15 0 19 0 826417508 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=13630252 CPUtime=13.24 cores=1,3,5,7
/proc/29823/task/29835/stat : 29835 (java) S 29821 29823 27631 0 -1 4202560 26579 0 0 0 1318 6 0 0 15 0 19 0 826417509 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 0 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29836/stat : 29836 (java) S 29821 29823 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29837/stat : 29837 (java) S 29821 29823 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29838/stat : 29838 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528657841 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=13630252 CPUtime=0.56 cores=1,3,5,7
/proc/29823/task/29839/stat : 29839 (java) S 29821 29823 27631 0 -1 4202560 3091 0 0 0 56 0 0 0 15 0 19 0 826417511 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=13630252 CPUtime=0.39 cores=1,3,5,7
/proc/29823/task/29840/stat : 29840 (java) S 29821 29823 27631 0 -1 4202560 2326 0 0 0 39 0 0 0 15 0 19 0 826417511 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29841] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29841/stat : 29841 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29842] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29842/stat : 29842 (java) S 29821 29823 27631 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826417511 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29843] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29843/stat : 29843 (java) S 29821 29823 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826417560 13957378048 98876 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1787.22
Current children cumulated vsize (KiB) 13630252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.1 s]
/proc/loadavg: 2.18 2.08 2.02 4/461 29903
/proc/meminfo: memFree=25457020/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13630252 CPUtime=1800.08 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 101625 0 1 0 179989 19 0 0 25 0 19 0 826417505 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3407563 98889 2265 9 0 3398297 0
[pid=29823/tid=29824] ppid=29821 vsize=13630252 CPUtime=1779.96 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 39620 0 1 0 177990 6 0 0 25 0 19 0 826417506 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912505882593 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=13630252 CPUtime=0.66 cores=1,3,5,7
/proc/29823/task/29826/stat : 29826 (java) S 29821 29823 27631 0 -1 4202560 598 0 0 0 66 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=13630252 CPUtime=0.77 cores=1,3,5,7
/proc/29823/task/29827/stat : 29827 (java) S 29821 29823 27631 0 -1 4202560 5478 0 0 0 76 1 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29828/stat : 29828 (java) S 29821 29823 27631 0 -1 4202560 3424 0 0 0 72 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=13630252 CPUtime=0.71 cores=1,3,5,7
/proc/29823/task/29829/stat : 29829 (java) S 29821 29823 27631 0 -1 4202560 4209 0 0 0 71 0 0 0 16 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=13630252 CPUtime=0.65 cores=1,3,5,7
/proc/29823/task/29831/stat : 29831 (java) S 29821 29823 27631 0 -1 4202560 1434 0 0 0 65 0 0 0 16 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=13630252 CPUtime=0.74 cores=1,3,5,7
/proc/29823/task/29832/stat : 29832 (java) S 29821 29823 27631 0 -1 4202560 5169 0 0 0 74 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29833/stat : 29833 (java) S 29821 29823 27631 0 -1 4202560 3822 0 0 0 72 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29834/stat : 29834 (java) S 29821 29823 27631 0 -1 4202560 4619 0 0 0 72 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=13630252 CPUtime=13.36 cores=1,3,5,7
/proc/29823/task/29835/stat : 29835 (java) S 29821 29823 27631 0 -1 4202560 26581 0 0 0 1330 6 0 0 15 0 19 0 826417509 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 0 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29836/stat : 29836 (java) S 29821 29823 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29837/stat : 29837 (java) S 29821 29823 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29838/stat : 29838 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528657841 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=13630252 CPUtime=0.56 cores=1,3,5,7
/proc/29823/task/29839/stat : 29839 (java) S 29821 29823 27631 0 -1 4202560 3091 0 0 0 56 0 0 0 15 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=13630252 CPUtime=0.39 cores=1,3,5,7
/proc/29823/task/29840/stat : 29840 (java) S 29821 29823 27631 0 -1 4202560 2326 0 0 0 39 0 0 0 15 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29841] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29841/stat : 29841 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29842] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29842/stat : 29842 (java) S 29821 29823 27631 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29843] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29843/stat : 29843 (java) S 29821 29823 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826417560 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630252

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

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

[startup+1795.1 s]
/proc/loadavg: 2.18 2.08 2.02 4/461 29903
/proc/meminfo: memFree=25457020/32951124 swapFree=44043516/67111528
[pid=29823] ppid=29821 vsize=13630252 CPUtime=1800.08 cores=1,3,5,7
/proc/29823/stat : 29823 (java) S 29821 29823 27631 0 -1 4202496 101625 0 1 0 179989 19 0 0 25 0 19 0 826417505 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29823/statm: 3407563 98889 2265 9 0 3398297 0
[pid=29823/tid=29824] ppid=29821 vsize=13630252 CPUtime=1779.96 cores=1,3,5,7
/proc/29823/task/29824/stat : 29824 (java) R 29821 29823 27631 0 -1 4202560 39620 0 1 0 177990 6 0 0 25 0 19 0 826417506 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 46912505882593 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=13630252 CPUtime=0.66 cores=1,3,5,7
/proc/29823/task/29826/stat : 29826 (java) S 29821 29823 27631 0 -1 4202560 598 0 0 0 66 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=13630252 CPUtime=0.77 cores=1,3,5,7
/proc/29823/task/29827/stat : 29827 (java) S 29821 29823 27631 0 -1 4202560 5478 0 0 0 76 1 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29828/stat : 29828 (java) S 29821 29823 27631 0 -1 4202560 3424 0 0 0 72 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=13630252 CPUtime=0.71 cores=1,3,5,7
/proc/29823/task/29829/stat : 29829 (java) S 29821 29823 27631 0 -1 4202560 4209 0 0 0 71 0 0 0 16 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=13630252 CPUtime=0.65 cores=1,3,5,7
/proc/29823/task/29831/stat : 29831 (java) S 29821 29823 27631 0 -1 4202560 1434 0 0 0 65 0 0 0 16 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=13630252 CPUtime=0.74 cores=1,3,5,7
/proc/29823/task/29832/stat : 29832 (java) S 29821 29823 27631 0 -1 4202560 5169 0 0 0 74 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29833/stat : 29833 (java) S 29821 29823 27631 0 -1 4202560 3822 0 0 0 72 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=13630252 CPUtime=0.72 cores=1,3,5,7
/proc/29823/task/29834/stat : 29834 (java) S 29821 29823 27631 0 -1 4202560 4619 0 0 0 72 0 0 0 15 0 19 0 826417508 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=13630252 CPUtime=13.36 cores=1,3,5,7
/proc/29823/task/29835/stat : 29835 (java) S 29821 29823 27631 0 -1 4202560 26581 0 0 0 1330 6 0 0 15 0 19 0 826417509 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 0 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29836/stat : 29836 (java) S 29821 29823 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29837/stat : 29837 (java) S 29821 29823 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826417509 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29838/stat : 29838 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528657841 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=13630252 CPUtime=0.56 cores=1,3,5,7
/proc/29823/task/29839/stat : 29839 (java) S 29821 29823 27631 0 -1 4202560 3091 0 0 0 56 0 0 0 15 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 5 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=13630252 CPUtime=0.39 cores=1,3,5,7
/proc/29823/task/29840/stat : 29840 (java) S 29821 29823 27631 0 -1 4202560 2326 0 0 0 39 0 0 0 15 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 7 0 0 0
[pid=29823/tid=29841] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29841/stat : 29841 (java) S 29821 29823 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650137 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
[pid=29823/tid=29842] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29842/stat : 29842 (java) S 29821 29823 27631 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826417511 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 1 0 0 0
[pid=29823/tid=29843] ppid=29821 vsize=13630252 CPUtime=0 cores=1,3,5,7
/proc/29823/task/29843/stat : 29843 (java) S 29821 29823 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826417560 13957378048 98889 33554432000 1073741824 1073778376 140734900670512 18446744073709551615 246528650752 0 4 0 16800975 18446604469446037824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630252

Child status: 143
Real time (s): 1795.17
CPU time (s): 1800.14
CPU user time (s): 1799.93
CPU system time (s): 0.209968
CPU usage (%): 100.277
Max. virtual memory (cumulated for all children) (KiB): 13630908

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

runsolver used 7.63684 second user time and 16.8934 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-04 02:43:13
IDJOB=3458808
IDBENCH=2233
IDSOLVER=1952
FILE ID=node134/3458808-1307148193
RUNJOBID= node134-1307146393-29639
PBS_JOBID= 13508782
Free space on /tmp= 74000 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458808-1307148193/watcher-3458808-1307148193 -o /tmp/evaluation-result-3458808-1307148193/solver-3458808-1307148193 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458808-1307148193.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=744974367

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25866752 kB
Buffers:        283644 kB
Cached:         624292 kB
SwapCached:       9536 kB
Active:        6185868 kB
Inactive:       605560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25866752 kB
SwapTotal:    67111528 kB
SwapFree:     44043516 kB
Dirty:            1332 kB
Writeback:          20 kB
AnonPages:     5881644 kB
Mapped:          28724 kB
Slab:           136632 kB
PageTables:      89360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124183080 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74000 MiB
End job on node134 at 2011-06-04 03:13:10