Trace number 4091733

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.74 901.812

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/academics/
normalized-warehouse1_wcsp.wbo
MD5SUMe84f9fd9c38a67d9707b8aa628966b83
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark674555
Best CPU time to get the best result obtained on this benchmark257.604
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables418
Total number of constraints818
Number of soft constraints779
Number of constraints which are clauses779
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 2939907
Min constraint cost 1
Max constraint cost 2939907
Sum of constraints costs 1138582091
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
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@16fd0b7
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@4413ee
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@75786e64
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@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4091733-1466088801.wbo
0.09/0.12	c reading problem ... 
0.24/0.22	c ... done. Wall clock time 0.105s.
0.24/0.22	c declared #vars     418
0.24/0.22	c internal #vars     1197
0.24/0.22	c #constraints  857
0.24/0.23	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 400
0.24/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
0.24/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 437
0.24/0.23	c 857 constraints processed.
0.24/0.23	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 437
0.24/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 400
0.24/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20
0.24/0.23	c 857 constraints processed.
0.24/0.23	c objective function length is 779 literals
0.24/0.25	c And the winner is solver1
0.38/0.73	c SATISFIABLE
0.38/0.73	c OPTIMIZING...
0.38/0.73	c Got one! Elapsed wall clock time (in seconds):0.612
0.38/0.73	o 716425
3.29/1.65	c cleaning 2500 clauses out of 5000 with flag 12669/5000
4.44/2.06	c cleaning 4247 clauses out of 8500 with flag 34765/11000
4.89/2.29	c And the winner is solver1
5.06/2.75	c Got one! Elapsed wall clock time (in seconds):2.628
5.06/2.75	o 708603
5.39/2.90	c cleaning 4960 clauses out of 9950 with flag 6787/16697
6.22/3.31	c cleaning 5495 clauses out of 10990 with flag 29866/22697
7.25/3.82	c cleaning 6245 clauses out of 12496 with flag 55790/29698
8.63/4.41	c cleaning 7119 clauses out of 14250 with flag 87109/37697
9.82/5.07	c cleaning 8066 clauses out of 16131 with flag 121555/46697
11.27/5.78	c cleaning 9024 clauses out of 18065 with flag 157681/56697
13.14/6.63	c cleaning 10021 clauses out of 20041 with flag 196337/67697
14.97/7.55	c cleaning 11010 clauses out of 22020 with flag 240227/79697
17.02/8.53	c cleaning 11991 clauses out of 24010 with flag 284627/92697
19.07/9.55	c cleaning 12994 clauses out of 26020 with flag 336353/106698
21.47/10.71	c cleaning 14003 clauses out of 28025 with flag 393666/121697
24.14/12.01	c cleaning 14997 clauses out of 30022 with flag 446970/137697
26.78/13.32	c cleaning 16004 clauses out of 32025 with flag 505877/154697
29.67/14.76	c cleaning 17000 clauses out of 34021 with flag 567782/172697
32.75/16.27	c cleaning 17998 clauses out of 36021 with flag 630978/191697
35.94/17.86	c cleaning 18993 clauses out of 38023 with flag 704139/211697
39.44/19.59	c cleaning 20006 clauses out of 40030 with flag 781108/232697
43.05/21.32	c cleaning 21012 clauses out of 42024 with flag 860192/254697
47.05/23.34	c cleaning 22005 clauses out of 44012 with flag 929841/277697
51.85/25.77	c cleaning 23004 clauses out of 46007 with flag 1006398/301697
57.56/28.52	c cleaning 23994 clauses out of 48003 with flag 1093634/326697
62.38/30.99	c cleaning 24991 clauses out of 50009 with flag 1189204/352697
65.56/32.57	c And the winner is solver0
65.67/32.76	c Got one! Elapsed wall clock time (in seconds):32.643
65.67/32.76	o 703717
66.75/33.30	c cleaning 23863 clauses out of 47783 with flag 18135/375462
67.55/33.79	c cleaning 14951 clauses out of 29920 with flag 39372/381462
68.75/34.34	c cleaning 10976 clauses out of 21969 with flag 65527/388462
69.95/34.93	c cleaning 9478 clauses out of 18993 with flag 95801/396462
71.15/35.58	c cleaning 9248 clauses out of 18516 with flag 127417/405463
72.93/36.36	c cleaning 9625 clauses out of 19267 with flag 159363/415462
74.52/37.16	c cleaning 10314 clauses out of 20643 with flag 198428/426463
76.32/38.05	c cleaning 11157 clauses out of 22328 with flag 235159/438462
78.32/39.02	c cleaning 12083 clauses out of 24171 with flag 285232/451462
80.32/40.08	c cleaning 13041 clauses out of 26091 with flag 335783/465465
82.72/41.25	c cleaning 14006 clauses out of 28048 with flag 385266/480463
85.31/42.60	c cleaning 15015 clauses out of 30041 with flag 444453/496462
88.33/44.02	c cleaning 16009 clauses out of 32026 with flag 503903/513462
91.31/45.56	c cleaning 17004 clauses out of 34017 with flag 567486/531462
91.51/45.66	c And the winner is solver0
91.64/45.77	c Got one! Elapsed wall clock time (in seconds):45.651
91.64/45.77	o 703422
92.11/46.07	c cleaning 11212 clauses out of 22448 with flag 13620/536897
92.90/46.48	c cleaning 8609 clauses out of 17237 with flag 32534/542898
93.90/46.97	c cleaning 7804 clauses out of 15627 with flag 54402/549897
95.10/47.55	c cleaning 7900 clauses out of 15824 with flag 80801/557898
96.29/48.18	c cleaning 8454 clauses out of 16923 with flag 114247/566897
97.89/48.91	c cleaning 9233 clauses out of 18470 with flag 145807/576898
99.31/49.70	c cleaning 10118 clauses out of 20237 with flag 182224/587898
101.48/50.66	c cleaning 11061 clauses out of 22123 with flag 226094/599902
103.47/51.66	c cleaning 12025 clauses out of 24057 with flag 267483/612897
105.67/52.80	c cleaning 13011 clauses out of 26034 with flag 310435/626899
108.08/53.96	c cleaning 13996 clauses out of 28021 with flag 358391/641897
110.48/55.16	c cleaning 14988 clauses out of 30025 with flag 407450/657897
113.26/56.54	c cleaning 16013 clauses out of 32037 with flag 470105/674897
116.26/58.07	c cleaning 16998 clauses out of 34024 with flag 528078/692897
119.28/59.56	c cleaning 17999 clauses out of 36026 with flag 586369/711897
123.03/61.34	c cleaning 19015 clauses out of 38030 with flag 653867/731900
126.83/63.20	c cleaning 20001 clauses out of 40012 with flag 720572/752897
130.63/65.12	c cleaning 21000 clauses out of 42011 with flag 787350/774897
135.03/67.35	c cleaning 21983 clauses out of 44011 with flag 861445/797897
139.64/69.67	c cleaning 23004 clauses out of 46029 with flag 938356/821898
144.44/72.08	c cleaning 24000 clauses out of 48024 with flag 1018829/846897
149.97/74.80	c cleaning 25009 clauses out of 50024 with flag 1102352/872897
154.78/77.16	c cleaning 25998 clauses out of 52015 with flag 1183934/899897
159.77/79.66	c cleaning 27007 clauses out of 54019 with flag 1270610/927899
165.37/82.43	c cleaning 28001 clauses out of 56011 with flag 1352492/956898
172.07/85.73	c cleaning 28999 clauses out of 58009 with flag 1443804/986897
178.88/89.15	c cleaning 29991 clauses out of 60010 with flag 1545278/1017897
186.07/92.71	c cleaning 31004 clauses out of 62019 with flag 1643427/1049897
194.29/96.83	c cleaning 32007 clauses out of 64015 with flag 1740518/1082897
201.52/100.48	c cleaning 32996 clauses out of 66008 with flag 1844662/1116897
208.92/104.19	c cleaning 34001 clauses out of 68012 with flag 1958933/1151897
216.63/107.94	c cleaning 35000 clauses out of 70011 with flag 2083578/1187897
224.42/111.81	c cleaning 36002 clauses out of 72011 with flag 2196368/1224897
232.42/115.85	c cleaning 37004 clauses out of 74009 with flag 2316684/1262897
242.30/120.70	c cleaning 38000 clauses out of 76005 with flag 2438509/1301897
251.92/125.58	c cleaning 38993 clauses out of 78005 with flag 2567491/1341897
261.90/130.58	c cleaning 39997 clauses out of 80012 with flag 2699156/1382897
272.52/136.10	c cleaning 41001 clauses out of 82015 with flag 2842409/1424897
283.52/141.61	c cleaning 41996 clauses out of 84016 with flag 2987025/1467899
293.17/146.44	c cleaning 43003 clauses out of 86018 with flag 3156293/1511897
302.55/151.12	c cleaning 43992 clauses out of 88015 with flag 3315719/1556897
311.79/155.74	c cleaning 44984 clauses out of 90023 with flag 3474692/1602897
321.89/160.71	c cleaning 46020 clauses out of 92039 with flag 3636858/1649897
332.77/166.11	c cleaning 47007 clauses out of 94021 with flag 3800679/1697899
343.78/171.65	c cleaning 47998 clauses out of 96012 with flag 3985719/1746897
356.46/177.93	c cleaning 49007 clauses out of 98014 with flag 4169877/1796897
368.94/184.15	c cleaning 49993 clauses out of 100007 with flag 4346173/1847897
381.36/190.33	c cleaning 51000 clauses out of 102014 with flag 4525355/1899897
393.46/196.33	c cleaning 52003 clauses out of 104014 with flag 4727087/1952897
405.55/202.38	c cleaning 53001 clauses out of 106011 with flag 4919946/2006897
418.15/208.67	c cleaning 53998 clauses out of 108010 with flag 5108370/2061897
429.22/214.14	c And the winner is solver0
429.33/214.46	c Got one! Elapsed wall clock time (in seconds):214.341
429.33/214.46	o 700022
430.80/215.25	c cleaning 54398 clauses out of 108819 with flag 17036/2116704
432.20/215.94	c cleaning 30197 clauses out of 60421 with flag 38284/2122704
433.40/216.57	c cleaning 18592 clauses out of 37224 with flag 61968/2129704
434.60/217.18	c cleaning 13295 clauses out of 26632 with flag 89927/2137704
436.01/217.81	c cleaning 11150 clauses out of 22338 with flag 119565/2146705
437.20/218.46	c cleaning 10575 clauses out of 21187 with flag 152169/2156704
438.60/219.18	c cleaning 10800 clauses out of 21612 with flag 189061/2167704
440.20/219.98	c cleaning 11400 clauses out of 22814 with flag 229648/2179706
442.00/220.86	c cleaning 12203 clauses out of 24416 with flag 272937/2192708
444.00/221.84	c cleaning 13102 clauses out of 26210 with flag 319676/2206705
446.20/223.00	c cleaning 14041 clauses out of 28107 with flag 371178/2221704
448.90/224.28	c cleaning 15030 clauses out of 30066 with flag 426253/2237704
451.70/225.61	c cleaning 16009 clauses out of 32036 with flag 493907/2254704
454.49/227.00	c cleaning 16998 clauses out of 34027 with flag 562234/2272704
457.49/228.50	c cleaning 18008 clauses out of 36029 with flag 631177/2291704
460.89/230.28	c cleaning 18999 clauses out of 38021 with flag 704386/2311704
464.70/232.14	c cleaning 20012 clauses out of 40023 with flag 777213/2332705
468.50/234.01	c cleaning 20991 clauses out of 42010 with flag 853617/2354704
472.49/236.03	c cleaning 22003 clauses out of 44019 with flag 926763/2377704
476.89/238.21	c cleaning 23005 clauses out of 46016 with flag 1007135/2401704
481.77/240.68	c cleaning 23995 clauses out of 48011 with flag 1089475/2426704
486.99/243.25	c cleaning 24999 clauses out of 50017 with flag 1178165/2452705
492.37/245.94	c cleaning 26002 clauses out of 52017 with flag 1268927/2479704
498.16/248.82	c cleaning 27002 clauses out of 54017 with flag 1359531/2507706
504.39/251.99	c cleaning 28001 clauses out of 56013 with flag 1444982/2536704
510.24/254.85	c cleaning 29007 clauses out of 58013 with flag 1544013/2566705
515.46/257.45	c cleaning 29993 clauses out of 60007 with flag 1642711/2597706
521.45/260.50	c cleaning 31004 clauses out of 62012 with flag 1748350/2629704
527.65/263.59	c cleaning 32004 clauses out of 64008 with flag 1859061/2662704
534.32/266.90	c cleaning 32989 clauses out of 66005 with flag 1977902/2696705
541.51/270.43	c cleaning 33999 clauses out of 68018 with flag 2094373/2731707
549.71/274.50	c cleaning 35003 clauses out of 70016 with flag 2211060/2767704
556.83/278.07	c cleaning 35998 clauses out of 72013 with flag 2327253/2804704
565.03/282.18	c cleaning 36996 clauses out of 74016 with flag 2447841/2842705
572.63/285.99	c cleaning 38003 clauses out of 76019 with flag 2577491/2881704
582.44/291.28	c cleaning 38999 clauses out of 78016 with flag 2716467/2921704
592.64/296.38	c cleaning 40008 clauses out of 80018 with flag 2858728/2962705
602.90/301.43	c cleaning 40994 clauses out of 82012 with flag 3010552/3004707
613.34/306.67	c cleaning 42004 clauses out of 84015 with flag 3148788/3047704
623.74/311.86	c cleaning 42995 clauses out of 86013 with flag 3291949/3091706
635.19/317.51	c cleaning 43992 clauses out of 88016 with flag 3432277/3136704
647.20/323.53	c cleaning 45004 clauses out of 90024 with flag 3571194/3182704
659.25/329.58	c cleaning 46006 clauses out of 92020 with flag 3710846/3229704
672.92/336.38	c cleaning 47003 clauses out of 94015 with flag 3864959/3277705
685.52/342.60	c cleaning 47992 clauses out of 96011 with flag 4026302/3326704
699.59/349.66	c cleaning 49008 clauses out of 98020 with flag 4185731/3376705
714.08/356.83	c cleaning 50000 clauses out of 100011 with flag 4343426/3427704
730.51/364.94	c cleaning 51002 clauses out of 102012 with flag 4508146/3479705
745.43/372.32	c cleaning 52000 clauses out of 104012 with flag 4675557/3532707
759.36/379.20	c cleaning 52993 clauses out of 106010 with flag 4866395/3586705
771.87/385.43	c cleaning 54007 clauses out of 108017 with flag 5045673/3641705
785.07/392.01	c cleaning 55003 clauses out of 110009 with flag 5211820/3697704
799.39/399.18	c cleaning 55988 clauses out of 112006 with flag 5396026/3754704
815.11/406.94	c cleaning 57005 clauses out of 114019 with flag 5588825/3812705
833.02/415.90	c cleaning 57997 clauses out of 116017 with flag 5787903/3871708
849.93/424.72	c cleaning 58992 clauses out of 118016 with flag 5989212/3931704
866.19/432.84	c cleaning 60010 clauses out of 120025 with flag 6197040/3992705
882.18/440.87	c cleaning 60987 clauses out of 122014 with flag 6402890/4054704
897.86/448.67	c cleaning 61994 clauses out of 124027 with flag 6641511/4117704
913.06/456.28	c cleaning 63013 clauses out of 126034 with flag 6859989/4181705
929.15/464.29	c cleaning 63998 clauses out of 128022 with flag 7078173/4246706
944.33/471.81	c cleaning 64991 clauses out of 130022 with flag 7280138/4312704
958.04/478.65	c And the winner is solver0
958.94/479.62	c Got one! Elapsed wall clock time (in seconds):479.5
958.94/479.62	o 683966
961.43/480.89	c cleaning 65749 clauses out of 131558 with flag 16464/4379231
963.25/481.69	c cleaning 35877 clauses out of 71809 with flag 35940/4385231
964.84/482.31	c cleaning 21451 clauses out of 42932 with flag 56838/4392231
966.17/482.90	c cleaning 14728 clauses out of 29481 with flag 87087/4400231
967.57/483.51	c cleaning 11865 clauses out of 23753 with flag 116402/4409231
968.79/484.18	c cleaning 10933 clauses out of 21888 with flag 149282/4419231
970.67/485.02	c cleaning 10976 clauses out of 21955 with flag 185395/4430231
972.47/485.91	c cleaning 11479 clauses out of 22979 with flag 227758/4442231
974.27/486.89	c cleaning 12248 clauses out of 24503 with flag 270359/4455234
976.47/487.91	c cleaning 13122 clauses out of 26252 with flag 314429/4469231
978.67/489.00	c cleaning 14056 clauses out of 28130 with flag 365240/4484231
980.87/490.16	c cleaning 15025 clauses out of 30075 with flag 421526/4500232
983.47/491.45	c cleaning 16017 clauses out of 32049 with flag 478356/4517231
986.28/492.84	c cleaning 17004 clauses out of 34035 with flag 536642/4535234
989.47/494.40	c cleaning 18014 clauses out of 36028 with flag 599049/4554231
992.66/496.09	c cleaning 19005 clauses out of 38014 with flag 665429/4574231
996.55/497.92	c cleaning 19990 clauses out of 40009 with flag 736240/4595231
1000.35/499.85	c cleaning 21001 clauses out of 42019 with flag 809524/4617231
1004.95/502.11	c cleaning 22003 clauses out of 44019 with flag 881318/4640232
1009.35/504.32	c cleaning 23001 clauses out of 46015 with flag 959602/4664231
1013.75/506.51	c cleaning 23999 clauses out of 48014 with flag 1043710/4689231
1018.36/508.85	c cleaning 25001 clauses out of 50015 with flag 1124456/4715231
1023.56/511.48	c cleaning 26000 clauses out of 52014 with flag 1212556/4742231
1029.30/514.24	c cleaning 26996 clauses out of 54014 with flag 1312311/4770231
1034.70/516.97	c cleaning 28009 clauses out of 56020 with flag 1406359/4799233
1040.70/519.98	c cleaning 28992 clauses out of 58009 with flag 1510297/4829231
1046.90/523.00	c cleaning 29995 clauses out of 60018 with flag 1612603/4860232
1052.89/526.08	c cleaning 31008 clauses out of 62024 with flag 1714988/4892233
1059.65/529.37	c cleaning 31998 clauses out of 64015 with flag 1817096/4925232
1066.25/532.65	c cleaning 32999 clauses out of 66016 with flag 1930241/4959231
1073.45/536.25	c cleaning 34006 clauses out of 68017 with flag 2052218/4994231
1081.46/540.21	c cleaning 35005 clauses out of 70012 with flag 2170371/5030232
1090.25/544.57	c cleaning 36000 clauses out of 72006 with flag 2293218/5067231
1099.44/549.11	c cleaning 36984 clauses out of 74006 with flag 2415116/5105231
1107.24/553.02	c cleaning 37981 clauses out of 76022 with flag 2536520/5144231
1116.24/557.54	c cleaning 39011 clauses out of 78042 with flag 2658946/5184232
1125.59/562.13	c cleaning 40011 clauses out of 80030 with flag 2786713/5225231
1133.77/566.25	c cleaning 41000 clauses out of 82020 with flag 2928701/5267232
1143.19/570.99	c cleaning 42006 clauses out of 84019 with flag 3059558/5310231
1152.97/575.86	c cleaning 43000 clauses out of 86013 with flag 3207531/5354231
1163.79/581.18	c cleaning 44003 clauses out of 88015 with flag 3357052/5399233
1174.79/586.63	c cleaning 45002 clauses out of 90011 with flag 3505679/5445232
1185.41/591.92	c cleaning 46002 clauses out of 92008 with flag 3665451/5492231
1197.19/597.87	c cleaning 47003 clauses out of 94006 with flag 3822481/5540231
1209.99/604.23	c cleaning 48001 clauses out of 96005 with flag 3995019/5589233
1221.59/610.08	c cleaning 48994 clauses out of 98005 with flag 4155035/5639234
1232.38/615.40	c cleaning 49998 clauses out of 100008 with flag 4313891/5690231
1242.99/620.64	c cleaning 51001 clauses out of 102011 with flag 4482275/5742232
1253.19/625.78	c cleaning 52000 clauses out of 104010 with flag 4647003/5795232
1263.78/631.07	c cleaning 52998 clauses out of 106010 with flag 4806665/5849232
1274.58/636.41	c cleaning 54001 clauses out of 108011 with flag 4989245/5904231
1285.99/642.11	c cleaning 55000 clauses out of 110010 with flag 5170104/5960231
1298.39/648.30	c cleaning 56001 clauses out of 112010 with flag 5338420/6017231
1310.39/654.35	c cleaning 56987 clauses out of 114010 with flag 5532897/6075232
1321.80/660.09	c cleaning 57992 clauses out of 116022 with flag 5725324/6134231
1334.00/666.19	c cleaning 59011 clauses out of 118030 with flag 5926861/6194231
1347.60/672.93	c cleaning 60007 clauses out of 120019 with flag 6126692/6255231
1361.00/679.65	c cleaning 60994 clauses out of 122012 with flag 6325638/6317231
1374.69/686.40	c cleaning 62003 clauses out of 124018 with flag 6523101/6380231
1387.89/693.00	c And the winner is solver0
1390.68/695.82	c Got one! Elapsed wall clock time (in seconds):695.703
1390.68/695.82	o 682773
1392.88/697.06	c cleaning 64661 clauses out of 129325 with flag 14954/6447541
1394.27/697.72	c cleaning 35312 clauses out of 70664 with flag 31893/6453541
1395.47/698.33	c cleaning 21172 clauses out of 42356 with flag 52346/6460545
1396.87/699.02	c cleaning 14575 clauses out of 29180 with flag 76510/6468541
1398.29/699.77	c cleaning 11781 clauses out of 23606 with flag 103713/6477542
1399.67/700.48	c cleaning 10887 clauses out of 21824 with flag 136018/6487541
1401.27/701.28	c cleaning 10962 clauses out of 21937 with flag 170887/6498541
1403.27/702.21	c cleaning 11482 clauses out of 22979 with flag 212821/6510545
1405.27/703.21	c cleaning 12238 clauses out of 24495 with flag 258728/6523543
1407.82/704.42	c cleaning 13122 clauses out of 26255 with flag 304933/6537541
1410.22/705.63	c cleaning 14059 clauses out of 28133 with flag 351666/6552541
1412.62/706.88	c cleaning 15032 clauses out of 30074 with flag 403466/6568541
1415.42/708.27	c cleaning 16011 clauses out of 32042 with flag 459514/6585541
1418.62/709.80	c cleaning 17008 clauses out of 34031 with flag 516613/6603541
1421.83/711.46	c cleaning 18003 clauses out of 36023 with flag 574247/6622541
1425.23/713.13	c cleaning 19002 clauses out of 38022 with flag 642075/6642543
1428.83/714.99	c cleaning 20003 clauses out of 40018 with flag 710895/6663541
1433.24/717.00	c cleaning 21000 clauses out of 42015 with flag 783220/6685541
1437.04/718.91	c cleaning 22005 clauses out of 44016 with flag 861213/6708542
1441.04/720.93	c cleaning 22997 clauses out of 46010 with flag 939664/6732541
1445.24/723.09	c cleaning 23998 clauses out of 48013 with flag 1011030/6757541
1450.44/725.66	c cleaning 25002 clauses out of 50017 with flag 1083321/6783543
1453.23/727.02	c And the winner is solver0
1454.39/728.29	c Got one! Elapsed wall clock time (in seconds):728.17
1454.39/728.29	o 674985
1455.20/728.71	c cleaning 22143 clauses out of 44294 with flag 15909/6802823
1456.00/729.16	c cleaning 14076 clauses out of 28151 with flag 37603/6808823
1457.00/729.66	c cleaning 10529 clauses out of 21078 with flag 60471/6815826
1458.20/730.20	c cleaning 9258 clauses out of 18548 with flag 87241/6823825
1459.40/730.84	c cleaning 9130 clauses out of 18288 with flag 115635/6832823
1460.82/731.55	c cleaning 9576 clauses out of 19159 with flag 147718/6842824
1462.40/732.31	c cleaning 10285 clauses out of 20582 with flag 183479/6853823
1464.00/733.18	c cleaning 11144 clauses out of 22297 with flag 223850/6865823
1466.00/734.13	c cleaning 12077 clauses out of 24154 with flag 266161/6878824
1468.00/735.14	c cleaning 13034 clauses out of 26076 with flag 309192/6892823
1470.40/736.34	c cleaning 14006 clauses out of 28043 with flag 357635/6907824
1473.00/737.67	c cleaning 15015 clauses out of 30037 with flag 408688/6923824
1476.38/739.23	c cleaning 15991 clauses out of 32021 with flag 461494/6940823
1479.37/740.78	c cleaning 16999 clauses out of 34031 with flag 521292/6958824
1482.77/742.50	c cleaning 18009 clauses out of 36031 with flag 581757/6977823
1486.17/744.19	c cleaning 19003 clauses out of 38023 with flag 644927/6997824
1489.78/745.97	c cleaning 19994 clauses out of 40020 with flag 713388/7018824
1493.77/747.92	c cleaning 21003 clauses out of 42025 with flag 776160/7040823
1497.97/750.05	c cleaning 21993 clauses out of 44022 with flag 847996/7063823
1502.57/752.37	c cleaning 22997 clauses out of 46029 with flag 923163/7087823
1507.68/754.89	c cleaning 24005 clauses out of 48032 with flag 1001988/7112823
1512.88/757.42	c cleaning 25008 clauses out of 50028 with flag 1080500/7138824
1518.08/760.03	c cleaning 25998 clauses out of 52020 with flag 1162026/7165824
1523.48/762.78	c cleaning 27006 clauses out of 54021 with flag 1247069/7193823
1529.08/765.58	c cleaning 28007 clauses out of 56019 with flag 1336481/7222827
1534.49/768.26	c cleaning 29003 clauses out of 58008 with flag 1428974/7252823
1539.85/770.90	c cleaning 29999 clauses out of 60006 with flag 1525005/7283824
1545.65/773.79	c cleaning 30999 clauses out of 62006 with flag 1626602/7315823
1551.85/776.83	c cleaning 32004 clauses out of 64008 with flag 1735163/7348824
1559.65/780.74	c cleaning 33002 clauses out of 66003 with flag 1849653/7382823
1567.27/784.56	c cleaning 33993 clauses out of 68003 with flag 1960948/7417825
1575.68/788.71	c cleaning 34997 clauses out of 70008 with flag 2081831/7453823
1584.87/793.28	c cleaning 35994 clauses out of 72012 with flag 2199528/7490824
1593.67/797.69	c cleaning 37009 clauses out of 74018 with flag 2326953/7528824
1601.65/801.66	c cleaning 37988 clauses out of 76008 with flag 2451422/7567823
1610.25/805.93	c cleaning 39008 clauses out of 78021 with flag 2569164/7607824
1620.84/811.29	c cleaning 40008 clauses out of 80015 with flag 2704228/7648826
1630.45/815.91	c cleaning 40996 clauses out of 82004 with flag 2833949/7690823
1639.24/820.33	c cleaning 41995 clauses out of 84008 with flag 2958182/7733823
1647.64/824.56	c cleaning 43004 clauses out of 86016 with flag 3087473/7777826
1656.84/829.14	c cleaning 44003 clauses out of 88009 with flag 3229217/7822823
1668.26/834.74	c cleaning 44996 clauses out of 90008 with flag 3372619/7868825
1678.86/840.01	c cleaning 46006 clauses out of 92011 with flag 3515779/7915824
1683.27/842.21	c And the winner is solver0
1683.57/842.67	c Got one! Elapsed wall clock time (in seconds):842.549
1683.57/842.67	o 674555
1685.36/843.53	c cleaning 36674 clauses out of 73361 with flag 12975/7943180
1686.37/844.04	c cleaning 21327 clauses out of 42687 with flag 33993/7949180
1687.58/844.61	c cleaning 14165 clauses out of 28363 with flag 55777/7956183
1688.77/845.22	c cleaning 11083 clauses out of 22195 with flag 82745/7964180
1689.97/845.90	c cleaning 10041 clauses out of 20112 with flag 109927/7973180
1691.57/846.66	c cleaning 10026 clauses out of 20071 with flag 141374/7983180
1693.37/847.58	c cleaning 10518 clauses out of 21045 with flag 175832/7994180
1695.37/848.52	c cleaning 11250 clauses out of 22527 with flag 218873/8006180
1697.37/849.56	c cleaning 12133 clauses out of 24277 with flag 257971/8019180
1699.77/850.71	c cleaning 13070 clauses out of 26145 with flag 301377/8033181
1701.97/851.88	c cleaning 14031 clauses out of 28074 with flag 350331/8048180
1704.77/853.21	c cleaning 15017 clauses out of 30043 with flag 401631/8064180
1707.57/854.69	c cleaning 16013 clauses out of 32026 with flag 462871/8081180
1710.77/856.28	c cleaning 17006 clauses out of 34013 with flag 520773/8099180
1714.62/858.01	c cleaning 17997 clauses out of 36009 with flag 581217/8118182
1718.21/859.81	c cleaning 18995 clauses out of 38010 with flag 642711/8138180
1721.61/861.57	c cleaning 20001 clauses out of 40015 with flag 708397/8159180
1725.41/863.49	c cleaning 20998 clauses out of 42014 with flag 774707/8181180
1729.41/865.46	c cleaning 22002 clauses out of 44016 with flag 842429/8204180
1734.01/867.79	c cleaning 23000 clauses out of 46014 with flag 909555/8228180
1738.41/869.95	c cleaning 24002 clauses out of 48014 with flag 986208/8253180
1743.43/872.50	c cleaning 25004 clauses out of 50012 with flag 1061796/8279180
1748.81/875.14	c cleaning 26001 clauses out of 52008 with flag 1149592/8306180
1754.22/877.81	c cleaning 26998 clauses out of 54008 with flag 1240160/8334181
1762.39/882.73	c cleaning 27997 clauses out of 56009 with flag 1341331/8363180
1768.39/885.70	c cleaning 29005 clauses out of 58018 with flag 1432730/8393186
1774.99/889.09	c cleaning 29994 clauses out of 60007 with flag 1526022/8424180
1781.41/892.27	c cleaning 30997 clauses out of 62014 with flag 1634804/8456181
1786.79/894.96	c cleaning 32008 clauses out of 64016 with flag 1740329/8489180
1792.99/898.05	c cleaning 32997 clauses out of 66009 with flag 1842103/8523181
1799.39/901.26	c cleaning 33998 clauses out of 68011 with flag 1941622/8558180
1800.45/901.76	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1800.45/901.76	c starts		: 7038
1800.45/901.76	c conflicts		: 8563159
1800.45/901.76	c decisions		: 31942150
1800.45/901.76	c propagations		: 1137329629
1800.45/901.76	c inspects		: 7746142416
1800.45/901.76	c shortcuts		: 0
1800.45/901.76	c learnt literals	: 1
1800.45/901.76	c learnt binary clauses	: 4
1800.45/901.76	c learnt ternary clauses	: 22
1800.45/901.76	c learnt constraints	: 8563158
1800.45/901.76	c ignored constraints	: 0
1800.45/901.76	c root simplifications	: 0
1800.45/901.76	c removed literals (reason simplification)	: 16033704
1800.45/901.76	c reason swapping (by a shorter reason)	: 0
1800.45/901.76	c Calls to reduceDB	: 306
1800.45/901.76	c Number of update (reduction) of LBD	: 2646723
1800.45/901.76	c Imported unit clauses	: 0
1800.45/901.76	c number of reductions to clauses (during analyze)	: 0
1800.45/901.76	c number of learned constraints concerned by reduction	: 0
1800.45/901.76	c number of learning phase by resolution	: 0
1800.45/901.76	c number of learning phase by cutting planes	: 0
1800.45/901.76	c speed (assignments/second)	: 1265105.2602892101
1800.45/901.76	c non guided choices	461
1800.45/901.78	c learnt constraints type 
1800.45/901.78	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
1800.45/901.78	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38988
1800.45/901.78	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.45/901.78	c starts		: 28
1800.45/901.78	c conflicts		: 4107
1800.45/901.78	c decisions		: 71158
1800.45/901.78	c propagations		: 309396
1800.45/901.78	c inspects		: 112099270
1800.45/901.78	c shortcuts		: 0
1800.45/901.78	c learnt literals	: 0
1800.45/901.78	c learnt binary clauses	: 0
1800.45/901.78	c learnt ternary clauses	: 0
1800.45/901.78	c learnt constraints	: 4102
1800.45/901.78	c ignored constraints	: 0
1800.45/901.78	c root simplifications	: 0
1800.45/901.78	c removed literals (reason simplification)	: 0
1800.45/901.78	c reason swapping (by a shorter reason)	: 0
1800.45/901.78	c Calls to reduceDB	: 0
1800.45/901.78	c Number of update (reduction) of LBD	: 0
1800.45/901.78	c Imported unit clauses	: 0
1800.45/901.78	c number of reductions to clauses (during analyze)	: 0
1800.45/901.78	c number of learned constraints concerned by reduction	: 0
1800.45/901.78	c number of learning phase by resolution	: 0
1800.45/901.78	c number of learning phase by cutting planes	: 0
1800.45/901.78	c speed (assignments/second)	: 5236.987762148987
1800.45/901.78	c non guided choices	0
1800.45/901.78	c learnt constraints type 
1800.45/901.78	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4102
1800.45/901.78	s SATISFIABLE
1800.45/901.78	c Found 9 solution(s)
1800.45/901.78	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 
1800.45/901.78	c objective function=674555
1800.45/901.78	c Total wall clock time (in seconds): 901.663

