Trace number 3454527

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)148 1800.19 928.015

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454527-1307188473.opb
0.10/0.11	c reading problem ... 
1.19/0.61	c ... done. Wall clock time 0.502s.
1.19/0.61	c #vars     1344
1.19/0.61	c #constraints  16376
1.19/0.61	c constraints type 
1.19/0.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1.19/0.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1.19/0.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1.19/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.19/0.61	c constraints type 
1.19/0.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1.19/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1.19/0.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1.19/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7392
1.89/0.81	c  And the winner is Resolution
2.07/1.12	c SATISFIABLE
2.07/1.12	c OPTIMIZING...
2.07/1.12	c Got one! Elapsed wall clock time (in seconds):1.01
2.07/1.12	o 182
5.24/2.26	c cleaning 2788 clauses out of 5582 with flag 5001/5582
6.47/2.86	c  And the winner is Resolution
6.65/3.13	c Got one! Elapsed wall clock time (in seconds):3.021
6.65/3.13	o 176
6.65/3.20	c cleaning 4044 clauses out of 8096 with flag 1000/10884
7.17/3.47	c  And the winner is Resolution
7.34/3.64	c Got one! Elapsed wall clock time (in seconds):3.527
7.34/3.64	o 170
8.37/4.10	c cleaning 4919 clauses out of 9849 with flag 4000/16681
10.72/5.33	c cleaning 5456 clauses out of 10930 with flag 10000/22681
14.10/7.06	c cleaning 6217 clauses out of 12474 with flag 17000/29681
17.24/8.62	c cleaning 7120 clauses out of 14257 with flag 25000/37681
21.19/10.67	c cleaning 8029 clauses out of 16137 with flag 34000/46681
25.33/12.74	c cleaning 9019 clauses out of 18110 with flag 44002/56683
30.22/15.27	c cleaning 10035 clauses out of 20089 with flag 55000/67681
36.55/18.47	c cleaning 11011 clauses out of 22054 with flag 67000/79681
44.07/22.23	c cleaning 12000 clauses out of 24043 with flag 80000/92681
51.98/26.30	c cleaning 12982 clauses out of 26045 with flag 94002/106683
60.43/30.54	c cleaning 14011 clauses out of 28061 with flag 109000/121681
70.34/35.57	c cleaning 14993 clauses out of 30051 with flag 125001/137682
84.89/42.90	c cleaning 15918 clauses out of 32057 with flag 142000/154681
97.35/49.13	c cleaning 16488 clauses out of 33143 with flag 159004/171685
107.96/54.54	c cleaning 16800 clauses out of 33652 with flag 176001/188682
121.23/61.23	c cleaning 16862 clauses out of 33854 with flag 193003/205684
134.90/68.14	c cleaning 16973 clauses out of 33991 with flag 210002/222683
147.97/74.72	c cleaning 16952 clauses out of 34017 with flag 227001/239682
162.34/82.09	c cleaning 16962 clauses out of 34064 with flag 244000/256681
173.78/87.81	c cleaning 16993 clauses out of 34102 with flag 261000/273681
185.41/93.74	c cleaning 17009 clauses out of 34110 with flag 278001/290682
199.04/100.63	c cleaning 17007 clauses out of 34100 with flag 295000/307681
212.18/107.40	c cleaning 16968 clauses out of 34096 with flag 312003/324684
227.40/115.06	c cleaning 16940 clauses out of 34127 with flag 329002/341683
241.01/121.96	c cleaning 16994 clauses out of 34185 with flag 346000/358681
257.01/130.06	c cleaning 16992 clauses out of 34191 with flag 363000/375681
264.51/133.95	c cleaning 0 clauses out of 5673 with flag 0/5674
272.21/137.75	c cleaning 17089 clauses out of 34199 with flag 380000/392681
283.73/143.53	c cleaning 17009 clauses out of 34111 with flag 397001/409682
297.12/150.38	c cleaning 17009 clauses out of 34104 with flag 414003/426684
309.80/156.89	c cleaning 16965 clauses out of 34092 with flag 431000/443681
324.58/164.39	c cleaning 17019 clauses out of 34127 with flag 448000/460681
343.75/174.03	c cleaning 16972 clauses out of 34108 with flag 465000/477681
358.54/181.59	c cleaning 17043 clauses out of 34139 with flag 482003/494684
375.80/190.40	c cleaning 16995 clauses out of 34093 with flag 499000/511681
386.74/195.93	c cleaning 17020 clauses out of 34100 with flag 516002/528683
400.50/202.91	c cleaning 17007 clauses out of 34080 with flag 533002/545683
415.65/210.63	c cleaning 16992 clauses out of 34073 with flag 550002/562683
430.89/218.46	c cleaning 16977 clauses out of 34079 with flag 567000/579681
443.03/224.70	c cleaning 17019 clauses out of 34102 with flag 584000/596681
454.18/230.38	c cleaning 17010 clauses out of 34083 with flag 601000/613681
465.92/236.36	c cleaning 17023 clauses out of 34074 with flag 618001/630682
478.73/243.00	c cleaning 17000 clauses out of 34051 with flag 635001/647682
491.26/249.35	c cleaning 16991 clauses out of 34051 with flag 652001/664682
503.00/255.35	c cleaning 16971 clauses out of 34060 with flag 669001/681682
516.13/262.05	c cleaning 16909 clauses out of 34088 with flag 686000/698681
530.15/269.22	c cleaning 16963 clauses out of 34184 with flag 703005/715686
542.67/275.61	c cleaning 17024 clauses out of 34216 with flag 720000/732681
559.79/284.35	c cleaning 17006 clauses out of 34194 with flag 737002/749683
575.51/292.32	c cleaning 17016 clauses out of 34188 with flag 754002/766683
592.09/300.83	c cleaning 17009 clauses out of 34174 with flag 771004/783685
605.79/307.86	c cleaning 16973 clauses out of 34163 with flag 788002/800683
616.71/313.45	c cleaning 16996 clauses out of 34189 with flag 805001/817682
631.19/320.80	c cleaning 17053 clauses out of 34192 with flag 822000/834681
644.95/327.95	c cleaning 17014 clauses out of 34139 with flag 839000/851681
657.46/334.36	c cleaning 16999 clauses out of 34125 with flag 856000/868681
672.12/341.85	c cleaning 17046 clauses out of 34127 with flag 873001/885682
681.60/346.74	c cleaning 17005 clauses out of 34081 with flag 890001/902682
693.95/353.18	c cleaning 16966 clauses out of 34076 with flag 907001/919682
704.62/358.69	c cleaning 17030 clauses out of 34110 with flag 924001/936682
714.06/363.56	c  And the winner is Resolution
714.74/364.15	c Got one! Elapsed wall clock time (in seconds):364.041
714.74/364.15	o 168
715.96/364.71	c cleaning 18185 clauses out of 36380 with flag 5001/955982
719.83/366.81	c cleaning 12058 clauses out of 24195 with flag 11001/961982
722.57/368.50	c  And the winner is Resolution
722.88/368.80	c Got one! Elapsed wall clock time (in seconds):368.692
722.88/368.80	o 166
723.09/368.90	c cleaning 8775 clauses out of 17566 with flag 1000/967411
724.20/369.61	c  And the winner is Resolution
724.32/369.81	c Got one! Elapsed wall clock time (in seconds):369.7
724.32/369.81	o 162
724.70/370.09	c cleaning 7171 clauses out of 14397 with flag 2000/973017
726.99/371.36	c cleaning 6583 clauses out of 13228 with flag 8002/979019
730.07/373.07	c  And the winner is Resolution
730.34/373.25	c Got one! Elapsed wall clock time (in seconds):373.138
730.34/373.25	o 156
732.64/374.45	c cleaning 9150 clauses out of 18348 with flag 5001/990722
735.37/376.04	c  And the winner is Resolution
735.78/376.46	c Got one! Elapsed wall clock time (in seconds):376.349
735.78/376.46	o 150
736.07/376.63	c cleaning 7586 clauses out of 15187 with flag 2000/996711
738.15/377.82	c cleaning 6762 clauses out of 13602 with flag 8001/1002712
739.05/378.45	c  And the winner is Resolution
739.50/378.88	c Got one! Elapsed wall clock time (in seconds):378.768
739.50/378.88	o 148
740.60/379.43	c cleaning 6366 clauses out of 12773 with flag 4000/1008645
743.46/381.05	c cleaning 6146 clauses out of 12409 with flag 10002/1014647
747.18/383.13	c cleaning 6604 clauses out of 13261 with flag 17000/1021645
751.26/385.37	c cleaning 7288 clauses out of 14657 with flag 25000/1029645
755.75/387.72	c cleaning 8139 clauses out of 16371 with flag 34002/1038647
762.01/391.04	c cleaning 9075 clauses out of 18232 with flag 44002/1048647
769.96/395.20	c cleaning 10030 clauses out of 20155 with flag 55000/1059645
778.24/399.55	c cleaning 11027 clauses out of 22126 with flag 67001/1071646
786.50/403.86	c cleaning 12017 clauses out of 24098 with flag 80000/1084645
795.37/408.40	c cleaning 13005 clauses out of 26081 with flag 94000/1098645
808.08/415.05	c cleaning 14020 clauses out of 28077 with flag 109001/1113646
821.13/421.71	c cleaning 14980 clauses out of 30056 with flag 125000/1129645
835.19/428.99	c cleaning 16007 clauses out of 32076 with flag 142000/1146645
848.43/435.77	c cleaning 16503 clauses out of 33069 with flag 159000/1163645
864.11/443.85	c cleaning 16724 clauses out of 33566 with flag 176000/1180645
878.75/451.39	c cleaning 16882 clauses out of 33843 with flag 193001/1197646
894.18/459.23	c cleaning 16942 clauses out of 33962 with flag 210002/1214647
909.62/467.18	c cleaning 16995 clauses out of 34018 with flag 227000/1231645
923.69/474.48	c cleaning 16982 clauses out of 34024 with flag 244001/1248646
937.72/481.67	c cleaning 16966 clauses out of 34043 with flag 261002/1265647
951.96/488.99	c cleaning 16971 clauses out of 34075 with flag 278000/1282645
968.59/497.42	c cleaning 16981 clauses out of 34108 with flag 295004/1299649
984.05/505.49	c cleaning 16991 clauses out of 34123 with flag 312000/1316645
997.47/512.36	c cleaning 16971 clauses out of 34132 with flag 329000/1333645
1011.47/519.59	c cleaning 17035 clauses out of 34162 with flag 346001/1350646
1026.68/527.36	c cleaning 17008 clauses out of 34126 with flag 363000/1367645
1041.51/535.04	c cleaning 16989 clauses out of 34119 with flag 380001/1384646
1052.71/540.85	c cleaning 17012 clauses out of 34129 with flag 397000/1401645
1062.91/546.12	c cleaning 17048 clauses out of 34117 with flag 414000/1418645
1073.72/551.77	c cleaning 17000 clauses out of 34070 with flag 431001/1435646
1087.15/558.71	c cleaning 16982 clauses out of 34069 with flag 448000/1452645
1103.96/567.39	c cleaning 17009 clauses out of 34090 with flag 465003/1469648
1116.17/573.69	c cleaning 17003 clauses out of 34078 with flag 482000/1486645
1130.36/580.91	c cleaning 16979 clauses out of 34075 with flag 499000/1503645
1144.79/588.42	c cleaning 17016 clauses out of 34098 with flag 516002/1520647
1157.16/594.83	c cleaning 17009 clauses out of 34081 with flag 533001/1537646
1171.75/602.31	c cleaning 16987 clauses out of 34071 with flag 550000/1554645
1188.54/610.98	c cleaning 16992 clauses out of 34085 with flag 567001/1571646
1201.54/617.75	c cleaning 17033 clauses out of 34092 with flag 584000/1588645
1215.92/625.14	c cleaning 16991 clauses out of 34060 with flag 601001/1605646
1228.89/631.87	c cleaning 16952 clauses out of 34068 with flag 618000/1622645
1242.27/638.77	c cleaning 17019 clauses out of 34116 with flag 635000/1639645
1255.25/645.51	c cleaning 16972 clauses out of 34097 with flag 652000/1656645
1268.44/652.36	c cleaning 17009 clauses out of 34125 with flag 669000/1673645
1279.99/658.33	c cleaning 17027 clauses out of 34117 with flag 686001/1690646
1295.16/666.12	c cleaning 17000 clauses out of 34090 with flag 703001/1707646
1310.75/674.30	c cleaning 17026 clauses out of 34091 with flag 720002/1724647
1324.89/681.51	c cleaning 16999 clauses out of 34063 with flag 737000/1741645
1339.05/688.83	c cleaning 16981 clauses out of 34064 with flag 754000/1758645
1354.20/696.61	c cleaning 16994 clauses out of 34084 with flag 771001/1775646
1368.37/704.09	c cleaning 17010 clauses out of 34092 with flag 788003/1792648
1384.10/712.13	c cleaning 16987 clauses out of 34080 with flag 805001/1809646
1397.64/719.18	c cleaning 17002 clauses out of 34094 with flag 822002/1826647
1410.39/725.76	c cleaning 17010 clauses out of 34090 with flag 839000/1843645
1423.73/732.76	c cleaning 0 clauses out of 11643 with flag 0/11648
1425.74/733.99	c cleaning 16997 clauses out of 34080 with flag 856000/1860645
1441.68/742.11	c cleaning 17006 clauses out of 34084 with flag 873001/1877646
1457.44/750.27	c cleaning 16982 clauses out of 34077 with flag 890000/1894645
1473.16/758.44	c cleaning 17010 clauses out of 34095 with flag 907000/1911645
1487.10/765.62	c cleaning 17005 clauses out of 34086 with flag 924001/1928646
1500.83/772.74	c cleaning 16993 clauses out of 34081 with flag 941001/1945646
1512.76/778.98	c cleaning 16980 clauses out of 34088 with flag 958001/1962646
1527.10/786.42	c cleaning 17020 clauses out of 34109 with flag 975002/1979647
1544.03/795.16	c cleaning 16947 clauses out of 34087 with flag 992000/1996645
1561.37/804.03	c cleaning 17010 clauses out of 34140 with flag 1009000/2013645
1575.88/811.52	c cleaning 17038 clauses out of 34131 with flag 1026001/2030646
1592.19/820.00	c cleaning 16993 clauses out of 34092 with flag 1043000/2047645
1603.93/826.13	c cleaning 17012 clauses out of 34100 with flag 1060001/2064646
1615.02/831.92	c cleaning 16984 clauses out of 34088 with flag 1077001/2081646
1625.33/837.39	c cleaning 17025 clauses out of 34103 with flag 1094000/2098645
1639.24/844.69	c cleaning 16989 clauses out of 34078 with flag 1111000/2115645
1656.15/853.33	c cleaning 16955 clauses out of 34090 with flag 1128001/2132646
1671.08/861.02	c cleaning 17008 clauses out of 34137 with flag 1145003/2149648
1687.58/869.54	c cleaning 16987 clauses out of 34126 with flag 1162000/2166645
1706.27/879.27	c cleaning 16993 clauses out of 34142 with flag 1179003/2183648
1721.18/886.95	c cleaning 16964 clauses out of 34147 with flag 1196001/2200646
1736.91/895.09	c cleaning 17002 clauses out of 34184 with flag 1213002/2217647
1751.61/902.62	c cleaning 16992 clauses out of 34180 with flag 1230000/2234645
1765.30/909.82	c cleaning 17076 clauses out of 34192 with flag 1247004/2251649
1780.40/917.65	c cleaning 17007 clauses out of 34112 with flag 1264000/2268645
1796.09/925.72	c cleaning 17022 clauses out of 34105 with flag 1281000/2285645
1800.02/927.91	c starts		: 237
1800.02/927.91	c conflicts		: 2290479
1800.02/927.91	c decisions		: 3464832
1800.02/927.91	c propagations		: 281007852
1800.02/927.91	c inspects		: 6455246247
1800.02/927.91	c shortcuts		: 0
1800.02/927.91	c learnt literals	: 0
1800.02/927.91	c learnt binary clauses	: 0
1800.02/927.91	c learnt ternary clauses	: 4
1800.02/927.91	c learnt constraints	: 2290478
1800.02/927.91	c ignored constraints	: 0
1800.02/927.91	c root simplifications	: 0
1800.02/927.91	c removed literals (reason simplification)	: 91584211
1800.02/927.91	c reason swapping (by a shorter reason)	: 0
1800.02/927.91	c Calls to reduceDB	: 149
1800.02/927.91	c number of reductions to clauses (during analyze)	: 0
1800.02/927.91	c number of learned constraints concerned by reduction	: 0
1800.02/927.91	c number of learning phase by resolution	: 0
1800.02/927.91	c number of learning phase by cutting planes	: 0
1800.02/927.91	c speed (assignments/second)	: 511824.1778257005
1800.02/927.91	c non guided choices	723
1800.02/927.93	c learnt constraints type 
1800.02/927.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 21935
1800.02/927.93	c constraints type 
1800.02/927.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.02/927.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.02/927.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.02/927.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.02/927.93	c constraints type 
1800.02/927.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1800.02/927.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1800.02/927.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1800.02/927.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7393
1800.02/927.93	s SATISFIABLE
1800.02/927.93	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 x898 x899 -x900 -x901 x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 x963 -x964 -x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 x1342 x1343 -x1344 
1800.02/927.93	c objective function=148
1800.02/927.93	c Total wall clock time (in seconds): 927.819

