Trace number 3687741

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)27 1800.1 1788.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
MD5SUM931342e76f648ae82c047d164917a326
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.159975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables466
Total number of constraints694
Number of constraints which are clauses694
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 constraint78
Number of terms in the objective function 466
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 466
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 466
Number of bits of the biggest sum of numbers9
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.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3687741-1337875508.opb
0.11/0.10	c reading problem ... 
0.29/0.28	c ... done. Wall clock time 0.184s.
0.29/0.28	c declared #vars     466
0.29/0.28	c #constraints  694
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 663
0.29/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31
0.29/0.28	c 694 constraints processed.
0.29/0.28	c objective function length is 466 literals
0.29/0.30	c SATISFIABLE
0.29/0.30	c OPTIMIZING...
0.29/0.30	c Got one! Elapsed wall clock time (in seconds):0.196
0.59/0.30	o 30
0.59/0.31	c Got one! Elapsed wall clock time (in seconds):0.21
0.59/0.31	o 29
0.89/0.45	c Got one! Elapsed wall clock time (in seconds):0.356
0.89/0.45	o 28
1.37/0.73	c cleaning 2960 clauses out of 5924 with flag 5000/5924
1.73/1.04	c cleaning 4485 clauses out of 8969 with flag 11005/11929
2.03/1.38	c cleaning 5739 clauses out of 11479 with flag 18000/18924
2.44/1.79	c cleaning 6857 clauses out of 13740 with flag 26000/26924
3.00/2.28	c cleaning 7936 clauses out of 15885 with flag 35002/35926
3.49/2.78	c cleaning 8970 clauses out of 17949 with flag 45002/45926
4.10/3.33	c cleaning 9977 clauses out of 19977 with flag 56000/56924
4.70/3.95	c cleaning 10988 clauses out of 22000 with flag 68000/68924
5.31/4.58	c cleaning 11990 clauses out of 24013 with flag 81001/81925
6.12/5.32	c cleaning 13003 clauses out of 26022 with flag 95000/95924
6.94/6.10	c cleaning 13982 clauses out of 28019 with flag 110000/110924
7.76/6.95	c cleaning 15004 clauses out of 30037 with flag 126000/126924
8.59/7.79	c cleaning 15995 clauses out of 32033 with flag 143000/143924
9.60/8.71	c cleaning 17005 clauses out of 34038 with flag 161000/161924
10.52/9.67	c cleaning 18016 clauses out of 36033 with flag 180000/180924
11.64/10.73	c cleaning 18995 clauses out of 38017 with flag 200000/200924
12.77/11.84	c cleaning 19980 clauses out of 40022 with flag 221000/221924
13.87/12.96	c cleaning 20999 clauses out of 42042 with flag 243000/243924
15.10/14.19	c cleaning 22014 clauses out of 44047 with flag 266004/266928
16.46/15.48	c cleaning 23002 clauses out of 46029 with flag 290000/290924
17.89/16.87	c cleaning 23993 clauses out of 48030 with flag 315003/315927
19.22/18.18	c cleaning 24997 clauses out of 50041 with flag 341007/341931
20.75/19.67	c cleaning 26018 clauses out of 52037 with flag 368000/368924
22.17/21.07	c cleaning 26991 clauses out of 54019 with flag 396000/396924
23.78/22.60	c cleaning 28004 clauses out of 56028 with flag 425000/425924
25.31/24.18	c cleaning 28987 clauses out of 58024 with flag 455000/455924
27.12/25.93	c cleaning 29982 clauses out of 60037 with flag 486000/486924
29.03/27.81	c cleaning 31011 clauses out of 62055 with flag 518000/518924
30.86/29.63	c cleaning 32008 clauses out of 64044 with flag 551000/551924
32.78/31.58	c cleaning 32972 clauses out of 66036 with flag 585000/585924
34.59/33.36	c cleaning 34016 clauses out of 68066 with flag 620002/620926
36.61/35.31	c cleaning 35010 clauses out of 70049 with flag 656001/656925
38.55/37.29	c cleaning 36005 clauses out of 72038 with flag 693000/693924
40.77/39.43	c cleaning 37007 clauses out of 74033 with flag 731000/731924
42.88/41.57	c cleaning 37985 clauses out of 76026 with flag 770000/770924
44.99/43.68	c cleaning 38999 clauses out of 78041 with flag 810000/810924
47.40/46.08	c cleaning 39959 clauses out of 80042 with flag 851000/851924
50.02/48.64	c cleaning 41021 clauses out of 82083 with flag 893000/893924
52.67/51.20	c cleaning 42028 clauses out of 84062 with flag 936000/936924
55.41/53.91	c cleaning 43017 clauses out of 86034 with flag 980000/980924
58.01/56.56	c cleaning 43993 clauses out of 88017 with flag 1025000/1025924
60.72/59.30	c cleaning 44976 clauses out of 90024 with flag 1071000/1071924
63.43/61.95	c cleaning 46000 clauses out of 92051 with flag 1118003/1118927
66.37/64.85	c cleaning 46971 clauses out of 94048 with flag 1166000/1166924
69.50/67.94	c cleaning 48038 clauses out of 96077 with flag 1215000/1215924
72.43/70.86	c cleaning 49001 clauses out of 98039 with flag 1265000/1265924
75.65/74.02	c cleaning 50004 clauses out of 100038 with flag 1316000/1316924
78.51/76.89	c cleaning 50999 clauses out of 102034 with flag 1368000/1368924
81.63/79.97	c cleaning 52003 clauses out of 104036 with flag 1421001/1421925
84.77/83.07	c cleaning 53014 clauses out of 106032 with flag 1475000/1475924
87.99/86.30	c cleaning 53982 clauses out of 108020 with flag 1530002/1530926
91.43/89.61	c cleaning 54990 clauses out of 110042 with flag 1586006/1586930
95.14/93.38	c cleaning 56005 clauses out of 112046 with flag 1643000/1643924
98.69/96.87	c cleaning 56994 clauses out of 114041 with flag 1701000/1701924
102.41/100.57	c cleaning 58020 clauses out of 116048 with flag 1760001/1760925
106.03/104.15	c cleaning 58987 clauses out of 118027 with flag 1820000/1820924
109.85/107.97	c cleaning 59981 clauses out of 120040 with flag 1881000/1881924
113.58/111.64	c cleaning 60987 clauses out of 122059 with flag 1943000/1943924
117.63/115.62	c cleaning 62025 clauses out of 124072 with flag 2006000/2006924
121.45/119.48	c cleaning 63020 clauses out of 126047 with flag 2070000/2070924
125.69/123.60	c cleaning 63993 clauses out of 128027 with flag 2135000/2135924
129.92/127.84	c cleaning 64996 clauses out of 130034 with flag 2201000/2201924
134.38/132.23	c cleaning 66010 clauses out of 132038 with flag 2268000/2268924
139.21/137.01	c cleaning 67014 clauses out of 134028 with flag 2336000/2336924
144.04/141.85	c cleaning 68002 clauses out of 136017 with flag 2405003/2405927
148.65/146.44	c cleaning 68985 clauses out of 138012 with flag 2475000/2475924
153.66/151.48	c cleaning 70002 clauses out of 140027 with flag 2546000/2546924
159.02/156.70	c cleaning 70995 clauses out of 142025 with flag 2618000/2618924
164.44/162.10	c cleaning 72000 clauses out of 144036 with flag 2691006/2691930
169.76/167.46	c cleaning 73002 clauses out of 146030 with flag 2765000/2765924
175.29/172.95	c cleaning 73979 clauses out of 148028 with flag 2840000/2840924
180.91/178.57	c cleaning 75000 clauses out of 150049 with flag 2916000/2916924
186.23/183.84	c cleaning 76017 clauses out of 152050 with flag 2993001/2993925
191.05/188.65	c cleaning 77016 clauses out of 154032 with flag 3071000/3071924
196.67/194.29	c cleaning 77984 clauses out of 156016 with flag 3150000/3150924
201.91/199.46	c cleaning 79007 clauses out of 158032 with flag 3230000/3230924
207.44/204.97	c cleaning 79993 clauses out of 160027 with flag 3311002/3311926
214.66/212.15	c cleaning 81000 clauses out of 162032 with flag 3393000/3393924
222.33/219.70	c cleaning 82001 clauses out of 164033 with flag 3476001/3476925
228.15/225.56	c cleaning 82994 clauses out of 166031 with flag 3560000/3560924
235.28/232.64	c cleaning 83998 clauses out of 168037 with flag 3645000/3645924
242.13/239.43	c cleaning 84998 clauses out of 170039 with flag 3731000/3731924
249.10/246.40	c cleaning 85993 clauses out of 172042 with flag 3818001/3818925
256.24/253.48	c cleaning 86997 clauses out of 174050 with flag 3906002/3906926
262.88/260.04	c cleaning 88005 clauses out of 176053 with flag 3995002/3995926
269.83/266.95	c cleaning 89019 clauses out of 178046 with flag 4085000/4085924
275.36/272.48	c cleaning 89989 clauses out of 180027 with flag 4176000/4176924
283.40/280.45	c cleaning 90981 clauses out of 182038 with flag 4268000/4268924
292.94/289.92	c cleaning 92021 clauses out of 184057 with flag 4361000/4361924
303.31/300.29	c cleaning 93007 clauses out of 186036 with flag 4455000/4455924
311.83/308.71	c cleaning 94013 clauses out of 188031 with flag 4550002/4550926
318.97/315.89	c cleaning 94981 clauses out of 190016 with flag 4646000/4646924
328.62/325.48	c cleaning 95998 clauses out of 192035 with flag 4743000/4743924
336.67/333.47	c cleaning 97006 clauses out of 194038 with flag 4841001/4841925
345.80/342.56	c cleaning 98007 clauses out of 196032 with flag 4940001/4940925
357.15/353.81	c cleaning 98982 clauses out of 198024 with flag 5040000/5040924
368.04/364.62	c cleaning 100002 clauses out of 200042 with flag 5141000/5141924
375.07/371.69	c cleaning 100984 clauses out of 202042 with flag 5243002/5243926
382.71/379.20	c cleaning 102004 clauses out of 204059 with flag 5346003/5346927
391.35/387.82	c cleaning 103010 clauses out of 206053 with flag 5450001/5450925
400.30/396.74	c cleaning 103991 clauses out of 208044 with flag 5555002/5555926
408.83/405.25	c cleaning 105018 clauses out of 210051 with flag 5661000/5661924
417.27/413.62	c cleaning 105991 clauses out of 212033 with flag 5768000/5768924
425.08/421.48	c cleaning 106977 clauses out of 214042 with flag 5876000/5876924
432.51/428.89	c cleaning 108031 clauses out of 216065 with flag 5985000/5985924
443.48/439.72	c cleaning 108992 clauses out of 218034 with flag 6095000/6095924
451.72/447.98	c cleaning 110008 clauses out of 220042 with flag 6206000/6206924
460.37/456.57	c cleaning 110994 clauses out of 222035 with flag 6318001/6318925
469.50/465.63	c cleaning 112006 clauses out of 224043 with flag 6431003/6431927
478.74/474.81	c cleaning 112968 clauses out of 226034 with flag 6545000/6545924
488.17/484.25	c cleaning 114002 clauses out of 228066 with flag 6660000/6660924
496.51/492.50	c cleaning 115023 clauses out of 230064 with flag 6776000/6776924
504.77/500.70	c cleaning 116021 clauses out of 232041 with flag 6893000/6893924
516.92/512.82	c cleaning 116982 clauses out of 234020 with flag 7011000/7011924
527.57/523.48	c cleaning 117974 clauses out of 236038 with flag 7130000/7130924
539.82/535.66	c cleaning 119006 clauses out of 238064 with flag 7250000/7250924
551.56/547.38	c cleaning 120026 clauses out of 240060 with flag 7371002/7371926
562.52/558.21	c cleaning 121014 clauses out of 242032 with flag 7493000/7493924
573.77/569.44	c cleaning 122008 clauses out of 244018 with flag 7616000/7616924
583.04/578.62	c cleaning 122997 clauses out of 246012 with flag 7740002/7740926
591.78/587.38	c cleaning 123968 clauses out of 248013 with flag 7865000/7865924
601.27/596.74	c cleaning 124993 clauses out of 250045 with flag 7991000/7991924
610.60/606.08	c cleaning 126003 clauses out of 252054 with flag 8118002/8118926
619.22/614.61	c cleaning 126995 clauses out of 254049 with flag 8246000/8246924
632.76/628.15	c cleaning 128014 clauses out of 256055 with flag 8375001/8375925
644.91/640.29	c cleaning 128999 clauses out of 258040 with flag 8505000/8505924
658.65/653.93	c cleaning 129993 clauses out of 260041 with flag 8636000/8636924
670.72/665.93	c cleaning 131010 clauses out of 262048 with flag 8768000/8768924
683.65/678.84	c cleaning 132017 clauses out of 264042 with flag 8901004/8901928
694.22/689.32	c cleaning 132957 clauses out of 266021 with flag 9035000/9035924
704.99/700.06	c cleaning 134015 clauses out of 268064 with flag 9170000/9170924
717.43/712.44	c cleaning 135012 clauses out of 270049 with flag 9306000/9306924
728.71/723.64	c cleaning 136007 clauses out of 272038 with flag 9443001/9443925
739.38/734.29	c cleaning 136994 clauses out of 274030 with flag 9581000/9581924
750.84/745.60	c cleaning 138014 clauses out of 276036 with flag 9720000/9720924
762.19/756.96	c cleaning 138979 clauses out of 278023 with flag 9860001/9860925
772.46/767.16	c cleaning 140019 clauses out of 280043 with flag 10001000/10001924
783.89/778.53	c cleaning 141003 clauses out of 282025 with flag 10143001/10143925
795.06/789.70	c cleaning 141994 clauses out of 284022 with flag 10286001/10286925
808.39/802.95	c cleaning 142999 clauses out of 286027 with flag 10430000/10430924
822.53/817.08	c cleaning 143981 clauses out of 288028 with flag 10575000/10575924
833.71/828.19	c cleaning 144987 clauses out of 290047 with flag 10721000/10721924
846.45/840.86	c cleaning 146009 clauses out of 292060 with flag 10868000/10868924
859.61/853.94	c cleaning 146999 clauses out of 294051 with flag 11016000/11016924
870.49/864.74	c cleaning 148014 clauses out of 296054 with flag 11165002/11165926
884.84/879.01	c cleaning 149002 clauses out of 298040 with flag 11315002/11315926
900.09/894.29	c cleaning 149985 clauses out of 300036 with flag 11466000/11466924
901.36/895.46	c Got one! Elapsed wall clock time (in seconds):895.363
901.36/895.46	o 27
902.25/896.31	c cleaning 88198 clauses out of 176468 with flag 5000/11493341
902.80/896.85	c cleaning 47123 clauses out of 94271 with flag 11001/11499342
903.11/897.19	c cleaning 27051 clauses out of 54147 with flag 18000/11506341
903.54/897.50	c cleaning 17534 clauses out of 35096 with flag 26000/11514341
903.85/897.83	c cleaning 13262 clauses out of 26562 with flag 35000/11523341
904.28/898.21	c cleaning 11631 clauses out of 23300 with flag 45000/11533341
904.60/898.60	c cleaning 11326 clauses out of 22669 with flag 56000/11544341
905.15/899.00	c cleaning 11656 clauses out of 23343 with flag 68000/11556341
905.56/899.43	c cleaning 12325 clauses out of 24688 with flag 81001/11569342
906.08/899.92	c cleaning 13153 clauses out of 26363 with flag 95001/11583342
906.70/900.54	c cleaning 14093 clauses out of 28209 with flag 110000/11598341
907.52/901.36	c cleaning 15060 clauses out of 30119 with flag 126003/11614344
908.43/902.22	c cleaning 16028 clauses out of 32056 with flag 143000/11631341
909.37/903.16	c cleaning 16995 clauses out of 34029 with flag 161001/11649342
910.40/904.14	c cleaning 18011 clauses out of 36037 with flag 180004/11668345
911.43/905.20	c cleaning 19003 clauses out of 38023 with flag 200001/11688342
912.66/906.32	c cleaning 20003 clauses out of 40020 with flag 221001/11709342
913.79/907.50	c cleaning 20992 clauses out of 42016 with flag 243000/11731341
915.01/908.69	c cleaning 21992 clauses out of 44024 with flag 266000/11754341
916.34/909.99	c cleaning 23001 clauses out of 46032 with flag 290000/11778341
917.76/911.33	c cleaning 24003 clauses out of 48034 with flag 315003/11803344
919.18/912.72	c cleaning 24994 clauses out of 50028 with flag 341000/11829341
920.81/914.31	c cleaning 26017 clauses out of 52034 with flag 368000/11856341
922.24/915.73	c cleaning 26988 clauses out of 54017 with flag 396000/11884341
923.87/917.32	c cleaning 28003 clauses out of 56029 with flag 425000/11913341
925.40/918.86	c cleaning 29000 clauses out of 58026 with flag 455000/11943341
927.02/920.43	c cleaning 30001 clauses out of 60026 with flag 486000/11974341
928.85/922.23	c cleaning 31002 clauses out of 62025 with flag 518000/12006341
930.57/924.00	c cleaning 31990 clauses out of 64027 with flag 551004/12039345
932.51/925.83	c cleaning 32992 clauses out of 66033 with flag 585000/12073341
934.34/927.69	c cleaning 33976 clauses out of 68042 with flag 620001/12108342
936.47/929.78	c cleaning 35002 clauses out of 70065 with flag 656000/12144341
938.69/931.96	c cleaning 36020 clauses out of 72065 with flag 693002/12181343
940.83/934.05	c cleaning 37003 clauses out of 74045 with flag 731002/12219343
943.05/936.27	c cleaning 38001 clauses out of 76042 with flag 770002/12258343
945.47/938.68	c cleaning 39008 clauses out of 78039 with flag 810000/12298341
947.69/940.85	c cleaning 39985 clauses out of 80031 with flag 851000/12339341
950.11/943.22	c cleaning 40978 clauses out of 82046 with flag 893000/12381341
952.55/945.62	c cleaning 42033 clauses out of 84068 with flag 936000/12424341
954.97/948.08	c cleaning 43004 clauses out of 86035 with flag 980000/12468341
957.60/950.67	c cleaning 43998 clauses out of 88031 with flag 1025000/12513341
960.52/953.59	c cleaning 45007 clauses out of 90034 with flag 1071001/12559342
963.26/956.23	c cleaning 45996 clauses out of 92026 with flag 1118000/12606341
966.30/959.22	c cleaning 46998 clauses out of 94030 with flag 1166000/12654341
969.01/961.93	c cleaning 47983 clauses out of 96032 with flag 1215000/12703341
972.06/964.97	c cleaning 49021 clauses out of 98049 with flag 1265000/12753341
975.09/967.91	c cleaning 50001 clauses out of 100031 with flag 1316003/12804344
978.00/970.80	c cleaning 50990 clauses out of 102027 with flag 1368000/12856341
981.12/973.95	c cleaning 51986 clauses out of 104037 with flag 1421000/12909341
984.25/977.05	c cleaning 53006 clauses out of 106052 with flag 1475001/12963342
988.09/980.82	c cleaning 54023 clauses out of 108046 with flag 1530001/13018342
991.53/984.24	c cleaning 54991 clauses out of 110022 with flag 1586000/13074341
994.85/987.51	c cleaning 55959 clauses out of 112031 with flag 1643000/13131341
999.18/991.81	c cleaning 57021 clauses out of 114073 with flag 1701001/13189342
1002.92/995.57	c cleaning 58020 clauses out of 116051 with flag 1760000/13248341
1006.33/998.94	c cleaning 58998 clauses out of 118032 with flag 1820001/13308342
1010.35/1002.91	c cleaning 60006 clauses out of 120034 with flag 1881001/13369342
1014.18/1006.70	c cleaning 60971 clauses out of 122027 with flag 1943000/13431341
1018.71/1011.28	c cleaning 62007 clauses out of 124056 with flag 2006000/13494341
1022.95/1015.40	c cleaning 63000 clauses out of 126049 with flag 2070000/13558341
1026.87/1019.34	c cleaning 63985 clauses out of 128049 with flag 2135000/13623341
1031.08/1023.58	c cleaning 65019 clauses out of 130064 with flag 2201000/13689341
1035.61/1028.06	c cleaning 65997 clauses out of 132045 with flag 2268000/13756341
1039.64/1032.04	c cleaning 66986 clauses out of 134048 with flag 2336000/13824341
1043.90/1036.27	c cleaning 67986 clauses out of 136062 with flag 2405000/13893341
1048.83/1041.20	c cleaning 69023 clauses out of 138077 with flag 2475001/13963342
1053.67/1045.90	c cleaning 70010 clauses out of 140055 with flag 2546002/14034343
1057.72/1049.96	c cleaning 71015 clauses out of 142043 with flag 2618000/14106341
1062.96/1055.19	c cleaning 71993 clauses out of 144031 with flag 2691003/14179344
1068.03/1060.12	c cleaning 72983 clauses out of 146037 with flag 2765002/14253343
1072.58/1064.62	c cleaning 74000 clauses out of 148052 with flag 2840000/14328341
1077.22/1069.29	c cleaning 74973 clauses out of 150052 with flag 2916000/14404341
1082.14/1074.12	c cleaning 76008 clauses out of 152079 with flag 2993000/14481341
1086.87/1078.89	c cleaning 77022 clauses out of 154072 with flag 3071001/14559342
1091.78/1083.70	c cleaning 77968 clauses out of 156049 with flag 3150000/14638341
1096.72/1088.61	c cleaning 79025 clauses out of 158081 with flag 3230000/14718341
1101.37/1093.21	c cleaning 79994 clauses out of 160056 with flag 3311000/14799341
1107.11/1098.94	c cleaning 81021 clauses out of 162062 with flag 3393000/14881341
1112.87/1104.68	c cleaning 82015 clauses out of 164042 with flag 3476001/14964342
1118.40/1110.17	c cleaning 83005 clauses out of 166033 with flag 3560007/15048348
1124.73/1116.44	c cleaning 83978 clauses out of 168023 with flag 3645002/15133343
1129.87/1121.56	c cleaning 85004 clauses out of 170043 with flag 3731000/15219341
1136.61/1128.22	c cleaning 86011 clauses out of 172041 with flag 3818002/15306343
1142.16/1133.79	c cleaning 86986 clauses out of 174029 with flag 3906001/15394342
1147.80/1139.33	c cleaning 87984 clauses out of 176042 with flag 3995000/15483341
1154.15/1145.68	c cleaning 89022 clauses out of 178062 with flag 4085004/15573345
1159.90/1151.37	c cleaning 89992 clauses out of 180042 with flag 4176006/15664347
1167.44/1158.87	c cleaning 90997 clauses out of 182044 with flag 4268000/15756341
1174.19/1165.53	c cleaning 92006 clauses out of 184047 with flag 4361000/15849341
1180.73/1172.01	c cleaning 92991 clauses out of 186043 with flag 4455002/15943343
1187.06/1178.36	c cleaning 93982 clauses out of 188050 with flag 4550000/16038341
1193.49/1184.71	c cleaning 95013 clauses out of 190070 with flag 4646002/16134343
1200.53/1191.78	c cleaning 96002 clauses out of 192055 with flag 4743000/16231341
1207.65/1198.83	c cleaning 96989 clauses out of 194055 with flag 4841002/16329343
1214.49/1205.64	c cleaning 97995 clauses out of 196065 with flag 4940001/16428342
1222.33/1213.42	c cleaning 99015 clauses out of 198070 with flag 5040001/16528342
1229.75/1220.83	c cleaning 100018 clauses out of 200054 with flag 5141000/16629341
1237.39/1228.43	c cleaning 100988 clauses out of 202036 with flag 5243000/16731341
1244.22/1235.23	c cleaning 102015 clauses out of 204055 with flag 5346007/16834348
1252.35/1243.36	c cleaning 103011 clauses out of 206034 with flag 5450001/16938342
1259.89/1250.83	c cleaning 103992 clauses out of 208022 with flag 5555000/17043341
1267.75/1258.66	c cleaning 104999 clauses out of 210030 with flag 5661000/17149341
1276.18/1267.02	c cleaning 106010 clauses out of 212031 with flag 5768000/17256341
1284.13/1274.93	c cleaning 106996 clauses out of 214021 with flag 5876000/17364341
1291.87/1282.66	c cleaning 108013 clauses out of 216025 with flag 5985000/17473341
1300.29/1291.06	c cleaning 108994 clauses out of 218014 with flag 6095002/17583343
1309.01/1299.73	c cleaning 109993 clauses out of 220018 with flag 6206000/17694341
1317.39/1308.06	c cleaning 111003 clauses out of 222025 with flag 6318000/17806341
1326.35/1316.96	c cleaning 111979 clauses out of 224022 with flag 6431000/17919341
1336.43/1326.96	c cleaning 112981 clauses out of 226043 with flag 6545000/18033341
1345.02/1335.46	c cleaning 114011 clauses out of 228062 with flag 6660000/18148341
1354.25/1344.60	c cleaning 115012 clauses out of 230053 with flag 6776002/18264343
1364.40/1354.72	c cleaning 116008 clauses out of 232039 with flag 6893000/18381341
1372.16/1362.41	c cleaning 116973 clauses out of 234031 with flag 7011000/18499341
1381.49/1371.79	c cleaning 118013 clauses out of 236060 with flag 7130002/18618343
1390.31/1380.58	c cleaning 119012 clauses out of 238047 with flag 7250002/18738343
1398.85/1389.05	c cleaning 119991 clauses out of 240033 with flag 7371000/18859341
1408.60/1398.71	c cleaning 121000 clauses out of 242042 with flag 7493000/18981341
1418.06/1408.14	c cleaning 122002 clauses out of 244042 with flag 7616000/19104341
1428.12/1418.10	c cleaning 122982 clauses out of 246041 with flag 7740001/19228342
1437.09/1427.02	c cleaning 124003 clauses out of 248058 with flag 7865000/19353341
1445.34/1435.26	c cleaning 125022 clauses out of 250056 with flag 7991001/19479342
1454.60/1444.42	c cleaning 126014 clauses out of 252040 with flag 8118007/19606348
1463.26/1453.05	c cleaning 126988 clauses out of 254019 with flag 8246000/19734341
1476.60/1466.37	c cleaning 128003 clauses out of 256033 with flag 8375002/19863343
1487.97/1477.61	c cleaning 128973 clauses out of 258028 with flag 8505000/19993341
1500.41/1490.02	c cleaning 129990 clauses out of 260059 with flag 8636004/20124345
1510.69/1500.30	c cleaning 131031 clauses out of 262069 with flag 8768004/20256345
1522.38/1511.85	c cleaning 131996 clauses out of 264034 with flag 8901000/20389341
1532.32/1521.78	c cleaning 132979 clauses out of 266038 with flag 9035000/20523341
1544.86/1534.20	c cleaning 134016 clauses out of 268059 with flag 9170000/20658341
1556.71/1546.06	c cleaning 135003 clauses out of 270043 with flag 9306000/20794341
1568.36/1557.64	c cleaning 136004 clauses out of 272040 with flag 9443000/20931341
1581.51/1570.76	c cleaning 136990 clauses out of 274036 with flag 9581000/21069341
1592.68/1581.84	c cleaning 138004 clauses out of 276048 with flag 9720002/21208343
1603.17/1592.20	c cleaning 138989 clauses out of 278042 with flag 9860000/21348341
1615.91/1604.97	c cleaning 140016 clauses out of 280053 with flag 10001000/21489341
1625.65/1614.69	c cleaning 140994 clauses out of 282037 with flag 10143000/21631341
1638.78/1627.76	c cleaning 142014 clauses out of 284044 with flag 10286001/21774342
1649.28/1638.16	c cleaning 143002 clauses out of 286031 with flag 10430002/21918343
1662.53/1651.31	c cleaning 144013 clauses out of 288027 with flag 10575000/22063341
1673.47/1662.27	c cleaning 144994 clauses out of 290015 with flag 10721001/22209342
1687.11/1675.81	c cleaning 146011 clauses out of 292024 with flag 10868004/22356345
1700.76/1689.40	c cleaning 146995 clauses out of 294012 with flag 11016003/22504344
1713.31/1701.99	c cleaning 148002 clauses out of 296017 with flag 11165003/22653344
1724.55/1713.17	c cleaning 148960 clauses out of 298015 with flag 11315003/22803344
1736.00/1724.55	c cleaning 150004 clauses out of 300052 with flag 11466000/22954341
1751.05/1739.50	c cleaning 150973 clauses out of 302049 with flag 11618001/23106342
1764.52/1752.97	c cleaning 152020 clauses out of 304075 with flag 11771000/23259341
1777.56/1765.99	c cleaning 153000 clauses out of 306055 with flag 11925000/23413341
1793.14/1781.41	c cleaning 153990 clauses out of 308056 with flag 12080001/23568342
1800.10/1788.31	c starts		: 376
1800.10/1788.31	c conflicts		: 23665893
1800.10/1788.31	c decisions		: 109694589
1800.10/1788.31	c propagations		: 1286239978
1800.10/1788.31	c inspects		: 6522634476
1800.10/1788.31	c shortcuts		: 0
1800.10/1788.31	c learnt literals	: 0
1800.10/1788.31	c learnt binary clauses	: 0
1800.10/1788.31	c learnt ternary clauses	: 0
1800.10/1788.31	c learnt constraints	: 23665894
1800.10/1788.31	c ignored constraints	: 0
1800.10/1788.31	c root simplifications	: 0
1800.10/1788.31	c removed literals (reason simplification)	: 0
1800.10/1788.31	c reason swapping (by a shorter reason)	: 0
1800.10/1788.31	c Calls to reduceDB	: 298
1800.10/1788.31	c number of reductions to clauses (during analyze)	: 0
1800.10/1788.31	c number of learned constraints concerned by reduction	: 0
1800.10/1788.31	c number of learning phase by resolution	: 0
1800.10/1788.31	c number of learning phase by cutting planes	: 0
1800.10/1788.31	c speed (assignments/second)	: 719364.4528062559
1800.10/1788.31	c non guided choices	11
1800.10/1788.35	c learnt constraints type 
1800.10/1788.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 251839
1800.10/1788.35	c constraints type 
1800.10/1788.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 663
1800.10/1788.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1788.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31
1800.10/1788.35	c 695 constraints processed.
1800.10/1788.35	s SATISFIABLE
1800.10/1788.35	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 
1800.10/1788.35	c objective function=27
1800.10/1788.35	c Total wall clock time (in seconds): 1788.25