Verifier Data 

OK	674555

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

pid=27062
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.23 4.03 3.28 4/197 27065
/proc/meminfo: memFree=29644172/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/27065/stat : 27065 (java) R 27062 27065 7986 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 10925350 278528 33 33554432000 1073741824 1073778376 140733809609840 140735254126488 213410475303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27065/statm: 68 33 25 9 0 25 0

[startup+0.10016 s]
/proc/loadavg: 4.23 4.03 3.28 4/197 27065
/proc/meminfo: memFree=29644172/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 4467 0 1 0 7 2 0 0 20 0 18 0 10925350 9787879424 5583 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2389619 5583 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200234 s]
/proc/loadavg: 4.23 4.03 3.28 4/197 27065
/proc/meminfo: memFree=29644172/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 4765 0 1 0 22 2 0 0 20 0 18 0 10925350 9787879424 6341 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2389619 6341 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300261 s]
/proc/loadavg: 4.23 4.03 3.28 4/197 27065
/proc/meminfo: memFree=29644172/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 5045 0 1 0 34 4 0 0 20 0 19 0 10925350 10060525568 8559 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2456183 8559 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 9824732

[startup+0.700274 s]
/proc/loadavg: 4.23 4.03 3.28 4/197 27065
/proc/meminfo: memFree=29644172/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 5045 0 1 0 34 4 0 0 20 0 19 0 10925350 10060525568 8559 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2456183 8559 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 9824732