Verifier Data 

OK	148

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-3454527-1307188473/watcher-3454527-1307188473 -o /tmp/evaluation-result-3454527-1307188473/solver-3454527-1307188473 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454527-1307188473.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: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14340/stat : 14340 (java) R 14338 14340 10640 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 830448102 23580672 693 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222916814737 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14340/statm: 5757 693 510 9 0 124 0
[pid=14340/tid=14341] ppid=14338 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 830448103 36646912 1018 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222921797190 0 0 0 16784584 4532508816016670719 0 0 -1 3 0 0 0

[startup+0.073461 s]
/proc/loadavg: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 11858 0 1 0 5 1 0 0 25 0 18 0 830448102 10724442112 11554 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2618272 11554 1754 9 0 2609006 0
[pid=14340/tid=14341] ppid=14338 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) R 14338 14340 10640 0 -1 4202560 10684 0 1 0 4 1 0 0 25 0 18 0 830448103 10724442112 11556 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100423 s]
/proc/loadavg: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10540256 CPUtime=0.1 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 13032 0 1 0 8 2 0 0 25 0 18 0 830448102 10793222144 12728 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2635064 12728 2092 9 0 2625798 0
[pid=14340/tid=14341] ppid=14338 vsize=10540256 CPUtime=0.08 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) R 14338 14340 10640 0 -1 4202560 11111 0 1 0 7 1 0 0 18 0 18 0 830448103 10793222144 12728 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222921438241 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540256

