Trace number 4085913

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)34 1800.08 1798.34

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_5_errors.opb
MD5SUM06d341d0af76f66d4946a3c264573060
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark62.4045
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4085913-1465272597.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.71/0.45	c ... done. Wall clock time 0.343s.
0.71/0.45	c declared #vars     584
0.71/0.45	c internal #vars     2990
0.71/0.45	c #constraints  5666
0.71/0.45	c constraints type 
0.71/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2105
0.71/0.45	c org.sat4j.minisat.constraints.cnf.UnitClauses => 16
0.71/0.45	c org.sat4j.specs.Constr$1 => 618
0.71/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 424
0.71/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 40
0.71/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 115
0.71/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2348
0.71/0.45	c 5666 constraints processed.
0.71/0.45	c objective function length is 182 literals
1.21/0.63	c SATISFIABLE
1.21/0.63	c OPTIMIZING...
1.21/0.63	c Got one! Elapsed wall clock time (in seconds):0.518
1.21/0.63	o 87
1.84/1.12	c Got one! Elapsed wall clock time (in seconds):1.017
1.84/1.12	o 77
2.10/1.32	c cleaning 3127 clauses out of 6264 with flag 3374/6264
2.65/1.81	c Got one! Elapsed wall clock time (in seconds):1.701
2.65/1.81	o 76
2.76/1.99	c cleaning 4478 clauses out of 8957 with flag 6586/12084
3.10/2.16	c Got one! Elapsed wall clock time (in seconds):2.054
3.10/2.16	o 75
3.53/2.33	c cleaning 5072 clauses out of 10155 with flag 2717/17760
4.21/2.97	c cleaning 5539 clauses out of 11085 with flag 17707/23762
5.33/4.04	c cleaning 6255 clauses out of 12544 with flag 41319/30760
6.03/4.72	c cleaning 7144 clauses out of 14290 with flag 65032/38761
6.53/5.23	c cleaning 8073 clauses out of 16146 with flag 83228/47761
7.13/5.89	c cleaning 9035 clauses out of 18072 with flag 103290/57760
7.95/6.68	c cleaning 10019 clauses out of 20038 with flag 125296/68761
8.94/7.66	c cleaning 11003 clauses out of 22019 with flag 149304/80761
10.15/8.88	c cleaning 12006 clauses out of 24017 with flag 175306/93762
11.64/10.33	c cleaning 13004 clauses out of 26009 with flag 203303/107760
13.34/12.00	c cleaning 14003 clauses out of 28007 with flag 233309/122762
15.44/14.12	c cleaning 14997 clauses out of 30003 with flag 280164/138761
17.24/15.95	c cleaning 15999 clauses out of 32010 with flag 329843/155765
19.44/18.20	c cleaning 17003 clauses out of 34008 with flag 367287/173762
22.54/21.22	c cleaning 17997 clauses out of 36005 with flag 406996/192762
26.34/25.02	c cleaning 19001 clauses out of 38007 with flag 448145/212761
27.33/26.06	c Got one! Elapsed wall clock time (in seconds):25.948
27.33/26.06	o 73
28.40/27.05	c cleaning 15499 clauses out of 31007 with flag 18497/224762
29.19/27.83	c cleaning 10749 clauses out of 21509 with flag 47885/230763
30.10/28.71	c cleaning 8864 clauses out of 17759 with flag 82920/237762
30.69/29.36	c Got one! Elapsed wall clock time (in seconds):29.251
30.69/29.36	o 72
31.32/29.90	c cleaning 9574 clauses out of 19159 with flag 11757/248026
31.82/30.46	c cleaning 7784 clauses out of 15585 with flag 28566/254026
32.12/30.70	c Got one! Elapsed wall clock time (in seconds):30.594
32.12/30.70	o 71
32.32/30.99	c cleaning 6674 clauses out of 13355 with flag 8798/259580
32.92/31.56	c Got one! Elapsed wall clock time (in seconds):31.454
32.92/31.56	o 67
33.81/32.48	c cleaning 8688 clauses out of 17392 with flag 15274/270291
34.71/33.31	c cleaning 7349 clauses out of 14702 with flag 36398/276289
34.81/33.44	c Got one! Elapsed wall clock time (in seconds):33.336
34.81/33.44	o 66
35.11/33.75	c cleaning 6451 clauses out of 12921 with flag 8115/281857
35.71/34.34	c cleaning 6231 clauses out of 12470 with flag 22135/287857
36.11/34.78	c cleaning 6615 clauses out of 13238 with flag 36704/294856
37.01/35.62	c cleaning 7310 clauses out of 14622 with flag 57619/302855
38.01/36.68	c cleaning 8154 clauses out of 16312 with flag 76874/311855
38.82/37.47	c cleaning 9071 clauses out of 18159 with flag 98647/321856
39.11/37.76	c Got one! Elapsed wall clock time (in seconds):37.653
39.11/37.76	o 65
39.31/37.94	c cleaning 7265 clauses out of 14540 with flag 2428/327308
39.92/38.51	c cleaning 6633 clauses out of 13277 with flag 15965/333310
40.61/39.23	c cleaning 6819 clauses out of 13642 with flag 34761/340308
41.51/40.11	c cleaning 7408 clauses out of 14823 with flag 58063/348308
41.51/40.12	c Got one! Elapsed wall clock time (in seconds):40.008
41.51/40.12	o 63
42.02/40.62	c cleaning 6214 clauses out of 12446 with flag 12273/353339
42.42/41.09	c cleaning 6109 clauses out of 12233 with flag 25312/359340
42.72/41.34	c Got one! Elapsed wall clock time (in seconds):41.236
42.72/41.34	o 61
42.92/41.51	c cleaning 5787 clauses out of 11582 with flag 4989/364798
43.42/42.00	c cleaning 5893 clauses out of 11795 with flag 17557/370798
43.42/42.02	c Got one! Elapsed wall clock time (in seconds):41.912
43.42/42.02	o 59
43.94/42.50	c cleaning 5527 clauses out of 11060 with flag 12718/375956
44.45/43.05	c cleaning 5761 clauses out of 11536 with flag 26108/381959
44.64/43.27	c Got one! Elapsed wall clock time (in seconds):43.166
44.64/43.27	o 57
44.97/43.51	c cleaning 5456 clauses out of 10930 with flag 7967/387114
45.58/44.11	c cleaning 5729 clauses out of 11475 with flag 21914/393115
45.87/44.48	c Got one! Elapsed wall clock time (in seconds):44.374
45.87/44.48	o 56
45.97/44.57	c cleaning 5601 clauses out of 11209 with flag 2768/398578
46.58/45.15	c cleaning 5798 clauses out of 11609 with flag 16435/404579
47.19/45.77	c cleaning 6397 clauses out of 12810 with flag 32855/411578
47.80/46.37	c Got one! Elapsed wall clock time (in seconds):46.262
47.80/46.37	o 55
47.89/46.47	c cleaning 5980 clauses out of 11972 with flag 2761/417137
48.40/46.97	c cleaning 5987 clauses out of 11992 with flag 16273/423137
49.10/47.64	c cleaning 6486 clauses out of 13005 with flag 36199/430137
51.30/49.86	c cleaning 7245 clauses out of 14521 with flag 93109/438139
53.20/51.74	c cleaning 8130 clauses out of 16274 with flag 165603/447137
55.23/53.80	c cleaning 9068 clauses out of 18144 with flag 215797/457137
56.23/54.78	c cleaning 10034 clauses out of 20083 with flag 250296/468144
57.43/55.96	c cleaning 11018 clauses out of 22043 with flag 288304/480138
57.53/56.04	c Got one! Elapsed wall clock time (in seconds):55.934
57.53/56.04	o 54
58.03/56.54	c cleaning 8443 clauses out of 16893 with flag 11834/486006
58.53/57.00	c cleaning 7219 clauses out of 14451 with flag 24484/492007
59.13/57.70	c cleaning 7101 clauses out of 14232 with flag 46893/499007
59.94/58.43	c Got one! Elapsed wall clock time (in seconds):58.325
59.94/58.43	o 53
60.44/58.93	c cleaning 9093 clauses out of 18189 with flag 13222/510065
60.84/59.37	c cleaning 7546 clauses out of 15095 with flag 26504/516064
61.54/60.00	c cleaning 7274 clauses out of 14551 with flag 45658/523066
61.94/60.41	c Got one! Elapsed wall clock time (in seconds):60.298
61.94/60.41	o 52
62.15/60.67	c cleaning 6616 clauses out of 13241 with flag 7468/529030
62.65/61.17	c cleaning 6306 clauses out of 12628 with flag 20621/535033
63.25/61.76	c cleaning 6657 clauses out of 13320 with flag 39896/542031
64.44/62.96	c Got one! Elapsed wall clock time (in seconds):62.855
64.44/62.96	o 50
64.94/63.43	c cleaning 9681 clauses out of 19361 with flag 12100/554729
65.45/63.99	c cleaning 7830 clauses out of 15680 with flag 26799/560729
65.84/64.37	c Got one! Elapsed wall clock time (in seconds):64.261
65.84/64.37	o 49
66.04/64.55	c cleaning 6885 clauses out of 13786 with flag 5563/566665
66.55/65.06	c cleaning 6439 clauses out of 12899 with flag 19658/572663
66.94/65.46	c cleaning 6720 clauses out of 13462 with flag 37495/579665
67.34/65.81	c cleaning 7371 clauses out of 14741 with flag 53853/587664
68.24/66.79	c cleaning 8183 clauses out of 16370 with flag 85121/596664
69.14/67.60	c cleaning 9088 clauses out of 18187 with flag 109530/606664
69.54/68.02	c Got one! Elapsed wall clock time (in seconds):67.912
69.54/68.02	o 47
69.64/68.17	c cleaning 7465 clauses out of 14939 with flag 4674/612504
70.14/68.67	c cleaning 6731 clauses out of 13474 with flag 17473/618504
70.64/69.18	c cleaning 6865 clauses out of 13743 with flag 33061/625504
71.55/70.00	c cleaning 7434 clauses out of 14877 with flag 52880/633503
72.54/71.08	c cleaning 8216 clauses out of 16444 with flag 74213/642504
73.74/72.20	c cleaning 9112 clauses out of 18229 with flag 98863/652505
74.94/73.45	c cleaning 10055 clauses out of 20118 with flag 123884/663506
76.36/74.87	c cleaning 11031 clauses out of 22062 with flag 152073/675505
77.85/76.39	c cleaning 12014 clauses out of 24029 with flag 179684/688503
79.95/78.43	c cleaning 13004 clauses out of 26015 with flag 212632/702503
81.65/80.15	c cleaning 14003 clauses out of 28012 with flag 251751/717504
82.15/80.60	c Got one! Elapsed wall clock time (in seconds):80.494
82.15/80.60	o 46
83.06/81.55	c cleaning 13394 clauses out of 26798 with flag 11443/730293
83.75/82.22	c cleaning 9692 clauses out of 19403 with flag 28570/736292
84.35/82.85	c cleaning 8353 clauses out of 16711 with flag 47306/743292
85.35/83.89	c cleaning 8168 clauses out of 16360 with flag 78141/751294
85.75/84.22	c Got one! Elapsed wall clock time (in seconds):84.114
85.75/84.22	o 44
85.95/84.46	c cleaning 7028 clauses out of 14069 with flag 7376/757171
86.45/84.94	c cleaning 6513 clauses out of 13041 with flag 20966/763171
86.95/85.48	c cleaning 6761 clauses out of 13530 with flag 38663/770173
87.25/85.73	c Got one! Elapsed wall clock time (in seconds):85.619
87.25/85.73	o 43
87.55/86.09	c cleaning 6330 clauses out of 12673 with flag 9661/776077
88.05/86.57	c cleaning 6168 clauses out of 12342 with flag 22273/782076
88.56/87.02	c cleaning 6583 clauses out of 13175 with flag 37671/789077
88.85/87.34	c cleaning 7296 clauses out of 14591 with flag 55051/797076
89.56/88.05	c cleaning 8141 clauses out of 16295 with flag 75250/806076
90.66/89.12	c cleaning 9072 clauses out of 18157 with flag 105304/816079
91.05/89.57	c Got one! Elapsed wall clock time (in seconds):89.463
91.05/89.57	o 41
91.76/90.27	c cleaning 11253 clauses out of 22505 with flag 11575/829499
92.25/90.77	c cleaning 8620 clauses out of 17250 with flag 25950/835497
93.25/91.74	c cleaning 7810 clauses out of 15631 with flag 51674/842498
94.15/92.65	c cleaning 7893 clauses out of 15820 with flag 74295/850497
95.06/93.57	c cleaning 8452 clauses out of 16927 with flag 98899/859497
96.55/95.04	c cleaning 9232 clauses out of 18479 with flag 136468/869501
96.55/95.05	c Got one! Elapsed wall clock time (in seconds):94.946
96.55/95.05	o 40
96.95/95.49	c cleaning 7166 clauses out of 14336 with flag 11520/874590
97.45/95.99	c cleaning 6576 clauses out of 13169 with flag 25209/880589
97.85/96.38	c cleaning 6792 clauses out of 13592 with flag 41710/887588
98.65/97.19	c cleaning 7390 clauses out of 14800 with flag 64356/895588
100.35/98.88	c cleaning 8199 clauses out of 16412 with flag 102119/904590
101.66/100.16	c cleaning 9099 clauses out of 18211 with flag 136562/914588
104.05/102.58	c cleaning 10047 clauses out of 20116 with flag 188861/925592
105.45/103.96	c cleaning 11027 clauses out of 22066 with flag 222634/937589
106.65/105.16	c cleaning 12013 clauses out of 24038 with flag 253571/950588
108.15/106.60	c cleaning 13007 clauses out of 26026 with flag 289390/964589
109.15/107.66	c Got one! Elapsed wall clock time (in seconds):107.551
109.15/107.66	o 39
109.68/108.18	c cleaning 14428 clauses out of 28868 with flag 11201/980438
110.28/108.70	c cleaning 10219 clauses out of 20441 with flag 25495/986439
111.28/109.76	c cleaning 8605 clauses out of 17221 with flag 53556/993438
111.78/110.25	c cleaning 8305 clauses out of 16616 with flag 72072/1001438
112.28/110.74	c cleaning 8654 clauses out of 17311 with flag 90677/1010438
112.88/111.35	c cleaning 9329 clauses out of 18659 with flag 111427/1020440
113.68/112.12	c cleaning 10160 clauses out of 20327 with flag 134425/1031437
115.38/113.83	c cleaning 11082 clauses out of 22169 with flag 177727/1043439
116.38/114.83	c cleaning 12044 clauses out of 24087 with flag 204672/1056439
117.58/116.02	c cleaning 13022 clauses out of 26043 with flag 233425/1070439
118.98/117.44	c cleaning 14009 clauses out of 28019 with flag 264248/1085437
120.68/119.13	c cleaning 15004 clauses out of 30011 with flag 296970/1101438
122.59/121.07	c cleaning 16001 clauses out of 32006 with flag 331954/1118437
124.79/123.24	c cleaning 17003 clauses out of 34005 with flag 368695/1136437
127.18/125.64	c cleaning 18002 clauses out of 36004 with flag 407171/1155439
129.88/128.33	c cleaning 18999 clauses out of 38005 with flag 447243/1175442
133.08/131.54	c cleaning 19999 clauses out of 40003 with flag 489507/1196439
136.68/135.12	c cleaning 21001 clauses out of 42002 with flag 533625/1218437
140.48/138.98	c cleaning 21995 clauses out of 44001 with flag 593225/1241437
142.88/141.39	c cleaning 23003 clauses out of 46006 with flag 662193/1265437
145.88/144.39	c cleaning 23996 clauses out of 48003 with flag 717862/1290437
149.68/148.18	c cleaning 25001 clauses out of 50007 with flag 770764/1316437
153.88/152.33	c cleaning 26000 clauses out of 52008 with flag 825226/1343439
158.38/156.84	c cleaning 27000 clauses out of 54007 with flag 881497/1371438
163.38/161.88	c cleaning 28004 clauses out of 56008 with flag 939923/1400439
166.68/165.19	c cleaning 29001 clauses out of 58002 with flag 1008309/1430437
172.08/170.53	c cleaning 29996 clauses out of 60002 with flag 1101523/1461438
181.08/179.53	c cleaning 30993 clauses out of 62005 with flag 1235530/1493437
186.97/185.41	c Got one! Elapsed wall clock time (in seconds):185.304
186.97/185.41	o 38
187.87/186.35	c cleaning 33823 clauses out of 67652 with flag 11405/1530077
188.47/186.96	c cleaning 19909 clauses out of 39829 with flag 24369/1536077
188.97/187.48	c cleaning 13451 clauses out of 26921 with flag 39656/1543078
189.78/188.22	c cleaning 10730 clauses out of 21470 with flag 60025/1551078
190.57/189.02	c cleaning 9848 clauses out of 19740 with flag 85157/1560078
192.39/190.85	c Got one! Elapsed wall clock time (in seconds):190.742
192.39/190.85	o 36
192.88/191.36	c cleaning 12200 clauses out of 24406 with flag 11438/1574592
193.38/191.85	c cleaning 9098 clauses out of 18207 with flag 25441/1580593
193.98/192.48	c cleaning 8040 clauses out of 16109 with flag 43487/1587593
195.38/193.89	c cleaning 8030 clauses out of 16067 with flag 78135/1595591
196.39/194.86	c cleaning 8512 clauses out of 17037 with flag 104751/1604591
196.99/195.40	c cleaning 9259 clauses out of 18525 with flag 126274/1614591
197.68/196.16	c Got one! Elapsed wall clock time (in seconds):196.051
197.68/196.16	o 34
198.38/196.85	c cleaning 12413 clauses out of 24829 with flag 11170/1630154
198.88/197.38	c cleaning 9199 clauses out of 18418 with flag 25217/1636156
199.38/197.86	c cleaning 8098 clauses out of 16217 with flag 41936/1643154
199.88/198.40	c cleaning 8052 clauses out of 16121 with flag 62251/1651156
200.69/199.20	c cleaning 8524 clauses out of 17068 with flag 87140/1660155
201.38/199.85	c cleaning 9269 clauses out of 18543 with flag 112276/1670154
202.38/200.85	c cleaning 10104 clauses out of 20276 with flag 143274/1681156
203.49/201.96	c cleaning 11077 clauses out of 22172 with flag 175128/1693156
204.68/203.15	c cleaning 12048 clauses out of 24095 with flag 206455/1706156
205.78/204.24	c cleaning 13018 clauses out of 26049 with flag 242909/1720158
207.18/205.61	c cleaning 14009 clauses out of 28028 with flag 273040/1735155
208.78/207.20	c cleaning 15008 clauses out of 30022 with flag 305109/1751158
210.60/209.06	c cleaning 16006 clauses out of 32012 with flag 339114/1768156
212.69/211.12	c cleaning 17001 clauses out of 34006 with flag 375206/1786156
214.89/213.30	c cleaning 17997 clauses out of 36005 with flag 413206/1805156
217.49/215.90	c cleaning 19003 clauses out of 38009 with flag 453208/1825157
220.39/218.82	c cleaning 20005 clauses out of 40009 with flag 495214/1846160
223.69/222.14	c cleaning 21000 clauses out of 41999 with flag 539213/1868155
227.59/226.00	c cleaning 21990 clauses out of 43998 with flag 585257/1891154
231.60/230.06	c cleaning 23001 clauses out of 46009 with flag 633305/1915155
236.09/234.59	c cleaning 24004 clauses out of 48008 with flag 683305/1940155
241.09/239.52	c cleaning 25001 clauses out of 50005 with flag 735307/1966156
246.49/244.92	c cleaning 26001 clauses out of 52002 with flag 789303/1993154
252.19/250.60	c cleaning 27000 clauses out of 54001 with flag 845303/2021154
258.18/256.69	c cleaning 27997 clauses out of 56001 with flag 903303/2050154
265.18/263.68	c cleaning 29003 clauses out of 58005 with flag 963305/2080155
272.88/271.36	c cleaning 30003 clauses out of 60006 with flag 1025322/2111159
280.18/278.69	c cleaning 30999 clauses out of 62001 with flag 1089318/2143157
288.28/286.75	c cleaning 31994 clauses out of 64000 with flag 1155314/2176155
297.28/295.73	c cleaning 33000 clauses out of 66005 with flag 1223355/2210154
306.18/304.65	c cleaning 33996 clauses out of 68005 with flag 1293415/2245154
316.23/314.68	c cleaning 35005 clauses out of 70010 with flag 1365417/2281155
326.32/324.73	c cleaning 36001 clauses out of 72006 with flag 1439419/2318156
336.73/335.17	c cleaning 36999 clauses out of 74005 with flag 1515419/2356156
348.03/346.44	c cleaning 37998 clauses out of 76004 with flag 1593415/2395154
359.93/358.32	c cleaning 39000 clauses out of 78008 with flag 1673419/2435156
372.13/370.51	c cleaning 40003 clauses out of 80008 with flag 1755419/2476156
385.34/383.71	c cleaning 40998 clauses out of 82004 with flag 1839417/2518155
399.24/397.62	c cleaning 41999 clauses out of 84006 with flag 1925417/2561155
414.34/412.76	c cleaning 42997 clauses out of 86006 with flag 2013415/2605154
429.75/428.18	c cleaning 44002 clauses out of 88009 with flag 2103415/2650154
447.15/445.53	c cleaning 45004 clauses out of 90009 with flag 2195419/2696156
465.54/463.98	c cleaning 46000 clauses out of 92005 with flag 2289428/2743156
486.64/485.05	c cleaning 46999 clauses out of 94003 with flag 2385424/2791154
509.25/507.64	c cleaning 48000 clauses out of 96007 with flag 2483430/2840157
533.65/532.04	c cleaning 49004 clauses out of 98007 with flag 2583430/2890157
560.45/558.89	c cleaning 49995 clauses out of 100001 with flag 2685426/2941155
586.16/584.53	c cleaning 50998 clauses out of 102005 with flag 2789424/2993154
613.46/611.81	c cleaning 52001 clauses out of 104009 with flag 2895431/3046156
639.55/637.82	c cleaning 52998 clauses out of 106009 with flag 3003434/3100157
664.34/662.69	c cleaning 54001 clauses out of 108009 with flag 3113431/3155155
689.83/688.15	c cleaning 55001 clauses out of 110007 with flag 3225430/3211154
715.84/714.19	c cleaning 56004 clauses out of 112008 with flag 3339435/3268156
743.53/741.84	c cleaning 57002 clauses out of 114003 with flag 3455434/3326155
772.52/770.88	c cleaning 57999 clauses out of 116000 with flag 3573433/3385154
805.02/803.34	c cleaning 58997 clauses out of 118003 with flag 3693487/3445156
841.82/840.15	c cleaning 60003 clauses out of 120005 with flag 3815507/3506155
877.11/875.46	c cleaning 60996 clauses out of 122001 with flag 3939517/3568154
914.41/912.70	c cleaning 61999 clauses out of 124005 with flag 4065517/3631154
954.49/952.81	c cleaning 63002 clauses out of 126007 with flag 4193530/3695155
997.89/996.26	c cleaning 63996 clauses out of 128004 with flag 4323539/3760154
1044.28/1042.63	c cleaning 65007 clauses out of 130014 with flag 4455551/3826160
1088.76/1087.05	c cleaning 65996 clauses out of 132001 with flag 4589539/3893154
1136.75/1135.03	c cleaning 66999 clauses out of 134007 with flag 4725543/3961156
1190.35/1188.68	c cleaning 68003 clauses out of 136008 with flag 4863543/4030156
1245.84/1244.19	c cleaning 69003 clauses out of 138006 with flag 5003545/4100157
1305.83/1304.18	c cleaning 69997 clauses out of 140001 with flag 5145541/4171155
1363.33/1361.64	c cleaning 71002 clauses out of 142005 with flag 5289543/4243156
1418.52/1416.88	c cleaning 71991 clauses out of 144001 with flag 5435931/4316154
1475.82/1474.16	c cleaning 72999 clauses out of 146010 with flag 5584031/4390154
1536.50/1534.89	c cleaning 74003 clauses out of 148011 with flag 5734091/4465154
1598.69/1597.03	c cleaning 75005 clauses out of 150009 with flag 5886102/4541155
1662.79/1661.15	c cleaning 75999 clauses out of 152004 with flag 6040183/4618155
1724.07/1722.33	c cleaning 77002 clauses out of 154005 with flag 6196193/4696155
1788.38/1786.61	c cleaning 77999 clauses out of 156003 with flag 6354203/4775155
1800.08/1798.30	c starts		: 5260
1800.08/1798.30	c conflicts		: 4807033
1800.08/1798.30	c decisions		: 5092597
1800.08/1798.30	c propagations		: 158682287
1800.08/1798.30	c inspects		: 38139942089
1800.08/1798.30	c shortcuts		: 0
1800.08/1798.30	c learnt literals	: 0
1800.08/1798.30	c learnt binary clauses	: 46
1800.08/1798.30	c learnt ternary clauses	: 115
1800.08/1798.30	c learnt constraints	: 4807033
1800.08/1798.30	c ignored constraints	: 0
1800.08/1798.30	c root simplifications	: 0
1800.08/1798.30	c removed literals (reason simplification)	: 0
1800.08/1798.30	c reason swapping (by a shorter reason)	: 0
1800.08/1798.30	c Calls to reduceDB	: 226
1800.08/1798.30	c Number of update (reduction) of LBD	: 119028
1800.08/1798.30	c Imported unit clauses	: 0
1800.08/1798.30	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.30	c number of learned constraints concerned by reduction	: 0
1800.08/1798.30	c number of learning phase by resolution	: 0
1800.08/1798.30	c number of learning phase by cutting planes	: 0
1800.08/1798.30	c speed (assignments/second)	: 88262.49593263045
1800.08/1798.30	c non guided choices	3338
1800.08/1798.33	c learnt constraints type 
1800.08/1798.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 46
1800.08/1798.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 109836
1800.08/1798.33	s SATISFIABLE
1800.08/1798.33	c Found 31 solution(s)
1800.08/1798.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 
1800.08/1798.33	c objective function=34
1800.08/1798.33	c Total wall clock time (in seconds): 1798.226