[startup+1.50098 s]
/proc/loadavg: 4.23 4.03 3.28 7/219 27090
/proc/meminfo: memFree=29576728/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 19071 0 1 0 294 7 0 0 20 0 22 0 10925350 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2456183 24354 2264 9 0 2446860 0
[pid=27065/tid=27067] ppid=27062 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/27065/task/27067/stat : 27067 (java) S 27062 27065 7986 0 -1 4202560 2475 0 1 0 20 1 0 0 20 0 22 0 10925351 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711514067832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27068] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27068/stat : 27068 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711452797864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27069] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27069/stat : 27069 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711451745320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27070] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27070/stat : 27070 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711355431592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27071] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27071/stat : 27071 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711354379048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27072] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27072/stat : 27072 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711353325992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27073] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27073/stat : 27073 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711352273448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27074] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27074/stat : 27074 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711351220392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27075] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27075/stat : 27075 (java) S 27062 27065 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711350167848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27076] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27076/stat : 27076 (java) S 27062 27065 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711337970536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27077] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27077/stat : 27077 (java) S 27062 27065 7986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711336916856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27078] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27078/stat : 27078 (java) S 27062 27065 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10925354 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711335863688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27079] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27079/stat : 27079 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711334812432 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27080] ppid=27062 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/27065/task/27080/stat : 27080 (java) S 27062 27065 7986 0 -1 4202560 8785 0 0 0 60 2 0 0 20 0 22 0 10925356 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711333759288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27081] ppid=27062 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/27065/task/27081/stat : 27081 (java) S 27062 27065 7986 0 -1 4202560 6425 0 0 0 59 2 0 0 20 0 22 0 10925356 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711332706744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27082] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27082/stat : 27082 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711331653880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27083] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27083/stat : 27083 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711330601544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27087] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27087/stat : 27087 (java) S 27062 27065 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10925374 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711326389672 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27088] ppid=27062 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/27065/task/27088/stat : 27088 (java) R 27062 27065 7986 0 -1 4202560 11 0 0 0 73 0 0 0 20 0 22 0 10925425 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711329545536 140711454246156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27089] ppid=27062 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/27065/task/27089/stat : 27089 (java) R 27062 27065 7986 0 -1 4202560 57 0 0 0 72 0 0 0 20 0 22 0 10925425 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711328494320 140711454269025 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27090] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27090/stat : 27090 (java) S 27062 27065 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10925425 10060525568 24354 33554432000 1073741824 1073778376 140733809609840 140711327441704 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 4.23 4.03 3.28 6/219 27090
/proc/meminfo: memFree=29518688/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9824732 CPUtime=5.81 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 25641 0 1 0 569 12 0 0 20 0 22 0 10925350 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2456183 39818 2270 9 0 2446860 0
[pid=27065/tid=27067] ppid=27062 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/27065/task/27067/stat : 27067 (java) S 27062 27065 7986 0 -1 4202560 2475 0 1 0 20 2 0 0 20 0 22 0 10925351 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711514067832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27068] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27068/stat : 27068 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711452797864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27069] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27069/stat : 27069 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711451745320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27070] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27070/stat : 27070 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711355431592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27071] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27071/stat : 27071 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711354379048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27072] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27072/stat : 27072 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711353325992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27073] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27073/stat : 27073 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711352273448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27074] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27074/stat : 27074 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711351220392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27075] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27075/stat : 27075 (java) S 27062 27065 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711350167848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27076] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27076/stat : 27076 (java) S 27062 27065 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711337970536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27077] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27077/stat : 27077 (java) S 27062 27065 7986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711336916856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27078] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27078/stat : 27078 (java) S 27062 27065 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10925354 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711335863688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27079] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27079/stat : 27079 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711334812432 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27080] ppid=27062 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/27065/task/27080/stat : 27080 (java) S 27062 27065 7986 0 -1 4202560 8848 0 0 0 84 2 0 0 20 0 22 0 10925356 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711333759288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27081] ppid=27062 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/27065/task/27081/stat : 27081 (java) S 27062 27065 7986 0 -1 4202560 12893 0 0 0 91 3 0 0 20 0 22 0 10925356 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711332706744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27082] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27082/stat : 27082 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711331653880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27083] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27083/stat : 27083 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711330601544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27087] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27087/stat : 27087 (java) S 27062 27065 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10925374 10060525568 39818 33554432000 1073741824 1073778376 140733809609840 140711326389672 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 4.29 4.05 3.29 6/219 27093
/proc/meminfo: memFree=29458264/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9824732 CPUtime=12.51 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 25767 0 1 0 1235 16 0 0 20 0 22 0 10925350 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2456183 54044 2283 9 0 2446860 0
[pid=27065/tid=27067] ppid=27062 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/27065/task/27067/stat : 27067 (java) S 27062 27065 7986 0 -1 4202560 2475 0 1 0 20 2 0 0 20 0 22 0 10925351 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711514067832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27068] ppid=27062 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27065/task/27068/stat : 27068 (java) S 27062 27065 7986 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 10925352 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711452797864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27069] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27069/stat : 27069 (java) S 27062 27065 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711451745320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27070] ppid=27062 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27065/task/27070/stat : 27070 (java) S 27062 27065 7986 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 10925352 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711355431592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27071] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27071/stat : 27071 (java) S 27062 27065 7986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711354379048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27072] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27072/stat : 27072 (java) S 27062 27065 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711353325992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27073] ppid=27062 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27065/task/27073/stat : 27073 (java) S 27062 27065 7986 0 -1 4202560 22 0 0 0 1 1 0 0 20 0 22 0 10925352 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711352273448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27074] ppid=27062 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27065/task/27074/stat : 27074 (java) S 27062 27065 7986 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 10925352 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711351220392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27075] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27075/stat : 27075 (java) S 27062 27065 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10925352 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711350167848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27076] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27076/stat : 27076 (java) S 27062 27065 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711337970536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27077] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27077/stat : 27077 (java) S 27062 27065 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711336916856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27078] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27078/stat : 27078 (java) S 27062 27065 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10925354 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711335863688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27079] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27079/stat : 27079 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711334812432 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27080] ppid=27062 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/27065/task/27080/stat : 27080 (java) S 27062 27065 7986 0 -1 4202560 8869 0 0 0 108 2 0 0 20 0 22 0 10925356 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711333759288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27081] ppid=27062 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/27065/task/27081/stat : 27081 (java) S 27062 27065 7986 0 -1 4202560 12893 0 0 0 92 3 0 0 20 0 22 0 10925356 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711332706744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27082] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27082/stat : 27082 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 54044 33554432000 1073741824 1073778376 140733809609840 140711331653880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27083] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=27065/tid=27072] ppid=27062 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/27065/task/27072/stat : 27072 (java) S 27062 27065 7986 0 -1 4202560 1075 0 0 0 178 37 0 0 20 0 22 0 10925352 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711353325992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27073] ppid=27062 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/27065/task/27073/stat : 27073 (java) S 27062 27065 7986 0 -1 4202560 923 0 0 0 145 36 0 0 20 0 22 0 10925352 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711352273448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27074] ppid=27062 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/27065/task/27074/stat : 27074 (java) S 27062 27065 7986 0 -1 4202560 883 0 0 0 162 36 0 0 20 0 22 0 10925352 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711351220392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27075] ppid=27062 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/27065/task/27075/stat : 27075 (java) S 27062 27065 7986 0 -1 4202560 854 0 0 0 161 33 0 0 20 0 22 0 10925352 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711350167848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27076] ppid=27062 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/27065/task/27076/stat : 27076 (java) S 27062 27065 7986 0 -1 4202560 2325 0 0 0 252 8 0 0 20 0 22 0 10925353 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711337970536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27077] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27077/stat : 27077 (java) S 27062 27065 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711336916856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27078] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27078/stat : 27078 (java) S 27062 27065 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 10925354 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711335863688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27079] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27079/stat : 27079 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711334812432 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27080] ppid=27062 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/27065/task/27080/stat : 27080 (java) S 27062 27065 7986 0 -1 4202560 13933 0 0 0 237 3 0 0 20 0 22 0 10925356 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711333759288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27081] ppid=27062 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/27065/task/27081/stat : 27081 (java) S 27062 27065 7986 0 -1 4202560 12919 0 0 0 127 3 0 0 20 0 22 0 10925356 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711332706744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27082] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27082/stat : 27082 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711331653880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27083] ppid=27062 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/27065/task/27083/stat : 27083 (java) S 27062 27065 7986 0 -1 4202560 49 0 0 0 12 20 0 0 20 0 22 0 10925356 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711330601544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27093] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27093/stat : 27093 (java) S 27062 27065 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10925627 10060525568 895846 33554432000 1073741824 1073778376 140733809609840 140711327442600 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.96
Current children cumulated vsize (KiB) 9824732
#
############