Verifier Data 

OK	27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3687741-1337875508/watcher-3687741-1337875508 -o /tmp/evaluation-result-3687741-1337875508/solver-3687741-1337875508 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687741-1337875508.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.00 2.08 2.00 3/194 25609
/proc/meminfo: memFree=26435944/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25609/stat : 25609 (java) R 25607 25609 24862 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 253675135 23793664 714 33554432000 1073741824 1073778376 140736183386480 140736183375544 254741100624 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 5809 714 528 9 0 128 0

[startup+0.024956 s]
/proc/loadavg: 2.00 2.08 2.00 3/194 25609
/proc/meminfo: memFree=26435944/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 2891 0 1 0 1 0 0 0 20 0 11 0 253675135 9310650368 3591 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2273108 3591 1623 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100281 s]
/proc/loadavg: 2.00 2.08 2.00 3/194 25609
/proc/meminfo: memFree=26435944/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 4441 0 1 0 10 1 0 0 20 0 18 0 253675135 9787813888 6099 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2389603 6100 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.30019 s]
/proc/loadavg: 2.00 2.08 2.00 3/194 25609
/proc/meminfo: memFree=26435944/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 7867 0 1 0 57 2 0 0 20 0 19 0 253675135 9855975424 10182 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2406244 10182 2225 9 0 2396937 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9624976

