Trace number 3687658

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)45233 1800.16 961.776

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43606
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 46478
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 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		501472288
0.00/0.10	c Max memory 		7480803328
0.00/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3687658-1337872955.opb
0.09/0.12	c reading problem ... 
1.26/0.65	c ... done. Wall clock time 0.525s.
1.26/0.65	c declared #vars     1344
1.26/0.65	c #constraints  16376
1.26/0.65	c constraints type 
1.26/0.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1.26/0.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1.26/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1.26/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.26/0.65	c 16376 constraints processed.
1.26/0.65	c constraints type 
1.26/0.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1.26/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1.26/0.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1.26/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7392
1.26/0.65	c 16376 constraints processed.
1.26/0.65	c objective function length is 448 literals
1.85/0.84	c  And the winner is solver0
2.14/1.15	c SATISFIABLE
2.14/1.15	c OPTIMIZING...
2.14/1.15	c Got one! Elapsed wall clock time (in seconds):1.029
2.14/1.15	o 52908
2.30/1.25	c  And the winner is solver0
2.57/1.66	c Got one! Elapsed wall clock time (in seconds):1.533
2.57/1.66	o 52262
4.34/2.20	c cleaning 2917 clauses out of 5834 with flag 5001/5834
5.62/2.53	c cleaning 4459 clauses out of 8917 with flag 11001/11834
6.22/2.85	c cleaning 5728 clauses out of 11459 with flag 18002/18835
6.98/3.25	c cleaning 6865 clauses out of 13730 with flag 26001/26834
7.96/3.76	c cleaning 7930 clauses out of 15865 with flag 35001/35834
9.12/4.31	c cleaning 8968 clauses out of 17935 with flag 45001/45834
10.22/4.97	c cleaning 9981 clauses out of 19966 with flag 56000/56833
11.51/5.64	c cleaning 10993 clauses out of 21988 with flag 68003/68836
12.96/6.41	c cleaning 11991 clauses out of 23992 with flag 81000/81833
14.25/7.11	c cleaning 12997 clauses out of 26001 with flag 95000/95833
15.74/7.90	c cleaning 13996 clauses out of 28004 with flag 110000/110833
17.23/8.74	c cleaning 15002 clauses out of 30008 with flag 126000/126833
18.85/9.69	c cleaning 16004 clauses out of 32007 with flag 143001/143834
20.93/10.78	c cleaning 16997 clauses out of 34002 with flag 161000/161833
22.82/11.74	c cleaning 17995 clauses out of 36005 with flag 180000/180833
24.68/12.73	c cleaning 18997 clauses out of 38010 with flag 200000/200833
26.65/13.85	c cleaning 19999 clauses out of 40013 with flag 221000/221833
28.69/14.94	c cleaning 21001 clauses out of 42014 with flag 243000/243833
31.13/16.21	c cleaning 22002 clauses out of 44013 with flag 266000/266833
33.58/17.53	c cleaning 23002 clauses out of 46011 with flag 290000/290833
36.92/19.32	c cleaning 24003 clauses out of 48009 with flag 315000/315833
38.54/20.23	c  And the winner is solver0
38.55/20.53	c Got one! Elapsed wall clock time (in seconds):20.409
38.55/20.53	o 51805
38.68/20.64	c  And the winner is solver0
38.84/21.04	c Got one! Elapsed wall clock time (in seconds):20.912
38.84/21.04	o 51622
39.02/21.20	c cleaning 14942 clauses out of 29888 with flag 1000/321715
39.54/21.44	c  And the winner is solver0
39.65/21.54	c Got one! Elapsed wall clock time (in seconds):21.419
39.65/21.54	o 49932
39.65/21.58	c  And the winner is solver0
39.80/22.05	c Got one! Elapsed wall clock time (in seconds):21.922
39.80/22.05	o 49309
39.90/22.11	c  And the winner is solver0
39.99/22.55	c Got one! Elapsed wall clock time (in seconds):22.424
39.99/22.55	o 48907
40.50/22.80	c  And the winner is solver0
40.55/23.05	c Got one! Elapsed wall clock time (in seconds):22.926
40.55/23.05	o 47244
41.64/23.69	c cleaning 10710 clauses out of 21424 with flag 4000/328193
44.66/25.21	c cleaning 8346 clauses out of 16715 with flag 10001/334194
45.39/25.77	c  And the winner is solver0
45.62/26.05	c Got one! Elapsed wall clock time (in seconds):25.929
45.62/26.05	o 47095
47.30/26.94	c cleaning 6830 clauses out of 13670 with flag 4001/339495
49.91/28.38	c cleaning 6412 clauses out of 12840 with flag 10001/345495
52.14/29.56	c  And the winner is solver0
52.31/29.69	c Got one! Elapsed wall clock time (in seconds):29.565
52.31/29.69	o 46810
53.17/30.13	c  And the winner is solver0
53.17/30.19	c Got one! Elapsed wall clock time (in seconds):30.067
53.17/30.19	o 46439
54.87/31.09	c cleaning 8347 clauses out of 16715 with flag 3000/355782
58.71/33.01	c cleaning 7170 clauses out of 14369 with flag 9001/361783
62.41/35.00	c cleaning 7084 clauses out of 14200 with flag 16002/368784
66.42/37.13	c cleaning 7549 clauses out of 15114 with flag 24000/376782
67.01/37.59	c  And the winner is solver0
67.26/37.86	c Got one! Elapsed wall clock time (in seconds):37.735
67.26/37.86	o 45752
69.13/38.89	c cleaning 6389 clauses out of 12816 with flag 4000/382033
69.74/39.27	c  And the winner is solver0
69.90/39.36	c Got one! Elapsed wall clock time (in seconds):39.238
69.90/39.36	o 45515
70.18/39.54	c  And the winner is solver0
70.30/39.86	c Got one! Elapsed wall clock time (in seconds):39.74
70.30/39.86	o 45412
71.16/40.35	c  And the winner is solver0
71.31/40.42	c Got one! Elapsed wall clock time (in seconds):40.292
71.31/40.42	o 45233
72.27/40.96	c cleaning 6426 clauses out of 12897 with flag 2000/388503
73.78/41.82	c cleaning 6229 clauses out of 12471 with flag 8000/394503
74.38/42.28	c cleaning 6622 clauses out of 13243 with flag 15001/401504
75.18/42.75	c cleaning 7303 clauses out of 14620 with flag 23000/409503
75.98/43.27	c cleaning 8154 clauses out of 16319 with flag 32002/418505
77.10/43.94	c cleaning 9080 clauses out of 18164 with flag 42001/428504
78.08/44.54	c cleaning 10039 clauses out of 20083 with flag 53000/439503
79.29/45.22	c cleaning 11015 clauses out of 22044 with flag 65000/451503
80.48/45.90	c cleaning 12007 clauses out of 24029 with flag 78000/464503
81.78/46.73	c cleaning 13005 clauses out of 26022 with flag 92000/478503
83.16/47.54	c cleaning 14009 clauses out of 28018 with flag 107001/493504
84.78/48.41	c cleaning 15003 clauses out of 30008 with flag 123000/509503
86.36/49.36	c cleaning 16001 clauses out of 32005 with flag 140000/526503
88.26/50.42	c cleaning 16999 clauses out of 34004 with flag 158000/544503
90.04/51.40	c cleaning 18003 clauses out of 36006 with flag 177001/563504
92.02/52.51	c cleaning 19001 clauses out of 38002 with flag 197000/583503
93.81/53.58	c cleaning 19995 clauses out of 40001 with flag 218000/604503
96.08/54.86	c cleaning 21003 clauses out of 42007 with flag 240001/626504
98.45/56.12	c cleaning 21999 clauses out of 44004 with flag 263001/649504
100.81/57.46	c cleaning 22999 clauses out of 46005 with flag 287001/673504
103.18/58.79	c cleaning 24003 clauses out of 48005 with flag 312000/698503
106.00/60.37	c cleaning 24999 clauses out of 50003 with flag 338001/724504
108.76/61.89	c cleaning 25988 clauses out of 52004 with flag 365001/751504
111.70/63.49	c cleaning 27004 clauses out of 54015 with flag 393000/779503
115.03/65.21	c cleaning 28003 clauses out of 56011 with flag 422000/808503
118.45/67.11	c cleaning 28997 clauses out of 58008 with flag 452000/838503
121.55/68.81	c cleaning 30003 clauses out of 60011 with flag 483000/869503
124.69/70.55	c cleaning 30996 clauses out of 62008 with flag 515000/901503
128.01/72.37	c cleaning 32004 clauses out of 64012 with flag 548000/934503
132.00/74.53	c cleaning 32994 clauses out of 66008 with flag 582000/968503
135.92/76.66	c cleaning 34005 clauses out of 68014 with flag 617000/1003503
140.01/78.83	c cleaning 34991 clauses out of 70012 with flag 653003/1039506
144.32/81.13	c cleaning 36003 clauses out of 72018 with flag 690000/1076503
148.66/83.54	c cleaning 37007 clauses out of 74016 with flag 728001/1114504
153.12/85.95	c cleaning 37989 clauses out of 76008 with flag 767000/1153503
157.20/88.20	c cleaning 39003 clauses out of 78019 with flag 807000/1193503
161.87/90.69	c cleaning 40000 clauses out of 80016 with flag 848000/1234503
167.19/93.59	c cleaning 41009 clauses out of 82017 with flag 890001/1276504
172.44/96.33	c cleaning 41997 clauses out of 84007 with flag 933000/1319503
177.31/98.96	c cleaning 43006 clauses out of 86011 with flag 977001/1363504
182.94/101.97	c cleaning 43998 clauses out of 88004 with flag 1022000/1408503
189.01/105.23	c cleaning 45004 clauses out of 90008 with flag 1068002/1454505
194.44/108.14	c cleaning 45992 clauses out of 92003 with flag 1115001/1501504
199.88/111.03	c cleaning 46990 clauses out of 94010 with flag 1163000/1549503
206.10/114.33	c cleaning 48006 clauses out of 96020 with flag 1212000/1598503
212.28/117.75	c cleaning 49002 clauses out of 98014 with flag 1262000/1648503
218.50/121.03	c cleaning 50004 clauses out of 100014 with flag 1313002/1699505
225.49/124.70	c cleaning 51001 clauses out of 102008 with flag 1365000/1751503
231.89/128.17	c cleaning 51997 clauses out of 104007 with flag 1418000/1804503
239.67/132.32	c cleaning 53002 clauses out of 106010 with flag 1472000/1858503
247.06/136.25	c cleaning 54001 clauses out of 108008 with flag 1527000/1913503
251.25/138.56	c cleaning 0 clauses out of 6244 with flag 0/6254
255.74/140.71	c cleaning 55003 clauses out of 110008 with flag 1583001/1969504
264.05/145.22	c cleaning 55994 clauses out of 112005 with flag 1640001/2026504
272.00/149.44	c cleaning 57004 clauses out of 114011 with flag 1698001/2084504
279.15/153.22	c cleaning 57998 clauses out of 116006 with flag 1757000/2143503
288.32/158.04	c cleaning 58998 clauses out of 118008 with flag 1817000/2203503
296.03/162.29	c cleaning 60003 clauses out of 120010 with flag 1878000/2264503
304.56/166.71	c cleaning 60995 clauses out of 122009 with flag 1940002/2326505
314.56/171.91	c cleaning 61994 clauses out of 124012 with flag 2003000/2389503
323.47/176.61	c cleaning 62998 clauses out of 126018 with flag 2067000/2453503
332.72/181.67	c cleaning 64004 clauses out of 128020 with flag 2132000/2518503
342.24/186.67	c cleaning 64998 clauses out of 130016 with flag 2198000/2584503
351.54/191.56	c cleaning 66005 clauses out of 132021 with flag 2265003/2651506
360.02/196.05	c cleaning 67003 clauses out of 134013 with flag 2333000/2719503
371.24/202.09	c cleaning 68005 clauses out of 136010 with flag 2402000/2788503
381.50/207.46	c cleaning 69000 clauses out of 138005 with flag 2472000/2858503
391.18/212.50	c cleaning 70001 clauses out of 140006 with flag 2543001/2929504
400.84/217.64	c cleaning 70995 clauses out of 142006 with flag 2615002/3001505
409.99/222.62	c cleaning 71993 clauses out of 144010 with flag 2688001/3074504
418.83/227.32	c cleaning 73007 clauses out of 146018 with flag 2762002/3148505
427.69/232.04	c cleaning 73996 clauses out of 148009 with flag 2837000/3223503
436.92/236.91	c cleaning 75004 clauses out of 150013 with flag 2913000/3299503
447.46/242.65	c cleaning 75997 clauses out of 152009 with flag 2990000/3376503
456.50/247.48	c cleaning 77001 clauses out of 154015 with flag 3068003/3454506
465.70/252.38	c cleaning 77998 clauses out of 156011 with flag 3147000/3533503
475.13/257.40	c cleaning 78996 clauses out of 158013 with flag 3227000/3613503
485.00/262.72	c cleaning 80009 clauses out of 160018 with flag 3308001/3694504
496.99/269.02	c cleaning 81003 clauses out of 162009 with flag 3390001/3776504
510.00/275.80	c cleaning 81997 clauses out of 164005 with flag 3473000/3859503
522.38/282.36	c cleaning 83002 clauses out of 166010 with flag 3557002/3943505
533.61/288.43	c cleaning 83991 clauses out of 168007 with flag 3642001/4028504
545.97/294.95	c cleaning 85002 clauses out of 170016 with flag 3728001/4114504
557.15/300.86	c cleaning 86005 clauses out of 172014 with flag 3815001/4201504
569.69/307.40	c cleaning 86998 clauses out of 174008 with flag 3903000/4289503
583.12/314.60	c cleaning 87997 clauses out of 176010 with flag 3992000/4378503
597.67/322.26	c cleaning 88998 clauses out of 178013 with flag 4082000/4468503
608.40/327.91	c cleaning 90005 clauses out of 180015 with flag 4173000/4559503
619.55/333.86	c cleaning 91002 clauses out of 182011 with flag 4265001/4651504
632.93/341.21	c cleaning 91996 clauses out of 184008 with flag 4358000/4744503
645.45/347.87	c cleaning 92993 clauses out of 186012 with flag 4452000/4838503
660.75/356.07	c cleaning 94007 clauses out of 188020 with flag 4547001/4933504
675.99/364.24	c cleaning 95006 clauses out of 190014 with flag 4643002/5029505
692.83/373.47	c cleaning 96002 clauses out of 192007 with flag 4740001/5126504
708.04/381.65	c cleaning 96996 clauses out of 194004 with flag 4838000/5224503
724.03/390.26	c cleaning 98002 clauses out of 196008 with flag 4937000/5323503
742.22/399.94	c cleaning 98998 clauses out of 198006 with flag 5037000/5423503
758.34/408.81	c cleaning 99998 clauses out of 200009 with flag 5138001/5524504
775.32/417.98	c cleaning 100997 clauses out of 202010 with flag 5240000/5626503
790.62/426.28	c cleaning 102002 clauses out of 204014 with flag 5343001/5729504
808.79/435.93	c cleaning 103002 clauses out of 206011 with flag 5447000/5833503
828.25/446.56	c cleaning 103999 clauses out of 208010 with flag 5552001/5938504
843.06/454.65	c cleaning 104997 clauses out of 210011 with flag 5658001/6044504
860.83/464.15	c cleaning 105999 clauses out of 212013 with flag 5765000/6151503
879.49/474.18	c cleaning 107001 clauses out of 214014 with flag 5873000/6259503
898.65/484.65	c cleaning 108003 clauses out of 216014 with flag 5982001/6368504
919.28/495.60	c cleaning 109002 clauses out of 218011 with flag 6092001/6478504
936.25/504.83	c cleaning 109997 clauses out of 220008 with flag 6203000/6589503
954.71/514.73	c cleaning 111000 clauses out of 222012 with flag 6315001/6701504
971.02/523.83	c cleaning 112004 clauses out of 224012 with flag 6428001/6814504
990.28/534.12	c cleaning 112999 clauses out of 226008 with flag 6542001/6928504
1008.44/543.91	c cleaning 113999 clauses out of 228009 with flag 6657001/7043504
1027.64/554.21	c cleaning 114999 clauses out of 230009 with flag 6773000/7159503
1046.89/564.86	c cleaning 115998 clauses out of 232011 with flag 6890001/7276504
1065.65/574.91	c cleaning 117007 clauses out of 234013 with flag 7008001/7394504
1089.62/588.41	c cleaning 118001 clauses out of 236005 with flag 7127000/7513503
1109.81/599.07	c cleaning 118997 clauses out of 238004 with flag 7247000/7633503
1130.08/609.61	c cleaning 119991 clauses out of 240007 with flag 7368000/7754503
1152.33/621.29	c cleaning 121005 clauses out of 242016 with flag 7490000/7876503
1176.78/633.91	c cleaning 121999 clauses out of 244013 with flag 7613002/7999505
1199.70/646.18	c cleaning 122997 clauses out of 246014 with flag 7737002/8123505
1223.73/658.65	c cleaning 124004 clauses out of 248015 with flag 7862000/8248503
1247.58/671.06	c cleaning 124996 clauses out of 250011 with flag 7988000/8374503
1273.71/684.54	c cleaning 126002 clauses out of 252015 with flag 8115000/8501503
1295.58/696.29	c cleaning 127004 clauses out of 254013 with flag 8243000/8629503
1318.97/708.49	c cleaning 128000 clauses out of 256009 with flag 8372000/8758503
1342.35/720.69	c cleaning 128994 clauses out of 258010 with flag 8502001/8888504
1366.35/733.16	c cleaning 129998 clauses out of 260017 with flag 8633002/9019505
1394.49/747.93	c cleaning 130995 clauses out of 262017 with flag 8765000/9151503
1421.67/762.02	c cleaning 0 clauses out of 12242 with flag 0/12252
1423.62/763.57	c cleaning 132009 clauses out of 264022 with flag 8898000/9284503
1450.70/777.70	c cleaning 133006 clauses out of 266013 with flag 9032000/9418503
1479.95/793.08	c cleaning 133998 clauses out of 268007 with flag 9167000/9553503
1507.10/807.19	c cleaning 134997 clauses out of 270010 with flag 9303001/9689504
1535.62/821.92	c cleaning 136000 clauses out of 272012 with flag 9440000/9826503
1563.75/836.57	c cleaning 136996 clauses out of 274015 with flag 9578003/9964506
1594.79/852.88	c cleaning 138001 clauses out of 276018 with flag 9717002/10103505
1623.28/867.66	c cleaning 139006 clauses out of 278016 with flag 9857001/10243504
1652.38/882.74	c cleaning 139996 clauses out of 280010 with flag 9998001/10384504
1680.90/897.58	c cleaning 141002 clauses out of 282013 with flag 10140000/10526503
1711.76/914.20	c cleaning 141997 clauses out of 284014 with flag 10283003/10669506
1746.80/933.77	c cleaning 142998 clauses out of 286014 with flag 10427000/10813503
1779.98/950.71	c cleaning 144001 clauses out of 288016 with flag 10572000/10958503
1800.16/961.71	c starts		: 336
1800.16/961.71	c conflicts		: 11067069
1800.16/961.71	c decisions		: 16165251
1800.16/961.71	c propagations		: 155571413
1800.16/961.71	c inspects		: 4854629458
1800.16/961.71	c shortcuts		: 0
1800.16/961.71	c learnt literals	: 0
1800.16/961.71	c learnt binary clauses	: 0
1800.16/961.71	c learnt ternary clauses	: 0
1800.16/961.71	c learnt constraints	: 11067070
1800.16/961.71	c ignored constraints	: 0
1800.16/961.71	c root simplifications	: 0
1800.16/961.71	c removed literals (reason simplification)	: 2888119
1800.16/961.71	c reason swapping (by a shorter reason)	: 0
1800.16/961.71	c Calls to reduceDB	: 172
1800.16/961.71	c number of reductions to clauses (during analyze)	: 0
1800.16/961.71	c number of learned constraints concerned by reduction	: 0
1800.16/961.71	c number of learning phase by resolution	: 0
1800.16/961.71	c number of learning phase by cutting planes	: 0
1800.16/961.71	c speed (assignments/second)	: 161876.93226561006
1800.16/961.71	c non guided choices	694
1800.16/961.75	c learnt constraints type 
1800.16/961.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 253087
1800.16/961.75	c constraints type 
1800.16/961.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.16/961.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.16/961.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.16/961.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.16/961.75	c 16377 constraints processed.
1800.16/961.75	c constraints type 
1800.16/961.75	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1800.16/961.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1800.16/961.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1800.16/961.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7393
1800.16/961.75	c 16377 constraints processed.
1800.16/961.75	s SATISFIABLE
1800.16/961.75	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.16/961.75	c objective function=45233
1800.16/961.75	c Total wall clock time (in seconds): 961.63