[startup+882.308 s]
/proc/loadavg: 3.31 3.44 3.45 5/219 27365
/proc/meminfo: memFree=26629176/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9824732 CPUtime=1759 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 43056 0 1 0 175518 382 0 0 20 0 22 0 10925350 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2456183 920784 2295 9 0 2446860 0
[pid=27065/tid=27067] ppid=27062 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/27065/task/27067/stat : 27067 (java) S 27062 27065 7986 0 -1 4202560 2483 0 1 0 26 3 0 0 20 0 22 0 10925351 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711514067832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27068] ppid=27062 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/27065/task/27068/stat : 27068 (java) S 27062 27065 7986 0 -1 4202560 920 0 0 0 192 41 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711452797864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27069] ppid=27062 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/27065/task/27069/stat : 27069 (java) S 27062 27065 7986 0 -1 4202560 951 0 0 0 188 39 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711451745320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27070] ppid=27062 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/27065/task/27070/stat : 27070 (java) S 27062 27065 7986 0 -1 4202560 1151 0 0 0 168 33 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711355431592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27071] ppid=27062 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/27065/task/27071/stat : 27071 (java) S 27062 27065 7986 0 -1 4202560 1127 0 0 0 184 38 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711354379048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27072] ppid=27062 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/27065/task/27072/stat : 27072 (java) S 27062 27065 7986 0 -1 4202560 1087 0 0 0 191 37 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711353325992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27073] ppid=27062 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/27065/task/27073/stat : 27073 (java) S 27062 27065 7986 0 -1 4202560 947 0 0 0 155 36 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711352273448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27074] ppid=27062 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/27065/task/27074/stat : 27074 (java) S 27062 27065 7986 0 -1 4202560 901 0 0 0 188 36 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711351220392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27075] ppid=27062 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/27065/task/27075/stat : 27075 (java) S 27062 27065 7986 0 -1 4202560 868 0 0 0 178 33 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711350167848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27076] ppid=27062 vsize=9824732 CPUtime=4.48 cores=1,3,5,7
/proc/27065/task/27076/stat : 27076 (java) S 27062 27065 7986 0 -1 4202560 3054 0 0 0 440 8 0 0 20 0 22 0 10925353 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711337970536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27077] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27077/stat : 27077 (java) S 27062 27065 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711336916856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27078] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27078/stat : 27078 (java) S 27062 27065 7986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 10925354 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711335863688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27079] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27079/stat : 27079 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711334812432 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27080] ppid=27062 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/27065/task/27080/stat : 27080 (java) S 27062 27065 7986 0 -1 4202560 13933 0 0 0 237 3 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711333759288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27081] ppid=27062 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/27065/task/27081/stat : 27081 (java) S 27062 27065 7986 0 -1 4202560 12919 0 0 0 127 3 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711332706744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27082] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27082/stat : 27082 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711331653880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27083] ppid=27062 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/27065/task/27083/stat : 27083 (java) S 27062 27065 7986 0 -1 4202560 51 0 0 0 12 21 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711330601544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27093] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27093/stat : 27093 (java) S 27062 27065 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10925627 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711327442600 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27280] ppid=27062 vsize=9824732 CPUtime=37.22 cores=1,3,5,7
/proc/27065/task/27280/stat : 27280 (java) R 27062 27065 7986 0 -1 4202560 3 0 0 0 3722 0 0 0 20 0 22 0 11009618 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711328492376 140711454356956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27281] ppid=27062 vsize=9824732 CPUtime=37.23 cores=1,3,5,7
/proc/27065/task/27281/stat : 27281 (java) R 27062 27065 7986 0 -1 4202560 7 0 0 0 3723 0 0 0 20 0 22 0 11009618 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711326386480 140711454373088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27282] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27282/stat : 27282 (java) S 27062 27065 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11009620 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711329547048 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1759
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.601 s]
/proc/loadavg: 3.58 3.49 3.47 5/219 27365
/proc/meminfo: memFree=26572916/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=9824732 CPUtime=1797.58 cores=1,3,5,7
/proc/27065/stat : 27065 (java) S 27062 27065 7986 0 -1 4202496 43058 0 1 0 179376 382 0 0 20 0 22 0 10925350 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140733809600976 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 2456183 920784 2295 9 0 2446860 0
[pid=27065/tid=27067] ppid=27062 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/27065/task/27067/stat : 27067 (java) S 27062 27065 7986 0 -1 4202560 2483 0 1 0 26 4 0 0 20 0 22 0 10925351 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711514067832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27068] ppid=27062 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/27065/task/27068/stat : 27068 (java) S 27062 27065 7986 0 -1 4202560 920 0 0 0 192 41 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711452797864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27069] ppid=27062 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/27065/task/27069/stat : 27069 (java) S 27062 27065 7986 0 -1 4202560 951 0 0 0 188 39 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711451745320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27070] ppid=27062 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/27065/task/27070/stat : 27070 (java) S 27062 27065 7986 0 -1 4202560 1151 0 0 0 168 33 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711355431592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27071] ppid=27062 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/27065/task/27071/stat : 27071 (java) S 27062 27065 7986 0 -1 4202560 1127 0 0 0 184 38 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711354379048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27072] ppid=27062 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/27065/task/27072/stat : 27072 (java) S 27062 27065 7986 0 -1 4202560 1087 0 0 0 191 37 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711353325992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27073] ppid=27062 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/27065/task/27073/stat : 27073 (java) S 27062 27065 7986 0 -1 4202560 947 0 0 0 155 36 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711352273448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27074] ppid=27062 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/27065/task/27074/stat : 27074 (java) S 27062 27065 7986 0 -1 4202560 901 0 0 0 188 36 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711351220392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27075] ppid=27062 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/27065/task/27075/stat : 27075 (java) S 27062 27065 7986 0 -1 4202560 868 0 0 0 178 33 0 0 20 0 22 0 10925352 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711350167848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27076] ppid=27062 vsize=9824732 CPUtime=4.48 cores=1,3,5,7
/proc/27065/task/27076/stat : 27076 (java) S 27062 27065 7986 0 -1 4202560 3054 0 0 0 440 8 0 0 20 0 22 0 10925353 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711337970536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27077] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27077/stat : 27077 (java) S 27062 27065 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10925353 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711336916856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27078] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27078/stat : 27078 (java) S 27062 27065 7986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 10925354 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711335863688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27079] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27079/stat : 27079 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711334812432 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27080] ppid=27062 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/27065/task/27080/stat : 27080 (java) S 27062 27065 7986 0 -1 4202560 13933 0 0 0 237 3 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711333759288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27081] ppid=27062 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/27065/task/27081/stat : 27081 (java) S 27062 27065 7986 0 -1 4202560 12919 0 0 0 127 3 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711332706744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27082] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27082/stat : 27082 (java) S 27062 27065 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711331653880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27065/tid=27083] ppid=27062 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/27065/task/27083/stat : 27083 (java) S 27062 27065 7986 0 -1 4202560 53 0 0 0 13 21 0 0 20 0 22 0 10925356 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711330601544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27093] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27093/stat : 27093 (java) S 27062 27065 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10925627 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711327442600 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27065/tid=27280] ppid=27062 vsize=9824732 CPUtime=56.46 cores=1,3,5,7
/proc/27065/task/27280/stat : 27280 (java) R 27062 27065 7986 0 -1 4202560 3 0 0 0 5646 0 0 0 20 0 22 0 11009618 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711328485280 140711454262133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27065/tid=27281] ppid=27062 vsize=9824732 CPUtime=56.47 cores=1,3,5,7
/proc/27065/task/27281/stat : 27281 (java) R 27062 27065 7986 0 -1 4202560 7 0 0 0 5647 0 0 0 20 0 22 0 11009618 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711326386480 140711454266082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27065/tid=27282] ppid=27062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27065/task/27282/stat : 27282 (java) S 27062 27065 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11009620 10060525568 920784 33554432000 1073741824 1073778376 140733809609840 140711329547048 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.58
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 27065 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+901.802 s]
/proc/loadavg: 3.58 3.49 3.47 5/219 27365
/proc/meminfo: memFree=26572916/32872528 swapFree=1399392/1569044
[pid=27065] ppid=27062 vsize=0 CPUtime=1798.1 cores=1,3,5,7
/proc/27065/stat : 27065 (java) Z 27062 27065 7986 0 -1 4203532 43105 0 1 0 179408 402 0 0 20 0 2 0 10925350 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27065/statm: 0 0 0 0 0 0 0
[pid=27065/tid=27074] ppid=27062 vsize=0 CPUtime=2.33 cores=1,3,5,7
/proc/27065/task/27074/stat : 27074 (java) R 27062 27065 7986 0 -1 4203588 901 0 0 0 197 36 0 0 20 0 2 0 10925352 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 0