[startup+0.700272 s]
/proc/loadavg: 2.00 2.08 2.00 3/194 25609
/proc/meminfo: memFree=26435944/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 9884 0 1 0 134 3 0 0 20 0 19 0 253675135 9855975424 10753 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2406244 10753 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9624976

[startup+1.50077 s]
/proc/loadavg: 2.00 2.08 2.00 3/213 25628
/proc/meminfo: memFree=26395212/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9624976 CPUtime=2.24 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 9950 0 1 0 221 3 0 0 20 0 19 0 253675135 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2406244 13367 2278 9 0 2396937 0
[pid=25609/tid=25611] ppid=25607 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/25609/task/25611/stat : 25611 (java) R 25607 25609 24862 0 -1 4202560 2456 0 1 0 142 2 0 0 20 0 19 0 253675136 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574569173240 140574431184659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25612] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25612/stat : 25612 (java) S 25607 25609 24862 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574558235560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25613] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25613/stat : 25613 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574557183016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25614] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25614/stat : 25614 (java) S 25607 25609 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574556129960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25615] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25615/stat : 25615 (java) S 25607 25609 24862 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574555077416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25616] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25616/stat : 25616 (java) S 25607 25609 24862 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574554024360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25617] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25617/stat : 25617 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574552971816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25618] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25618/stat : 25618 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574551918760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25619] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25619/stat : 25619 (java) S 25607 25609 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574550866216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25620] ppid=25607 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25609/task/25620/stat : 25620 (java) S 25607 25609 24862 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 253675138 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574393330536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25621] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25621/stat : 25621 (java) S 25607 25609 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574392276856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25622] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25622/stat : 25622 (java) S 25607 25609 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574391223688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25623] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25623/stat : 25623 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574390172432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25624] ppid=25607 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/25609/task/25624/stat : 25624 (java) S 25607 25609 24862 0 -1 4202560 3926 0 0 0 37 0 0 0 20 0 19 0 253675140 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574389119288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25625] ppid=25607 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/25609/task/25625/stat : 25625 (java) S 25607 25609 24862 0 -1 4202560 2317 0 0 0 34 0 0 0 20 0 19 0 253675140 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574388066744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25626] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25626/stat : 25626 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574387013880 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25627] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25627/stat : 25627 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574385961544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25628] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25628/stat : 25628 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675165 9855975424 13367 33554432000 1073741824 1073778376 140736183386480 140574384907816 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 2.00 2.08 2.00 3/213 25628
/proc/meminfo: memFree=26390744/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9624976 CPUtime=3.9 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 9960 0 1 0 387 3 0 0 20 0 19 0 253675135 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2406244 13374 2278 9 0 2396937 0
[pid=25609/tid=25611] ppid=25607 vsize=9624976 CPUtime=3 cores=1,3,5,7
/proc/25609/task/25611/stat : 25611 (java) R 25607 25609 24862 0 -1 4202560 2458 0 1 0 298 2 0 0 20 0 19 0 253675136 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574569173400 140574431190880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25612] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25612/stat : 25612 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574558235560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25613] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25613/stat : 25613 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574557183016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25614] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25614/stat : 25614 (java) S 25607 25609 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574556129960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25615] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25615/stat : 25615 (java) S 25607 25609 24862 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574555077416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25616] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25616/stat : 25616 (java) S 25607 25609 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574554024360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25617] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25617/stat : 25617 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574552971816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25618] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25618/stat : 25618 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574551918760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25619] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25619/stat : 25619 (java) S 25607 25609 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574550866216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25620] ppid=25607 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/25609/task/25620/stat : 25620 (java) S 25607 25609 24862 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 19 0 253675138 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574393330536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25621] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25621/stat : 25621 (java) S 25607 25609 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574392276856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25622] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25622/stat : 25622 (java) S 25607 25609 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574391223688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25623] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25623/stat : 25623 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574390172432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25624] ppid=25607 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/25609/task/25624/stat : 25624 (java) S 25607 25609 24862 0 -1 4202560 3927 0 0 0 37 0 0 0 20 0 19 0 253675140 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574389119288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25625] ppid=25607 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25609/task/25625/stat : 25625 (java) S 25607 25609 24862 0 -1 4202560 2319 0 0 0 38 0 0 0 20 0 19 0 253675140 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574388066744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25626] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25626/stat : 25626 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574387013880 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25627] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25627/stat : 25627 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574385961544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25628] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25628/stat : 25628 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675165 9855975424 13374 33554432000 1073741824 1073778376 140736183386480 140574384907816 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9624976