Verifier Data 

OK	45233

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-3687658-1337872955/watcher-3687658-1337872955 -o /tmp/evaluation-result-3687658-1337872955/solver-3687658-1337872955 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687658-1337872955.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: 3.91 3.76 2.58 4/197 24033
/proc/meminfo: memFree=27453712/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24033/stat : 24033 (java) D 24031 24033 23457 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253424074 9515008 182 33554432000 1073741824 1073778376 140736555617936 140736555608968 245294251701 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/24033/statm: 2323 182 140 9 0 71 0

[startup+0.010843 s]
/proc/loadavg: 3.91 3.76 2.58 4/197 24033
/proc/meminfo: memFree=27453712/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/24033/stat : 24033 (java) R 24031 24033 23457 0 -1 4202496 1136 0 0 0 0 0 0 0 20 0 1 0 253424074 23793664 863 33554432000 1073741824 1073778376 140733818893824 140733818883816 140731792063782 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 5809 863 652 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.100179 s]
/proc/loadavg: 3.91 3.76 2.58 4/197 24033
/proc/meminfo: memFree=27453712/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24033/stat : 24033 (java) S 24031 24033 23457 0 -1 4202496 4260 0 1 0 8 1 0 0 20 0 18 0 253424074 9787813888 5449 33554432000 1073741824 1073778376 140733818893824 140733818884960 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 2389603 5449 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300266 s]
/proc/loadavg: 3.91 3.76 2.58 4/197 24033
/proc/meminfo: memFree=27453712/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/24033/stat : 24033 (java) S 24031 24033 23457 0 -1 4202496 6109 0 1 0 47 2 0 0 20 0 18 0 253424074 9787813888 10418 33554432000 1073741824 1073778376 140733818893824 140733818884960 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 2389603 10418 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700215 s]
/proc/loadavg: 3.91 3.76 2.58 4/197 24033
/proc/meminfo: memFree=27453712/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/24033/stat : 24033 (java) S 24031 24033 23457 0 -1 4202496 12518 0 1 0 139 5 0 0 20 0 22 0 253424074 10060460032 38245 33554432000 1073741824 1073778376 140733818893824 140733818884960 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 2456167 38245 2249 9 0 2446860 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9824668

