Trace number 4080730

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 Res+CP PB16SAT (TO)49818 1800.03 902.866

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
MD5SUM3bc65171ee2bdd2ee7a63cc75f29f375
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark49818
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 2133
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1049330
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2133
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1049330
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.32	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.06/0.32	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.32	c See www.sat4j.org for details.
0.06/0.32	c version PB16.v20160501
0.06/0.32	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.32	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.32	c java.vm.version	19.1-b02
0.06/0.32	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.32	c sun.arch.data.model	64
0.06/0.32	c java.version		1.6.0_24
0.06/0.32	c os.name		Linux
0.06/0.32	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.32	c os.arch		amd64
0.06/0.32	c Free memory 		501472288
0.06/0.32	c Max memory 		7480803328
0.06/0.32	c Total memory 		504102912
0.06/0.33	c Number of processors 	8
0.06/0.36	c Pseudo Boolean Optimization by upper bound
0.06/0.36	c ManyCore solver with 2 solvers running in parallel
0.06/0.36	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.06/0.36	c --- Begin Solver configuration ---
0.06/0.36	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.06/0.36	c Learn all clauses as in MiniSAT
0.06/0.36	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.36	c Expensive reason simplification
0.06/0.36	c Glucose 2.1 dynamic restart strategy
0.06/0.36	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.06/0.36	c timeout=2147483s
0.06/0.36	c DB Simplification allowed=false
0.06/0.36	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.06/0.36	c --- End Solver configuration ---
0.06/0.36	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.06/0.36	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.36	c --- Begin Solver configuration ---
0.06/0.36	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.06/0.36	c Learn all clauses as in MiniSAT
0.06/0.36	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.36	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.36	c No reason simplification
0.06/0.36	c Armin Biere (Picosat) restarts strategy
0.06/0.36	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.06/0.36	c timeout=2147483s
0.06/0.36	c DB Simplification allowed=false
0.06/0.36	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.06/0.36	c --- End Solver configuration ---
0.06/0.36	c solving HOME/instance-4080730-1465252001.opb
0.06/0.36	c reading problem ... 
0.06/0.37	c  objective function found
0.39/0.52	c ... done. Wall clock time 0.158s.
0.39/0.52	c declared #vars     1152
0.39/0.52	c #constraints  1774
0.39/0.53	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.39/0.53	c constraints type 
0.39/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 506
0.39/0.54	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.39/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1263
0.39/0.54	c 1774 constraints processed.
0.39/0.54	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.39/0.54	c constraints type 
0.39/0.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1263
0.39/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 506
0.39/0.54	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.39/0.54	c 1774 constraints processed.
0.39/0.54	c objective function length is 661 literals
0.39/0.56	c And the winner is solver0
0.53/1.04	c SATISFIABLE
0.53/1.04	c OPTIMIZING...
0.53/1.04	c Got one! Elapsed wall clock time (in seconds):0.676
0.53/1.04	o 54696
1.38/1.32	c And the winner is solver1
1.55/1.55	c Got one! Elapsed wall clock time (in seconds):1.189
1.55/1.55	o 53542
1.55/1.56	c And the winner is solver0
1.62/2.06	c Got one! Elapsed wall clock time (in seconds):1.694
1.62/2.06	o 53452
2.55/2.30	c And the winner is solver1
2.60/2.56	c Got one! Elapsed wall clock time (in seconds):2.198
2.60/2.56	o 53420
2.60/2.59	c And the winner is solver1
2.68/3.06	c Got one! Elapsed wall clock time (in seconds):2.701
2.68/3.06	o 52176
3.67/3.54	c cleaning 2992 clauses out of 5984 with flag 9275/5984
5.90/4.41	c cleaning 4496 clauses out of 8992 with flag 28838/11984
7.95/5.42	c cleaning 5741 clauses out of 11496 with flag 51202/18984
10.49/6.66	c cleaning 6878 clauses out of 13756 with flag 75276/26985
13.39/8.01	c cleaning 7933 clauses out of 15877 with flag 103847/35984
16.48/9.55	c cleaning 8969 clauses out of 17945 with flag 137561/45985
19.95/11.28	c cleaning 9988 clauses out of 19976 with flag 173370/56985
24.07/13.29	c cleaning 10991 clauses out of 21987 with flag 212651/68984
26.27/14.34	c And the winner is solver1
26.29/14.57	c Got one! Elapsed wall clock time (in seconds):14.206
26.29/14.57	o 52147
27.96/15.42	c cleaning 11600 clauses out of 23208 with flag 15473/81196
29.88/16.39	c cleaning 8802 clauses out of 17608 with flag 34896/87196
31.88/17.39	c cleaning 7897 clauses out of 15806 with flag 58504/94196
34.28/18.52	c cleaning 7954 clauses out of 15910 with flag 85816/102197
34.28/18.52	c And the winner is solver1
34.31/18.60	c Got one! Elapsed wall clock time (in seconds):18.239
34.31/18.60	o 51823
35.69/19.30	c cleaning 6471 clauses out of 12961 with flag 16141/107202
37.35/20.11	c cleaning 6239 clauses out of 12490 with flag 36619/113202
39.16/21.02	c cleaning 6621 clauses out of 13251 with flag 62732/120202
41.52/22.12	c cleaning 7314 clauses out of 14633 with flag 95929/128205
43.91/23.31	c cleaning 8150 clauses out of 16317 with flag 130836/137203
46.50/24.66	c cleaning 9077 clauses out of 18166 with flag 166628/147202
49.50/26.11	c cleaning 10027 clauses out of 20089 with flag 207634/158202
52.52/27.69	c cleaning 11027 clauses out of 22062 with flag 252459/170202
56.67/29.60	c cleaning 12017 clauses out of 24037 with flag 301026/183204
60.47/31.54	c cleaning 13004 clauses out of 26018 with flag 351707/197202
64.66/33.63	c cleaning 14001 clauses out of 28014 with flag 401388/212202
69.27/35.92	c cleaning 14999 clauses out of 30014 with flag 461267/228203
74.27/38.44	c cleaning 16007 clauses out of 32014 with flag 522570/245202
79.63/41.02	c cleaning 16995 clauses out of 34009 with flag 586438/263204
85.03/43.71	c cleaning 18003 clauses out of 36012 with flag 650055/282202
88.23/45.36	c And the winner is solver1
88.23/45.61	c Got one! Elapsed wall clock time (in seconds):45.247
88.23/45.61	o 51586
90.01/46.55	c cleaning 17509 clauses out of 35029 with flag 14146/299222
90.64/46.81	c And the winner is solver1
90.68/47.11	c Got one! Elapsed wall clock time (in seconds):46.751
90.68/47.11	o 51094
90.87/47.26	c And the winner is solver1
91.01/47.62	c Got one! Elapsed wall clock time (in seconds):47.254
91.01/47.62	o 50946
92.01/48.18	c cleaning 11656 clauses out of 23315 with flag 9874/305017
94.11/49.11	c cleaning 8817 clauses out of 17659 with flag 30278/311017
96.11/50.13	c cleaning 7914 clauses out of 15842 with flag 56517/318017
98.31/51.26	c cleaning 7955 clauses out of 15928 with flag 88658/326017
100.91/52.53	c cleaning 8485 clauses out of 16977 with flag 123215/335021
103.72/53.99	c cleaning 9241 clauses out of 18488 with flag 157535/345017
107.11/55.65	c cleaning 10124 clauses out of 20247 with flag 195982/356017
110.71/57.48	c cleaning 11059 clauses out of 22123 with flag 236081/368017
114.51/59.38	c cleaning 12029 clauses out of 24064 with flag 282392/381017
119.29/61.68	c cleaning 13017 clauses out of 26036 with flag 329682/395018
123.89/64.00	c cleaning 14008 clauses out of 28020 with flag 383868/410019
128.87/66.48	c cleaning 14991 clauses out of 30013 with flag 440214/426020
134.27/69.12	c cleaning 16009 clauses out of 32019 with flag 503831/443017
140.45/72.11	c cleaning 17001 clauses out of 34010 with flag 567479/461017
146.64/75.20	c cleaning 17999 clauses out of 36010 with flag 636520/480018
153.04/78.42	c cleaning 19005 clauses out of 38010 with flag 708320/500017
160.04/81.92	c cleaning 20000 clauses out of 40005 with flag 778497/521017
168.56/86.52	c cleaning 20997 clauses out of 42005 with flag 855652/543017
176.17/90.31	c cleaning 22001 clauses out of 44008 with flag 931841/566017
182.36/93.46	c And the winner is solver1
182.36/93.90	c Got one! Elapsed wall clock time (in seconds):93.538
182.36/93.90	o 50789
184.21/94.87	c cleaning 23378 clauses out of 46761 with flag 15160/590771
186.22/95.81	c cleaning 14662 clauses out of 29382 with flag 35200/596770
188.22/96.89	c cleaning 10847 clauses out of 21720 with flag 57547/603770
190.68/98.08	c cleaning 9434 clauses out of 18875 with flag 83695/611772
193.27/99.33	c cleaning 9187 clauses out of 18439 with flag 115578/620770
196.07/100.76	c cleaning 9622 clauses out of 19253 with flag 149713/630771
199.28/102.37	c cleaning 10298 clauses out of 20632 with flag 184518/641772
202.67/104.09	c cleaning 11162 clauses out of 22332 with flag 227614/653770
206.47/105.95	c cleaning 12081 clauses out of 24170 with flag 274501/666770
210.48/107.93	c cleaning 13039 clauses out of 26089 with flag 326888/680770
215.16/110.24	c cleaning 14014 clauses out of 28050 with flag 379602/695770
219.76/112.57	c cleaning 15016 clauses out of 30039 with flag 436617/711773
224.96/115.11	c cleaning 15989 clauses out of 32021 with flag 496965/728771
230.37/117.88	c cleaning 17006 clauses out of 34031 with flag 560635/746770
236.35/120.83	c cleaning 18016 clauses out of 36031 with flag 627753/765776
242.45/123.87	c cleaning 18969 clauses out of 38009 with flag 698381/785770
249.06/127.10	c cleaning 20005 clauses out of 40046 with flag 771586/806776
255.65/130.48	c cleaning 21015 clauses out of 42037 with flag 843764/828772
262.85/134.06	c cleaning 21990 clauses out of 44020 with flag 920288/851770
270.76/137.99	c cleaning 23016 clauses out of 46031 with flag 1006837/875771
279.16/142.11	c cleaning 24004 clauses out of 48014 with flag 1099686/900770
288.08/146.58	c cleaning 24995 clauses out of 50014 with flag 1192628/926774
297.28/151.15	c cleaning 26007 clauses out of 52015 with flag 1295503/953770
306.58/155.78	c cleaning 26984 clauses out of 54008 with flag 1398520/981770
316.18/160.53	c cleaning 27985 clauses out of 56024 with flag 1511991/1010770
326.30/165.57	c cleaning 29003 clauses out of 58039 with flag 1625363/1040770
336.90/170.82	c cleaning 30014 clauses out of 60036 with flag 1740439/1071770
337.70/171.23	c And the winner is solver1
337.70/171.52	c Got one! Elapsed wall clock time (in seconds):171.16
337.70/171.52	o 50033
338.64/172.04	c cleaning 17932 clauses out of 35874 with flag 9053/1077622
340.44/172.93	c cleaning 11955 clauses out of 23942 with flag 28146/1083622
342.46/173.96	c cleaning 9466 clauses out of 18991 with flag 51422/1090626
344.98/175.17	c cleaning 8744 clauses out of 17521 with flag 79095/1098622
347.78/176.52	c cleaning 8889 clauses out of 17777 with flag 110709/1107622
350.77/178.02	c cleaning 9438 clauses out of 18889 with flag 145703/1117623
353.97/179.66	c cleaning 10200 clauses out of 20450 with flag 186747/1128622
357.57/181.45	c cleaning 11124 clauses out of 22250 with flag 233387/1140622
361.38/183.32	c cleaning 12062 clauses out of 24126 with flag 283241/1153622
365.38/185.34	c cleaning 13032 clauses out of 26064 with flag 339179/1167622
368.97/187.09	c And the winner is solver1
368.97/187.10	c Got one! Elapsed wall clock time (in seconds):186.734
368.97/187.10	o 49818
370.68/187.90	c cleaning 14995 clauses out of 29998 with flag 15635/1184588
372.47/188.80	c cleaning 10464 clauses out of 21003 with flag 36355/1190588
374.47/189.86	c cleaning 8762 clauses out of 17540 with flag 63348/1197589
376.87/191.05	c cleaning 8383 clauses out of 16776 with flag 93431/1205587
379.67/192.40	c cleaning 8686 clauses out of 17393 with flag 124526/1214587
382.47/193.84	c cleaning 9337 clauses out of 18707 with flag 160214/1224587
385.47/195.39	c cleaning 10181 clauses out of 20371 with flag 201545/1235588
389.43/197.26	c cleaning 11084 clauses out of 22191 with flag 246656/1247589
393.25/199.13	c cleaning 12040 clauses out of 24105 with flag 292989/1260587
397.24/201.12	c cleaning 13030 clauses out of 26065 with flag 346129/1274587
401.64/203.34	c cleaning 14013 clauses out of 28035 with flag 400866/1289587
406.24/205.70	c cleaning 15011 clauses out of 30024 with flag 458179/1305589
411.61/208.27	c cleaning 16003 clauses out of 32011 with flag 518305/1322587
417.01/210.96	c cleaning 16995 clauses out of 34008 with flag 578518/1340587
422.61/213.78	c cleaning 17979 clauses out of 36014 with flag 643134/1359588
428.21/216.59	c cleaning 19012 clauses out of 38034 with flag 713387/1379587
434.41/219.65	c cleaning 20003 clauses out of 40024 with flag 789285/1400589
441.01/222.90	c cleaning 21004 clauses out of 42020 with flag 865198/1422588
447.41/226.19	c cleaning 21998 clauses out of 44015 with flag 947940/1445587
454.41/229.68	c cleaning 22989 clauses out of 46017 with flag 1035097/1469587
462.17/233.41	c cleaning 24008 clauses out of 48028 with flag 1124299/1494587
469.97/237.35	c cleaning 24973 clauses out of 50020 with flag 1215021/1520587
478.37/241.55	c cleaning 26020 clauses out of 52049 with flag 1308102/1547589
486.77/245.71	c cleaning 27001 clauses out of 54027 with flag 1409371/1575587
495.17/249.98	c cleaning 27991 clauses out of 56026 with flag 1520621/1604587
504.36/254.52	c cleaning 29011 clauses out of 58035 with flag 1632562/1634587
513.76/259.28	c cleaning 30005 clauses out of 60024 with flag 1747704/1665587
523.76/264.20	c cleaning 30993 clauses out of 62019 with flag 1866602/1697587
533.97/269.36	c cleaning 32013 clauses out of 64026 with flag 1988486/1730587
544.97/274.80	c cleaning 33004 clauses out of 66014 with flag 2112973/1764588
557.79/281.90	c cleaning 33999 clauses out of 68009 with flag 2250292/1799587
568.99/287.56	c cleaning 35006 clauses out of 70011 with flag 2384825/1835588
580.99/293.54	c cleaning 35997 clauses out of 72004 with flag 2520505/1872587
593.58/299.81	c cleaning 36995 clauses out of 74008 with flag 2654955/1910588
606.38/306.26	c cleaning 37997 clauses out of 76012 with flag 2787952/1949587
619.78/312.92	c cleaning 38989 clauses out of 78015 with flag 2930984/1989587
633.38/319.70	c cleaning 40012 clauses out of 80027 with flag 3077737/2030588
647.58/326.87	c cleaning 41003 clauses out of 82014 with flag 3224554/2072587
662.37/334.27	c cleaning 41997 clauses out of 84011 with flag 3381116/2115587
677.37/341.76	c cleaning 42994 clauses out of 86014 with flag 3538858/2159587
693.36/349.77	c cleaning 44009 clauses out of 88020 with flag 3703703/2204587
710.53/358.16	c cleaning 45005 clauses out of 90012 with flag 3866663/2250588
727.32/366.55	c cleaning 46002 clauses out of 92008 with flag 4041981/2297589
743.73/374.78	c cleaning 46994 clauses out of 94004 with flag 4226186/2345587
761.32/383.51	c cleaning 48006 clauses out of 96013 with flag 4399742/2394590
779.73/392.71	c cleaning 48996 clauses out of 98004 with flag 4567318/2444587
798.31/402.08	c cleaning 49994 clauses out of 100008 with flag 4755796/2495587
818.51/412.17	c cleaning 50991 clauses out of 102014 with flag 4952094/2547587
837.12/421.48	c cleaning 52001 clauses out of 104023 with flag 5150902/2600587
859.12/432.43	c cleaning 53008 clauses out of 106022 with flag 5340786/2654587
880.31/443.08	c cleaning 53997 clauses out of 108014 with flag 5541733/2709587
901.73/453.62	c cleaning 55009 clauses out of 110017 with flag 5749825/2765587
923.15/464.34	c cleaning 56002 clauses out of 112010 with flag 5954844/2822589
944.73/475.11	c cleaning 56999 clauses out of 114006 with flag 6157705/2880587
967.73/486.68	c cleaning 57994 clauses out of 116007 with flag 6365066/2939587
991.14/498.38	c cleaning 59004 clauses out of 118013 with flag 6578272/2999587
1016.12/510.84	c cleaning 60003 clauses out of 120009 with flag 6800266/3060587
1040.32/522.91	c cleaning 61002 clauses out of 122006 with flag 7022785/3122587
1062.92/534.24	c cleaning 62002 clauses out of 124004 with flag 7259700/3185587
1086.76/546.03	c cleaning 62993 clauses out of 126002 with flag 7499251/3249587
1109.56/557.42	c cleaning 64005 clauses out of 128009 with flag 7743682/3314587
1133.95/569.64	c cleaning 64989 clauses out of 130006 with flag 7980504/3380589
1158.57/581.96	c cleaning 66001 clauses out of 132015 with flag 8213033/3447587
1185.16/595.28	c cleaning 66999 clauses out of 134014 with flag 8460363/3515587
1209.74/607.60	c cleaning 67993 clauses out of 136015 with flag 8714035/3584587
1235.49/620.37	c cleaning 68998 clauses out of 138022 with flag 8974511/3654587
1260.88/633.05	c cleaning 70006 clauses out of 140024 with flag 9233971/3725587
1288.29/646.78	c cleaning 70998 clauses out of 142023 with flag 9503454/3797592
1316.49/660.82	c cleaning 72002 clauses out of 144020 with flag 9787736/3870587
1344.08/674.68	c cleaning 73008 clauses out of 146020 with flag 10078416/3944589
1372.08/688.57	c cleaning 74002 clauses out of 148010 with flag 10363239/4019587
1400.28/702.62	c cleaning 74992 clauses out of 150008 with flag 10649931/4095587
1427.08/716.02	c cleaning 76004 clauses out of 152019 with flag 10942331/4172590
1455.68/730.38	c cleaning 77002 clauses out of 154012 with flag 11234116/4250587
1483.87/744.48	c cleaning 78003 clauses out of 156011 with flag 11540701/4329588
1512.27/758.65	c cleaning 79003 clauses out of 158007 with flag 11852094/4409587
1540.47/772.78	c cleaning 79994 clauses out of 160004 with flag 12157495/4490587
1570.67/787.89	c cleaning 81001 clauses out of 162011 with flag 12459970/4572588
1601.08/803.09	c cleaning 82001 clauses out of 164011 with flag 12762628/4655589
1632.91/819.40	c cleaning 82988 clauses out of 166009 with flag 13078048/4739588
1664.12/835.09	c cleaning 84007 clauses out of 168020 with flag 13417110/4824587
1696.92/851.41	c cleaning 85007 clauses out of 170014 with flag 13731225/4910588
1730.31/868.14	c cleaning 85999 clauses out of 172009 with flag 14047794/4997590
1763.12/884.57	c cleaning 87004 clauses out of 174008 with flag 14362719/5085588
1797.23/901.41	c cleaning 87996 clauses out of 176003 with flag 14690204/5174587
1800.03/902.80	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.03/902.80	c starts		: 98185
1800.03/902.80	c conflicts		: 5184293
1800.03/902.80	c decisions		: 35235309
1800.03/902.80	c propagations		: 1951490110
1800.03/902.80	c inspects		: 6299302119
1800.03/902.80	c shortcuts		: 0
1800.03/902.80	c learnt literals	: 0
1800.03/902.80	c learnt binary clauses	: 0
1800.03/902.80	c learnt ternary clauses	: 0
1800.03/902.80	c learnt constraints	: 5184293
1800.03/902.80	c ignored constraints	: 0
1800.03/902.80	c root simplifications	: 0
1800.03/902.80	c removed literals (reason simplification)	: 18209829
1800.03/902.80	c reason swapping (by a shorter reason)	: 0
1800.03/902.80	c Calls to reduceDB	: 169
1800.03/902.80	c Number of update (reduction) of LBD	: 2548378
1800.03/902.80	c Imported unit clauses	: 0
1800.03/902.80	c number of reductions to clauses (during analyze)	: 0
1800.03/902.80	c number of learned constraints concerned by reduction	: 0
1800.03/902.80	c number of learning phase by resolution	: 0
1800.03/902.80	c number of learning phase by cutting planes	: 0
1800.03/902.80	c speed (assignments/second)	: 2726675.8837115397
1800.03/902.80	c non guided choices	0
1800.03/902.83	c learnt constraints type 
1800.03/902.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 97713
1800.03/902.83	c >>>>>>>>>> Solver number 1 (11 answers) <<<<<<<<<<<<<<<<<<
1800.03/902.83	c starts		: 34
1800.03/902.83	c conflicts		: 4681
1800.03/902.83	c decisions		: 77380
1800.03/902.83	c propagations		: 483289
1800.03/902.83	c inspects		: 82723078
1800.03/902.83	c shortcuts		: 0
1800.03/902.83	c learnt literals	: 0
1800.03/902.83	c learnt binary clauses	: 0
1800.03/902.83	c learnt ternary clauses	: 0
1800.03/902.83	c learnt constraints	: 4680
1800.03/902.83	c ignored constraints	: 0
1800.03/902.83	c root simplifications	: 0
1800.03/902.83	c removed literals (reason simplification)	: 0
1800.03/902.83	c reason swapping (by a shorter reason)	: 0
1800.03/902.83	c Calls to reduceDB	: 0
1800.03/902.83	c Number of update (reduction) of LBD	: 0
1800.03/902.83	c Imported unit clauses	: 0
1800.03/902.83	c number of reductions to clauses (during analyze)	: 0
1800.03/902.83	c number of learned constraints concerned by reduction	: 0
1800.03/902.83	c number of learning phase by resolution	: 0
1800.03/902.83	c number of learning phase by cutting planes	: 0
1800.03/902.83	c speed (assignments/second)	: 536.5305345333477
1800.03/902.83	c non guided choices	0
1800.03/902.83	c learnt constraints type 
1800.03/902.83	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 3
1800.03/902.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4677
1800.03/902.83	s SATISFIABLE
1800.03/902.83	c Found 13 solution(s)
1800.03/902.84	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 
1800.03/902.84	c objective function=49818
1800.03/902.84	c Total wall clock time (in seconds): 902.474

