Trace number 4081323

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)77 1800.2 894.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
MD5SUMa983c7d791d0da9cc5e2ec69578db721
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark0.347946
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables1226
Total number of constraints4208
Number of constraints which are clauses4208
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 constraint2
Maximum length of a constraint105
Number of terms in the objective function 1226
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 1226
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1226
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081323-1465231493.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.55/0.38	c ... done. Wall clock time 0.26s.
0.55/0.38	c declared #vars     1226
0.55/0.38	c #constraints  4208
0.55/0.38	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3297
0.55/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 911
0.55/0.38	c 4208 constraints processed.
0.55/0.38	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 911
0.55/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3297
0.55/0.38	c 4208 constraints processed.
0.55/0.38	c objective function length is 1226 literals
0.75/0.42	c And the winner is solver0
1.08/0.89	c SATISFIABLE
1.08/0.89	c OPTIMIZING...
1.08/0.89	c Got one! Elapsed wall clock time (in seconds):0.767
1.08/0.89	o 89
1.11/0.92	c And the winner is solver0
1.42/1.39	c Got one! Elapsed wall clock time (in seconds):1.275
1.42/1.39	o 87
1.42/1.41	c And the winner is solver0
1.46/1.90	c Got one! Elapsed wall clock time (in seconds):1.78
1.46/1.90	o 85
1.46/1.91	c And the winner is solver0
1.50/2.41	c Got one! Elapsed wall clock time (in seconds):2.286
1.50/2.41	o 83
3.43/2.91	c cleaning 2500 clauses out of 5014 with flag 10693/5014
4.35/3.28	c cleaning 4248 clauses out of 8513 with flag 24565/11013
5.62/3.73	c cleaning 5623 clauses out of 11265 with flag 42179/18013
6.64/4.23	c cleaning 6815 clauses out of 13642 with flag 61974/26013
7.67/4.78	c cleaning 7904 clauses out of 15828 with flag 84015/35014
9.14/5.50	c cleaning 8955 clauses out of 17924 with flag 107605/45014
11.03/6.32	c cleaning 9974 clauses out of 19968 with flag 133485/56013
12.45/7.05	c And the winner is solver1
12.53/7.41	c Got one! Elapsed wall clock time (in seconds):7.29
12.53/7.41	o 82
13.33/7.82	c cleaning 12721 clauses out of 25449 with flag 17452/71468
14.42/8.31	c cleaning 9364 clauses out of 18728 with flag 39340/77468
15.44/8.84	c cleaning 8171 clauses out of 16364 with flag 64618/84468
16.67/9.48	c cleaning 8083 clauses out of 16194 with flag 94096/92469
18.27/10.24	c cleaning 8534 clauses out of 17110 with flag 125789/101468
20.21/11.18	c cleaning 9289 clauses out of 18577 with flag 160568/111469
20.79/11.49	c And the winner is solver1
20.97/11.91	c Got one! Elapsed wall clock time (in seconds):11.793
20.97/11.91	o 81
21.14/12.08	c cleaning 7325 clauses out of 14676 with flag 7267/116857
22.14/12.54	c cleaning 6671 clauses out of 13351 with flag 29494/122857
23.46/13.18	c cleaning 6840 clauses out of 13679 with flag 54472/129856
24.93/13.87	c cleaning 7417 clauses out of 14839 with flag 82374/137856
26.75/14.71	c cleaning 8210 clauses out of 16423 with flag 109557/146857
28.55/15.64	c cleaning 9104 clauses out of 18212 with flag 141935/156856
31.11/16.83	c cleaning 10048 clauses out of 20108 with flag 178075/167856
33.32/17.99	c cleaning 11030 clauses out of 22061 with flag 217252/179857
36.00/19.28	c cleaning 12012 clauses out of 24031 with flag 262015/192857
39.15/20.74	c cleaning 13002 clauses out of 26018 with flag 313973/206856
40.35/21.31	c And the winner is solver1
40.35/21.51	c Got one! Elapsed wall clock time (in seconds):21.387
40.35/21.51	o 80
41.12/21.93	c cleaning 12020 clauses out of 24039 with flag 18701/217879
42.12/22.42	c cleaning 9009 clauses out of 18018 with flag 38027/223878
43.12/22.97	c cleaning 7995 clauses out of 16008 with flag 60556/230877
44.52/23.67	c cleaning 8001 clauses out of 16013 with flag 86540/238877
46.33/24.51	c cleaning 8490 clauses out of 17012 with flag 117722/247877
47.94/25.38	c cleaning 9257 clauses out of 18522 with flag 153691/257877
50.14/26.43	c cleaning 10133 clauses out of 20268 with flag 191551/268880
53.15/27.85	c cleaning 11056 clauses out of 22132 with flag 234880/280877
56.15/29.36	c cleaning 12038 clauses out of 24076 with flag 280582/293877
59.56/31.06	c cleaning 13019 clauses out of 26039 with flag 326735/307878
62.98/32.63	c cleaning 14006 clauses out of 28019 with flag 376826/322877
66.78/34.59	c cleaning 15007 clauses out of 30013 with flag 430462/338877
70.41/36.32	c cleaning 16002 clauses out of 32006 with flag 488646/355877
73.99/38.16	c cleaning 16990 clauses out of 34004 with flag 550739/373877
78.19/40.26	c cleaning 18007 clauses out of 36014 with flag 614694/392877
82.59/42.40	c cleaning 19003 clauses out of 38009 with flag 683271/412879
87.48/44.79	c cleaning 19998 clauses out of 40004 with flag 759535/433877
91.88/46.94	c cleaning 21005 clauses out of 42010 with flag 838849/455881
96.48/49.22	c cleaning 21992 clauses out of 44001 with flag 921655/478877
101.87/51.93	c cleaning 22993 clauses out of 46009 with flag 1009186/502877
109.43/56.10	c cleaning 23995 clauses out of 48016 with flag 1092822/527877
115.84/59.28	c cleaning 25007 clauses out of 50023 with flag 1181762/553879
123.24/62.91	c cleaning 26005 clauses out of 52015 with flag 1273915/580878
127.46/65.08	c And the winner is solver1
127.46/65.29	c Got one! Elapsed wall clock time (in seconds):65.167
127.46/65.29	o 79
128.71/65.81	c cleaning 24175 clauses out of 48349 with flag 17384/603217
129.71/66.34	c cleaning 15087 clauses out of 30174 with flag 40411/609217
130.91/66.93	c cleaning 11020 clauses out of 22086 with flag 66740/616216
132.31/67.64	c cleaning 9521 clauses out of 19066 with flag 98224/624216
134.10/68.55	c cleaning 9255 clauses out of 18545 with flag 129567/633216
136.10/69.54	c cleaning 9644 clauses out of 19290 with flag 166488/643216
138.30/70.69	c cleaning 10320 clauses out of 20646 with flag 205349/654216
141.10/72.08	c cleaning 11155 clauses out of 22327 with flag 244141/666217
143.90/73.49	c cleaning 12080 clauses out of 24171 with flag 288580/679216
147.30/75.14	c cleaning 13038 clauses out of 26091 with flag 337586/693216
150.30/76.66	c cleaning 14025 clauses out of 28053 with flag 389766/708216
153.31/78.15	c cleaning 15013 clauses out of 30028 with flag 446996/724216
156.71/79.89	c cleaning 16001 clauses out of 32015 with flag 506514/741216
160.54/81.76	c cleaning 17003 clauses out of 34014 with flag 568206/759216
164.56/83.78	c cleaning 18006 clauses out of 36011 with flag 636196/778216
168.54/85.79	c cleaning 18998 clauses out of 38006 with flag 703954/798217
174.05/88.37	c cleaning 20000 clauses out of 40007 with flag 775880/819216
179.45/91.09	c cleaning 20987 clauses out of 42007 with flag 851748/841216
184.24/93.50	c cleaning 22009 clauses out of 44020 with flag 931580/864216
189.64/96.12	c cleaning 23001 clauses out of 46011 with flag 1018111/888216
195.05/98.82	c cleaning 24005 clauses out of 48010 with flag 1110168/913216
201.08/101.77	c cleaning 24995 clauses out of 50005 with flag 1201432/939216
207.06/104.72	c cleaning 25988 clauses out of 52010 with flag 1302892/966216
213.67/108.03	c cleaning 27004 clauses out of 54022 with flag 1410155/994216
220.27/111.34	c cleaning 27996 clauses out of 56018 with flag 1512012/1023216
229.37/116.31	c cleaning 29002 clauses out of 58023 with flag 1620753/1053217
236.59/119.94	c cleaning 30002 clauses out of 60020 with flag 1731304/1084216
244.37/123.89	c cleaning 30992 clauses out of 62019 with flag 1845635/1116217
252.86/128.02	c cleaning 32001 clauses out of 64028 with flag 1969962/1149218
261.07/132.19	c cleaning 33014 clauses out of 66027 with flag 2090481/1183218
269.06/136.16	c cleaning 34005 clauses out of 68011 with flag 2217988/1218216
277.81/140.47	c cleaning 34982 clauses out of 70006 with flag 2348501/1254216
287.41/145.29	c cleaning 36013 clauses out of 72025 with flag 2482680/1291217
296.98/149.94	c cleaning 36986 clauses out of 74011 with flag 2618207/1329216
306.58/154.73	c cleaning 38003 clauses out of 76025 with flag 2757386/1368216
316.19/159.59	c cleaning 39010 clauses out of 78023 with flag 2898151/1408217
327.03/164.81	c cleaning 40005 clauses out of 80012 with flag 3031309/1449216
338.82/170.73	c cleaning 40998 clauses out of 82007 with flag 3170771/1491216
344.18/173.20	c cleaning 0 clauses out of 7442 with flag 0/7443
351.46/176.65	c cleaning 42002 clauses out of 84009 with flag 3314350/1534216
362.49/182.16	c cleaning 42999 clauses out of 86008 with flag 3466797/1578217
375.93/188.77	c cleaning 43998 clauses out of 88008 with flag 3617698/1623216
389.78/195.50	c cleaning 44999 clauses out of 90011 with flag 3777897/1669217
401.78/201.50	c cleaning 46003 clauses out of 92011 with flag 3950413/1716216
412.86/206.99	c cleaning 46994 clauses out of 94008 with flag 4120589/1764216
423.87/212.42	c cleaning 48002 clauses out of 96015 with flag 4295505/1813217
436.15/218.40	c cleaning 49005 clauses out of 98012 with flag 4468350/1863216
448.36/224.59	c cleaning 49993 clauses out of 100007 with flag 4650562/1914216
461.45/230.96	c cleaning 50996 clauses out of 102017 with flag 4829744/1966219
465.80/232.99	c And the winner is solver1
465.80/233.10	c Got one! Elapsed wall clock time (in seconds):232.985
465.80/233.10	o 78
466.59/233.59	c cleaning 36146 clauses out of 72293 with flag 18070/1987491
467.79/234.12	c cleaning 21074 clauses out of 42147 with flag 38589/1993491
468.99/234.78	c cleaning 14034 clauses out of 28073 with flag 63796/2000491
470.40/235.47	c cleaning 11021 clauses out of 22042 with flag 91655/2008494
471.99/236.22	c cleaning 9993 clauses out of 20018 with flag 123782/2017491
473.59/237.09	c cleaning 10007 clauses out of 20025 with flag 161821/2027491
475.79/238.18	c cleaning 10504 clauses out of 21018 with flag 200623/2038491
478.19/239.37	c cleaning 11245 clauses out of 22516 with flag 242095/2050493
480.79/240.62	c cleaning 12135 clauses out of 24270 with flag 287771/2063492
483.39/241.99	c cleaning 13063 clauses out of 26134 with flag 338548/2077491
486.38/243.44	c cleaning 14034 clauses out of 28073 with flag 392404/2092493
489.58/245.04	c cleaning 15012 clauses out of 30037 with flag 449852/2108491
493.54/246.84	c cleaning 16013 clauses out of 32026 with flag 508261/2125492
496.73/248.46	c cleaning 16998 clauses out of 34012 with flag 574066/2143491
500.53/250.36	c cleaning 18003 clauses out of 36014 with flag 642850/2162491
504.73/252.42	c cleaning 19001 clauses out of 38013 with flag 710923/2182493
509.50/254.62	c cleaning 19994 clauses out of 40011 with flag 781948/2203492
513.71/256.78	c cleaning 21002 clauses out of 42018 with flag 853520/2225493
518.71/259.25	c cleaning 22006 clauses out of 44014 with flag 933006/2248491
524.12/261.99	c cleaning 23005 clauses out of 46010 with flag 1010579/2272493
529.90/264.81	c cleaning 23993 clauses out of 48003 with flag 1096524/2297491
535.94/267.61	c cleaning 25006 clauses out of 50012 with flag 1191553/2323493
541.34/270.38	c cleaning 25996 clauses out of 52005 with flag 1289885/2350492
547.34/273.35	c cleaning 26999 clauses out of 54009 with flag 1394457/2378492
553.94/276.61	c cleaning 27984 clauses out of 56009 with flag 1498070/2407491
561.75/280.36	c cleaning 29002 clauses out of 58025 with flag 1603526/2437491
568.96/283.96	c cleaning 30009 clauses out of 60023 with flag 1719015/2468491
576.78/287.65	c cleaning 30988 clauses out of 62014 with flag 1831932/2500491
584.59/291.56	c cleaning 32000 clauses out of 64026 with flag 1942611/2533491
593.19/295.64	c cleaning 33011 clauses out of 66028 with flag 2058385/2567493
600.79/299.49	c cleaning 34000 clauses out of 68015 with flag 2181727/2602491
609.40/303.55	c cleaning 35008 clauses out of 70018 with flag 2305421/2638494
617.60/307.66	c cleaning 36003 clauses out of 72007 with flag 2425630/2675491
627.36/312.30	c cleaning 36999 clauses out of 74004 with flag 2552326/2713491
635.95/316.60	c cleaning 37989 clauses out of 76006 with flag 2689639/2752492
647.64/323.39	c cleaning 39003 clauses out of 78017 with flag 2832121/2792492
656.65/327.84	c cleaning 40002 clauses out of 80013 with flag 2984008/2833491
666.30/332.66	c cleaning 40996 clauses out of 82012 with flag 3131153/2875492
676.90/337.95	c cleaning 42000 clauses out of 84016 with flag 3273430/2918492
689.00/343.99	c cleaning 42996 clauses out of 86015 with flag 3415363/2962491
700.73/349.79	c cleaning 44002 clauses out of 88019 with flag 3577563/3007491
711.94/355.35	c cleaning 44993 clauses out of 90017 with flag 3739159/3053491
724.06/361.32	c cleaning 46006 clauses out of 92024 with flag 3907401/3100491
736.80/367.68	c cleaning 46987 clauses out of 94019 with flag 4081190/3148492
748.98/373.62	c cleaning 48015 clauses out of 96032 with flag 4254418/3197492
761.19/379.75	c cleaning 49000 clauses out of 98017 with flag 4432580/3247492
774.77/386.49	c cleaning 49997 clauses out of 100016 with flag 4611423/3298491
788.34/393.16	c cleaning 51009 clauses out of 102022 with flag 4797141/3350494
801.57/399.61	c cleaning 52003 clauses out of 104010 with flag 4979334/3403491
815.77/406.70	c cleaning 52980 clauses out of 106007 with flag 5167665/3457491
831.41/414.46	c cleaning 54013 clauses out of 108027 with flag 5359937/3512491
846.69/421.97	c cleaning 55004 clauses out of 110015 with flag 5563116/3568492
860.90/429.04	c cleaning 56005 clauses out of 112010 with flag 5767953/3625491
878.21/437.52	c cleaning 57004 clauses out of 114008 with flag 5969747/3683494
896.01/446.29	c cleaning 57992 clauses out of 116001 with flag 6175907/3742491
914.20/455.32	c cleaning 58996 clauses out of 118009 with flag 6375440/3802491
932.37/464.08	c cleaning 59995 clauses out of 120013 with flag 6588717/3863491
949.77/472.70	c cleaning 60999 clauses out of 122018 with flag 6807245/3925491
968.75/482.06	c cleaning 62005 clauses out of 124019 with flag 7032253/3988491
986.62/490.71	c cleaning 62999 clauses out of 126015 with flag 7246480/4052492
1011.22/502.69	c cleaning 63998 clauses out of 128016 with flag 7456950/4117492
1031.40/512.53	c cleaning 65010 clauses out of 130019 with flag 7667052/4183493
1052.14/522.78	c cleaning 65990 clauses out of 132007 with flag 7916100/4250491
1074.50/533.71	c cleaning 67004 clauses out of 134017 with flag 8150452/4318491
1095.80/544.23	c cleaning 67990 clauses out of 136013 with flag 8391009/4387491
1117.45/554.91	c cleaning 69011 clauses out of 138023 with flag 8640966/4457491
1139.09/565.67	c cleaning 69993 clauses out of 140012 with flag 8894820/4528491
1159.09/575.57	c cleaning 70997 clauses out of 142019 with flag 9146560/4600491
1179.88/585.81	c cleaning 72005 clauses out of 144022 with flag 9411296/4673491
1201.29/596.44	c cleaning 73005 clauses out of 146018 with flag 9676193/4747492
1222.26/606.72	c cleaning 73997 clauses out of 148012 with flag 9944688/4822491
1238.73/614.84	c cleaning 0 clauses out of 13393 with flag 0/13394
1245.93/618.43	c cleaning 75002 clauses out of 150016 with flag 10208640/4898492
1267.58/629.12	c And the winner is solver1
1267.58/629.26	c Got one! Elapsed wall clock time (in seconds):629.142
1267.58/629.26	o 77
1268.85/629.95	c cleaning 76770 clauses out of 153540 with flag 18618/4977018
1270.05/630.57	c cleaning 41381 clauses out of 82769 with flag 37964/4983017
1271.45/631.25	c cleaning 24194 clauses out of 48388 with flag 62067/4990017
1272.85/631.95	c cleaning 16095 clauses out of 32194 with flag 88548/4998017
1274.45/632.74	c cleaning 12530 clauses out of 25099 with flag 121354/5007017
1276.27/633.67	c cleaning 11263 clauses out of 22569 with flag 159352/5017017
1278.99/634.89	c cleaning 11149 clauses out of 22306 with flag 196978/5028017
1281.37/636.03	c cleaning 11562 clauses out of 23158 with flag 237871/5040018
1283.97/637.32	c cleaning 12294 clauses out of 24595 with flag 279828/5053017
1286.97/638.80	c cleaning 13147 clauses out of 26302 with flag 323867/5067018
1289.57/640.18	c cleaning 14076 clauses out of 28154 with flag 375936/5082017
1292.57/641.70	c cleaning 15035 clauses out of 30078 with flag 433614/5098017
1296.46/643.45	c cleaning 16001 clauses out of 32043 with flag 495090/5115017
1300.07/645.27	c cleaning 17004 clauses out of 34042 with flag 559435/5133017
1304.06/647.29	c cleaning 18008 clauses out of 36038 with flag 624856/5152017
1308.66/649.59	c cleaning 19012 clauses out of 38030 with flag 694520/5172017
1313.26/651.83	c cleaning 20000 clauses out of 40020 with flag 765352/5193019
1318.58/654.34	c cleaning 21001 clauses out of 42019 with flag 839908/5215018
1323.18/656.62	c cleaning 22005 clauses out of 44017 with flag 924056/5238017
1328.18/659.10	c cleaning 22999 clauses out of 46012 with flag 1004710/5262017
1333.18/661.64	c cleaning 23997 clauses out of 48016 with flag 1096905/5287020
1338.58/664.33	c cleaning 25000 clauses out of 50016 with flag 1184170/5313017
1349.31/671.46	c cleaning 25996 clauses out of 52016 with flag 1278297/5340017
1355.90/674.78	c cleaning 26998 clauses out of 54020 with flag 1374264/5368017
1362.90/678.23	c cleaning 28006 clauses out of 56022 with flag 1472944/5397017
1369.79/681.67	c cleaning 29004 clauses out of 58016 with flag 1579464/5427017
1376.60/685.08	c cleaning 29989 clauses out of 60014 with flag 1695258/5458019
1384.12/688.76	c cleaning 31013 clauses out of 62026 with flag 1808384/5490020
1391.91/692.63	c cleaning 32007 clauses out of 64014 with flag 1924347/5523021
1399.71/696.57	c cleaning 32995 clauses out of 66003 with flag 2041768/5557017
1409.02/701.18	c cleaning 33999 clauses out of 68008 with flag 2157555/5592017
1418.02/705.63	c cleaning 34992 clauses out of 70009 with flag 2283006/5628017
1427.92/710.57	c cleaning 36006 clauses out of 72018 with flag 2407662/5665018
1438.64/715.89	c cleaning 36986 clauses out of 74011 with flag 2529557/5703017
1449.24/721.17	c cleaning 38010 clauses out of 76029 with flag 2664392/5742021
1459.19/726.06	c cleaning 39009 clauses out of 78018 with flag 2810936/5782020
1469.38/731.18	c cleaning 39998 clauses out of 80006 with flag 2949043/5823017
1480.54/736.70	c cleaning 40984 clauses out of 82009 with flag 3093794/5865018
1491.88/742.28	c cleaning 42002 clauses out of 84024 with flag 3260185/5908017
1503.69/748.17	c cleaning 43011 clauses out of 86022 with flag 3403605/5952017
1516.26/754.33	c cleaning 44005 clauses out of 88012 with flag 3558217/5997018
1527.88/760.16	c cleaning 44998 clauses out of 90006 with flag 3724974/6043017
1538.69/765.48	c cleaning 46001 clauses out of 92008 with flag 3885054/6090017
1550.10/771.16	c cleaning 46998 clauses out of 94007 with flag 4041949/6138017
1563.31/777.63	c cleaning 48000 clauses out of 96009 with flag 4205474/6187017
1575.50/783.71	c cleaning 48994 clauses out of 98009 with flag 4387167/6237017
1592.22/791.91	c cleaning 50008 clauses out of 100015 with flag 4559282/6288017
1607.93/799.61	c cleaning 51004 clauses out of 102007 with flag 4732237/6340017
1622.13/806.76	c cleaning 51998 clauses out of 104004 with flag 4916854/6393018
1637.44/814.28	c cleaning 52996 clauses out of 106006 with flag 5112497/6447018
1653.61/822.17	c cleaning 53992 clauses out of 108009 with flag 5301066/6502017
1667.81/829.25	c cleaning 55006 clauses out of 110018 with flag 5492897/6558018
1683.97/837.19	c cleaning 56005 clauses out of 112012 with flag 5683211/6615018
1699.31/844.61	c cleaning 56996 clauses out of 114008 with flag 5877933/6673019
1717.13/853.34	c cleaning 58005 clauses out of 116010 with flag 6078923/6732017
1733.98/861.58	c cleaning 58999 clauses out of 118005 with flag 6291929/6792017
1749.19/869.15	c cleaning 59992 clauses out of 120006 with flag 6501063/6853017
1766.20/877.48	c cleaning 61007 clauses out of 122014 with flag 6713074/6915017
1784.61/886.47	c cleaning 62004 clauses out of 124007 with flag 6930716/6978017
1800.20/894.00	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.20/894.00	c starts		: 137994
1800.20/894.00	c conflicts		: 7041114
1800.20/894.00	c decisions		: 32953457
1800.20/894.00	c propagations		: 863296977
1800.20/894.00	c inspects		: 8805587396
1800.20/894.00	c shortcuts		: 0
1800.20/894.00	c learnt literals	: 0
1800.20/894.00	c learnt binary clauses	: 0
1800.20/894.00	c learnt ternary clauses	: 0
1800.20/894.00	c learnt constraints	: 7041114
1800.20/894.00	c ignored constraints	: 0
1800.20/894.00	c root simplifications	: 0
1800.20/894.00	c removed literals (reason simplification)	: 54680777
1800.20/894.00	c reason swapping (by a shorter reason)	: 0
1800.20/894.00	c Calls to reduceDB	: 225
1800.20/894.00	c Number of update (reduction) of LBD	: 2678415
1800.20/894.00	c Imported unit clauses	: 0
1800.20/894.00	c number of reductions to clauses (during analyze)	: 0
1800.20/894.00	c number of learned constraints concerned by reduction	: 0
1800.20/894.00	c number of learning phase by resolution	: 0
1800.20/894.00	c number of learning phase by cutting planes	: 0
1800.20/894.00	c speed (assignments/second)	: 3260997.744906208
1800.20/894.00	c non guided choices	0
1800.20/894.03	c learnt constraints type 
1800.20/894.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 125100
1800.20/894.03	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.20/894.03	c starts		: 53
1800.20/894.03	c conflicts		: 16243
1800.20/894.03	c decisions		: 234877
1800.20/894.03	c propagations		: 1380695
1800.20/894.03	c inspects		: 700074896
1800.20/894.03	c shortcuts		: 0
1800.20/894.03	c learnt literals	: 0
1800.20/894.03	c learnt binary clauses	: 0
1800.20/894.03	c learnt ternary clauses	: 0
1800.20/894.03	c learnt constraints	: 16242
1800.20/894.03	c ignored constraints	: 0
1800.20/894.03	c root simplifications	: 0
1800.20/894.03	c removed literals (reason simplification)	: 0
1800.20/894.03	c reason swapping (by a shorter reason)	: 0
1800.20/894.03	c Calls to reduceDB	: 2
1800.20/894.03	c Number of update (reduction) of LBD	: 0
1800.20/894.03	c Imported unit clauses	: 0
1800.20/894.03	c number of reductions to clauses (during analyze)	: 0
1800.20/894.03	c number of learned constraints concerned by reduction	: 0
1800.20/894.03	c number of learning phase by resolution	: 0
1800.20/894.03	c number of learning phase by cutting planes	: 0
1800.20/894.03	c speed (assignments/second)	: 1548.5327187182809
1800.20/894.03	c non guided choices	0
1800.20/894.03	c learnt constraints type 
1800.20/894.03	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 222
1800.20/894.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11
1800.20/894.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16009
1800.20/894.03	s SATISFIABLE
1800.20/894.03	c Found 10 solution(s)
1800.20/894.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 x963 -x964 x965 -x966 -x967 -x968 x969 x970 -x971 -x972 -x973 x974 x975 -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 
1800.20/894.04	c objective function=77
1800.20/894.04	c Total wall clock time (in seconds): 893.92