Child status: 143

# 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.60976
#  lost CPU user time (s): 2.83986
#  lost CPU system time (s): -0.23

Real time (s): 901.812
CPU time (s): 1800.74
CPU user time (s): 1796.93
CPU system time (s): 3.81238
CPU usage (%): 199.68
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 4.04239
maximum resident set size= 3683268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43105
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23676
involuntary context switches= 21611

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64214 second user time and 7.67483 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-16 16:53:21
IDJOB=4091733
IDBENCH=79446
IDSOLVER=2552
FILE ID=node140/4091733-1466088801
RUNJOBID= node140-1466075468-13371
PBS_JOBID= 19904000
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/academics/normalized-warehouse1_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091733-1466088801/watcher-4091733-1466088801 -o /tmp/evaluation-result-4091733-1466088801/solver-4091733-1466088801 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466075468-13371 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4091733-1466088801.wbo

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

MD5SUM BENCH= e84f9fd9c38a67d9707b8aa628966b83
RANDOM SEED=1274056307

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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.714
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.714
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.714
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.714
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.54
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.714
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:        29644816 kB
Buffers:           36364 kB
Cached:            66324 kB
SwapCached:         2568 kB
Active:           882476 kB
Inactive:          69052 kB
Active(anon):     849428 kB
Inactive(anon):     1792 kB
Active(file):      33048 kB
Inactive(file):    67260 kB
Unevictable:     1569044 kB
Mlocked:         1399392 kB
SwapTotal:      67108856 kB
SwapFree:       67096816 kB
Dirty:               436 kB
Writeback:             0 kB
AnonPages:       2430572 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             567392 kB
SReclaimable:      11476 kB
SUnreclaim:       555916 kB
KernelStack:        1808 kB
PageTables:         9368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2648824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    964608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node140 at 2016-06-16 17:08:23