[startup+1.50066 s]
/proc/loadavg: 3.91 3.76 2.58 3/216 24055
/proc/meminfo: memFree=27302212/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9824668 CPUtime=2.57 cores=1,3,5,7
/proc/24033/stat : 24033 (java) S 24031 24033 23457 0 -1 4202496 15187 0 1 0 246 11 0 0 20 0 19 0 253424074 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140733818884960 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 2456167 46108 2269 9 0 2446860 0
[pid=24033/tid=24035] ppid=24031 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/24033/task/24035/stat : 24035 (java) S 24031 24033 23457 0 -1 4202560 2528 0 1 0 59 4 0 0 20 0 19 0 253424075 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731790230520 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24036] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24036/stat : 24036 (java) S 24031 24033 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253424076 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731634006952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24037] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24037/stat : 24037 (java) S 24031 24033 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253424076 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731632954408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24038] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24038/stat : 24038 (java) S 24031 24033 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253424076 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731631901352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24039] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24039/stat : 24039 (java) S 24031 24033 23457 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253424076 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731630848808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24040] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24040/stat : 24040 (java) S 24031 24033 23457 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253424076 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731629795752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24041] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24041/stat : 24041 (java) S 24031 24033 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253424076 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731628743208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24042] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24042/stat : 24042 (java) S 24031 24033 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253424076 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731627690152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24043] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24043/stat : 24043 (java) S 24031 24033 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253424076 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731626637608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24044] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24044/stat : 24044 (java) S 24031 24033 23457 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 253424078 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731614440296 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24045] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24045/stat : 24045 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253424078 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731613386616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24046] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24046/stat : 24046 (java) S 24031 24033 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253424078 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731612333448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24047] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24047/stat : 24047 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253424081 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731611282192 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24048] ppid=24031 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/24033/task/24048/stat : 24048 (java) S 24031 24033 23457 0 -1 4202560 4976 0 0 0 62 0 0 0 20 0 19 0 253424081 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731610229048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24049] ppid=24031 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/24033/task/24049/stat : 24049 (java) S 24031 24033 23457 0 -1 4202560 6253 0 0 0 64 1 0 0 20 0 19 0 253424081 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731609176504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24050] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24050/stat : 24050 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253424081 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731608123640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24051] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24051/stat : 24051 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253424081 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731607071304 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24054] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24054/stat : 24054 (java) S 24031 24033 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253424141 10060460032 46108 33554432000 1073741824 1073778376 140733818893824 140731603911976 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9824668