[startup+0.300385 s]
/proc/loadavg: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10541896 CPUtime=0.51 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 17361 0 1 0 48 3 0 0 25 0 18 0 830448102 10794901504 16550 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2635474 16551 2200 9 0 2626208 0
[pid=14340/tid=14341] ppid=14338 vsize=10541896 CPUtime=0.28 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) R 14338 14340 10640 0 -1 4202560 14166 0 1 0 26 2 0 0 18 0 18 0 830448103 10794901504 16551 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 47910618692404 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541896

[startup+0.700314 s]
/proc/loadavg: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10550756 CPUtime=1.5 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 42483 0 1 0 144 6 0 0 25 0 22 0 830448102 10803974144 40420 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2637689 40421 2234 9 0 2628423 0
[pid=14340/tid=14341] ppid=14338 vsize=10550756 CPUtime=0.6 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35399 0 1 0 55 5 0 0 19 0 22 0 830448103 10803974144 40421 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10550756

[startup+1.50117 s]
/proc/loadavg: 4.02 3.88 2.99 3/313 14362
/proc/meminfo: memFree=24591428/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10558808 CPUtime=3.54 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 75971 0 1 0 344 10 0 0 25 0 22 0 830448102 10812219392 69887 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2639702 69892 2245 9 0 2630436 0
[pid=14340/tid=14341] ppid=14338 vsize=10558808 CPUtime=0.61 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35457 0 1 0 56 5 0 0 16 0 22 0 830448103 10812219392 69894 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830448104 10812219392 69896 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830448104 10812219392 69899 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830448104 10812219392 69901 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69904 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69907 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69910 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69912 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69915 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830448105 10812219392 69918 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 830448106 10812219392 69920 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830448106 10812219392 69923 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10812219392 69925 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10558808 CPUtime=0.87 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) R 14338 14340 10640 0 -1 4202560 6381 0 0 0 87 0 0 0 24 0 22 0 830448108 10812219392 69927 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 47910616882421 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10558808 CPUtime=0.9 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) R 14338 14340 10640 0 -1 4202560 7292 0 0 0 90 0 0 0 24 0 22 0 830448108 10812219392 69929 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 47910613425119 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10812219392 69932 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830448108 10812219392 69934 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830448165 10812219392 69936 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10558808