[startup+6.30079 s]
/proc/loadavg: 2.00 2.08 2.00 3/213 25628
/proc/meminfo: memFree=26384252/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9624976 CPUtime=7.16 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 10000 0 1 0 713 3 0 0 20 0 19 0 253675135 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2406244 14796 2278 9 0 2396937 0
[pid=25609/tid=25611] ppid=25607 vsize=9624976 CPUtime=6.08 cores=1,3,5,7
/proc/25609/task/25611/stat : 25611 (java) R 25607 25609 24862 0 -1 4202560 2464 0 1 0 606 2 0 0 20 0 19 0 253675136 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574569173240 140574431212264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25612] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25612/stat : 25612 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574558235560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25613] ppid=25607 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25609/task/25613/stat : 25613 (java) S 25607 25609 24862 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253675136 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574557183016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25614] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25614/stat : 25614 (java) S 25607 25609 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574556129960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25615] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25615/stat : 25615 (java) S 25607 25609 24862 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574555077416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25616] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25616/stat : 25616 (java) S 25607 25609 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253675136 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574554024360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25617] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25617/stat : 25617 (java) S 25607 25609 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574552971816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25618] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25618/stat : 25618 (java) S 25607 25609 24862 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574551918760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25619] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25619/stat : 25619 (java) S 25607 25609 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675137 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574550866216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25620] ppid=25607 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/25609/task/25620/stat : 25620 (java) S 25607 25609 24862 0 -1 4202560 31 0 0 0 12 0 0 0 20 0 19 0 253675138 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574393330536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25621] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25621/stat : 25621 (java) S 25607 25609 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574392276856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25622] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25622/stat : 25622 (java) S 25607 25609 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574391223688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25623] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25623/stat : 25623 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574390172432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25624] ppid=25607 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/25609/task/25624/stat : 25624 (java) S 25607 25609 24862 0 -1 4202560 3927 0 0 0 37 0 0 0 20 0 19 0 253675140 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574389119288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25625] ppid=25607 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25609/task/25625/stat : 25625 (java) S 25607 25609 24862 0 -1 4202560 2319 0 0 0 38 0 0 0 20 0 19 0 253675140 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574388066744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25626] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25626/stat : 25626 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574387013880 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25627] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25627/stat : 25627 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574385961544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25628] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25628/stat : 25628 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675165 9855975424 14796 33554432000 1073741824 1073778376 140736183386480 140574384907816 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=25609/tid=25624] ppid=25607 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/25609/task/25624/stat : 25624 (java) S 25607 25609 24862 0 -1 4202560 3927 0 0 0 37 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574389119288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25625] ppid=25607 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/25609/task/25625/stat : 25625 (java) S 25607 25609 24862 0 -1 4202560 2327 0 0 0 41 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574388066744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25626] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25626/stat : 25626 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574387013880 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25627] ppid=25607 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/25609/task/25627/stat : 25627 (java) S 25607 25609 24862 0 -1 4202560 99 0 0 0 23 22 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574385961544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25628] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25628/stat : 25628 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675165 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574384907816 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1733.8
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 25704
/proc/meminfo: memFree=26190956/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9624976 CPUtime=1794.09 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 12816 0 1 0 179361 48 0 0 20 0 19 0 253675135 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2406244 56505 2279 9 0 2396937 0
[pid=25609/tid=25611] ppid=25607 vsize=9624976 CPUtime=1754.94 cores=1,3,5,7
/proc/25609/task/25611/stat : 25611 (java) R 25607 25609 24862 0 -1 4202560 2766 0 1 0 175466 28 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574569173400 140574431243532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25612] ppid=25607 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/25609/task/25612/stat : 25612 (java) S 25607 25609 24862 0 -1 4202560 324 0 0 0 184 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574558235560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25613] ppid=25607 vsize=9624976 CPUtime=2.04 cores=1,3,5,7
/proc/25609/task/25613/stat : 25613 (java) S 25607 25609 24862 0 -1 4202560 174 0 0 0 201 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574557183016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25614] ppid=25607 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/25609/task/25614/stat : 25614 (java) S 25607 25609 24862 0 -1 4202560 263 0 0 0 189 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574556129960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25615] ppid=25607 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/25609/task/25615/stat : 25615 (java) S 25607 25609 24862 0 -1 4202560 275 0 0 0 187 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574555077416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25616] ppid=25607 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/25609/task/25616/stat : 25616 (java) S 25607 25609 24862 0 -1 4202560 231 0 0 0 183 2 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574554024360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25617] ppid=25607 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/25609/task/25617/stat : 25617 (java) S 25607 25609 24862 0 -1 4202560 262 0 0 0 183 3 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574552971816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25618] ppid=25607 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/25609/task/25618/stat : 25618 (java) S 25607 25609 24862 0 -1 4202560 532 0 0 0 184 3 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574551918760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25619] ppid=25607 vsize=9624976 CPUtime=1.89 cores=1,3,5,7
/proc/25609/task/25619/stat : 25619 (java) S 25607 25609 24862 0 -1 4202560 274 0 0 0 187 2 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574550866216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25620] ppid=25607 vsize=9624976 CPUtime=18.34 cores=1,3,5,7
/proc/25609/task/25620/stat : 25620 (java) S 25607 25609 24862 0 -1 4202560 173 0 0 0 1830 4 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574393330536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25621] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25621/stat : 25621 (java) S 25607 25609 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574392276856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25622] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25622/stat : 25622 (java) S 25607 25609 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574391223688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25623] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25623/stat : 25623 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574390172432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25624] ppid=25607 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/25609/task/25624/stat : 25624 (java) S 25607 25609 24862 0 -1 4202560 3927 0 0 0 37 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574389119288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25625] ppid=25607 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/25609/task/25625/stat : 25625 (java) S 25607 25609 24862 0 -1 4202560 2327 0 0 0 41 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574388066744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25626] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25626/stat : 25626 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574387013880 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25627] ppid=25607 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/25609/task/25627/stat : 25627 (java) S 25607 25609 24862 0 -1 4202560 103 0 0 0 24 23 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574385961544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25628] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25628/stat : 25628 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675165 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574384907816 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.09
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 25704
/proc/meminfo: memFree=26190956/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 12816 0 1 0 179962 48 0 0 20 0 19 0 253675135 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2406244 56505 2279 9 0 2396937 0
[pid=25609/tid=25611] ppid=25607 vsize=9624976 CPUtime=1760.93 cores=1,3,5,7
/proc/25609/task/25611/stat : 25611 (java) R 25607 25609 24862 0 -1 4202560 2766 0 1 0 176065 28 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574569173280 140574430824225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25612] ppid=25607 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/25609/task/25612/stat : 25612 (java) S 25607 25609 24862 0 -1 4202560 324 0 0 0 184 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574558235560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25613] ppid=25607 vsize=9624976 CPUtime=2.04 cores=1,3,5,7
/proc/25609/task/25613/stat : 25613 (java) S 25607 25609 24862 0 -1 4202560 174 0 0 0 201 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574557183016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25614] ppid=25607 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/25609/task/25614/stat : 25614 (java) S 25607 25609 24862 0 -1 4202560 263 0 0 0 189 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574556129960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25615] ppid=25607 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/25609/task/25615/stat : 25615 (java) S 25607 25609 24862 0 -1 4202560 275 0 0 0 187 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574555077416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25616] ppid=25607 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/25609/task/25616/stat : 25616 (java) S 25607 25609 24862 0 -1 4202560 231 0 0 0 183 2 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574554024360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25617] ppid=25607 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/25609/task/25617/stat : 25617 (java) S 25607 25609 24862 0 -1 4202560 262 0 0 0 183 3 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574552971816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25618] ppid=25607 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/25609/task/25618/stat : 25618 (java) S 25607 25609 24862 0 -1 4202560 532 0 0 0 184 3 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574551918760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25619] ppid=25607 vsize=9624976 CPUtime=1.89 cores=1,3,5,7
/proc/25609/task/25619/stat : 25619 (java) S 25607 25609 24862 0 -1 4202560 274 0 0 0 187 2 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574550866216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25620] ppid=25607 vsize=9624976 CPUtime=18.34 cores=1,3,5,7
/proc/25609/task/25620/stat : 25620 (java) S 25607 25609 24862 0 -1 4202560 173 0 0 0 1830 4 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574393330536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25621] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25621/stat : 25621 (java) S 25607 25609 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574392276856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25622] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25622/stat : 25622 (java) S 25607 25609 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574391223688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25623] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25623/stat : 25623 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574390172432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25624] ppid=25607 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/25609/task/25624/stat : 25624 (java) S 25607 25609 24862 0 -1 4202560 3927 0 0 0 37 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574389119288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25625] ppid=25607 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/25609/task/25625/stat : 25625 (java) S 25607 25609 24862 0 -1 4202560 2327 0 0 0 41 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574388066744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25626] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25626/stat : 25626 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574387013880 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25627] ppid=25607 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/25609/task/25627/stat : 25627 (java) S 25607 25609 24862 0 -1 4202560 103 0 0 0 24 23 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574385961544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25628] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25628/stat : 25628 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675165 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574384907816 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1788.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 25704
/proc/meminfo: memFree=26190956/32873844 swapFree=7364/7364
[pid=25609] ppid=25607 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/25609/stat : 25609 (java) S 25607 25609 24862 0 -1 4202496 12816 0 1 0 179962 48 0 0 20 0 19 0 253675135 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140736183377616 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25609/statm: 2406244 56505 2279 9 0 2396937 0
[pid=25609/tid=25611] ppid=25607 vsize=9624976 CPUtime=1760.93 cores=1,3,5,7
/proc/25609/task/25611/stat : 25611 (java) R 25607 25609 24862 0 -1 4202560 2766 0 1 0 176065 28 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574569173280 140574430824225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25612] ppid=25607 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/25609/task/25612/stat : 25612 (java) S 25607 25609 24862 0 -1 4202560 324 0 0 0 184 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574558235560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25613] ppid=25607 vsize=9624976 CPUtime=2.04 cores=1,3,5,7
/proc/25609/task/25613/stat : 25613 (java) S 25607 25609 24862 0 -1 4202560 174 0 0 0 201 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574557183016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25614] ppid=25607 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/25609/task/25614/stat : 25614 (java) S 25607 25609 24862 0 -1 4202560 263 0 0 0 189 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574556129960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25615] ppid=25607 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/25609/task/25615/stat : 25615 (java) S 25607 25609 24862 0 -1 4202560 275 0 0 0 187 3 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574555077416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25616] ppid=25607 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/25609/task/25616/stat : 25616 (java) S 25607 25609 24862 0 -1 4202560 231 0 0 0 183 2 0 0 20 0 19 0 253675136 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574554024360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25617] ppid=25607 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/25609/task/25617/stat : 25617 (java) S 25607 25609 24862 0 -1 4202560 262 0 0 0 183 3 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574552971816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25618] ppid=25607 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/25609/task/25618/stat : 25618 (java) S 25607 25609 24862 0 -1 4202560 532 0 0 0 184 3 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574551918760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25619] ppid=25607 vsize=9624976 CPUtime=1.89 cores=1,3,5,7
/proc/25609/task/25619/stat : 25619 (java) S 25607 25609 24862 0 -1 4202560 274 0 0 0 187 2 0 0 20 0 19 0 253675137 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574550866216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25609/tid=25620] ppid=25607 vsize=9624976 CPUtime=18.34 cores=1,3,5,7
/proc/25609/task/25620/stat : 25620 (java) S 25607 25609 24862 0 -1 4202560 173 0 0 0 1830 4 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574393330536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25621] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25621/stat : 25621 (java) S 25607 25609 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574392276856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25622] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25622/stat : 25622 (java) S 25607 25609 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675138 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574391223688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25623] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25623/stat : 25623 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574390172432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25624] ppid=25607 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/25609/task/25624/stat : 25624 (java) S 25607 25609 24862 0 -1 4202560 3927 0 0 0 37 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574389119288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25625] ppid=25607 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/25609/task/25625/stat : 25625 (java) S 25607 25609 24862 0 -1 4202560 2327 0 0 0 41 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574388066744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25609/tid=25626] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25626/stat : 25626 (java) S 25607 25609 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574387013880 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25609/tid=25627] ppid=25607 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/25609/task/25627/stat : 25627 (java) S 25607 25609 24862 0 -1 4202560 103 0 0 0 24 23 0 0 20 0 19 0 253675140 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574385961544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25609/tid=25628] ppid=25607 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25609/task/25628/stat : 25628 (java) S 25607 25609 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253675165 9855975424 56505 33554432000 1073741824 1073778376 140736183386480 140574384907816 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25609 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=159094
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=912861
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1788.36
CPU time (s): 1800.1
CPU user time (s): 1799.62
CPU system time (s): 0.48
CPU usage (%): 100.657
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 0.912861
maximum resident set size= 226148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12850
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46365
involuntary context switches= 30921

