Trace number 3731875

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)148 1800.05 923.357

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.05
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.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.1.v20110525
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		9996466904
0.06/0.11	c Max memory 		10048897024
0.06/0.11	c Total memory 		10048897024
0.06/0.11	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization
0.06/0.14	c ManyCore solver with 2 solvers running in parallel
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.14	c No reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3731875-1338683636.opb
0.06/0.14	c reading problem ... 
1.22/0.64	c ... done. Wall clock time 0.5s.
1.22/0.64	c #vars     1344
1.22/0.64	c #constraints  16376
1.22/0.64	c constraints type 
1.22/0.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1.22/0.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1.22/0.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1.22/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.22/0.64	c constraints type 
1.22/0.64	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1.22/0.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1.22/0.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1.22/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7392
1.85/0.82	c  And the winner is Resolution
2.09/1.14	c SATISFIABLE
2.09/1.14	c OPTIMIZING...
2.09/1.14	c Got one! Elapsed wall clock time (in seconds):1.005
2.09/1.14	o 182
4.94/2.15	c cleaning 2788 clauses out of 5582 with flag 5001/5582
6.35/2.77	c  And the winner is Resolution
6.57/3.15	c Got one! Elapsed wall clock time (in seconds):3.009
6.57/3.15	o 176
6.71/3.21	c cleaning 4044 clauses out of 8096 with flag 1000/10884
7.07/3.48	c  And the winner is Resolution
7.26/3.65	c Got one! Elapsed wall clock time (in seconds):3.512
7.26/3.65	o 170
8.16/4.11	c cleaning 4919 clauses out of 9849 with flag 4000/16681
10.52/5.33	c cleaning 5456 clauses out of 10930 with flag 10000/22681
13.89/7.04	c cleaning 6217 clauses out of 12474 with flag 17000/29681
17.06/8.60	c cleaning 7120 clauses out of 14257 with flag 25000/37681
21.08/10.61	c cleaning 8029 clauses out of 16137 with flag 34000/46681
25.03/12.63	c cleaning 9019 clauses out of 18110 with flag 44002/56683
29.93/15.11	c cleaning 10035 clauses out of 20089 with flag 55000/67681
36.07/18.21	c cleaning 11011 clauses out of 22054 with flag 67000/79681
43.19/21.87	c cleaning 12000 clauses out of 24043 with flag 80000/92681
50.92/25.76	c cleaning 12982 clauses out of 26045 with flag 94002/106683
59.00/29.88	c cleaning 14011 clauses out of 28061 with flag 109000/121681
68.51/34.67	c cleaning 14993 clauses out of 30051 with flag 125001/137682
82.42/41.63	c cleaning 15918 clauses out of 32057 with flag 142000/154681
94.32/47.61	c cleaning 16488 clauses out of 33143 with flag 159004/171685
104.74/52.90	c cleaning 16800 clauses out of 33652 with flag 176001/188682
117.43/59.35	c cleaning 16862 clauses out of 33854 with flag 193003/205684
130.50/65.91	c cleaning 16973 clauses out of 33991 with flag 210002/222683
142.95/72.24	c cleaning 16952 clauses out of 34017 with flag 227001/239682
157.11/79.43	c cleaning 16962 clauses out of 34064 with flag 244000/256681
168.16/85.00	c cleaning 16993 clauses out of 34102 with flag 261000/273681
179.40/90.74	c cleaning 17009 clauses out of 34110 with flag 278001/290682
192.45/97.39	c cleaning 17007 clauses out of 34100 with flag 295000/307681
205.42/103.90	c cleaning 16968 clauses out of 34096 with flag 312003/324684
219.85/111.24	c cleaning 16940 clauses out of 34127 with flag 329002/341683
233.27/118.05	c cleaning 16994 clauses out of 34185 with flag 346000/358681
248.90/125.99	c cleaning 16992 clauses out of 34191 with flag 363000/375681
263.21/133.21	c cleaning 17089 clauses out of 34199 with flag 380000/392681
274.02/138.72	c cleaning 17009 clauses out of 34111 with flag 397001/409682
286.86/145.25	c cleaning 17009 clauses out of 34104 with flag 414003/426684
299.04/151.40	c cleaning 16965 clauses out of 34092 with flag 431000/443681
313.13/158.70	c cleaning 17019 clauses out of 34127 with flag 448000/460681
316.30/160.21	c cleaning 0 clauses out of 5690 with flag 0/5693
333.46/168.86	c cleaning 16972 clauses out of 34108 with flag 465000/477681
347.84/176.02	c cleaning 17043 clauses out of 34139 with flag 482003/494684
364.32/184.45	c cleaning 16995 clauses out of 34093 with flag 499000/511681
374.70/189.73	c cleaning 17020 clauses out of 34100 with flag 516002/528683
387.70/196.30	c cleaning 17007 clauses out of 34080 with flag 533002/545683
401.92/203.54	c cleaning 16992 clauses out of 34073 with flag 550002/562683
416.37/210.91	c cleaning 16977 clauses out of 34079 with flag 567000/579681
427.94/216.85	c cleaning 17019 clauses out of 34102 with flag 584000/596681
438.56/222.25	c cleaning 17010 clauses out of 34083 with flag 601000/613681
449.72/227.92	c cleaning 17023 clauses out of 34074 with flag 618001/630682
461.97/234.22	c cleaning 17000 clauses out of 34051 with flag 635001/647682
473.74/240.27	c cleaning 16991 clauses out of 34051 with flag 652001/664682
484.91/245.98	c cleaning 16971 clauses out of 34060 with flag 669001/681682
497.50/252.33	c cleaning 16909 clauses out of 34088 with flag 686000/698681
510.79/259.13	c cleaning 16963 clauses out of 34184 with flag 703005/715686
522.58/265.15	c cleaning 17024 clauses out of 34216 with flag 720000/732681
538.74/273.32	c cleaning 17006 clauses out of 34194 with flag 737002/749683
553.51/280.80	c cleaning 17016 clauses out of 34188 with flag 754002/766683
569.16/288.84	c cleaning 17009 clauses out of 34174 with flag 771004/783685
582.14/295.46	c cleaning 16973 clauses out of 34163 with flag 788002/800683
592.52/300.78	c cleaning 16996 clauses out of 34189 with flag 805001/817682
606.09/307.65	c cleaning 17053 clauses out of 34192 with flag 822000/834681
619.12/314.36	c cleaning 17014 clauses out of 34139 with flag 839000/851681
630.88/320.39	c cleaning 16999 clauses out of 34125 with flag 856000/868681
645.02/327.51	c cleaning 17046 clauses out of 34127 with flag 873001/885682
653.99/332.13	c cleaning 17005 clauses out of 34081 with flag 890001/902682
665.59/338.17	c cleaning 16966 clauses out of 34076 with flag 907001/919682
675.57/343.27	c cleaning 17030 clauses out of 34110 with flag 924001/936682
684.51/347.81	c  And the winner is Resolution
684.33/348.45	c Got one! Elapsed wall clock time (in seconds):348.316
684.33/348.45	o 168
684.56/348.97	c cleaning 18185 clauses out of 36380 with flag 5001/955982
688.35/350.93	c cleaning 12058 clauses out of 24195 with flag 11001/961982
691.12/352.55	c  And the winner is Resolution
691.33/352.88	c Got one! Elapsed wall clock time (in seconds):352.739
691.33/352.88	o 166
691.38/352.97	c cleaning 8775 clauses out of 17566 with flag 1000/967411
692.53/353.66	c  And the winner is Resolution
693.00/354.03	c Got one! Elapsed wall clock time (in seconds):353.893
693.00/354.03	o 162
693.55/354.30	c cleaning 7171 clauses out of 14397 with flag 2000/973017
695.50/355.49	c cleaning 6583 clauses out of 13228 with flag 8002/979019
698.45/357.07	c  And the winner is Resolution
698.83/357.36	c Got one! Elapsed wall clock time (in seconds):357.223
698.83/357.36	o 156
701.14/358.52	c cleaning 9150 clauses out of 18348 with flag 5001/990722
703.73/360.01	c  And the winner is Resolution
703.96/360.46	c Got one! Elapsed wall clock time (in seconds):360.324
703.96/360.46	o 150
704.25/360.63	c cleaning 7586 clauses out of 15187 with flag 2000/996711
706.18/361.80	c cleaning 6762 clauses out of 13602 with flag 8001/1002712
707.14/362.37	c  And the winner is Resolution
707.63/362.78	c Got one! Elapsed wall clock time (in seconds):362.64
707.63/362.78	o 148
708.72/363.32	c cleaning 6366 clauses out of 12773 with flag 4000/1008645
711.50/364.81	c cleaning 6146 clauses out of 12409 with flag 10002/1014647
714.93/366.74	c cleaning 6604 clauses out of 13261 with flag 17000/1021645
718.85/368.85	c cleaning 7288 clauses out of 14657 with flag 25000/1029645
722.97/371.09	c cleaning 8139 clauses out of 16371 with flag 34002/1038647
729.10/374.23	c cleaning 9075 clauses out of 18232 with flag 44002/1048647
736.55/378.17	c cleaning 10030 clauses out of 20155 with flag 55000/1059645
744.50/382.26	c cleaning 11027 clauses out of 22126 with flag 67001/1071646
752.46/386.32	c cleaning 12017 clauses out of 24098 with flag 80000/1084645
760.80/390.60	c cleaning 13005 clauses out of 26081 with flag 94000/1098645
772.82/396.84	c cleaning 14020 clauses out of 28077 with flag 109001/1113646
785.17/403.10	c cleaning 14980 clauses out of 30056 with flag 125000/1129645
798.73/410.03	c cleaning 16007 clauses out of 32076 with flag 142000/1146645
811.27/416.45	c cleaning 16503 clauses out of 33069 with flag 159000/1163645
826.06/424.04	c cleaning 16724 clauses out of 33566 with flag 176000/1180645
840.21/431.21	c cleaning 16882 clauses out of 33843 with flag 193001/1197646
854.34/438.46	c cleaning 16942 clauses out of 33962 with flag 210002/1214647
869.08/445.93	c cleaning 16995 clauses out of 34018 with flag 227000/1231645
882.46/452.82	c cleaning 16982 clauses out of 34024 with flag 244001/1248646
895.60/459.57	c cleaning 16966 clauses out of 34043 with flag 261002/1265647
909.15/466.46	c cleaning 16971 clauses out of 34075 with flag 278000/1282645
924.44/474.30	c cleaning 16981 clauses out of 34108 with flag 295004/1299649
939.42/481.93	c cleaning 16991 clauses out of 34123 with flag 312000/1316645
951.99/488.34	c cleaning 16971 clauses out of 34132 with flag 329000/1333645
965.13/495.03	c cleaning 17035 clauses out of 34162 with flag 346001/1350646
979.47/502.31	c cleaning 17008 clauses out of 34126 with flag 363000/1367645
993.43/509.53	c cleaning 16989 clauses out of 34119 with flag 380001/1384646
1003.96/514.99	c cleaning 17012 clauses out of 34129 with flag 397000/1401645
1013.67/519.99	c cleaning 17048 clauses out of 34117 with flag 414000/1418645
1024.19/525.30	c cleaning 17000 clauses out of 34070 with flag 431001/1435646
1036.76/531.81	c cleaning 16982 clauses out of 34069 with flag 448000/1452645
1052.68/539.97	c cleaning 17009 clauses out of 34090 with flag 465003/1469648
1064.37/545.91	c cleaning 17003 clauses out of 34078 with flag 482000/1486645
1077.29/552.58	c cleaning 16979 clauses out of 34075 with flag 499000/1503645
1090.85/559.52	c cleaning 17016 clauses out of 34098 with flag 516002/1520647
1102.37/565.45	c cleaning 17009 clauses out of 34081 with flag 533001/1537646
1115.88/572.37	c cleaning 16987 clauses out of 34071 with flag 550000/1554645
1131.60/580.36	c cleaning 16992 clauses out of 34085 with flag 567001/1571646
1143.74/586.66	c cleaning 17033 clauses out of 34092 with flag 584000/1588645
1157.26/593.55	c cleaning 16991 clauses out of 34060 with flag 601001/1605646
1169.55/599.85	c cleaning 16952 clauses out of 34068 with flag 618000/1622645
1182.06/606.29	c cleaning 17019 clauses out of 34116 with flag 635000/1639645
1194.21/612.59	c cleaning 16972 clauses out of 34097 with flag 652000/1656645
1206.73/618.99	c cleaning 17009 clauses out of 34125 with flag 669000/1673645
1217.63/624.56	c cleaning 17027 clauses out of 34117 with flag 686001/1690646
1231.76/631.72	c cleaning 17000 clauses out of 34090 with flag 703001/1707646
1246.30/639.25	c cleaning 17026 clauses out of 34091 with flag 720002/1724647
1259.21/645.89	c cleaning 16999 clauses out of 34063 with flag 737000/1741645
1272.51/652.65	c cleaning 16981 clauses out of 34064 with flag 754000/1758645
1286.61/659.82	c cleaning 16994 clauses out of 34084 with flag 771001/1775646
1299.89/666.70	c cleaning 17010 clauses out of 34092 with flag 788003/1792648
1314.38/674.15	c cleaning 16987 clauses out of 34080 with flag 805001/1809646
1327.08/680.68	c cleaning 17002 clauses out of 34094 with flag 822002/1826647
1339.19/686.80	c cleaning 17010 clauses out of 34090 with flag 839000/1843645
1352.89/693.94	c cleaning 16997 clauses out of 34080 with flag 856000/1860645
1367.56/701.45	c cleaning 17006 clauses out of 34084 with flag 873001/1877646
1382.47/709.02	c cleaning 16982 clauses out of 34077 with flag 890000/1894645
1396.95/716.44	c cleaning 17010 clauses out of 34095 with flag 907000/1911645
1410.05/723.29	c cleaning 17005 clauses out of 34086 with flag 924001/1928646
1423.16/729.92	c cleaning 16993 clauses out of 34081 with flag 941001/1945646
1434.41/735.76	c cleaning 16980 clauses out of 34088 with flag 958001/1962646
1447.70/742.52	c cleaning 17020 clauses out of 34109 with flag 975002/1979647
1463.60/750.74	c cleaning 16947 clauses out of 34087 with flag 992000/1996645
1479.86/759.01	c cleaning 17010 clauses out of 34140 with flag 1009000/2013645
1493.34/765.98	c cleaning 17038 clauses out of 34131 with flag 1026001/2030646
1508.43/773.65	c cleaning 16993 clauses out of 34092 with flag 1043000/2047645
1519.73/779.53	c cleaning 17012 clauses out of 34100 with flag 1060001/2064646
1530.01/784.89	c cleaning 16984 clauses out of 34088 with flag 1077001/2081646
1539.89/789.95	c cleaning 17025 clauses out of 34103 with flag 1094000/2098645
1552.77/796.52	c cleaning 16989 clauses out of 34078 with flag 1111000/2115645
1568.25/804.59	c cleaning 16955 clauses out of 34090 with flag 1128001/2132646
1582.33/811.71	c cleaning 17008 clauses out of 34137 with flag 1145003/2149648
1597.59/819.57	c cleaning 16987 clauses out of 34126 with flag 1162000/2166645
1614.87/828.38	c cleaning 16993 clauses out of 34142 with flag 1179003/2183648
1628.89/835.68	c cleaning 16964 clauses out of 34147 with flag 1196001/2200646
1643.77/843.20	c cleaning 17002 clauses out of 34184 with flag 1213002/2217647
1657.22/850.13	c cleaning 16992 clauses out of 34180 with flag 1230000/2234645
1669.84/856.64	c cleaning 17076 clauses out of 34192 with flag 1247004/2251649
1685.09/864.56	c cleaning 17007 clauses out of 34112 with flag 1264000/2268645
1700.73/872.56	c cleaning 17022 clauses out of 34105 with flag 1281000/2285645
1716.00/880.35	c cleaning 17001 clauses out of 34085 with flag 1298002/2302647
1730.06/887.55	c cleaning 16984 clauses out of 34083 with flag 1315001/2319646
1744.48/895.02	c cleaning 17017 clauses out of 34099 with flag 1332001/2336646
1758.13/902.08	c cleaning 16983 clauses out of 34081 with flag 1349000/2353645
1771.15/908.72	c cleaning 16967 clauses out of 34098 with flag 1366000/2370645
1782.19/914.44	c cleaning 0 clauses out of 11634 with flag 0/11641
1783.42/915.31	c cleaning 17014 clauses out of 34131 with flag 1383000/2387645
1793.86/920.76	c cleaning 17017 clauses out of 34120 with flag 1400003/2404648
1798.71/923.31	c starts		: 238
1798.71/923.31	c conflicts		: 2411691
1798.71/923.31	c decisions		: 3633371
1798.71/923.31	c propagations		: 295835810
1798.71/923.31	c inspects		: 6795324164
1798.71/923.31	c shortcuts		: 0
1798.71/923.31	c learnt literals	: 0
1798.71/923.31	c learnt binary clauses	: 0
1798.71/923.31	c learnt ternary clauses	: 4
1798.71/923.31	c learnt constraints	: 2411691
1798.71/923.31	c ignored constraints	: 0
1798.71/923.31	c root simplifications	: 0
1798.71/923.31	c removed literals (reason simplification)	: 96230562
1798.71/923.31	c reason swapping (by a shorter reason)	: 0
1798.71/923.31	c Calls to reduceDB	: 156
1798.71/923.31	c number of reductions to clauses (during analyze)	: 0
1798.71/923.31	c number of learned constraints concerned by reduction	: 0
1798.71/923.31	c number of learning phase by resolution	: 0
1798.71/923.31	c number of learning phase by cutting planes	: 0
1798.71/923.31	c speed (assignments/second)	: 527776.9404779745
1798.71/923.31	c non guided choices	723
1798.71/923.32	c learnt constraints type 
1798.71/923.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24178
1798.71/923.32	c constraints type 
1798.71/923.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1798.71/923.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1798.71/923.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1798.71/923.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1798.71/923.32	c constraints type 
1798.71/923.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1798.71/923.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1798.71/923.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1798.71/923.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7393
1798.71/923.33	s SATISFIABLE
1798.71/923.33	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 
1798.71/923.33	c objective function=148
1798.71/923.33	c Total wall clock time (in seconds): 923.193