[startup+3.10079 s]
/proc/loadavg: 3.76 3.73 2.58 7/219 24061
/proc/meminfo: memFree=27265956/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9824668 CPUtime=6.77 cores=1,3,5,7
/proc/24033/stat : 24033 (java) S 24031 24033 23457 0 -1 4202496 25234 0 1 0 659 18 0 0 20 0 22 0 253424074 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140733818884960 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 2456167 61156 2287 9 0 2446860 0
[pid=24033/tid=24035] ppid=24031 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/24033/task/24035/stat : 24035 (java) S 24031 24033 23457 0 -1 4202560 2528 0 1 0 59 4 0 0 20 0 22 0 253424075 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731790230520 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24036] ppid=24031 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24033/task/24036/stat : 24036 (java) S 24031 24033 23457 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 22 0 253424076 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731634006952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24037] ppid=24031 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24033/task/24037/stat : 24037 (java) S 24031 24033 23457 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253424076 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731632954408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24038] ppid=24031 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24033/task/24038/stat : 24038 (java) S 24031 24033 23457 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253424076 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731631901352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24039] ppid=24031 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24033/task/24039/stat : 24039 (java) S 24031 24033 23457 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253424076 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731630848808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24040] ppid=24031 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24033/task/24040/stat : 24040 (java) S 24031 24033 23457 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 253424076 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731629795752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24041] ppid=24031 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24033/task/24041/stat : 24041 (java) S 24031 24033 23457 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253424076 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731628743208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24042] ppid=24031 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24033/task/24042/stat : 24042 (java) S 24031 24033 23457 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253424076 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731627690152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24043] ppid=24031 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24033/task/24043/stat : 24043 (java) S 24031 24033 23457 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253424076 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731626637608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24044] ppid=24031 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/24033/task/24044/stat : 24044 (java) S 24031 24033 23457 0 -1 4202560 105 0 0 0 16 0 0 0 20 0 22 0 253424078 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731614440296 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24045] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24045/stat : 24045 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731613386616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24046] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24046/stat : 24046 (java) S 24031 24033 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731612333448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24047] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24047/stat : 24047 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731611282192 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24048] ppid=24031 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/24033/task/24048/stat : 24048 (java) S 24031 24033 23457 0 -1 4202560 6890 0 0 0 132 2 0 0 20 0 22 0 253424081 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731610229048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24049] ppid=24031 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/24033/task/24049/stat : 24049 (java) S 24031 24033 23457 0 -1 4202560 14295 0 0 0 136 3 0 0 20 0 22 0 253424081 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731609176504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24050] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24050/stat : 24050 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731608123640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24051] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24051/stat : 24051 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731607071304 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24054] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24054/stat : 24054 (java) S 24031 24033 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253424141 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731603911976 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24059] ppid=24031 vsize=9824668 CPUtime=1.19 cores=1,3,5,7
/proc/24033/task/24059/stat : 24059 (java) R 24031 24033 23457 0 -1 4202560 4 0 0 0 119 0 0 0 20 0 22 0 253424241 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731606016224 140731663181813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24060] ppid=24031 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/24033/task/24060/stat : 24060 (java) R 24031 24033 23457 0 -1 4202560 3 0 0 0 120 0 0 0 20 0 22 0 253424241 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731604963568 140731663325087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24061] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24061/stat : 24061 (java) S 24031 24033 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253424241 10060460032 61156 33554432000 1073741824 1073778376 140733818893824 140731602859688 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 9824668