Verifier Data 

OK	34

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4085913-1465272597/watcher-4085913-1465272597 -o /tmp/evaluation-result-4085913-1465272597/solver-4085913-1465272597 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23300 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085913-1465272597.opb 

pid=26419
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: 2.10 2.05 2.01 2/196 26422
/proc/meminfo: memFree=31839376/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 109191765 98570240 977 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 24065 977 743 9 0 16771 0
[pid=26422/tid=26423] ppid=26419 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 109191766 98570240 977 33554432000 1073741824 1073778376 140736095617456 140111060401704 206408861056 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100112 s]
/proc/loadavg: 2.10 2.05 2.01 2/196 26422
/proc/meminfo: memFree=31839376/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 4420 0 1 0 9 1 0 0 20 0 18 0 109191765 9787879424 6048 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2389619 6048 2140 9 0 2380296 0
[pid=26422/tid=26423] ppid=26419 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2383 0 1 0 7 0 0 0 20 0 18 0 109191766 9787879424 6048 33554432000 1073741824 1073778376 140736095617456 140111060405152 206412244237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200319 s]
/proc/loadavg: 2.10 2.05 2.01 2/196 26422
/proc/meminfo: memFree=31839376/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 4858 0 1 0 25 1 0 0 20 0 18 0 109191765 9787879424 7423 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2389619 7423 2216 9 0 2380296 0
[pid=26422/tid=26423] ppid=26419 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2406 0 1 0 17 0 0 0 20 0 18 0 109191766 9787879424 7423 33554432000 1073741824 1073778376 140736095617456 140111060401080 140110909692205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300327 s]
/proc/loadavg: 2.10 2.05 2.01 2/196 26422
/proc/meminfo: memFree=31839376/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 6233 0 1 0 47 1 0 0 20 0 18 0 109191765 9787879424 8676 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2389619 8676 2238 9 0 2380296 0
[pid=26422/tid=26423] ppid=26419 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2408 0 1 0 27 0 0 0 20 0 18 0 109191766 9787879424 8676 33554432000 1073741824 1073778376 140736095617456 140111060406072 140110910142482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700278 s]
/proc/loadavg: 2.10 2.05 2.01 2/196 26422
/proc/meminfo: memFree=31839376/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 8670 0 1 0 139 2 0 0 20 0 19 0 109191765 9856040960 13189 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2406260 13189 2260 9 0 2396937 0
[pid=26422/tid=26423] ppid=26419 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2423 0 1 0 66 1 0 0 20 0 19 0 109191766 9856040960 13189 33554432000 1073741824 1073778376 140736095617456 140111060406912 140110910350675 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.09 2.05 2.01 4/215 26441
/proc/meminfo: memFree=31788628/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9625040 CPUtime=2.35 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 9597 0 1 0 233 2 0 0 20 0 19 0 109191765 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2406260 14224 2270 9 0 2396937 0
[pid=26422/tid=26423] ppid=26419 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2426 0 1 0 146 1 0 0 20 0 19 0 109191766 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140111060406520 140110910378419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26425/stat : 26425 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140111032858920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26426] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26426/stat : 26426 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140111031806120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26427] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26427/stat : 26427 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140111030753832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26428] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26428/stat : 26428 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140111029701032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26429] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26429/stat : 26429 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140111028648744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26430] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26430/stat : 26430 (java) S 26419 26422 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110898703016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26431] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26431/stat : 26431 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110897650728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26432] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26432/stat : 26432 (java) S 26419 26422 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110896597928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26433] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26433/stat : 26433 (java) S 26419 26422 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110413650152 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26434] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26434/stat : 26434 (java) S 26419 26422 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110412596216 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26435] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26435/stat : 26435 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110411543816 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26436] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26436/stat : 26436 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110410492304 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26437] ppid=26419 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/26422/task/26437/stat : 26437 (java) S 26419 26422 23284 0 -1 4202560 2228 0 0 0 45 0 0 0 20 0 19 0 109191771 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110409439928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26438] ppid=26419 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26422/task/26438/stat : 26438 (java) S 26419 26422 23284 0 -1 4202560 3670 0 0 0 39 0 0 0 20 0 19 0 109191771 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110408387128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26439] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26439/stat : 26439 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110407335032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26440] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26440/stat : 26440 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110406282440 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26441] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26441/stat : 26441 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191812 9856040960 14224 33554432000 1073741824 1073778376 140736095617456 140110405227432 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.09 2.05 2.01 4/215 26441
/proc/meminfo: memFree=31768472/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9625040 CPUtime=4.42 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 16762 0 1 0 439 3 0 0 20 0 19 0 109191765 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2406260 19420 2270 9 0 2396937 0
[pid=26422/tid=26423] ppid=26419 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2429 0 1 0 306 1 0 0 20 0 19 0 109191766 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140111060406536 140110910378419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26425/stat : 26425 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140111032858920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26426] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26426/stat : 26426 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140111031806120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26427] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26427/stat : 26427 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140111030753832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26428] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26428/stat : 26428 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140111029701032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26429] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26429/stat : 26429 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140111028648744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26430] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26430/stat : 26430 (java) S 26419 26422 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110898703016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26431] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26431/stat : 26431 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110897650728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26432] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26432/stat : 26432 (java) S 26419 26422 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110896597928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26433] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26433/stat : 26433 (java) S 26419 26422 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110413650152 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26434] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26434/stat : 26434 (java) S 26419 26422 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110412596216 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26435] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26435/stat : 26435 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110411543816 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26436] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26436/stat : 26436 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110410492304 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26437] ppid=26419 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/26422/task/26437/stat : 26437 (java) S 26419 26422 23284 0 -1 4202560 2228 0 0 0 50 0 0 0 20 0 19 0 109191771 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110409439928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26438] ppid=26419 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/26422/task/26438/stat : 26438 (java) S 26419 26422 23284 0 -1 4202560 10832 0 0 0 80 2 0 0 20 0 19 0 109191771 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110408387128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26439] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26439/stat : 26439 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110407335032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26440] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26440/stat : 26440 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110406282440 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26441] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26441/stat : 26441 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191812 9856040960 19420 33554432000 1073741824 1073778376 140736095617456 140110405227432 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.09 2.05 2.01 3/216 26444
/proc/meminfo: memFree=31749432/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9625040 CPUtime=7.63 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 16769 0 1 0 760 3 0 0 20 0 19 0 109191765 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2406260 21129 2271 9 0 2396937 0
[pid=26422/tid=26423] ppid=26419 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2435 0 1 0 625 1 0 0 20 0 19 0 109191766 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140111060397744 140110910268891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26425/stat : 26425 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140111032858920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26426] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26426/stat : 26426 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140111031806120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26427] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26427/stat : 26427 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140111030753832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26428] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26428/stat : 26428 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140111029701032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26429] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26429/stat : 26429 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140111028648744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26430] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26430/stat : 26430 (java) S 26419 26422 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140110898703016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26431] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26431/stat : 26431 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140110897650728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26432] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26432/stat : 26432 (java) S 26419 26422 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109191767 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140110896597928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26433] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26433/stat : 26433 (java) S 26419 26422 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140110413650152 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26434] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26434/stat : 26434 (java) S 26419 26422 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140110412596216 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26435] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26435/stat : 26435 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140110411543816 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26436] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26436/stat : 26436 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140110410492304 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26437] ppid=26419 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/26422/task/26437/stat : 26437 (java) S 26419 26422 23284 0 -1 4202560 2228 0 0 0 51 0 0 0 20 0 19 0 109191771 9856040960 21129 33554432000 1073741824 1073778376 140736095617456 140110409439928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26438] ppid=26419 vsize=9625040 CPUtime=0.82 cores=0,2,4,6

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