Verifier Data 

OK	148

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-3731875-1338683636/watcher-3731875-1338683636 -o /tmp/evaluation-result-3731875-1338683636/solver-3731875-1338683636 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731875-1338683636.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.74 3.84 3.72 4/197 7992
/proc/meminfo: memFree=26701764/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/7992/stat : 7992 (java) R 7990 7992 5561 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 334487950 278528 34 33554432000 1073741824 1073778376 140734410322080 140734410319256 209874677031 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7992/statm: 68 34 25 9 0 25 0

[startup+0.0352051 s]
/proc/loadavg: 3.74 3.84 3.72 4/197 7992
/proc/meminfo: memFree=26701764/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=10510056 CPUtime=0.01 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 2570 0 1 0 0 1 0 0 20 0 2 0 334487950 10762297344 5316 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2627514 5316 942 9 0 2618623 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10510056

[startup+0.100253 s]
/proc/loadavg: 3.74 3.84 3.72 4/197 7992
/proc/meminfo: memFree=26701764/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 4470 0 1 0 5 1 0 0 20 0 18 0 334487950 11864465408 12832 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2896598 12832 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.300223 s]
/proc/loadavg: 3.74 3.84 3.72 4/197 7992
/proc/meminfo: memFree=26701764/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=11586392 CPUtime=0.44 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 6260 0 1 0 42 2 0 0 20 0 18 0 334487950 11864465408 16859 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2896598 16859 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700184 s]
/proc/loadavg: 3.74 3.84 3.72 4/197 7992
/proc/meminfo: memFree=26701764/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 10357 0 1 0 141 4 0 0 20 0 22 0 334487950 12137111552 42029 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2963162 42029 2260 9 0 2953849 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 11852648