[startup+6.30088 s]
/proc/loadavg: 3.76 3.73 2.58 5/219 24061
/proc/meminfo: memFree=27132464/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9824668 CPUtime=12.76 cores=1,3,5,7
/proc/24033/stat : 24033 (java) S 24031 24033 23457 0 -1 4202496 25302 0 1 0 1256 20 0 0 20 0 22 0 253424074 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140733818884960 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 2456167 75471 2287 9 0 2446860 0
[pid=24033/tid=24035] ppid=24031 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/24033/task/24035/stat : 24035 (java) S 24031 24033 23457 0 -1 4202560 2529 0 1 0 59 4 0 0 20 0 22 0 253424075 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731790230520 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24036] ppid=24031 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24033/task/24036/stat : 24036 (java) S 24031 24033 23457 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 22 0 253424076 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731634006952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24037] ppid=24031 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24033/task/24037/stat : 24037 (java) S 24031 24033 23457 0 -1 4202560 15 0 0 0 5 0 0 0 20 0 22 0 253424076 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731632954408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24038] ppid=24031 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24033/task/24038/stat : 24038 (java) S 24031 24033 23457 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 22 0 253424076 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731631901352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24039] ppid=24031 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24033/task/24039/stat : 24039 (java) S 24031 24033 23457 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 253424076 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731630848808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24040] ppid=24031 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24033/task/24040/stat : 24040 (java) S 24031 24033 23457 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 253424076 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731629795752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24041] ppid=24031 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24033/task/24041/stat : 24041 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 22 0 253424076 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731628743208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24042] ppid=24031 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24033/task/24042/stat : 24042 (java) S 24031 24033 23457 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 253424076 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731627690152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24043] ppid=24031 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24033/task/24043/stat : 24043 (java) S 24031 24033 23457 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 22 0 253424076 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731626637608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24044] ppid=24031 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/24033/task/24044/stat : 24044 (java) S 24031 24033 23457 0 -1 4202560 114 0 0 0 71 1 0 0 20 0 22 0 253424078 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731614440296 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24045] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24045/stat : 24045 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731613386616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24046] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24046/stat : 24046 (java) S 24031 24033 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731612333448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24047] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24047/stat : 24047 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731611282192 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24048] ppid=24031 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/24033/task/24048/stat : 24048 (java) S 24031 24033 23457 0 -1 4202560 6891 0 0 0 132 2 0 0 20 0 22 0 253424081 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731610229048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24049] ppid=24031 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/24033/task/24049/stat : 24049 (java) S 24031 24033 23457 0 -1 4202560 14295 0 0 0 142 3 0 0 20 0 22 0 253424081 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731609176504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24050] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24050/stat : 24050 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731608123640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24051] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24051/stat : 24051 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 75471 33554432000 1073741824 1073778376 140733818893824 140731607071304 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