Verifier Data 

OK	49818

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-4080730-1465252001/watcher-4080730-1465252001 -o /tmp/evaluation-result-4080730-1465252001/solver-4080730-1465252001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080730-1465252001.opb 

pid=17759
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: 1.14 1.22 1.41 4/170 17762
/proc/meminfo: memFree=30475052/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/17762/stat : 17762 (java) D 17759 17762 17726 0 -1 4202496 157 0 1 0 0 0 0 0 20 0 1 0 107132494 278528 33 33554432000 1073741824 1073778376 140734578724528 140734578721704 213410475303 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/17762/statm: 68 33 25 9 0 25 0

[startup+0.100141 s]
/proc/loadavg: 1.14 1.22 1.41 4/170 17762
/proc/meminfo: memFree=30475052/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/17762/stat : 17762 (java) D 17759 17762 17726 0 -1 4202496 1143 0 18 0 0 0 0 0 20 0 1 0 107132494 23793664 811 33554432000 1073741824 1073778376 140735386392576 140735386382568 140358961248736 0 0 4096 0 18446744071579943789 0 0 17 2 0 0 7 0 0
/proc/17762/statm: 5809 811 605 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200249 s]
/proc/loadavg: 1.14 1.22 1.41 4/170 17762
/proc/meminfo: memFree=30475052/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/17762/stat : 17762 (java) S 17759 17762 17726 0 -1 4202496 3047 0 28 0 1 1 0 0 20 0 13 0 107132494 9446973440 3694 33554432000 1073741824 1073778376 140735386392576 140735386383712 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0
/proc/17762/statm: 2306390 3694 1680 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.300212 s]
/proc/loadavg: 1.14 1.22 1.41 4/170 17762
/proc/meminfo: memFree=30475052/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/17762/stat : 17762 (java) S 17759 17762 17726 0 -1 4202496 3329 0 28 0 5 1 0 0 20 0 18 0 107132494 9787879424 4487 33554432000 1073741824 1073778376 140735386392576 140735386383712 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8 0 0
/proc/17762/statm: 2389619 4487 1786 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476