Verifier Data 

OK	77

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

pid=25914
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 4.10 4.15 4.16 4/197 25917
/proc/meminfo: memFree=28452052/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25917/stat : 25917 (java) D 25914 25917 21426 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 105081864 9515008 183 33554432000 1073741824 1073778376 140736131579680 140736131570712 206629060277 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2323 183 140 9 0 71 0

[startup+0.100091 s]
/proc/loadavg: 4.10 4.15 4.16 4/197 25917
/proc/meminfo: memFree=28452052/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 4437 0 1 0 8 1 0 0 20 0 18 0 105081864 9787879424 6065 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2389619 6065 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200283 s]
/proc/loadavg: 4.10 4.15 4.16 4/197 25917
/proc/meminfo: memFree=28452052/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 5024 0 1 0 25 1 0 0 20 0 18 0 105081864 9787879424 6987 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2389619 6987 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300303 s]
/proc/loadavg: 4.10 4.15 4.16 4/197 25917
/proc/meminfo: memFree=28452052/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 7395 0 1 0 53 2 0 0 20 0 18 0 105081864 9787879424 9867 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2389619 9867 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.70024 s]
/proc/loadavg: 4.10 4.15 4.16 4/197 25917
/proc/meminfo: memFree=28452052/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 15114 0 1 0 103 5 0 0 20 0 19 0 105081864 10060525568 20478 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2456183 20478 2257 9 0 2446860 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9824732