[startup+1.50064 s]
/proc/loadavg: 3.74 3.84 3.72 2/216 8014
/proc/meminfo: memFree=26538560/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=11852648 CPUtime=3.45 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 19653 0 1 0 335 10 0 0 20 0 22 0 334487950 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2963162 70344 2268 9 0 2953849 0
[pid=7992/tid=7994] ppid=7990 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 5561 0 -1 4202560 3423 0 1 0 57 3 0 0 20 0 22 0 334487951 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314580391064 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7995] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314569452584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314416540584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=7997] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314415487784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=7998] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314414434984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314413382184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314412329384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314411276584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8002] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314410223784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8003] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334487955 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314397813736 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314396759800 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8005] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8005/stat : 8005 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314395706888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8006] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8006/stat : 8006 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314394655376 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8007] ppid=7990 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/7992/task/8007/stat : 8007 (java) R 7990 7992 5561 0 -1 4202560 8003 0 0 0 87 2 0 0 20 0 22 0 334487958 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314393579752 140314584506607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8008] ppid=7990 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/7992/task/8008/stat : 8008 (java) R 7990 7992 5561 0 -1 4202560 6877 0 0 0 83 2 0 0 20 0 22 0 334487958 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314392527528 209883509412 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314391497080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8010] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8010/stat : 8010 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314390444488 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8014] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8014/stat : 8014 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334488015 12137111552 70344 33554432000 1073741824 1073778376 140734540885712 140314386232616 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 11852648