[startup+3.10091 s]
/proc/loadavg: 4.02 3.88 2.99 5/316 14365
/proc/meminfo: memFree=24279420/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10558808 CPUtime=6.65 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 183232 0 1 0 643 22 0 0 25 0 19 0 830448102 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2639702 176399 2269 9 0 2630436 0
[pid=14340/tid=14341] ppid=14338 vsize=10558808 CPUtime=0.61 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35457 0 1 0 56 5 0 0 15 0 19 0 830448103 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 273 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10558808 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1037 0 0 0 1 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 915 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 860 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10558808 CPUtime=0.05 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 3798 0 0 0 5 0 0 0 16 0 19 0 830448105 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830448106 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830448106 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10558808 CPUtime=1 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6401 0 0 0 100 0 0 0 15 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10558808 CPUtime=1.17 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 7564 0 0 0 117 0 0 0 16 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830448165 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 10558808

[startup+6.30132 s]
/proc/loadavg: 4.02 3.88 2.99 4/316 14371
/proc/meminfo: memFree=24037052/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10555800 CPUtime=12.7 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 188594 0 1 0 1247 23 0 0 25 0 22 0 830448102 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2638950 180204 2269 9 0 2629684 0
[pid=14340/tid=14341] ppid=14338 vsize=10555800 CPUtime=0.61 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35460 0 1 0 56 5 0 0 15 0 22 0 830448103 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 714 0 0 0 1 0 0 0 18 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1186 0 0 0 1 0 0 0 16 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 916 0 0 0 1 0 0 0 15 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 854 0 0 0 1 0 0 0 16 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 168 0 0 0 0 0 0 0 16 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 358 0 0 0 1 0 0 0 15 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1196 0 0 0 1 0 0 0 16 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10555800 CPUtime=0.22 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 5343 0 0 0 22 0 0 0 16 0 22 0 830448105 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10555800 CPUtime=1.08 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6407 0 0 0 108 0 0 0 15 0 22 0 830448108 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10555800 CPUtime=1.29 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 8411 0 0 0 129 0 0 0 15 0 22 0 830448108 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0

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