[startup+1.5007 s]
/proc/loadavg: 4.10 4.15 4.16 3/216 25942
/proc/meminfo: memFree=28369756/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 16200 0 1 0 138 8 0 0 20 0 19 0 105081864 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2456183 23575 2262 9 0 2446860 0
[pid=25917/tid=25919] ppid=25914 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/25917/task/25919/stat : 25919 (java) S 25914 25917 21426 0 -1 4202560 2493 0 1 0 35 1 0 0 20 0 19 0 105081865 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924451578744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25920] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25920/stat : 25920 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081866 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924413069736 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25921] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25921/stat : 25921 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081866 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924412017192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25922] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25922/stat : 25922 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081866 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924410964136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25923] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25923/stat : 25923 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081866 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924409911592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25924] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25924/stat : 25924 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081866 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924408859560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25925] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25925/stat : 25925 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081866 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924407807016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25926] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25926/stat : 25926 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081866 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924406753960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25927] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25927/stat : 25927 (java) S 25914 25917 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105081866 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924405701416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25928] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25928/stat : 25928 (java) S 25914 25917 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105081867 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924275702120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25929] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25929/stat : 25929 (java) S 25914 25917 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105081868 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924274648440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25930] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25930/stat : 25930 (java) S 25914 25917 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105081868 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924273595272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25931] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25931/stat : 25931 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081870 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924272544016 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25932] ppid=25914 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/25917/task/25932/stat : 25932 (java) S 25914 25917 21426 0 -1 4202560 7931 0 0 0 49 2 0 0 20 0 19 0 105081870 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924271491896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25933] ppid=25914 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/25917/task/25933/stat : 25933 (java) S 25914 25917 21426 0 -1 4202560 4383 0 0 0 33 0 0 0 20 0 19 0 105081870 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924270439352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25934] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25934/stat : 25934 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081870 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924269386488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25935] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25935/stat : 25935 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081870 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139924268334152 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25938] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25938/stat : 25938 (java) S 25914 25917 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105081904 10060525568 23575 33554432000 1073741824 1073778376 140737335687920 139923122283304 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 3.93 4.12 4.15 3/216 25948
/proc/meminfo: memFree=28360944/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9824732 CPUtime=4.14 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 24448 0 1 0 404 10 0 0 20 0 22 0 105081864 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2456183 39369 2279 9 0 2446860 0
[pid=25917/tid=25919] ppid=25914 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/25917/task/25919/stat : 25919 (java) S 25914 25917 21426 0 -1 4202560 2494 0 1 0 36 1 0 0 20 0 22 0 105081865 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924451578744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25920] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25920/stat : 25920 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081866 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924413069736 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25921] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25921/stat : 25921 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081866 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924412017192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25922] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25922/stat : 25922 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081866 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924410964136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25923] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25923/stat : 25923 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081866 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924409911592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25924] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25924/stat : 25924 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081866 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924408859560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25925] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25925/stat : 25925 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081866 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924407807016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25926] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25926/stat : 25926 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081866 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924406753960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25927] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25927/stat : 25927 (java) S 25914 25917 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105081866 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924405701416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25928] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25928/stat : 25928 (java) S 25914 25917 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105081867 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924275702120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25929] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25929/stat : 25929 (java) S 25914 25917 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924274648440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25930] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25930/stat : 25930 (java) S 25914 25917 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924273595272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25931] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25931/stat : 25931 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924272544016 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25932] ppid=25914 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/25917/task/25932/stat : 25932 (java) S 25914 25917 21426 0 -1 4202560 8047 0 0 0 113 2 0 0 20 0 22 0 105081870 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924271491896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25933] ppid=25914 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/25917/task/25933/stat : 25933 (java) S 25914 25917 21426 0 -1 4202560 12472 0 0 0 98 3 0 0 20 0 22 0 105081870 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924270439352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25934] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25934/stat : 25934 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924269386488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25935] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25935/stat : 25935 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139924268334152 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25938] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25938/stat : 25938 (java) S 25914 25917 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105081904 10060525568 39369 33554432000 1073741824 1073778376 140737335687920 139923122283304 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 3.93 4.12 4.15 6/219 25951
/proc/meminfo: memFree=28230428/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9824732 CPUtime=11.03 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 25164 0 1 0 1086 17 0 0 20 0 22 0 105081864 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2456183 62045 2292 9 0 2446860 0
[pid=25917/tid=25919] ppid=25914 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/25917/task/25919/stat : 25919 (java) S 25914 25917 21426 0 -1 4202560 2494 0 1 0 36 1 0 0 20 0 22 0 105081865 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924451578744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25920] ppid=25914 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25917/task/25920/stat : 25920 (java) S 25914 25917 21426 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 22 0 105081866 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924413069736 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25921] ppid=25914 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25917/task/25921/stat : 25921 (java) S 25914 25917 21426 0 -1 4202560 155 0 0 0 2 0 0 0 20 0 22 0 105081866 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924412017192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25922] ppid=25914 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25917/task/25922/stat : 25922 (java) S 25914 25917 21426 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 105081866 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924410964136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25923] ppid=25914 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/25917/task/25923/stat : 25923 (java) S 25914 25917 21426 0 -1 4202560 157 0 0 0 5 0 0 0 20 0 22 0 105081866 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924409911592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25924] ppid=25914 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25917/task/25924/stat : 25924 (java) S 25914 25917 21426 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 105081866 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924408859560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25925] ppid=25914 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/25917/task/25925/stat : 25925 (java) S 25914 25917 21426 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 22 0 105081866 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924407807016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25926] ppid=25914 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25917/task/25926/stat : 25926 (java) S 25914 25917 21426 0 -1 4202560 118 0 0 0 2 0 0 0 20 0 22 0 105081866 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924406753960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25927] ppid=25914 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/25917/task/25927/stat : 25927 (java) S 25914 25917 21426 0 -1 4202560 122 0 0 0 5 0 0 0 20 0 22 0 105081866 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924405701416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25928] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25928/stat : 25928 (java) S 25914 25917 21426 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 105081867 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924275702120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25929] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25929/stat : 25929 (java) S 25914 25917 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924274648440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25930] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25930/stat : 25930 (java) S 25914 25917 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924273595272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25931] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25931/stat : 25931 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924272544016 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25932] ppid=25914 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/25917/task/25932/stat : 25932 (java) S 25914 25917 21426 0 -1 4202560 8047 0 0 0 119 2 0 0 20 0 22 0 105081870 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924271491896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25933] ppid=25914 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/25917/task/25933/stat : 25933 (java) S 25914 25917 21426 0 -1 4202560 12472 0 0 0 126 3 0 0 20 0 22 0 105081870 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924270439352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25934] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25934/stat : 25934 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924269386488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25935] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25935/stat : 25935 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139924268334152 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25938] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25938/stat : 25938 (java) S 25914 25917 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105081904 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139923122283304 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25949] ppid=25914 vsize=9824732 CPUtime=3.73 cores=1,3,5,7
/proc/25917/task/25949/stat : 25949 (java) R 25914 25917 21426 0 -1 4202560 7 0 0 0 373 0 0 0 20 0 22 0 105082105 10060525568 62045 33554432000 1073741824 1073778376 140737335687920 139923121231224 139924281297860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25950] ppid=25914 vsize=9824732 CPUtime=3.75 cores=1,3,5,7

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