[startup+3.10071 s]
/proc/loadavg: 3.74 3.84 3.72 5/219 8017
/proc/meminfo: memFree=26223300/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=11852648 CPUtime=6.57 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 25333 0 1 0 636 21 0 0 20 0 19 0 334487950 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2963162 169589 2292 9 0 2953849 0
[pid=7992/tid=7994] ppid=7990 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 5561 0 -1 4202560 3423 0 1 0 57 3 0 0 20 0 19 0 334487951 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314580391064 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7995] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334487954 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314569452584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334487954 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314416540584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=7997] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334487954 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314415487784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7998] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334487954 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314414434984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334487954 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314413382184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334487954 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314412329384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334487954 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314411276584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8002] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334487954 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314410223784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8003] ppid=7990 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 5561 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 19 0 334487955 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314397813736 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334487956 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314396759800 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8005] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8005/stat : 8005 (java) S 7990 7992 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334487956 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314395706888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8006] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8006/stat : 8006 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334487958 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314394655376 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8007] ppid=7990 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/7992/task/8007/stat : 8007 (java) S 7990 7992 5561 0 -1 4202560 12521 0 0 0 128 2 0 0 20 0 19 0 334487958 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314393602488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8008] ppid=7990 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/7992/task/8008/stat : 8008 (java) S 7990 7992 5561 0 -1 4202560 7771 0 0 0 99 2 0 0 20 0 19 0 334487958 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314392549688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334487958 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314391497080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8010] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8010/stat : 8010 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334487958 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314390444488 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8014] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8014/stat : 8014 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334488015 12137111552 169589 33554432000 1073741824 1073778376 140734540885712 140314386232616 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 11852648