[startup+0.700287 s]
/proc/loadavg: 1.14 1.22 1.41 4/170 17762
/proc/meminfo: memFree=30475052/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/17762/stat : 17762 (java) S 17759 17762 17726 0 -1 4202496 5808 0 28 0 49 4 0 0 20 0 19 0 107132494 10060525568 9626 33554432000 1073741824 1073778376 140735386392576 140735386383712 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8 0 0
/proc/17762/statm: 2456183 9626 2245 9 0 2446860 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824732

[startup+1.50088 s]
/proc/loadavg: 1.14 1.22 1.41 8/216 17818
/proc/meminfo: memFree=30320628/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/17762/stat : 17762 (java) S 17759 17762 17726 0 -1 4202496 12107 0 28 0 147 8 0 0 20 0 19 0 107132494 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140735386383712 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8 0 0
/proc/17762/statm: 2456183 16271 2259 9 0 2446860 0
[pid=17762/tid=17775] ppid=17759 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/17762/task/17775/stat : 17775 (java) S 17759 17762 17726 0 -1 4202560 2414 0 7 0 25 2 0 0 20 0 19 0 107132505 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358956495736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 14 0 0
[pid=17762/tid=17776] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17776/stat : 17776 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358928948008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17778] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17778/stat : 17778 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358798846632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17780] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17780/stat : 17780 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358797794344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17782] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17782/stat : 17782 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358796741544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17784] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17784/stat : 17784 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358795688232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17786] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17786/stat : 17786 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132508 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358794635432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17788] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17788/stat : 17788 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132509 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358457485864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17790] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17790/stat : 17790 (java) S 17759 17762 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107132509 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358456433064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17793] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17793/stat : 17793 (java) S 17759 17762 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107132512 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358444235496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17794] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17794/stat : 17794 (java) S 17759 17762 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107132513 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358443181560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17796] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17796/stat : 17796 (java) S 17759 17762 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107132513 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358442129160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17798] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17798/stat : 17798 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358441077648 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17800] ppid=17759 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/17762/task/17800/stat : 17800 (java) S 17759 17762 17726 0 -1 4202560 2944 0 0 0 37 0 0 0 20 0 19 0 107132520 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358440024248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17802] ppid=17759 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/17762/task/17802/stat : 17802 (java) S 17759 17762 17726 0 -1 4202560 5427 0 0 0 31 2 0 0 20 0 19 0 107132520 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358438971448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17804] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17804/stat : 17804 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358437919352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17806] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17806/stat : 17806 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107132520 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358436866760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17818] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17818/stat : 17818 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107132600 10060525568 16271 33554432000 1073741824 1073778376 140735386392576 140358433707176 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 1.14 1.22 1.41 6/216 17830
/proc/meminfo: memFree=30275368/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/17762/stat : 17762 (java) S 17759 17762 17726 0 -1 4202496 14182 0 28 0 265 12 0 0 20 0 22 0 107132494 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140735386383712 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8 0 0
/proc/17762/statm: 2456183 22452 2266 9 0 2446860 0
[pid=17762/tid=17775] ppid=17759 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/17762/task/17775/stat : 17775 (java) S 17759 17762 17726 0 -1 4202560 2414 0 7 0 27 2 0 0 20 0 22 0 107132505 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358956495736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0
[pid=17762/tid=17776] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17776/stat : 17776 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358928948008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17778] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17778/stat : 17778 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358798846632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17780] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17780/stat : 17780 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358797794344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17782] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17782/stat : 17782 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358796741544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17784] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17784/stat : 17784 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358795688232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17786] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17786/stat : 17786 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358794635432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17788] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17788/stat : 17788 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132509 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358457485864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17790] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17790/stat : 17790 (java) S 17759 17762 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107132509 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358456433064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17793] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17793/stat : 17793 (java) S 17759 17762 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107132512 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358444235496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17794] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17794/stat : 17794 (java) S 17759 17762 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358443181560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17796] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17796/stat : 17796 (java) S 17759 17762 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358442129160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17798] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17798/stat : 17798 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358441077648 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17800] ppid=17759 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/17762/task/17800/stat : 17800 (java) S 17759 17762 17726 0 -1 4202560 4972 0 0 0 62 0 0 0 20 0 22 0 107132520 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358440024248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17802] ppid=17759 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/17762/task/17802/stat : 17802 (java) R 17759 17762 17726 0 -1 4202560 5433 0 0 0 65 2 0 0 20 0 22 0 107132520 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358438971448 140358962452631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17804] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17804/stat : 17804 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358437919352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17806] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17806/stat : 17806 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358436866760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17830] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17830/stat : 17830 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107132701 10060525568 22452 33554432000 1073741824 1073778376 140735386392576 140358434759592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 9824732