[pid=14340/tid=14607] ppid=14338 vsize=10555800 CPUtime=411.09 cores=1,3,5,7
/proc/14340/task/14607/stat : 14607 (java) R 14338 14340 10640 0 -1 4202560 2 0 0 0 41109 0 0 0 25 0 22 0 830485991 10809139200 526341 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505839948 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14608] ppid=14338 vsize=10555800 CPUtime=411.09 cores=1,3,5,7
/proc/14340/task/14608/stat : 14608 (java) R 14338 14340 10640 0 -1 4202560 7 0 0 0 41109 0 0 0 25 0 22 0 830485991 10809139200 526341 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505919245 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14340/tid=14609] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14609/stat : 14609 (java) S 14338 14340 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830485991 10809139200 526341 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1596.31
Current children cumulated vsize (KiB) 10555800

[startup+882.301 s]
/proc/loadavg: 3.72 3.72 3.41 5/316 14635
/proc/meminfo: memFree=25581660/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10555800 CPUtime=1711.98 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 540822 0 1 0 171131 67 0 0 25 0 22 0 830448102 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2638950 528154 2270 9 0 2629684 0
[pid=14340/tid=14341] ppid=14338 vsize=10555800 CPUtime=0.62 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35545 0 1 0 57 5 0 0 15 0 22 0 830448103 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10555800 CPUtime=0.74 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 1249 0 0 0 74 0 0 0 15 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10555800 CPUtime=0.75 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1484 0 0 0 75 0 0 0 16 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10555800 CPUtime=0.72 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 1292 0 0 0 72 0 0 0 16 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10555800 CPUtime=0.62 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 1321 0 0 0 62 0 0 0 15 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10555800 CPUtime=0.71 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1209 0 0 0 71 0 0 0 16 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10555800 CPUtime=0.71 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 363 0 0 0 71 0 0 0 16 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10555800 CPUtime=0.77 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 996 0 0 0 77 0 0 0 15 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10555800 CPUtime=0.86 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1886 0 0 0 86 0 0 0 15 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10555800 CPUtime=53.59 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 66414 0 0 0 5353 6 0 0 15 0 22 0 830448105 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 830448106 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10555800 CPUtime=1.24 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6407 0 0 0 124 0 0 0 15 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10555800 CPUtime=1.95 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 12478 0 0 0 194 1 0 0 15 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830448165 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14607] ppid=14338 vsize=10555800 CPUtime=466.46 cores=1,3,5,7
/proc/14340/task/14607/stat : 14607 (java) R 14338 14340 10640 0 -1 4202560 2 0 0 0 46646 0 0 0 25 0 22 0 830485991 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912506267744 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14608] ppid=14338 vsize=10555800 CPUtime=466.46 cores=1,3,5,7
/proc/14340/task/14608/stat : 14608 (java) R 14338 14340 10640 0 -1 4202560 8 0 0 0 46646 0 0 0 25 0 22 0 830485991 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505919183 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14340/tid=14609] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14609/stat : 14609 (java) S 14338 14340 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830485991 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1711.98
Current children cumulated vsize (KiB) 10555800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+927.901 s]
/proc/loadavg: 3.91 3.77 3.44 5/316 14636
/proc/meminfo: memFree=25573312/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10555800 CPUtime=1800.02 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 542883 0 1 0 179935 67 0 0 25 0 22 0 830448102 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2638950 530201 2270 9 0 2629684 0
[pid=14340/tid=14341] ppid=14338 vsize=10555800 CPUtime=0.62 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35551 0 1 0 57 5 0 0 15 0 22 0 830448103 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10555800 CPUtime=0.8 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 1253 0 0 0 80 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10555800 CPUtime=0.83 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1489 0 0 0 83 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10555800 CPUtime=0.75 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 1295 0 0 0 75 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10555800 CPUtime=0.65 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 1325 0 0 0 65 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10555800 CPUtime=0.77 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1211 0 0 0 77 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10555800 CPUtime=0.76 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 366 0 0 0 76 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10555800 CPUtime=0.8 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 996 0 0 0 80 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10555800 CPUtime=0.88 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1887 0 0 0 88 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10555800 CPUtime=56.92 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 68443 0 0 0 5685 7 0 0 15 0 22 0 830448105 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 830448106 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10555800 CPUtime=1.24 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6407 0 0 0 124 0 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10555800 CPUtime=1.95 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 12478 0 0 0 194 1 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830448165 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14607] ppid=14338 vsize=10555800 CPUtime=508.64 cores=1,3,5,7
/proc/14340/task/14607/stat : 14607 (java) R 14338 14340 10640 0 -1 4202560 2 0 0 0 50864 0 0 0 25 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505880732 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14608] ppid=14338 vsize=10555800 CPUtime=508.64 cores=1,3,5,7
/proc/14340/task/14608/stat : 14608 (java) R 14338 14340 10640 0 -1 4202560 8 0 0 0 50864 0 0 0 25 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505943408 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14340/tid=14609] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14609/stat : 14609 (java) S 14338 14340 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10555800

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

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