[startup+6.3008 s]
/proc/loadavg: 3.76 3.84 3.72 10/219 8023
/proc/meminfo: memFree=26013288/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=11852648 CPUtime=12.49 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 25408 0 1 0 1225 24 0 0 20 0 22 0 334487950 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2963162 174202 2292 9 0 2953849 0
[pid=7992/tid=7994] ppid=7990 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 5561 0 -1 4202560 3423 0 1 0 57 3 0 0 20 0 22 0 334487951 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314580391064 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7995] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314569452584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 5561 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 334487954 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314416540584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7997] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 5561 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314415487784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7998] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314414434984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314413382184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314412329384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 5561 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 334487954 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314411276584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8002] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334487954 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314410223784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8003] ppid=7990 vsize=11852648 CPUtime=0.22 cores=0,2,4,6
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 5561 0 -1 4202560 61 0 0 0 22 0 0 0 20 0 22 0 334487955 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314397813736 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314396759800 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8005] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8005/stat : 8005 (java) S 7990 7992 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314395706888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8006] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8006/stat : 8006 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314394655376 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8007] ppid=7990 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/7992/task/8007/stat : 8007 (java) S 7990 7992 5561 0 -1 4202560 12523 0 0 0 131 3 0 0 20 0 22 0 334487958 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314393602488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8008] ppid=7990 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/7992/task/8008/stat : 8008 (java) S 7990 7992 5561 0 -1 4202560 7776 0 0 0 106 2 0 0 20 0 22 0 334487958 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314392549688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314391497080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8010] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8010/stat : 8010 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314390444488 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8014] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8014/stat : 8014 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334488015 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314386232616 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8021] ppid=7990 vsize=11852648 CPUtime=2.47 cores=0,2,4,6
/proc/7992/task/8021/stat : 8021 (java) R 7990 7992 5561 0 -1 4202560 2 0 0 0 247 0 0 0 20 0 22 0 334488315 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314387284672 140314451608892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8022] ppid=7990 vsize=11852648 CPUtime=2.47 cores=0,2,4,6
/proc/7992/task/8022/stat : 8022 (java) R 7990 7992 5561 0 -1 4202560 3 0 0 0 247 0 0 0 20 0 22 0 334488315 12137111552 174202 33554432000 1073741824 1073778376 140734540885712 140314389388024 140314451661487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0

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