[startup+6.30086 s]
/proc/loadavg: 1.29 1.25 1.42 6/219 17849
/proc/meminfo: memFree=30066392/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=9824732 CPUtime=9.8 cores=0,2,4,6
/proc/17762/stat : 17762 (java) S 17759 17762 17726 0 -1 4202496 18029 0 28 0 962 18 0 0 20 0 22 0 107132494 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140735386383712 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8 0 0
/proc/17762/statm: 2456183 50831 2285 9 0 2446860 0
[pid=17762/tid=17775] ppid=17759 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/17762/task/17775/stat : 17775 (java) S 17759 17762 17726 0 -1 4202560 2414 0 7 0 27 2 0 0 20 0 22 0 107132505 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358956495736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0
[pid=17762/tid=17776] ppid=17759 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/17762/task/17776/stat : 17776 (java) S 17759 17762 17726 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 107132508 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358928948008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17778] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17778/stat : 17778 (java) S 17759 17762 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358798846632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17780] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17780/stat : 17780 (java) S 17759 17762 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107132508 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358797794344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17782] ppid=17759 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/17762/task/17782/stat : 17782 (java) S 17759 17762 17726 0 -1 4202560 117 0 0 0 1 0 0 0 20 0 22 0 107132508 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358796741544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17784] ppid=17759 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/17762/task/17784/stat : 17784 (java) S 17759 17762 17726 0 -1 4202560 114 0 0 0 1 0 0 0 20 0 22 0 107132508 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358795688232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17786] ppid=17759 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/17762/task/17786/stat : 17786 (java) S 17759 17762 17726 0 -1 4202560 129 0 0 0 1 0 0 0 20 0 22 0 107132508 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358794635432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17788] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17788/stat : 17788 (java) S 17759 17762 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107132509 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358457485864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17790] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17790/stat : 17790 (java) S 17759 17762 17726 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 22 0 107132509 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358456433064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17793] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17793/stat : 17793 (java) S 17759 17762 17726 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 107132512 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358444235496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17794] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17794/stat : 17794 (java) S 17759 17762 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358443181560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17796] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17796/stat : 17796 (java) S 17759 17762 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358442129160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17798] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17798/stat : 17798 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358441077648 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17800] ppid=17759 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/17762/task/17800/stat : 17800 (java) S 17759 17762 17726 0 -1 4202560 7908 0 0 0 94 0 0 0 20 0 22 0 107132520 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358440024248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17802] ppid=17759 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/17762/task/17802/stat : 17802 (java) S 17759 17762 17726 0 -1 4202560 5715 0 0 0 94 2 0 0 20 0 22 0 107132520 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358438971448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17804] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17804/stat : 17804 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358437919352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17806] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17806/stat : 17806 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358436866760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17830] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17830/stat : 17830 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107132701 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358434759592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17839] ppid=17759 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/17762/task/17839/stat : 17839 (java) R 17759 17762 17726 0 -1 4202560 5 0 0 0 314 0 0 0 20 0 22 0 107132801 10060525568 50831 33554432000 1073741824 1073778376 140735386392576 140358435803424 140358810433547 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17840] ppid=17759 vsize=9824732 CPUtime=3.15 cores=0,2,4,6

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