/proc/24033/statm: 2456167 841840 2288 9 0 2446860 0
[pid=24033/tid=24035] ppid=24031 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/24033/task/24035/stat : 24035 (java) S 24031 24033 23457 0 -1 4202560 2660 0 1 0 64 7 0 0 20 0 22 0 253424075 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731790230520 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24036] ppid=24031 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/24033/task/24036/stat : 24036 (java) S 24031 24033 23457 0 -1 4202560 473 0 0 0 156 8 0 0 20 0 22 0 253424076 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731634006952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24037] ppid=24031 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/24033/task/24037/stat : 24037 (java) S 24031 24033 23457 0 -1 4202560 595 0 0 0 170 11 0 0 20 0 22 0 253424076 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731632954408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24038] ppid=24031 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/24033/task/24038/stat : 24038 (java) S 24031 24033 23457 0 -1 4202560 398 0 0 0 158 8 0 0 20 0 22 0 253424076 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731631901352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24039] ppid=24031 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/24033/task/24039/stat : 24039 (java) S 24031 24033 23457 0 -1 4202560 672 0 0 0 173 11 0 0 20 0 22 0 253424076 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731630848808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24040] ppid=24031 vsize=9824668 CPUtime=1.74 cores=1,3,5,7
/proc/24033/task/24040/stat : 24040 (java) S 24031 24033 23457 0 -1 4202560 601 0 0 0 165 9 0 0 20 0 22 0 253424076 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731629795752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24041] ppid=24031 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/24033/task/24041/stat : 24041 (java) S 24031 24033 23457 0 -1 4202560 655 0 0 0 168 8 0 0 20 0 22 0 253424076 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731628743208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24042] ppid=24031 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/24033/task/24042/stat : 24042 (java) S 24031 24033 23457 0 -1 4202560 737 0 0 0 163 8 0 0 20 0 22 0 253424076 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731627690152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24043] ppid=24031 vsize=9824668 CPUtime=1.69 cores=1,3,5,7
/proc/24033/task/24043/stat : 24043 (java) S 24031 24033 23457 0 -1 4202560 479 0 0 0 160 9 0 0 20 0 22 0 253424076 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731626637608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24044] ppid=24031 vsize=9824668 CPUtime=123.03 cores=1,3,5,7
/proc/24033/task/24044/stat : 24044 (java) S 24031 24033 23457 0 -1 4202560 3067 0 0 0 12287 16 0 0 20 0 22 0 253424078 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731614440296 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24045] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24045/stat : 24045 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731613386616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24046] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24046/stat : 24046 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731612333448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24047] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24047/stat : 24047 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731611282192 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24048] ppid=24031 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/24033/task/24048/stat : 24048 (java) S 24031 24033 23457 0 -1 4202560 8490 0 0 0 190 2 0 0 20 0 22 0 253424081 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731610229048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24049] ppid=24031 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/24033/task/24049/stat : 24049 (java) S 24031 24033 23457 0 -1 4202560 14304 0 0 0 168 3 0 0 20 0 22 0 253424081 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731609176504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24050] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24050/stat : 24050 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731608123640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24051] ppid=24031 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/24033/task/24051/stat : 24051 (java) S 24031 24033 23457 0 -1 4202560 55 0 0 0 25 22 0 0 20 0 22 0 253424081 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731607071304 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24054] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24054/stat : 24054 (java) S 24031 24033 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253424141 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731603911976 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24098] ppid=24031 vsize=9824668 CPUtime=778.25 cores=1,3,5,7
/proc/24033/task/24098/stat : 24098 (java) R 24031 24033 23457 0 -1 4202560 23 0 0 0 77814 11 0 0 20 0 22 0 253428116 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731606016096 140731663196660 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24099] ppid=24031 vsize=9824668 CPUtime=778.11 cores=1,3,5,7
/proc/24033/task/24099/stat : 24099 (java) R 24031 24033 23457 0 -1 4202560 1132 0 0 0 77767 44 0 0 20 0 22 0 253428116 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731604961680 140731663393932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24100] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24100/stat : 24100 (java) S 24031 24033 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253428116 10060460032 841840 33554432000 1073741824 1073778376 140733818893824 140731602859560 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1763.05
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+961.701 s]
/proc/loadavg: 3.67 3.71 3.27 4/219 24337
/proc/meminfo: memFree=24365520/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9824668 CPUtime=1800.16 cores=1,3,5,7
/proc/24033/stat : 24033 (java) S 24031 24033 23457 0 -1 4202496 36044 0 1 0 179827 189 0 0 20 0 22 0 253424074 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140733818884960 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 2456167 851072 2288 9 0 2446860 0
[pid=24033/tid=24035] ppid=24031 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/24033/task/24035/stat : 24035 (java) S 24031 24033 23457 0 -1 4202560 2660 0 1 0 64 7 0 0 20 0 22 0 253424075 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731790230520 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24036] ppid=24031 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/24033/task/24036/stat : 24036 (java) S 24031 24033 23457 0 -1 4202560 490 0 0 0 163 8 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731634006952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24037] ppid=24031 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/24033/task/24037/stat : 24037 (java) S 24031 24033 23457 0 -1 4202560 613 0 0 0 175 11 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731632954408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24038] ppid=24031 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/24033/task/24038/stat : 24038 (java) S 24031 24033 23457 0 -1 4202560 409 0 0 0 161 9 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731631901352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24039] ppid=24031 vsize=9824668 CPUtime=1.88 cores=1,3,5,7
/proc/24033/task/24039/stat : 24039 (java) S 24031 24033 23457 0 -1 4202560 677 0 0 0 177 11 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731630848808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24040] ppid=24031 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/24033/task/24040/stat : 24040 (java) S 24031 24033 23457 0 -1 4202560 607 0 0 0 168 10 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731629795752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24041] ppid=24031 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/24033/task/24041/stat : 24041 (java) S 24031 24033 23457 0 -1 4202560 662 0 0 0 171 8 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731628743208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24042] ppid=24031 vsize=9824668 CPUtime=1.75 cores=1,3,5,7
/proc/24033/task/24042/stat : 24042 (java) S 24031 24033 23457 0 -1 4202560 745 0 0 0 167 8 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731627690152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24043] ppid=24031 vsize=9824668 CPUtime=1.73 cores=1,3,5,7
/proc/24033/task/24043/stat : 24043 (java) S 24031 24033 23457 0 -1 4202560 480 0 0 0 164 9 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731626637608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24044] ppid=24031 vsize=9824668 CPUtime=124.91 cores=1,3,5,7
/proc/24033/task/24044/stat : 24044 (java) S 24031 24033 23457 0 -1 4202560 3075 0 0 0 12475 16 0 0 20 0 22 0 253424078 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731614440296 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24045] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24045/stat : 24045 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731613386616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24046] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24046/stat : 24046 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731612333448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24047] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24047/stat : 24047 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731611282192 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24048] ppid=24031 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/24033/task/24048/stat : 24048 (java) S 24031 24033 23457 0 -1 4202560 8490 0 0 0 190 2 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731610229048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24049] ppid=24031 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/24033/task/24049/stat : 24049 (java) S 24031 24033 23457 0 -1 4202560 14304 0 0 0 168 3 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731609176504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24050] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24050/stat : 24050 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731608123640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24051] ppid=24031 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/24033/task/24051/stat : 24051 (java) S 24031 24033 23457 0 -1 4202560 55 0 0 0 26 22 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731607071304 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24054] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24054/stat : 24054 (java) S 24031 24033 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253424141 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731603911976 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24098] ppid=24031 vsize=9824668 CPUtime=795.63 cores=1,3,5,7
/proc/24033/task/24098/stat : 24098 (java) R 24031 24033 23457 0 -1 4202560 24 0 0 0 79551 12 0 0 20 0 22 0 253428116 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731606016096 140731663147911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24099] ppid=24031 vsize=9824668 CPUtime=795.5 cores=1,3,5,7
/proc/24033/task/24099/stat : 24099 (java) R 24031 24033 23457 0 -1 4202560 1133 0 0 0 79505 45 0 0 20 0 22 0 253428116 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731604961568 140731663393833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24100] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24100/stat : 24100 (java) S 24031 24033 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253428116 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731602859560 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668

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

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