[pid=7992/tid=7998] ppid=7990 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 5561 0 -1 4202560 106 0 0 0 103 1 0 0 20 0 22 0 334487954 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314414434984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 5561 0 -1 4202560 82 0 0 0 108 2 0 0 20 0 22 0 334487954 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314413382184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 5561 0 -1 4202560 82 0 0 0 106 2 0 0 20 0 22 0 334487954 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314412329384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 5561 0 -1 4202560 77 0 0 0 107 2 0 0 20 0 22 0 334487954 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314411276584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8002] ppid=7990 vsize=11852648 CPUtime=1.11 cores=0,2,4,6
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 5561 0 -1 4202560 90 0 0 0 109 2 0 0 20 0 22 0 334487954 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314410223784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8003] ppid=7990 vsize=11852648 CPUtime=44.47 cores=0,2,4,6
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 5561 0 -1 4202560 213 0 0 0 4439 8 0 0 20 0 22 0 334487955 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314397813736 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314396759800 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8005] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8005/stat : 8005 (java) S 7990 7992 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314395706888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8006] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8006/stat : 8006 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314394655376 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8007] ppid=7990 vsize=11852648 CPUtime=2.02 cores=0,2,4,6
/proc/7992/task/8007/stat : 8007 (java) S 7990 7992 5561 0 -1 4202560 15562 0 0 0 199 3 0 0 20 0 22 0 334487958 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314393602488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8008] ppid=7990 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/7992/task/8008/stat : 8008 (java) S 7990 7992 5561 0 -1 4202560 7778 0 0 0 124 2 0 0 20 0 22 0 334487958 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314392549688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314391497080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8010] ppid=7990 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/7992/task/8010/stat : 8010 (java) S 7990 7992 5561 0 -1 4202560 51 0 0 0 11 17 0 0 20 0 22 0 334487958 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314390444488 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8014] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8014/stat : 8014 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334488015 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314386232616 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8114] ppid=7990 vsize=11852648 CPUtime=487.51 cores=0,2,4,6
/proc/7992/task/8114/stat : 8114 (java) R 7990 7992 5561 0 -1 4202560 30 0 0 0 48744 7 0 0 20 0 22 0 334524228 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314388337088 140314451608972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8115] ppid=7990 vsize=11852648 CPUtime=487.44 cores=0,2,4,6
/proc/7992/task/8115/stat : 8115 (java) R 7990 7992 5561 0 -1 4202560 12 0 0 0 48737 7 0 0 20 0 22 0 334524228 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314389387760 140314451696402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8116] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8116/stat : 8116 (java) S 7990 7992 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334524228 12137111552 538856 33554432000 1073741824 1073778376 140734540885712 140314387284904 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1719.65
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+923.301 s]
/proc/loadavg: 3.95 3.93 3.82 5/219 8121
/proc/meminfo: memFree=23981876/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=11852648 CPUtime=1798.71 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 30182 0 1 0 179763 108 0 0 20 0 22 0 334487950 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2963162 541976 2293 9 0 2953849 0
[pid=7992/tid=7994] ppid=7990 vsize=11852648 CPUtime=0.65 cores=0,2,4,6
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 5561 0 -1 4202560 3518 0 1 0 61 4 0 0 20 0 22 0 334487951 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314580391064 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7995] ppid=7990 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 5561 0 -1 4202560 86 0 0 0 118 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314569452584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 5561 0 -1 4202560 112 0 0 0 104 0 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314416540584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=7997] ppid=7990 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 5561 0 -1 4202560 112 0 0 0 112 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314415487784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7998] ppid=7990 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 5561 0 -1 4202560 107 0 0 0 108 1 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314414434984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 5561 0 -1 4202560 109 0 0 0 114 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314413382184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=11852648 CPUtime=1.12 cores=0,2,4,6
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 5561 0 -1 4202560 82 0 0 0 110 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314412329384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 5561 0 -1 4202560 85 0 0 0 115 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314411276584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8002] ppid=7990 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 5561 0 -1 4202560 91 0 0 0 115 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314410223784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8003] ppid=7990 vsize=11852648 CPUtime=47.58 cores=0,2,4,6
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 5561 0 -1 4202560 234 0 0 0 4749 9 0 0 20 0 22 0 334487955 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314397813736 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314396759800 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8005] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8005/stat : 8005 (java) S 7990 7992 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314395706888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8006] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8006/stat : 8006 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314394655376 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8007] ppid=7990 vsize=11852648 CPUtime=2.05 cores=0,2,4,6
/proc/7992/task/8007/stat : 8007 (java) S 7990 7992 5561 0 -1 4202560 15563 0 0 0 202 3 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314393602488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8008] ppid=7990 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/7992/task/8008/stat : 8008 (java) S 7990 7992 5561 0 -1 4202560 7779 0 0 0 124 2 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314392549688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314391497080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8010] ppid=7990 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/7992/task/8010/stat : 8010 (java) S 7990 7992 5561 0 -1 4202560 53 0 0 0 11 19 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314390444488 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8014] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8014/stat : 8014 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334488015 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314386232616 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8114] ppid=7990 vsize=11852648 CPUtime=525.17 cores=0,2,4,6
/proc/7992/task/8114/stat : 8114 (java) R 7990 7992 5561 0 -1 4202560 32 0 0 0 52510 7 0 0 20 0 22 0 334524228 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314388337088 140314451622494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8115] ppid=7990 vsize=11852648 CPUtime=525.1 cores=0,2,4,6
/proc/7992/task/8115/stat : 8115 (java) R 7990 7992 5561 0 -1 4202560 12 0 0 0 52503 7 0 0 20 0 22 0 334524228 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314389387648 140314451696402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8116] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8116/stat : 8116 (java) S 7990 7992 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334524228 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314387284904 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 11852648

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

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