[pid=17762/tid=17790] ppid=17759 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/17762/task/17790/stat : 17790 (java) S 17759 17762 17726 0 -1 4202560 1581 0 0 0 103 18 0 0 20 0 22 0 107132509 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358456433064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17793] ppid=17759 vsize=9824732 CPUtime=3.64 cores=0,2,4,6
/proc/17762/task/17793/stat : 17793 (java) S 17759 17762 17726 0 -1 4202560 3585 0 0 0 359 5 0 0 20 0 22 0 107132512 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358444235496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17794] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17794/stat : 17794 (java) S 17759 17762 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358443181560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17796] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17796/stat : 17796 (java) S 17759 17762 17726 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358442129160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17798] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17798/stat : 17798 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358441077648 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17800] ppid=17759 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/17762/task/17800/stat : 17800 (java) S 17759 17762 17726 0 -1 4202560 7930 0 0 0 123 0 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358440024248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17802] ppid=17759 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/17762/task/17802/stat : 17802 (java) S 17759 17762 17726 0 -1 4202560 5722 0 0 0 103 2 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358438971448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17804] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17804/stat : 17804 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358437919352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17806] ppid=17759 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/17762/task/17806/stat : 17806 (java) S 17759 17762 17726 0 -1 4202560 47 0 0 0 10 10 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358436866760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17830] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17830/stat : 17830 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107132701 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358434759592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17895] ppid=17759 vsize=9824732 CPUtime=629.58 cores=0,2,4,6
/proc/17762/task/17895/stat : 17895 (java) R 17759 17762 17726 0 -1 4202560 11 0 0 0 62949 9 0 0 20 0 22 0 107151204 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358433698080 140358810377047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17896] ppid=17759 vsize=9824732 CPUtime=629.58 cores=0,2,4,6
/proc/17762/task/17896/stat : 17896 (java) R 17759 17762 17726 0 -1 4202560 6 0 0 0 62949 9 0 0 20 0 22 0 107151204 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358432651600 140358810907190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17897] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17897/stat : 17897 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107151204 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358435813032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1638.31
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.34 4.13 3.15 6/219 17930
/proc/meminfo: memFree=22742416/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=9824732 CPUtime=1758.32 cores=0,2,4,6
/proc/17762/stat : 17762 (java) S 17759 17762 17726 0 -1 4202496 33029 0 28 0 175606 226 0 0 20 0 22 0 107132494 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140735386383712 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8 0 0
/proc/17762/statm: 2456183 940086 2295 9 0 2446860 0
[pid=17762/tid=17775] ppid=17759 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/17762/task/17775/stat : 17775 (java) S 17759 17762 17726 0 -1 4202560 2419 0 7 0 31 3 0 0 20 0 22 0 107132505 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358956495736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0
[pid=17762/tid=17776] ppid=17759 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/17762/task/17776/stat : 17776 (java) S 17759 17762 17726 0 -1 4202560 1208 0 0 0 100 18 0 0 20 0 22 0 107132508 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358928948008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17778] ppid=17759 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/17762/task/17778/stat : 17778 (java) S 17759 17762 17726 0 -1 4202560 1093 0 0 0 109 18 0 0 20 0 22 0 107132508 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358798846632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17780] ppid=17759 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/17762/task/17780/stat : 17780 (java) S 17759 17762 17726 0 -1 4202560 1361 0 0 0 105 18 0 0 20 0 22 0 107132508 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358797794344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17782] ppid=17759 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/17762/task/17782/stat : 17782 (java) S 17759 17762 17726 0 -1 4202560 1095 0 0 0 103 20 0 0 20 0 22 0 107132508 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358796741544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17784] ppid=17759 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/17762/task/17784/stat : 17784 (java) S 17759 17762 17726 0 -1 4202560 1657 0 0 0 104 19 0 0 20 0 22 0 107132508 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358795688232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17786] ppid=17759 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/17762/task/17786/stat : 17786 (java) S 17759 17762 17726 0 -1 4202560 1048 0 0 0 102 17 0 0 20 0 22 0 107132508 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358794635432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17788] ppid=17759 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/17762/task/17788/stat : 17788 (java) S 17759 17762 17726 0 -1 4202560 1257 0 0 0 118 18 0 0 20 0 22 0 107132509 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358457485864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17790] ppid=17759 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/17762/task/17790/stat : 17790 (java) S 17759 17762 17726 0 -1 4202560 1581 0 0 0 103 18 0 0 20 0 22 0 107132509 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358456433064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17793] ppid=17759 vsize=9824732 CPUtime=3.64 cores=0,2,4,6
/proc/17762/task/17793/stat : 17793 (java) S 17759 17762 17726 0 -1 4202560 3585 0 0 0 359 5 0 0 20 0 22 0 107132512 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358444235496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17794] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17794/stat : 17794 (java) S 17759 17762 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358443181560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17796] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17796/stat : 17796 (java) S 17759 17762 17726 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358442129160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17798] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17798/stat : 17798 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358441077648 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17800] ppid=17759 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/17762/task/17800/stat : 17800 (java) S 17759 17762 17726 0 -1 4202560 7930 0 0 0 123 0 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358440024248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17802] ppid=17759 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/17762/task/17802/stat : 17802 (java) S 17759 17762 17726 0 -1 4202560 5722 0 0 0 103 2 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358438971448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17804] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17804/stat : 17804 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358437919352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17806] ppid=17759 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/17762/task/17806/stat : 17806 (java) S 17759 17762 17726 0 -1 4202560 51 0 0 0 11 11 0 0 20 0 22 0 107132520 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358436866760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17830] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17830/stat : 17830 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107132701 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358434759592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17895] ppid=17759 vsize=9824732 CPUtime=689.43 cores=0,2,4,6
/proc/17762/task/17895/stat : 17895 (java) R 17759 17762 17726 0 -1 4202560 11 0 0 0 68933 10 0 0 20 0 22 0 107151204 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358433698080 140358810434388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17896] ppid=17759 vsize=9824732 CPUtime=689.43 cores=0,2,4,6
/proc/17762/task/17896/stat : 17896 (java) R 17759 17762 17726 0 -1 4202560 6 0 0 0 68933 10 0 0 20 0 22 0 107151204 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358432651600 140358810907199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17897] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17897/stat : 17897 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107151204 10060525568 940086 33554432000 1073741824 1073778376 140735386392576 140358435813032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1758.32
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.801 s]
/proc/loadavg: 4.31 4.14 3.17 5/219 17931
/proc/meminfo: memFree=22754264/32872528 swapFree=16636/1570076
[pid=17762] ppid=17759 vsize=9824732 CPUtime=1799.63 cores=0,2,4,6
/proc/17762/stat : 17762 (java) S 17759 17762 17726 0 -1 4202496 33116 0 28 0 179737 226 0 0 20 0 22 0 107132494 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140735386383712 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8 0 0
/proc/17762/statm: 2456183 914294 2295 9 0 2446860 0
[pid=17762/tid=17775] ppid=17759 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/17762/task/17775/stat : 17775 (java) S 17759 17762 17726 0 -1 4202560 2419 0 7 0 31 3 0 0 20 0 22 0 107132505 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358956495736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0
[pid=17762/tid=17776] ppid=17759 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/17762/task/17776/stat : 17776 (java) S 17759 17762 17726 0 -1 4202560 1229 0 0 0 109 18 0 0 20 0 22 0 107132508 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358928948008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17778] ppid=17759 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/17762/task/17778/stat : 17778 (java) S 17759 17762 17726 0 -1 4202560 1093 0 0 0 114 18 0 0 20 0 22 0 107132508 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358798846632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17780] ppid=17759 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/17762/task/17780/stat : 17780 (java) S 17759 17762 17726 0 -1 4202560 1361 0 0 0 113 18 0 0 20 0 22 0 107132508 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358797794344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17782] ppid=17759 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/17762/task/17782/stat : 17782 (java) S 17759 17762 17726 0 -1 4202560 1123 0 0 0 111 20 0 0 20 0 22 0 107132508 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358796741544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17784] ppid=17759 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/17762/task/17784/stat : 17784 (java) S 17759 17762 17726 0 -1 4202560 1657 0 0 0 110 19 0 0 20 0 22 0 107132508 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358795688232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17786] ppid=17759 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/17762/task/17786/stat : 17786 (java) S 17759 17762 17726 0 -1 4202560 1081 0 0 0 110 17 0 0 20 0 22 0 107132508 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358794635432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17788] ppid=17759 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/17762/task/17788/stat : 17788 (java) S 17759 17762 17726 0 -1 4202560 1257 0 0 0 123 18 0 0 20 0 22 0 107132509 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358457485864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17790] ppid=17759 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/17762/task/17790/stat : 17790 (java) S 17759 17762 17726 0 -1 4202560 1581 0 0 0 119 18 0 0 20 0 22 0 107132509 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358456433064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17793] ppid=17759 vsize=9824732 CPUtime=3.64 cores=0,2,4,6
/proc/17762/task/17793/stat : 17793 (java) S 17759 17762 17726 0 -1 4202560 3587 0 0 0 359 5 0 0 20 0 22 0 107132512 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358444235496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17794] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17794/stat : 17794 (java) S 17759 17762 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358443181560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17796] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17796/stat : 17796 (java) S 17759 17762 17726 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107132513 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358442129160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17798] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17798/stat : 17798 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358441077648 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17762/tid=17800] ppid=17759 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/17762/task/17800/stat : 17800 (java) S 17759 17762 17726 0 -1 4202560 7930 0 0 0 123 0 0 0 20 0 22 0 107132520 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358440024248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17802] ppid=17759 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/17762/task/17802/stat : 17802 (java) S 17759 17762 17726 0 -1 4202560 5722 0 0 0 103 2 0 0 20 0 22 0 107132520 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358438971448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17804] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17804/stat : 17804 (java) S 17759 17762 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107132520 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358437919352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17806] ppid=17759 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/17762/task/17806/stat : 17806 (java) S 17759 17762 17726 0 -1 4202560 53 0 0 0 11 11 0 0 20 0 22 0 107132520 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358436866760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17830] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17830/stat : 17830 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107132701 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358434759592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17762/tid=17895] ppid=17759 vsize=9824732 CPUtime=709.7 cores=0,2,4,6
/proc/17762/task/17895/stat : 17895 (java) R 17759 17762 17726 0 -1 4202560 12 0 0 0 70960 10 0 0 20 0 22 0 107151204 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358433698080 140358810388397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17762/tid=17896] ppid=17759 vsize=9824732 CPUtime=709.7 cores=0,2,4,6
/proc/17762/task/17896/stat : 17896 (java) R 17759 17762 17726 0 -1 4202560 6 0 0 0 70960 10 0 0 20 0 22 0 107151204 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358432652416 140358810493809 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17762/tid=17897] ppid=17759 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17762/task/17897/stat : 17897 (java) S 17759 17762 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107151204 10060525568 914294 33554432000 1073741824 1073778376 140735386392576 140358435813032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 9824732

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 17762 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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


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