runsolver used 6.63199 second user time and 14.3618 second system time

The end

Launcher Data 

Begin job on node145 at 2012-05-24 18:05:08
IDJOB=3687741
IDBENCH=2049
IDSOLVER=2269
FILE ID=node145/3687741-1337875508
RUNJOBID= node145-1337871881-24879
PBS_JOBID= 14620059
Free space on /tmp= 71656 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687741-1337875508/watcher-3687741-1337875508 -o /tmp/evaluation-result-3687741-1337875508/solver-3687741-1337875508 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687741-1337875508.opb

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

MD5SUM BENCH= 931342e76f648ae82c047d164917a326
RANDOM SEED=1755138457

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26436216 kB
Buffers:          206464 kB
Cached:          2672488 kB
SwapCached:            0 kB
Active:          3178592 kB
Inactive:        2457616 kB
Active(anon):    2759460 kB
Inactive(anon):        0 kB
Active(file):     419132 kB
Inactive(file):  2457616 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               192 kB
Writeback:             0 kB
AnonPages:       2821372 kB
Mapped:            22560 kB
Shmem:               200 kB
Slab:             630128 kB
SReclaimable:      72524 kB
SUnreclaim:       557604 kB
KernelStack:        1760 kB
PageTables:         9592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    4318332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2758656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71652 MiB
End job on node145 at 2012-05-24 18:34:58