[startup+923.301 s]
/proc/loadavg: 3.95 3.93 3.82 5/219 8121
/proc/meminfo: memFree=23981876/32873844 swapFree=7632/7632
[pid=7992] ppid=7990 vsize=11852648 CPUtime=1798.71 cores=0,2,4,6
/proc/7992/stat : 7992 (java) S 7990 7992 5561 0 -1 4202496 30182 0 1 0 179763 108 0 0 20 0 22 0 334487950 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140734540876848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7992/statm: 2963162 541976 2293 9 0 2953849 0
[pid=7992/tid=7994] ppid=7990 vsize=11852648 CPUtime=0.65 cores=0,2,4,6
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 5561 0 -1 4202560 3518 0 1 0 61 4 0 0 20 0 22 0 334487951 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314580391064 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7995] ppid=7990 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 5561 0 -1 4202560 86 0 0 0 118 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314569452584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 5561 0 -1 4202560 112 0 0 0 104 0 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314416540584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=7997] ppid=7990 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 5561 0 -1 4202560 112 0 0 0 112 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314415487784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7998] ppid=7990 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 5561 0 -1 4202560 107 0 0 0 108 1 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314414434984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 5561 0 -1 4202560 109 0 0 0 114 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314413382184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=11852648 CPUtime=1.12 cores=0,2,4,6
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 5561 0 -1 4202560 82 0 0 0 110 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314412329384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 5561 0 -1 4202560 85 0 0 0 115 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314411276584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8002] ppid=7990 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 5561 0 -1 4202560 91 0 0 0 115 2 0 0 20 0 22 0 334487954 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314410223784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8003] ppid=7990 vsize=11852648 CPUtime=47.58 cores=0,2,4,6
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 5561 0 -1 4202560 234 0 0 0 4749 9 0 0 20 0 22 0 334487955 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314397813736 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314396759800 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8005] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8005/stat : 8005 (java) S 7990 7992 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334487956 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314395706888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8006] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8006/stat : 8006 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314394655376 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7992/tid=8007] ppid=7990 vsize=11852648 CPUtime=2.05 cores=0,2,4,6
/proc/7992/task/8007/stat : 8007 (java) S 7990 7992 5561 0 -1 4202560 15563 0 0 0 202 3 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314393602488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7992/tid=8008] ppid=7990 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/7992/task/8008/stat : 8008 (java) S 7990 7992 5561 0 -1 4202560 7779 0 0 0 124 2 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314392549688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314391497080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8010] ppid=7990 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/7992/task/8010/stat : 8010 (java) S 7990 7992 5561 0 -1 4202560 53 0 0 0 11 19 0 0 20 0 22 0 334487958 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314390444488 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8014] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8014/stat : 8014 (java) S 7990 7992 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334488015 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314386232616 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8114] ppid=7990 vsize=11852648 CPUtime=525.17 cores=0,2,4,6
/proc/7992/task/8114/stat : 8114 (java) R 7990 7992 5561 0 -1 4202560 32 0 0 0 52510 7 0 0 20 0 22 0 334524228 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314388337088 140314451622494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7992/tid=8115] ppid=7990 vsize=11852648 CPUtime=525.1 cores=0,2,4,6
/proc/7992/task/8115/stat : 8115 (java) R 7990 7992 5561 0 -1 4202560 12 0 0 0 52503 7 0 0 20 0 22 0 334524228 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314389387648 140314451696402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7992/tid=8116] ppid=7990 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/7992/task/8116/stat : 8116 (java) S 7990 7992 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334524228 12137111552 541976 33554432000 1073741824 1073778376 140734540885712 140314387284904 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7992 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=979121
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=413785
# CPU time returned by wait4() is 1796.39
# while last known CPU time is 1798.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.34003
#  lost CPU user time (s): 1.45001
#  lost CPU system time (s): -0.11