Real time (s): 902.866
CPU time (s): 1800.03
CPU user time (s): 1797.81
CPU system time (s): 2.22
CPU usage (%): 199.368
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.74
system time used= 2.6536
maximum resident set size= 3760672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33161
page faults= 28
swaps= 0
block input operations= 18584
block output operations= 760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23166
involuntary context switches= 17598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86196 second user time and 6.01708 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 00:26:41
IDJOB=4080730
IDBENCH=25044
IDSOLVER=2543
FILE ID=node140/4080730-1465252001
RUNJOBID= node140-1465252001-17742
PBS_JOBID= 19843256
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080730-1465252001/watcher-4080730-1465252001 -o /tmp/evaluation-result-4080730-1465252001/solver-4080730-1465252001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080730-1465252001.opb

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

MD5SUM BENCH= 3bc65171ee2bdd2ee7a63cc75f29f375
RANDOM SEED=2072163782

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30476664 kB
Buffers:           58844 kB
Cached:            62852 kB
SwapCached:         1744 kB
Active:            34664 kB
Inactive:          89608 kB
Active(anon):       2552 kB
Inactive(anon):     2648 kB
Active(file):      32112 kB
Inactive(file):    86960 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098608 kB
Dirty:               804 kB
Writeback:             0 kB
AnonPages:       1572212 kB
Mapped:             6648 kB
Shmem:                 0 kB
Slab:             567644 kB
SReclaimable:      12180 kB
SUnreclaim:       555464 kB
KernelStack:        1360 kB
PageTables:         6960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1666996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 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 node140 at 2016-06-07 00:41:44