[startup+927.901 s]
/proc/loadavg: 3.91 3.77 3.44 5/316 14636
/proc/meminfo: memFree=25573312/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10555800 CPUtime=1800.02 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 542883 0 1 0 179935 67 0 0 25 0 22 0 830448102 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2638950 530201 2270 9 0 2629684 0
[pid=14340/tid=14341] ppid=14338 vsize=10555800 CPUtime=0.62 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35551 0 1 0 57 5 0 0 15 0 22 0 830448103 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10555800 CPUtime=0.8 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 1253 0 0 0 80 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10555800 CPUtime=0.83 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1489 0 0 0 83 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10555800 CPUtime=0.75 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 1295 0 0 0 75 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10555800 CPUtime=0.65 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 1325 0 0 0 65 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10555800 CPUtime=0.77 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1211 0 0 0 77 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10555800 CPUtime=0.76 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 366 0 0 0 76 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10555800 CPUtime=0.8 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 996 0 0 0 80 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10555800 CPUtime=0.88 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1887 0 0 0 88 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10555800 CPUtime=56.92 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 68443 0 0 0 5685 7 0 0 15 0 22 0 830448105 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 830448106 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10555800 CPUtime=1.24 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6407 0 0 0 124 0 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10555800 CPUtime=1.95 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 12478 0 0 0 194 1 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830448165 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14607] ppid=14338 vsize=10555800 CPUtime=508.64 cores=1,3,5,7
/proc/14340/task/14607/stat : 14607 (java) R 14338 14340 10640 0 -1 4202560 2 0 0 0 50864 0 0 0 25 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505880732 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14608] ppid=14338 vsize=10555800 CPUtime=508.64 cores=1,3,5,7
/proc/14340/task/14608/stat : 14608 (java) R 14338 14340 10640 0 -1 4202560 8 0 0 0 50864 0 0 0 25 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505943408 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14340/tid=14609] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14609/stat : 14609 (java) S 14338 14340 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10555800

Child status: 143
Real time (s): 928.015
CPU time (s): 1800.19
CPU user time (s): 1799.44
CPU system time (s): 0.757884
CPU usage (%): 193.983
Max. virtual memory (cumulated for all children) (KiB): 10558808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.757884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542911
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= 25592
involuntary context switches= 28002

runsolver used 2.42863 second user time and 6.03008 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-04 13:54:34
IDJOB=3454527
IDBENCH=2006
IDSOLVER=1950
FILE ID=node109/3454527-1307188473
RUNJOBID= node109-1307187566-14078
PBS_JOBID= 13508846
Free space on /tmp= 74000 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454527-1307188473/watcher-3454527-1307188473 -o /tmp/evaluation-result-3454527-1307188473/solver-3454527-1307188473 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454527-1307188473.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=894577476

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24752996 kB
Buffers:        320652 kB
Cached:        2216696 kB
SwapCached:      10392 kB
Active:        4532804 kB
Inactive:      3402244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24752996 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:            1388 kB
Writeback:           0 kB
AnonPages:     5393608 kB
Mapped:          24624 kB
Slab:           156556 kB
PageTables:      44360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41246308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74008 MiB
End job on node109 at 2011-06-04 14:10:03