[pid=25917/tid=25927] ppid=25914 vsize=9824732 CPUtime=5.83 cores=1,3,5,7
/proc/25917/task/25927/stat : 25927 (java) S 25914 25917 21426 0 -1 4202560 899 0 0 0 558 25 0 0 20 0 22 0 105081866 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924405701416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25928] ppid=25914 vsize=9824732 CPUtime=8.15 cores=1,3,5,7
/proc/25917/task/25928/stat : 25928 (java) S 25914 25917 21426 0 -1 4202560 3031 0 0 0 806 9 0 0 20 0 22 0 105081867 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924275702120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25929] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25929/stat : 25929 (java) S 25914 25917 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924274648440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25930] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25930/stat : 25930 (java) S 25914 25917 21426 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924273595272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25931] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25931/stat : 25931 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924272544016 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25932] ppid=25914 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/25917/task/25932/stat : 25932 (java) S 25914 25917 21426 0 -1 4202560 8049 0 0 0 143 2 0 0 20 0 22 0 105081870 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924271491896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25933] ppid=25914 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/25917/task/25933/stat : 25933 (java) S 25914 25917 21426 0 -1 4202560 16881 0 0 0 214 3 0 0 20 0 22 0 105081870 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924270439352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25934] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25934/stat : 25934 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924269386488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25935] ppid=25914 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/25917/task/25935/stat : 25935 (java) S 25914 25917 21426 0 -1 4202560 47 0 0 0 13 19 0 0 20 0 22 0 105081870 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924268334152 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25951] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25951/stat : 25951 (java) S 25914 25917 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105082106 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924267279784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25983] ppid=25914 vsize=9824732 CPUtime=186.42 cores=1,3,5,7
/proc/25917/task/25983/stat : 25983 (java) R 25914 25917 21426 0 -1 4202560 7 0 0 0 18640 2 0 0 20 0 22 0 105144791 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139923122274640 139924280640721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25984] ppid=25914 vsize=9824732 CPUtime=186.37 cores=1,3,5,7
/proc/25917/task/25984/stat : 25984 (java) R 25914 25917 21426 0 -1 4202560 17 0 0 0 18635 2 0 0 20 0 22 0 105144791 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139924266224288 139924281101005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25985] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25985/stat : 25985 (java) S 25914 25917 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105144791 10060525568 1009355 33554432000 1073741824 1073778376 140737335687920 139923121231016 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1651.51
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.17 4.17 4.17 11/219 26169
/proc/meminfo: memFree=25389708/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9824732 CPUtime=1773.93 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 39956 0 1 0 177098 295 0 0 20 0 22 0 105081864 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2456183 1027775 2302 9 0 2446860 0
[pid=25917/tid=25919] ppid=25914 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/25917/task/25919/stat : 25919 (java) S 25914 25917 21426 0 -1 4202560 2509 0 1 0 40 4 0 0 20 0 22 0 105081865 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924451578744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25920] ppid=25914 vsize=9824732 CPUtime=6.37 cores=1,3,5,7
/proc/25917/task/25920/stat : 25920 (java) S 25914 25917 21426 0 -1 4202560 700 0 0 0 611 26 0 0 20 0 22 0 105081866 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924413069736 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25921] ppid=25914 vsize=9824732 CPUtime=5.88 cores=1,3,5,7
/proc/25917/task/25921/stat : 25921 (java) S 25914 25917 21426 0 -1 4202560 734 0 0 0 568 20 0 0 20 0 22 0 105081866 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924412017192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25922] ppid=25914 vsize=9824732 CPUtime=5.79 cores=1,3,5,7
/proc/25917/task/25922/stat : 25922 (java) S 25914 25917 21426 0 -1 4202560 690 0 0 0 553 26 0 0 20 0 22 0 105081866 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924410964136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25923] ppid=25914 vsize=9824732 CPUtime=6.6 cores=1,3,5,7
/proc/25917/task/25923/stat : 25923 (java) S 25914 25917 21426 0 -1 4202560 827 0 0 0 635 25 0 0 20 0 22 0 105081866 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924409911592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25924] ppid=25914 vsize=9824732 CPUtime=6.04 cores=1,3,5,7
/proc/25917/task/25924/stat : 25924 (java) S 25914 25917 21426 0 -1 4202560 776 0 0 0 580 24 0 0 20 0 22 0 105081866 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924408859560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25925] ppid=25914 vsize=9824732 CPUtime=5.8 cores=1,3,5,7
/proc/25917/task/25925/stat : 25925 (java) S 25914 25917 21426 0 -1 4202560 692 0 0 0 560 20 0 0 20 0 22 0 105081866 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924407807016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25926] ppid=25914 vsize=9824732 CPUtime=6.18 cores=1,3,5,7
/proc/25917/task/25926/stat : 25926 (java) S 25914 25917 21426 0 -1 4202560 868 0 0 0 592 26 0 0 20 0 22 0 105081866 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924406753960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25927] ppid=25914 vsize=9824732 CPUtime=6.7 cores=1,3,5,7
/proc/25917/task/25927/stat : 25927 (java) S 25914 25917 21426 0 -1 4202560 910 0 0 0 645 25 0 0 20 0 22 0 105081866 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924405701416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25928] ppid=25914 vsize=9824732 CPUtime=8.15 cores=1,3,5,7
/proc/25917/task/25928/stat : 25928 (java) S 25914 25917 21426 0 -1 4202560 3035 0 0 0 806 9 0 0 20 0 22 0 105081867 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924275702120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25929] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25929/stat : 25929 (java) S 25914 25917 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924274648440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25930] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25930/stat : 25930 (java) S 25914 25917 21426 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924273595272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25931] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25931/stat : 25931 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924272544016 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25932] ppid=25914 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/25917/task/25932/stat : 25932 (java) S 25914 25917 21426 0 -1 4202560 8049 0 0 0 143 2 0 0 20 0 22 0 105081870 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924271491896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25933] ppid=25914 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/25917/task/25933/stat : 25933 (java) S 25914 25917 21426 0 -1 4202560 16881 0 0 0 214 3 0 0 20 0 22 0 105081870 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924270439352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25934] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25934/stat : 25934 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924269386488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25935] ppid=25914 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/25917/task/25935/stat : 25935 (java) S 25914 25917 21426 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 105081870 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924268334152 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25951] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25951/stat : 25951 (java) S 25914 25917 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105082106 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924267279784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25983] ppid=25914 vsize=9824732 CPUtime=245 cores=1,3,5,7
/proc/25917/task/25983/stat : 25983 (java) R 25914 25917 21426 0 -1 4202560 13 0 0 0 24497 3 0 0 20 0 22 0 105144791 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139923122282320 139924280763185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25984] ppid=25914 vsize=9824732 CPUtime=244.95 cores=1,3,5,7
/proc/25917/task/25984/stat : 25984 (java) R 25914 25917 21426 0 -1 4202560 17 0 0 0 24492 3 0 0 20 0 22 0 105144791 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139924266224160 139924281064732 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25985] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25985/stat : 25985 (java) S 25914 25917 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105144791 10060525568 1027775 33554432000 1073741824 1073778376 140737335687920 139923121231016 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1773.93
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.001 s]
/proc/loadavg: 4.15 4.16 4.16 11/219 26169
/proc/meminfo: memFree=25355396/32872528 swapFree=12328/568296
[pid=25917] ppid=25914 vsize=9824732 CPUtime=1797.7 cores=1,3,5,7
/proc/25917/stat : 25917 (java) S 25914 25917 21426 0 -1 4202496 40010 0 1 0 179473 297 0 0 20 0 22 0 105081864 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 140737335679056 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25917/statm: 2456183 1036491 2302 9 0 2446860 0
[pid=25917/tid=25919] ppid=25914 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/25917/task/25919/stat : 25919 (java) S 25914 25917 21426 0 -1 4202560 2509 0 1 0 40 4 0 0 20 0 22 0 105081865 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924451578744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25920] ppid=25914 vsize=9824732 CPUtime=6.5 cores=1,3,5,7
/proc/25917/task/25920/stat : 25920 (java) S 25914 25917 21426 0 -1 4202560 708 0 0 0 624 26 0 0 20 0 22 0 105081866 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924413069736 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25921] ppid=25914 vsize=9824732 CPUtime=5.99 cores=1,3,5,7
/proc/25917/task/25921/stat : 25921 (java) S 25914 25917 21426 0 -1 4202560 741 0 0 0 578 21 0 0 20 0 22 0 105081866 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924412017192 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25922] ppid=25914 vsize=9824732 CPUtime=5.89 cores=1,3,5,7
/proc/25917/task/25922/stat : 25922 (java) S 25914 25917 21426 0 -1 4202560 691 0 0 0 563 26 0 0 20 0 22 0 105081866 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924410964136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25923] ppid=25914 vsize=9824732 CPUtime=6.8 cores=1,3,5,7
/proc/25917/task/25923/stat : 25923 (java) S 25914 25917 21426 0 -1 4202560 841 0 0 0 654 26 0 0 20 0 22 0 105081866 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924409911592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25924] ppid=25914 vsize=9824732 CPUtime=6.09 cores=1,3,5,7
/proc/25917/task/25924/stat : 25924 (java) S 25914 25917 21426 0 -1 4202560 779 0 0 0 585 24 0 0 20 0 22 0 105081866 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924408859560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25925] ppid=25914 vsize=9824732 CPUtime=5.85 cores=1,3,5,7
/proc/25917/task/25925/stat : 25925 (java) S 25914 25917 21426 0 -1 4202560 694 0 0 0 565 20 0 0 20 0 22 0 105081866 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924407807016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25926] ppid=25914 vsize=9824732 CPUtime=6.28 cores=1,3,5,7
/proc/25917/task/25926/stat : 25926 (java) S 25914 25917 21426 0 -1 4202560 870 0 0 0 602 26 0 0 20 0 22 0 105081866 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924406753960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25927] ppid=25914 vsize=9824732 CPUtime=6.75 cores=1,3,5,7
/proc/25917/task/25927/stat : 25927 (java) S 25914 25917 21426 0 -1 4202560 914 0 0 0 650 25 0 0 20 0 22 0 105081866 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924405701416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25928] ppid=25914 vsize=9824732 CPUtime=8.15 cores=1,3,5,7
/proc/25917/task/25928/stat : 25928 (java) S 25914 25917 21426 0 -1 4202560 3047 0 0 0 806 9 0 0 20 0 22 0 105081867 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924275702120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25929] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25929/stat : 25929 (java) S 25914 25917 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924274648440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25930] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25930/stat : 25930 (java) S 25914 25917 21426 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105081868 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924273595272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25917/tid=25931] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25931/stat : 25931 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924272544016 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25932] ppid=25914 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/25917/task/25932/stat : 25932 (java) S 25914 25917 21426 0 -1 4202560 8049 0 0 0 143 2 0 0 20 0 22 0 105081870 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924271491896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25933] ppid=25914 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/25917/task/25933/stat : 25933 (java) S 25914 25917 21426 0 -1 4202560 16881 0 0 0 214 3 0 0 20 0 22 0 105081870 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924270439352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25934] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25934/stat : 25934 (java) S 25914 25917 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081870 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924269386488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25935] ppid=25914 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/25917/task/25935/stat : 25935 (java) S 25914 25917 21426 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 105081870 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924268334152 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25951] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25951/stat : 25951 (java) S 25914 25917 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105082106 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924267279784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25917/tid=25983] ppid=25914 vsize=9824732 CPUtime=256.46 cores=1,3,5,7
/proc/25917/task/25983/stat : 25983 (java) R 25914 25917 21426 0 -1 4202560 14 0 0 0 25643 3 0 0 20 0 22 0 105144791 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139923122282320 139924280709301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25917/tid=25984] ppid=25914 vsize=9824732 CPUtime=256.41 cores=1,3,5,7
/proc/25917/task/25984/stat : 25984 (java) R 25914 25917 21426 0 -1 4202560 17 0 0 0 25638 3 0 0 20 0 22 0 105144791 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139924266224160 139924281063606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25917/tid=25985] ppid=25914 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25917/task/25985/stat : 25985 (java) S 25914 25917 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105144791 10060525568 1036491 33554432000 1073741824 1073778376 140737335687920 139923121231016 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.7
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 25917 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 25917 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=378365
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=152520
# CPU time returned by wait4() is 1796.53
# while last known CPU time is 1797.7
#
# 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): 2.49982
#  lost CPU user time (s): 2.68993
#  lost CPU system time (s): -0.19