[pid=26422/tid=26441] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26441/stat : 26441 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191812 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110405227432 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.07
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 26486
/proc/meminfo: memFree=31280032/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9625040 CPUtime=1784.08 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 18921 0 1 0 178360 48 0 0 20 0 19 0 109191765 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2406260 59706 2285 9 0 2396937 0
[pid=26422/tid=26423] ppid=26419 vsize=9625040 CPUtime=1777.16 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2492 0 1 0 177679 37 0 0 20 0 19 0 109191766 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111060397808 140110910350418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26422/task/26425/stat : 26425 (java) S 26419 26422 23284 0 -1 4202560 128 0 0 0 4 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111032858920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26426] ppid=26419 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/26422/task/26426/stat : 26426 (java) S 26419 26422 23284 0 -1 4202560 122 0 0 0 8 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111031806120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26427] ppid=26419 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/26422/task/26427/stat : 26427 (java) S 26419 26422 23284 0 -1 4202560 149 0 0 0 5 2 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111030753832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26428] ppid=26419 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/26422/task/26428/stat : 26428 (java) S 26419 26422 23284 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111029701032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26429] ppid=26419 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/26422/task/26429/stat : 26429 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 5 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111028648744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26430] ppid=26419 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/26422/task/26430/stat : 26430 (java) S 26419 26422 23284 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110898703016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26431] ppid=26419 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26422/task/26431/stat : 26431 (java) S 26419 26422 23284 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110897650728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26432] ppid=26419 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26422/task/26432/stat : 26432 (java) S 26419 26422 23284 0 -1 4202560 111 0 0 0 4 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110896597928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26433] ppid=26419 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26422/task/26433/stat : 26433 (java) S 26419 26422 23284 0 -1 4202560 28 0 0 0 0 2 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110413650152 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26434] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26434/stat : 26434 (java) S 26419 26422 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110412596216 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26435] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26435/stat : 26435 (java) S 26419 26422 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110411543816 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26436] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26436/stat : 26436 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110410492304 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26437] ppid=26419 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/26422/task/26437/stat : 26437 (java) S 26419 26422 23284 0 -1 4202560 3644 0 0 0 67 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110409439928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26438] ppid=26419 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/26422/task/26438/stat : 26438 (java) S 26419 26422 23284 0 -1 4202560 10832 0 0 0 82 2 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110408387128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26439] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26439/stat : 26439 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110407335032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26440] ppid=26419 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/26422/task/26440/stat : 26440 (java) S 26419 26422 23284 0 -1 4202560 104 0 0 0 29 22 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110406282440 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26441] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26441/stat : 26441 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191812 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110405227432 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.08
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/215 26617
/proc/meminfo: memFree=31326840/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 18921 0 1 0 179960 48 0 0 20 0 19 0 109191765 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2406260 59706 2285 9 0 2396937 0
[pid=26422/tid=26423] ppid=26419 vsize=9625040 CPUtime=1793.12 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2492 0 1 0 179275 37 0 0 20 0 19 0 109191766 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111060397808 140110910378310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26422/task/26425/stat : 26425 (java) S 26419 26422 23284 0 -1 4202560 128 0 0 0 4 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111032858920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26426] ppid=26419 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/26422/task/26426/stat : 26426 (java) S 26419 26422 23284 0 -1 4202560 122 0 0 0 8 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111031806120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26427] ppid=26419 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/26422/task/26427/stat : 26427 (java) S 26419 26422 23284 0 -1 4202560 149 0 0 0 5 2 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111030753832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26428] ppid=26419 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/26422/task/26428/stat : 26428 (java) S 26419 26422 23284 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111029701032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26429] ppid=26419 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/26422/task/26429/stat : 26429 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 5 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111028648744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26430] ppid=26419 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/26422/task/26430/stat : 26430 (java) S 26419 26422 23284 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110898703016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26431] ppid=26419 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26422/task/26431/stat : 26431 (java) S 26419 26422 23284 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110897650728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26432] ppid=26419 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26422/task/26432/stat : 26432 (java) S 26419 26422 23284 0 -1 4202560 111 0 0 0 4 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110896597928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26433] ppid=26419 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26422/task/26433/stat : 26433 (java) S 26419 26422 23284 0 -1 4202560 28 0 0 0 0 2 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110413650152 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26434] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26434/stat : 26434 (java) S 26419 26422 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110412596216 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26435] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26435/stat : 26435 (java) S 26419 26422 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110411543816 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26436] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26436/stat : 26436 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110410492304 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26437] ppid=26419 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/26422/task/26437/stat : 26437 (java) S 26419 26422 23284 0 -1 4202560 3644 0 0 0 67 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110409439928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26438] ppid=26419 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/26422/task/26438/stat : 26438 (java) S 26419 26422 23284 0 -1 4202560 10832 0 0 0 82 2 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110408387128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26439] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26439/stat : 26439 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110407335032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26440] ppid=26419 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/26422/task/26440/stat : 26440 (java) S 26419 26422 23284 0 -1 4202560 104 0 0 0 29 23 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110406282440 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26441] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26441/stat : 26441 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191812 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110405227432 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26422 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/215 26617
/proc/meminfo: memFree=31326840/32872528 swapFree=8144/8144
[pid=26422] ppid=26419 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/26422/stat : 26422 (java) S 26419 26422 23284 0 -1 4202496 18921 0 1 0 179960 48 0 0 20 0 19 0 109191765 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140736095608592 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26422/statm: 2406260 59706 2285 9 0 2396937 0
[pid=26422/tid=26423] ppid=26419 vsize=9625040 CPUtime=1793.12 cores=0,2,4,6
/proc/26422/task/26423/stat : 26423 (java) R 26419 26422 23284 0 -1 4202560 2492 0 1 0 179275 37 0 0 20 0 19 0 109191766 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111060397808 140110910378310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26422/task/26425/stat : 26425 (java) S 26419 26422 23284 0 -1 4202560 128 0 0 0 4 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111032858920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26426] ppid=26419 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/26422/task/26426/stat : 26426 (java) S 26419 26422 23284 0 -1 4202560 122 0 0 0 8 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111031806120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26427] ppid=26419 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/26422/task/26427/stat : 26427 (java) S 26419 26422 23284 0 -1 4202560 149 0 0 0 5 2 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111030753832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26428] ppid=26419 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/26422/task/26428/stat : 26428 (java) S 26419 26422 23284 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111029701032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26429] ppid=26419 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/26422/task/26429/stat : 26429 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 5 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140111028648744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26430] ppid=26419 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/26422/task/26430/stat : 26430 (java) S 26419 26422 23284 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110898703016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26431] ppid=26419 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26422/task/26431/stat : 26431 (java) S 26419 26422 23284 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110897650728 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26422/tid=26432] ppid=26419 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26422/task/26432/stat : 26432 (java) S 26419 26422 23284 0 -1 4202560 111 0 0 0 4 0 0 0 20 0 19 0 109191767 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110896597928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26433] ppid=26419 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26422/task/26433/stat : 26433 (java) S 26419 26422 23284 0 -1 4202560 28 0 0 0 0 2 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110413650152 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26434] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26434/stat : 26434 (java) S 26419 26422 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110412596216 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26435] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26435/stat : 26435 (java) S 26419 26422 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109191768 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110411543816 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26436] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26436/stat : 26436 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110410492304 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26437] ppid=26419 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/26422/task/26437/stat : 26437 (java) S 26419 26422 23284 0 -1 4202560 3644 0 0 0 67 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110409439928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26422/tid=26438] ppid=26419 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/26422/task/26438/stat : 26438 (java) S 26419 26422 23284 0 -1 4202560 10832 0 0 0 82 2 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110408387128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26439] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26439/stat : 26439 (java) S 26419 26422 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110407335032 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26422/tid=26440] ppid=26419 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/26422/task/26440/stat : 26440 (java) S 26419 26422 23284 0 -1 4202560 104 0 0 0 29 23 0 0 20 0 19 0 109191771 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110406282440 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26422/tid=26441] ppid=26419 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26422/task/26441/stat : 26441 (java) S 26419 26422 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109191812 9856040960 59706 33554432000 1073741824 1073778376 140736095617456 140110405227432 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1798.34
CPU time (s): 1800.08
CPU user time (s): 1799.6
CPU system time (s): 0.48
CPU usage (%): 100.097
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.09
system time used= 0.810876
maximum resident set size= 238964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18963
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38289
involuntary context switches= 24232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.71252 second user time and 13.9249 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-07 06:09:57
IDJOB=4085913
IDBENCH=72484
IDSOLVER=2546
FILE ID=node133/4085913-1465272597
RUNJOBID= node133-1465257785-23300
PBS_JOBID= 19843288
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085913-1465272597/watcher-4085913-1465272597 -o /tmp/evaluation-result-4085913-1465272597/solver-4085913-1465272597 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23300 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085913-1465272597.opb

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

MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060
RANDOM SEED=1887692793

node133.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.065
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.13
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.065
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	: 7358.89
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.065
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	: 5332.55
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.065
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	: 5332.55
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.065
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	: 5332.55
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.065
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	: 5332.55
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.065
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	: 5332.55
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.065
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31839648 kB
Buffers:           80324 kB
Cached:           134228 kB
SwapCached:         2064 kB
Active:           136748 kB
Inactive:         150264 kB
Active(anon):      73220 kB
Inactive(anon):     1428 kB
Active(file):      63528 kB
Inactive(file):   148836 kB
Unevictable:        8144 kB
Mlocked:            8144 kB
SwapTotal:      67108856 kB
SwapFree:       67098268 kB
Dirty:              1448 kB
Writeback:             0 kB
AnonPages:         77188 kB
Mapped:            15472 kB
Shmem:                 0 kB
Slab:             597340 kB
SReclaimable:      40436 kB
SUnreclaim:       556904 kB
KernelStack:        1776 kB
PageTables:         4548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     703304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node133 at 2016-06-07 06:39:56