[startup+961.701 s]
/proc/loadavg: 3.67 3.71 3.27 4/219 24337
/proc/meminfo: memFree=24365520/32873844 swapFree=7356/7356
[pid=24033] ppid=24031 vsize=9824668 CPUtime=1800.16 cores=1,3,5,7
/proc/24033/stat : 24033 (java) S 24031 24033 23457 0 -1 4202496 36044 0 1 0 179827 189 0 0 20 0 22 0 253424074 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140733818884960 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24033/statm: 2456167 851072 2288 9 0 2446860 0
[pid=24033/tid=24035] ppid=24031 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/24033/task/24035/stat : 24035 (java) S 24031 24033 23457 0 -1 4202560 2660 0 1 0 64 7 0 0 20 0 22 0 253424075 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731790230520 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24036] ppid=24031 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/24033/task/24036/stat : 24036 (java) S 24031 24033 23457 0 -1 4202560 490 0 0 0 163 8 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731634006952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24037] ppid=24031 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/24033/task/24037/stat : 24037 (java) S 24031 24033 23457 0 -1 4202560 613 0 0 0 175 11 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731632954408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24038] ppid=24031 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/24033/task/24038/stat : 24038 (java) S 24031 24033 23457 0 -1 4202560 409 0 0 0 161 9 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731631901352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24039] ppid=24031 vsize=9824668 CPUtime=1.88 cores=1,3,5,7
/proc/24033/task/24039/stat : 24039 (java) S 24031 24033 23457 0 -1 4202560 677 0 0 0 177 11 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731630848808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24040] ppid=24031 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/24033/task/24040/stat : 24040 (java) S 24031 24033 23457 0 -1 4202560 607 0 0 0 168 10 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731629795752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24041] ppid=24031 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/24033/task/24041/stat : 24041 (java) S 24031 24033 23457 0 -1 4202560 662 0 0 0 171 8 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731628743208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24042] ppid=24031 vsize=9824668 CPUtime=1.75 cores=1,3,5,7
/proc/24033/task/24042/stat : 24042 (java) S 24031 24033 23457 0 -1 4202560 745 0 0 0 167 8 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731627690152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24043] ppid=24031 vsize=9824668 CPUtime=1.73 cores=1,3,5,7
/proc/24033/task/24043/stat : 24043 (java) S 24031 24033 23457 0 -1 4202560 480 0 0 0 164 9 0 0 20 0 22 0 253424076 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731626637608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24044] ppid=24031 vsize=9824668 CPUtime=124.91 cores=1,3,5,7
/proc/24033/task/24044/stat : 24044 (java) S 24031 24033 23457 0 -1 4202560 3075 0 0 0 12475 16 0 0 20 0 22 0 253424078 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731614440296 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24045] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24045/stat : 24045 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731613386616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24046] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24046/stat : 24046 (java) S 24031 24033 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253424078 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731612333448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24047] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24047/stat : 24047 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731611282192 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24048] ppid=24031 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/24033/task/24048/stat : 24048 (java) S 24031 24033 23457 0 -1 4202560 8490 0 0 0 190 2 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731610229048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24049] ppid=24031 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/24033/task/24049/stat : 24049 (java) S 24031 24033 23457 0 -1 4202560 14304 0 0 0 168 3 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731609176504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24050] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24050/stat : 24050 (java) S 24031 24033 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731608123640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24051] ppid=24031 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/24033/task/24051/stat : 24051 (java) S 24031 24033 23457 0 -1 4202560 55 0 0 0 26 22 0 0 20 0 22 0 253424081 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731607071304 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24033/tid=24054] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24054/stat : 24054 (java) S 24031 24033 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253424141 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731603911976 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24033/tid=24098] ppid=24031 vsize=9824668 CPUtime=795.63 cores=1,3,5,7
/proc/24033/task/24098/stat : 24098 (java) R 24031 24033 23457 0 -1 4202560 24 0 0 0 79551 12 0 0 20 0 22 0 253428116 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731606016096 140731663147911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24033/tid=24099] ppid=24031 vsize=9824668 CPUtime=795.5 cores=1,3,5,7
/proc/24033/task/24099/stat : 24099 (java) R 24031 24033 23457 0 -1 4202560 1133 0 0 0 79505 45 0 0 20 0 22 0 253428116 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731604961568 140731663393833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24033/tid=24100] ppid=24031 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24033/task/24100/stat : 24100 (java) S 24031 24033 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253428116 10060460032 851072 33554432000 1073741824 1073778376 140733818893824 140731602859560 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24033 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=989272
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=351642
# CPU time returned by wait4() is 1796.34
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 961.776
CPU time (s): 1800.16
CPU user time (s): 1798.27
CPU system time (s): 1.89
CPU usage (%): 187.17
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.35164
maximum resident set size= 3404400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36074
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27307
involuntary context switches= 34013

runsolver used 3.74043 second user time and 9.51455 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-24 17:22:35
IDJOB=3687658
IDBENCH=2008
IDSOLVER=2268
FILE ID=node109/3687658-1337872955
RUNJOBID= node109-1337871881-23474
PBS_JOBID= 14620095
Free space on /tmp= 71680 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687658-1337872955/watcher-3687658-1337872955 -o /tmp/evaluation-result-3687658-1337872955/solver-3687658-1337872955 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687658-1337872955.opb

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=647637232

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27454240 kB
Buffers:          197076 kB
Cached:          2783668 kB
SwapCached:            0 kB
Active:          2018652 kB
Inactive:        2607808 kB
Active(anon):    1648152 kB
Inactive(anon):        0 kB
Active(file):     370500 kB
Inactive(file):  2607808 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1176 kB
Writeback:            16 kB
AnonPages:       1679200 kB
Mapped:            22512 kB
Shmem:               200 kB
Slab:             625908 kB
SReclaimable:      68540 kB
SUnreclaim:       557368 kB
KernelStack:        1632 kB
PageTables:         7456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1975668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1613824 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= 71680 MiB
End job on node109 at 2012-05-24 17:38:39