Real time (s): 894.07
CPU time (s): 1800.2
CPU user time (s): 1797.42
CPU system time (s): 2.78
CPU usage (%): 201.349
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.38
system time used= 3.15252
maximum resident set size= 4146076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40047
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24072
involuntary context switches= 34356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43417 second user time and 7.62384 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-06 18:44:53
IDJOB=4081323
IDBENCH=2884
IDSOLVER=2543
FILE ID=node138/4081323-1465231493
RUNJOBID= node138-1465221375-21443
PBS_JOBID= 19843229
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081323-1465231493/watcher-4081323-1465231493 -o /tmp/evaluation-result-4081323-1465231493/solver-4081323-1465231493 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21443 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081323-1465231493.opb

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

MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721
RANDOM SEED=420509945

node138.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.807
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.61
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.807
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.56
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.807
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.807
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		: 2666.807
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.807
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.807
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.807
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:        28451944 kB
Buffers:           24624 kB
Cached:            89220 kB
SwapCached:        46424 kB
Active:          3040352 kB
Inactive:         100836 kB
Active(anon):    2982660 kB
Inactive(anon):    47172 kB
Active(file):      57692 kB
Inactive(file):    53664 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053456 kB
Dirty:               900 kB
Writeback:             0 kB
AnonPages:       3572752 kB
Mapped:            15452 kB
Shmem:                 0 kB
Slab:             567700 kB
SReclaimable:      11376 kB
SUnreclaim:       556324 kB
KernelStack:        1784 kB
PageTables:        11088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3786448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3516416 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= 71748 MiB
End job on node138 at 2016-06-06 18:59:47