Real time (s): 923.357
CPU time (s): 1800.05
CPU user time (s): 1799.08
CPU system time (s): 0.97
CPU usage (%): 194.946
Max. virtual memory (cumulated for all children) (KiB): 11853420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 1.41378
maximum resident set size= 2168020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30213
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26490
involuntary context switches= 28544

runsolver used 3.36149 second user time and 8.35673 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-03 02:33:56
IDJOB=3731875
IDBENCH=2006
IDSOLVER=2328
FILE ID=node141/3731875-1338683636
RUNJOBID= node141-1338678623-5580
PBS_JOBID= 14636672
Free space on /tmp= 70720 MiB

SOLVER NAME= PB11: 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-3731875-1338683636/watcher-3731875-1338683636 -o /tmp/evaluation-result-3731875-1338683636/solver-3731875-1338683636 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731875-1338683636.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=823116615

node141.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		: 2666.744
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	: 5333.48
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		: 2666.744
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		: 2666.744
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	: 5331.93
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		: 2666.744
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.92
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		: 2666.744
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.92
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		: 2666.744
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		: 2666.744
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.92
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		: 2666.744
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26702408 kB
Buffers:          390896 kB
Cached:          3133200 kB
SwapCached:          216 kB
Active:          2955588 kB
Inactive:        2315636 kB
Active(anon):    1737808 kB
Inactive(anon):    11300 kB
Active(file):    1217780 kB
Inactive(file):  2304336 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:               968 kB
Writeback:             0 kB
AnonPages:       1770308 kB
Mapped:            18932 kB
Shmem:               172 kB
Slab:             739516 kB
SReclaimable:     181680 kB
SUnreclaim:       557836 kB
KernelStack:        1616 kB
PageTables:         7260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10461060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 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= 70720 MiB
End job on node141 at 2012-06-03 02:49:22