Trace number 4391298

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2400.07 2396.71

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n2w4b2r1.xml
MD5SUMa404c513102fb879343dc63e509eedd5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2005.75
Satisfiable
(Un)Satisfiability was proved
Number of variables166
Number of constraints25
Number of domains2
Minimum domain size12
Maximum domain size70
Distribution of domain sizes[{"size":12,"count":1},{"size":70,"count":165}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":154},{"degree":5,"count":11}]
Minimum constraint arity12
Maximum constraint arity165
Distribution of constraint arities[{"arity":12,"count":1},{"arity":15,"count":22},{"arity":165,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":11},{"type":"lex","count":1},{"type":"sum","count":11},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

2.41/1.88	
2.41/1.88	AbsCon 2 
2.41/1.89	
2.92/2.01	  Instance
2.92/2.01	    name=instance-4391298-1568390940, framework=COP, bounds=-infty..+infty
2.92/2.01	
2.92/2.01	  Loading variables...
2.92/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea93a3e
2.92/2.06	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
2.92/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
2.92/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
2.92/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
2.92/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
2.92/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ec9e0
2.92/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce38864
2.92/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fae90c
2.92/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cb482c
2.92/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1865f949
3.29/2.14	
3.29/2.14	
3.29/2.14	  Domains
3.29/2.14	    nTypes=2, nValues=11562, sizes=[12#1,70#165]
3.29/2.14	  Variables
3.29/2.14	    count=166, degrees=[2#1,4#28,5#128,6#9]
3.29/2.14	  Objectives
3.29/2.14	    way=max, type=ObjVarGE
3.29/2.14	  Constraints
3.29/2.14	    count=35, nSpecific=35, arities=[1#1,12#1,15#22,30#10,165#1]
3.29/2.14	    distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#10,ObjVarGE#1,OrderedGE#11,SumSimpleLE#11]
3.29/2.14	    wck=0.285, cpu=2.105, mem=23M870
3.29/2.14	  Solver SolverBacktrack being built...
3.29/2.14	
3.29/2.17	
3.29/2.17	  Solver
3.29/2.17	    guaranteedGAC=true
3.29/2.17	    wck=0.318, cpu=2.136, mem=37M155
3.29/2.18	
3.29/2.18	  Preprocessing
3.29/2.18	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.29/2.18	    wck=0.011, cpu=2.149, mem=37M155
3.29/2.18	
3.54/2.24	    num=0, depth=1..1, filters=118, wck=0.074, mem=37M155
3.54/2.24	    decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.54/2.24	    
3.85/2.32	    num=1, depth=0..0, filters=257, wck=0.153, mem=37M155
3.85/2.32	    decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
3.85/2.32	    
4.16/2.40	    num=2, depth=0..0, filters=444, wck=0.231, mem=37M155
4.16/2.40	    decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
4.16/2.40	    
4.16/2.46	    num=3, depth=0..0, filters=676, wck=0.294, mem=37M155
4.16/2.46	    decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
4.16/2.46	    
4.39/2.52	    num=4, depth=0..0, filters=955, wck=0.354, mem=39M797
4.39/2.52	    decisions=121, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
4.39/2.52	    
4.54/2.60	    num=5, depth=0..0, filters=1312, wck=0.431, mem=39M797
4.54/2.60	    decisions=153, wrong=76, backtracks=0, failedAssignments=76, nogoods=10
4.54/2.60	    
4.54/2.67	    num=6, depth=0..1, filters=1564, wck=0.502, mem=39M797
4.54/2.67	    decisions=187, wrong=93, backtracks=0, failedAssignments=93, nogoods=24
4.54/2.67	    
4.65/2.71	    num=7, depth=0..0, filters=1637, wck=0.54, mem=39M797
4.65/2.71	    decisions=225, wrong=112, backtracks=0, failedAssignments=112, nogoods=24
4.65/2.71	    
4.65/2.79	    num=8, depth=0..0, filters=2007, wck=0.628, mem=39M797
4.65/2.79	    decisions=267, wrong=133, backtracks=0, failedAssignments=133, nogoods=24
4.65/2.79	    
4.88/2.91	    num=9, depth=0..2, filters=2457, wck=0.744, mem=39M797
4.88/2.91	    decisions=315, wrong=156, backtracks=0, failedAssignments=156, nogoods=28
4.88/2.91	    
4.99/3.01	    num=10, depth=0..0, filters=2816, wck=0.841, mem=39M797
4.99/3.01	    decisions=365, wrong=181, backtracks=0, failedAssignments=181, nogoods=28
4.99/3.01	    
5.10/3.13	    num=11, depth=0..2, filters=3313, wck=0.958, mem=39M797
5.10/3.13	    decisions=423, wrong=209, backtracks=0, failedAssignments=209, nogoods=34
5.10/3.13	    
5.20/3.23	    num=12, depth=0..0, filters=3766, wck=1.066, mem=39M797
5.20/3.23	    decisions=485, wrong=240, backtracks=0, failedAssignments=240, nogoods=34
5.20/3.23	    
5.30/3.35	    num=13, depth=0..5, filters=4273, wck=1.181, mem=39M797
5.30/3.35	    decisions=558, wrong=274, backtracks=0, failedAssignments=274, nogoods=62
5.30/3.35	    
5.45/3.46	    num=14, depth=0..5, filters=4735, wck=1.297, mem=39M797
5.45/3.46	    decisions=637, wrong=311, backtracks=0, failedAssignments=311, nogoods=81
5.45/3.46	    
5.56/3.52	    num=15, depth=6..18, filters=4903, wck=1.35, mem=39M797
5.56/3.52	    decisions=729, wrong=352, backtracks=0, failedAssignments=352, nogoods=122
5.56/3.52	    
5.56/3.59	    num=16, depth=9..19, filters=5159, wck=1.423, mem=39M797
5.56/3.59	    decisions=831, wrong=397, backtracks=0, failedAssignments=397, nogoods=167
5.56/3.59	    
5.70/3.67	    num=17, depth=13..42, filters=5418, wck=1.502, mem=39M797
5.70/3.67	    decisions=965, wrong=448, backtracks=8, failedAssignments=447, nogoods=186
5.70/3.67	    
5.93/3.86	    num=18, depth=10..38, filters=6198, wck=1.692, mem=39M797
5.93/3.86	    decisions=1163, wrong=533, backtracks=45, failedAssignments=502, nogoods=208
5.93/3.86	    
6.20/4.04	    num=19, depth=9..18, filters=6977, wck=1.875, mem=39M797
6.20/4.04	    decisions=1339, wrong=614, backtracks=67, failedAssignments=563, nogoods=225
6.20/4.04	    
6.31/4.16	    num=20, depth=20..63, filters=7258, wck=1.99, mem=39M797
6.31/4.16	    decisions=1531, wrong=681, backtracks=67, failedAssignments=630, nogoods=292
6.31/4.16	    
6.61/4.44	    num=21, depth=18..42, filters=8608, wck=2.272, mem=39M797
6.61/4.44	    decisions=1765, wrong=782, backtracks=95, failedAssignments=704, nogoods=306
6.61/4.44	    
6.82/4.66	    num=22, depth=21..38, filters=9380, wck=2.492, mem=39M797
6.82/4.66	    decisions=2017, wrong=896, backtracks=133, failedAssignments=785, nogoods=317
6.82/4.66	    
7.03/4.82	    num=23, depth=31..92, filters=9859, wck=2.652, mem=39M797
7.03/4.82	    decisions=2286, wrong=992, backtracks=146, failedAssignments=874, nogoods=344
7.03/4.82	    
7.24/5.04	    num=24, depth=33..71, filters=10560, wck=2.876, mem=39M797
7.24/5.04	    decisions=2614, wrong=1123, backtracks=184, failedAssignments=972, nogoods=389
7.24/5.04	    
7.54/5.30	    num=25, depth=34..81, filters=11475, wck=3.136, mem=39M797
7.54/5.30	    decisions=2958, wrong=1265, backtracks=220, failedAssignments=1080, nogoods=426
7.54/5.30	    
7.84/5.63	    num=26, depth=40..81, filters=12808, wck=3.466, mem=39M797
7.84/5.63	    decisions=3340, wrong=1421, backtracks=274, failedAssignments=1199, nogoods=469
7.84/5.63	    
8.14/5.90	    num=27, depth=35..96, filters=13733, wck=3.73, mem=39M797
8.14/5.90	    decisions=3734, wrong=1575, backtracks=302, failedAssignments=1330, nogoods=550
8.14/5.90	    
8.65/6.40	    num=28, depth=37..68, filters=15922, wck=4.232, mem=39M797
8.65/6.40	    decisions=4189, wrong=1771, backtracks=360, failedAssignments=1474, nogoods=599
8.65/6.40	    
8.85/6.66	    num=29, depth=46..66, filters=16555, wck=4.49, mem=39M797
8.85/6.66	    decisions=4578, wrong=1938, backtracks=371, failedAssignments=1632, nogoods=628
8.85/6.66	    
9.05/6.84	    num=30, depth=52..75, filters=17265, wck=4.677, mem=39M797
9.05/6.84	    decisions=5005, wrong=2120, backtracks=382, failedAssignments=1806, nogoods=664
9.05/6.84	    
9.68/7.49	    num=31, depth=46..116, filters=20175, wck=5.326, mem=39M797
9.68/7.49	    decisions=5608, wrong=2365, backtracks=446, failedAssignments=1997, nogoods=721
9.68/7.49	    
10.42/8.16	    num=32, depth=38..52, filters=23277, wck=5.99, mem=39M797
10.42/8.16	    decisions=6205, wrong=2643, backtracks=538, failedAssignments=2208, nogoods=743
10.42/8.16	    
10.72/8.44	    num=33, depth=36..72, filters=24443, wck=6.271, mem=39M797
10.72/8.44	    decisions=6750, wrong=2885, backtracks=552, failedAssignments=2440, nogoods=774
10.72/8.44	    
11.74/9.45	    num=34, depth=39..87, filters=28854, wck=7.287, mem=39M797
11.74/9.45	    decisions=7560, wrong=3254, backtracks=668, failedAssignments=2695, nogoods=809
11.74/9.45	    
12.26/9.92	    num=35, depth=43..59, filters=30021, wck=7.755, mem=39M797
12.26/9.92	    decisions=8188, wrong=3542, backtracks=675, failedAssignments=2976, nogoods=855
12.26/9.92	    
13.07/10.73	    num=36, depth=46..68, filters=32440, wck=8.567, mem=39M797
13.07/10.73	    decisions=9297, wrong=4064, backtracks=888, failedAssignments=3285, nogoods=900
13.07/10.73	    
14.61/12.21	    num=37, depth=58..96, filters=39360, wck=10.046, mem=39M797
14.61/12.21	    decisions=10477, wrong=4610, backtracks=1108, failedAssignments=3625, nogoods=927
14.61/12.21	    
16.11/13.77	    num=38, depth=38..64, filters=45862, wck=11.598, mem=39M797
16.11/13.77	    decisions=11734, wrong=5210, backtracks=1352, failedAssignments=3999, nogoods=960
16.11/13.77	    
17.57/15.17	    num=39, depth=54..71, filters=52007, wck=13.004, mem=39M797
17.57/15.17	    decisions=13109, wrong=5866, backtracks=1622, failedAssignments=4410, nogoods=979
17.57/15.17	    
19.06/16.60	    num=40, depth=53..81, filters=58551, wck=14.433, mem=39M797
19.06/16.60	    decisions=14546, wrong=6551, backtracks=1883, failedAssignments=4862, nogoods=1004
19.06/16.60	    
21.06/18.61	    num=41, depth=38..69, filters=66493, wck=16.439, mem=39M797
21.06/18.61	    decisions=16286, wrong=7394, backtracks=2278, failedAssignments=5359, nogoods=1033
21.06/18.61	    
23.37/20.96	    num=42, depth=49..73, filters=76484, wck=18.79, mem=39M797
23.37/20.96	    decisions=18205, wrong=8321, backtracks=2696, failedAssignments=5906, nogoods=1064
23.37/20.96	    
24.48/22.01	    num=43, depth=29..78, filters=79945, wck=19.847, mem=39M797
24.48/22.01	    decisions=19599, wrong=8997, backtracks=2773, failedAssignments=6508, nogoods=1074
24.48/22.01	    
26.47/24.03	    num=44, depth=29..90, filters=88956, wck=21.861, mem=39M797
26.47/24.03	    decisions=21690, wrong=10002, backtracks=3142, failedAssignments=7170, nogoods=1120
26.47/24.03	    
29.07/26.61	    num=45, depth=39..94, filters=100914, wck=24.44, mem=39M797
29.07/26.61	    decisions=23783, wrong=11012, backtracks=3436, failedAssignments=7898, nogoods=1175
29.07/26.61	    
32.27/29.80	    num=46, depth=14..31, filters=112681, wck=27.631, mem=39M797
32.27/29.80	    decisions=26522, wrong=12373, backtracks=4040, failedAssignments=8699, nogoods=1195
32.27/29.80	    
34.87/32.49	    num=47, depth=39..93, filters=125171, wck=30.319, mem=42M440
34.87/32.49	    decisions=29313, wrong=13733, backtracks=4555, failedAssignments=9580, nogoods=1248
34.87/32.49	    
38.78/36.30	    num=48, depth=32..52, filters=141791, wck=34.132, mem=42M440
38.78/36.30	    decisions=32417, wrong=15265, backtracks=5203, failedAssignments=10550, nogoods=1273
38.78/36.30	    
45.79/43.37	    num=49, depth=26..54, filters=174797, wck=41.205, mem=42M440
45.79/43.37	    decisions=36218, wrong=17144, backtracks=6067, failedAssignments=11617, nogoods=1300
45.79/43.37	    
50.30/47.81	    num=50, depth=29..64, filters=195290, wck=45.644, mem=42M440
50.30/47.81	    decisions=39606, wrong=18811, backtracks=6606, failedAssignments=12790, nogoods=1346
50.30/47.81	    
54.61/52.16	    num=51, depth=33..74, filters=215991, wck=49.99, mem=42M440
54.61/52.16	    decisions=43327, wrong=20651, backtracks=7248, failedAssignments=14081, nogoods=1361
54.61/52.16	    
60.20/57.72	    num=52, depth=41..75, filters=240092, wck=55.552, mem=42M440
60.20/57.72	    decisions=47803, wrong=22859, backtracks=8168, failedAssignments=15501, nogoods=1392
60.20/57.72	    
65.00/62.55	    num=53, depth=51..90, filters=262024, wck=60.379, mem=42M440
65.00/62.55	    decisions=52789, wrong=25317, backtracks=9209, failedAssignments=17063, nogoods=1418
65.00/62.55	    
72.70/70.28	    num=54, depth=39..75, filters=295778, wck=68.115, mem=42M440
72.70/70.28	    decisions=58882, wrong=28337, backtracks=10618, failedAssignments=18781, nogoods=1459
72.70/70.28	    
78.40/76.00	    num=55, depth=32..78, filters=318198, wck=73.832, mem=42M440
78.40/76.00	    decisions=64322, wrong=31022, backtracks=11601, failedAssignments=20671, nogoods=1515
78.40/76.00	    
84.91/82.48	    num=56, depth=33..74, filters=345950, wck=80.317, mem=42M440
84.91/82.48	    decisions=69871, wrong=33776, backtracks=12316, failedAssignments=22750, nogoods=1596
84.91/82.48	    
94.11/91.67	    num=57, depth=34..80, filters=383514, wck=89.507, mem=42M440
94.11/91.67	    decisions=77937, wrong=37780, backtracks=14260, failedAssignments=25037, nogoods=1653
94.11/91.67	    
104.73/102.22	    num=58, depth=40..67, filters=426671, wck=100.051, mem=42M440
104.73/102.22	    decisions=86163, wrong=41870, backtracks=15989, failedAssignments=27553, nogoods=1668
104.73/102.22	    
116.03/113.53	    num=59, depth=38..71, filters=473199, wck=111.363, mem=42M440
116.03/113.53	    decisions=95193, wrong=46354, backtracks=17850, failedAssignments=30321, nogoods=1707
116.03/113.53	    
128.34/125.88	    num=60, depth=38..76, filters=525920, wck=123.712, mem=42M440
128.34/125.88	    decisions=105016, wrong=51242, backtracks=19839, failedAssignments=33365, nogoods=1735
128.34/125.88	    
138.34/135.83	    num=61, depth=0..111, filters=573943, wck=133.666, mem=42M440
138.34/135.83	    decisions=115114, wrong=56248, backtracks=21656, failedAssignments=36714, nogoods=1792
138.34/135.83	    
150.28/147.79	    num=62, depth=3..99, filters=628879, wck=145.627, mem=42M440
150.28/147.79	    decisions=125620, wrong=61467, backtracks=23269, failedAssignments=40398, nogoods=1933
150.28/147.79	    
159.89/157.33	    num=63, depth=0..106, filters=665979, wck=155.161, mem=42M440
159.89/157.33	    decisions=136653, wrong=66942, backtracks=24774, failedAssignments=44450, nogoods=2114
159.89/157.33	    
173.03/170.42	    num=64, depth=7..85, filters=720163, wck=168.254, mem=42M440
173.03/170.42	    decisions=150401, wrong=73781, backtracks=27607, failedAssignments=48907, nogoods=2298
173.03/170.42	    
188.98/186.37	    num=65, depth=13..65, filters=787200, wck=184.2, mem=42M440
188.98/186.37	    decisions=165797, wrong=81461, backtracks=30696, failedAssignments=53810, nogoods=2329
188.98/186.37	    
207.58/204.95	    num=66, depth=11..81, filters=866660, wck=202.785, mem=45M82
207.58/204.95	    decisions=183410, wrong=90232, backtracks=34586, failedAssignments=59204, nogoods=2399
207.58/204.95	    
230.00/227.33	    num=67, depth=14..54, filters=953483, wck=225.158, mem=45M82
230.00/227.33	    decisions=202415, wrong=99718, backtracks=38539, failedAssignments=65137, nogoods=2425
230.00/227.33	    
251.03/248.36	    num=68, depth=23..92, filters=1043002, wck=246.197, mem=45M82
251.03/248.36	    decisions=221652, wrong=109305, backtracks=42057, failedAssignments=71663, nogoods=2495
251.03/248.36	    
270.43/267.71	    num=69, depth=31..73, filters=1122485, wck=265.544, mem=45M82
270.43/267.71	    decisions=243212, wrong=120061, backtracks=46320, failedAssignments=78842, nogoods=2554
270.43/267.71	    
289.75/287.08	    num=70, depth=34..78, filters=1202821, wck=284.908, mem=45M82
289.75/287.08	    decisions=266425, wrong=131638, backtracks=50405, failedAssignments=86739, nogoods=2632
289.75/287.08	    
315.24/312.52	    num=71, depth=43..70, filters=1307520, wck=310.352, mem=45M82
315.24/312.52	    decisions=293333, wrong=145063, backtracks=56028, failedAssignments=95426, nogoods=2676
315.24/312.52	    
347.92/345.19	    num=72, depth=1..73, filters=1444387, wck=343.022, mem=45M82
347.92/345.19	    decisions=321589, wrong=159160, backtracks=61290, failedAssignments=104981, nogoods=2720
347.92/345.19	    
385.72/382.91	    num=73, depth=1..80, filters=1603860, wck=380.742, mem=45M82
385.72/382.91	    decisions=353948, wrong=175307, backtracks=67888, failedAssignments=115492, nogoods=2844
385.72/382.91	    
418.03/415.20	    num=74, depth=2..76, filters=1735063, wck=413.034, mem=47M725
418.03/415.20	    decisions=387348, wrong=191973, backtracks=74254, failedAssignments=127054, nogoods=3002
418.03/415.20	    
451.65/448.82	    num=75, depth=2..69, filters=1860974, wck=446.649, mem=47M725
451.65/448.82	    decisions=423357, wrong=209950, backtracks=80495, failedAssignments=139772, nogoods=3084
451.65/448.82	    
487.05/484.25	    num=76, depth=3..81, filters=1997490, wck=482.084, mem=47M725
487.05/484.25	    decisions=463350, wrong=229914, backtracks=87803, failedAssignments=153762, nogoods=3311
487.05/484.25	    
525.47/522.69	    num=77, depth=6..83, filters=2151511, wck=520.524, mem=47M725
525.47/522.69	    decisions=507787, wrong=252102, backtracks=96704, failedAssignments=169151, nogoods=3343
525.47/522.69	    
553.98/551.15	    num=78, depth=5..90, filters=2261348, wck=548.983, mem=50M367
553.98/551.15	    decisions=551523, wrong=273937, backtracks=104627, failedAssignments=186079, nogoods=3433
553.98/551.15	    
608.29/605.42	    num=79, depth=33..87, filters=2496816, wck=603.255, mem=50M367
608.29/605.42	    decisions=610328, wrong=303306, backtracks=119119, failedAssignments=204700, nogoods=3560
608.29/605.42	    
657.10/654.20	    num=80, depth=10..94, filters=2697472, wck=652.036, mem=50M367
657.10/654.20	    decisions=672959, wrong=334584, backtracks=131659, failedAssignments=225184, nogoods=3732
657.10/654.20	    
705.61/702.78	    num=81, depth=28..101, filters=2928187, wck=700.61, mem=53M9
705.61/702.78	    decisions=735854, wrong=365990, backtracks=141843, failedAssignments=247716, nogoods=3931
705.61/702.78	    
755.33/752.43	    num=82, depth=7..72, filters=3117562, wck=750.263, mem=53M9
755.33/752.43	    decisions=801445, wrong=398759, backtracks=152708, failedAssignments=272501, nogoods=4207
755.33/752.43	    
831.95/829.10	    num=83, depth=22..72, filters=3425608, wck=826.933, mem=53M9
831.95/829.10	    decisions=878843, wrong=437434, backtracks=167243, failedAssignments=299765, nogoods=4271
831.95/829.10	    
915.07/912.11	    num=84, depth=11..47, filters=3760131, wck=909.942, mem=55M652
915.07/912.11	    decisions=975107, wrong=485551, backtracks=188203, failedAssignments=329755, nogoods=4319
915.07/912.11	    
994.58/991.61	    num=85, depth=33..88, filters=4069297, wck=989.446, mem=55M652
994.58/991.61	    decisions=1071066, wrong=533496, backtracks=206322, failedAssignments=362744, nogoods=4371
994.58/991.61	    
1130.12/1127.13	    num=86, depth=13..49, filters=4566405, wck=1124.966, mem=58M294
1130.12/1127.13	    decisions=1191434, wrong=593669, backtracks=233532, failedAssignments=399032, nogoods=4435
1130.12/1127.13	    
1237.15/1234.14	    num=87, depth=8..101, filters=5013649, wck=1231.969, mem=60M937
1237.15/1234.14	    decisions=1327518, wrong=661673, backtracks=265176, failedAssignments=438949, nogoods=4562
1237.15/1234.14	    
1347.17/1344.19	    num=88, depth=16..84, filters=5463937, wck=1342.027, mem=60M937
1347.17/1344.19	    decisions=1465416, wrong=730588, backtracks=293784, failedAssignments=482858, nogoods=4682
1347.17/1344.19	    
1481.79/1478.74	    num=89, depth=34..92, filters=6045137, wck=1476.571, mem=63M579
1481.79/1478.74	    decisions=1613820, wrong=804758, backtracks=323164, failedAssignments=531158, nogoods=4728
1481.79/1478.74	    
1636.03/1632.98	    num=90, depth=34..89, filters=6653123, wck=1630.813, mem=66M222
1636.03/1632.98	    decisions=1769758, wrong=882698, backtracks=355112, failedAssignments=584288, nogoods=4839
1636.03/1632.98	    
1788.17/1785.04	    num=91, depth=42..100, filters=7341198, wck=1782.875, mem=68M864
1788.17/1785.04	    decisions=1948103, wrong=971837, backtracks=391186, failedAssignments=642731, nogoods=4956
1788.17/1785.04	    
2051.36/2048.12	    num=92, depth=42..81, filters=8468158, wck=2045.951, mem=71M507
2051.36/2048.12	    decisions=2170247, wrong=1082883, backtracks=445387, failedAssignments=707018, nogoods=5032
2051.36/2048.12	    
2140.08/2136.84	    num=93, depth=1..92, filters=8801251, wck=2134.676, mem=74M149
2140.08/2136.84	    decisions=2341076, wrong=1168260, backtracks=462921, failedAssignments=777734, nogoods=5153
2140.08/2136.84	    
2373.03/2369.79	    num=94, depth=1..111, filters=9946354, wck=2367.619, mem=76M791
2373.03/2369.79	    decisions=2580602, wrong=1287983, backtracks=512893, failedAssignments=855521, nogoods=5231
2373.03/2369.79	    
2400.04/2396.70	
2400.04/2396.70	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14283 MiB free)
  memory of node 1: 16384 MiB (14760 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391298-1568390940/watcher-4391298-1568390940 -o /tmp/evaluation-result-4391298-1568390940/solver-4391298-1568390940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568390578-28352 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391298-1568390940.xml -cm 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29142, runsolver pid=29139

[startup+0.101349 s]*
/proc/loadavg: 1.96 1.76 1.62 3/228 29157
/proc/meminfo: memFree=29724964/32770624 swapFree=66932052/67108860
[pid=29142] ppid=29139 vsize=10659884 memory=30264 CPUtime=0.14 cores=0,2,4,6
/proc/29142/stat : 29142 (java) S 29139 29142 26463 0 -1 1077944320 5577 0 0 0 13 1 0 0 20 0 15 0 415361803 10915721216 7566 33554432000 4194304 4196468 140731915016208 140731914998752 139776155213559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
/proc/29142/statm: 2664971 7566 2900 1 0 2627468 0
[pid=29142/tid=29144] ppid=29139 vsize=10659884 memory=-7254949979417569401 CPUtime=0.09 cores=0,2,4,6
/proc/29142/task/29144/stat : 29144 (java) S 29139 29142 26463 0 -1 1077944384 2976 0 0 0 9 0 0 0 20 0 15 0 415361803 10915721216 7566 33554432000 4194304 4196468 140731915016208 139776159442464 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29145] ppid=29139 vsize=10659884 memory=5793855165370837433 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29145/stat : 29145 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 7566 33554432000 4194304 4196468 140731915016208 139776091904400 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29146] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29146/stat : 29146 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 7566 33554432000 4194304 4196468 140731915016208 139776090851600 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29147] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29147/stat : 29147 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 7566 33554432000 4194304 4196468 140731915016208 139776089799312 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29148] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 7566 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361805 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29150] ppid=29139 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29150/stat : 29150 (java) S 29139 29142 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415361806 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775391360288 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29151] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29151/stat : 29151 (java) S 29139 29142 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415361806 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775390307952 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29152] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29152/stat : 29152 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415361808 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775389256272 139776155232155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29153] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29153/stat : 29153 (java) R 29139 29142 26463 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 415361808 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775388203120 139776155224706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29154] ppid=29139 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29154/stat : 29154 (java) S 29139 29142 26463 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 415361808 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775387150320 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29155] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0.02 cores=0,2,4,6
/proc/29142/task/29155/stat : 29155 (java) R 29139 29142 26463 0 -1 4202560 563 0 0 0 2 0 0 0 20 0 15 0 415361808 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775386093912 139776139461064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29156] ppid=29139 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29156/stat : 29156 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415361809 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775385045472 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29157] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29157/stat : 29157 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361809 10915721216 7566 33554432000 4194304 4196468 140731915016208 139775383993264 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30264 KiB

[startup+0.21072 s]*
/proc/loadavg: 1.96 1.76 1.62 3/228 29157
/proc/meminfo: memFree=29719196/32770624 swapFree=66932052/67108860
[pid=29142] ppid=29139 vsize=10659884 memory=35196 CPUtime=0.32 cores=0,2,4,6
/proc/29142/stat : 29142 (java) S 29139 29142 26463 0 -1 1077944320 6415 0 0 0 31 1 0 0 20 0 15 0 415361803 10915721216 8799 33554432000 4194304 4196468 140731915016208 140731914998752 139776155213559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
/proc/29142/statm: 2664971 8799 2988 1 0 2627468 0
[pid=29142/tid=29144] ppid=29139 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/29142/task/29144/stat : 29144 (java) R 29139 29142 26463 0 -1 4202560 3474 0 0 0 19 1 0 0 20 0 15 0 415361803 10915721216 8799 33554432000 4194304 4196468 140731915016208 139776159439920 139776155235485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29145] ppid=29139 vsize=10659884 memory=4211973640565734794 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29145/stat : 29145 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 8799 33554432000 4194304 4196468 140731915016208 139776091904400 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29146] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29146/stat : 29146 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 8799 33554432000 4194304 4196468 140731915016208 139776090851600 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29147] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29147/stat : 29147 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 8799 33554432000 4194304 4196468 140731915016208 139776089799312 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29148] ppid=29139 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 8799 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361805 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29150] ppid=29139 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29150/stat : 29150 (java) S 29139 29142 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415361806 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775391360288 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29151] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29151/stat : 29151 (java) S 29139 29142 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415361806 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775390307952 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29152] ppid=29139 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29152/stat : 29152 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415361808 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775389256272 139776155232155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29153] ppid=29139 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29142/task/29153/stat : 29153 (java) S 29139 29142 26463 0 -1 1077944384 459 0 0 0 3 0 0 0 20 0 15 0 415361808 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775388203120 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29154] ppid=29139 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/29142/task/29154/stat : 29154 (java) S 29139 29142 26463 0 -1 1077944384 533 0 0 0 3 0 0 0 20 0 15 0 415361808 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775387150320 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29155] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0.05 cores=0,2,4,6
/proc/29142/task/29155/stat : 29155 (java) S 29139 29142 26463 0 -1 1077944384 588 0 0 0 5 0 0 0 20 0 15 0 415361808 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775386098032 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29156] ppid=29139 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29156/stat : 29156 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415361809 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775385045472 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29157] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29157/stat : 29157 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361809 10915721216 8799 33554432000 4194304 4196468 140731915016208 139775383993264 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35196 KiB

[startup+0.31011 s]*
/proc/loadavg: 1.96 1.76 1.62 4/228 29157
/proc/meminfo: memFree=29711528/32770624 swapFree=66932052/67108860
[pid=29142] ppid=29139 vsize=10659884 memory=40384 CPUtime=0.48 cores=0,2,4,6
/proc/29142/stat : 29142 (java) S 29139 29142 26463 0 -1 1077944320 8879 0 0 0 45 3 0 0 20 0 15 0 415361803 10915721216 10096 33554432000 4194304 4196468 140731915016208 140731914998752 139776155213559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
/proc/29142/statm: 2664971 10096 3001 1 0 2627468 0
[pid=29142/tid=29144] ppid=29139 vsize=10659884 memory=279828527841520 CPUtime=0.3 cores=0,2,4,6
/proc/29142/task/29144/stat : 29144 (java) R 29139 29142 26463 0 -1 4202560 5877 0 0 0 28 2 0 0 20 0 15 0 415361803 10915721216 10096 33554432000 4194304 4196468 140731915016208 139776159445968 139776155235485 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29145] ppid=29139 vsize=10659884 memory=4211973640565734794 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29145/stat : 29145 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 10096 33554432000 4194304 4196468 140731915016208 139776091904400 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29146] ppid=29139 vsize=10659884 memory=139914360946671 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29146/stat : 29146 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 10096 33554432000 4194304 4196468 140731915016208 139776090851600 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29147] ppid=29139 vsize=10659884 memory=139914264053871 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29147/stat : 29147 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 10096 33554432000 4194304 4196468 140731915016208 139776089799312 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29148] ppid=29139 vsize=10659884 memory=139914264034255 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10915721216 10096 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10659884 memory=139914360970746 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361805 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29150] ppid=29139 vsize=10659884 memory=139914264034255 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29150/stat : 29150 (java) S 29139 29142 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415361806 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775391360288 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29151] ppid=29139 vsize=10659884 memory=279828528089232 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29151/stat : 29151 (java) S 29139 29142 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415361806 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775390307952 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29152] ppid=29139 vsize=10659884 memory=279828528086928 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29152/stat : 29152 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415361808 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775389256272 139776155232155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29153] ppid=29139 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29142/task/29153/stat : 29153 (java) S 29139 29142 26463 0 -1 1077944384 467 0 0 0 3 0 0 0 20 0 15 0 415361808 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775388203120 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29154] ppid=29139 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/29142/task/29154/stat : 29154 (java) S 29139 29142 26463 0 -1 1077944384 575 0 0 0 4 0 0 0 20 0 15 0 415361808 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775387150320 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29155] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0.08 cores=0,2,4,6
/proc/29142/task/29155/stat : 29155 (java) R 29139 29142 26463 0 -1 4202560 600 0 0 0 8 0 0 0 20 0 15 0 415361808 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775386098032 139776155234906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29156] ppid=29139 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29156/stat : 29156 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415361809 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775385045472 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29157] ppid=29139 vsize=10659884 memory=139914360944256 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29157/stat : 29157 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361809 10915721216 10096 33554432000 4194304 4196468 140731915016208 139775383993264 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40384 KiB

[startup+0.700956 s]
/proc/loadavg: 1.96 1.76 1.62 3/228 29157
/proc/meminfo: memFree=29703460/32770624 swapFree=66932052/67108860
[pid=29142] ppid=29139 vsize=10661932 memory=63016 CPUtime=1.11 cores=0,2,4,6
/proc/29142/stat : 29142 (java) S 29139 29142 26463 0 -1 1077944320 12316 0 0 0 106 5 0 0 20 0 15 0 415361803 10917818368 15754 33554432000 4194304 4196468 140731915016208 140731914998752 139776155213559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
/proc/29142/statm: 2665483 15754 3073 1 0 2627980 0
[pid=29142/tid=29144] ppid=29139 vsize=10661932 memory=2832 CPUtime=0.68 cores=0,2,4,6
/proc/29142/task/29144/stat : 29144 (java) R 29139 29142 26463 0 -1 4202560 8425 0 0 0 64 4 0 0 20 0 15 0 415361803 10917818368 15754 33554432000 4194304 4196468 140731915016208 139776159439536 139776138400368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29145] ppid=29139 vsize=10661932 memory=772 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29145/stat : 29145 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10917818368 15754 33554432000 4194304 4196468 140731915016208 139776091904400 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29146] ppid=29139 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29146/stat : 29146 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10917818368 15754 33554432000 4194304 4196468 140731915016208 139776090851600 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29147] ppid=29139 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29147/stat : 29147 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361804 10917818368 15754 33554432000 4194304 4196468 140731915016208 139776089799312 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29148] ppid=29139 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10917818368 15754 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10661932 memory=5787220445994897765 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361805 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29150] ppid=29139 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29150/stat : 29150 (java) S 29139 29142 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415361806 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775391360288 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29151] ppid=29139 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29151/stat : 29151 (java) S 29139 29142 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415361806 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775390307952 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29152] ppid=29139 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29152/stat : 29152 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415361808 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775389256272 139776155232155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29153] ppid=29139 vsize=10661932 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29142/task/29153/stat : 29153 (java) S 29139 29142 26463 0 -1 1077944384 744 0 0 0 9 0 0 0 20 0 15 0 415361808 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775388203120 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29154] ppid=29139 vsize=10661932 memory=11 CPUtime=0.13 cores=0,2,4,6
/proc/29142/task/29154/stat : 29154 (java) R 29139 29142 26463 0 -1 4202560 807 0 0 0 13 0 0 0 20 0 15 0 415361808 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775387150320 139776134906651 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29155] ppid=29139 vsize=10661932 memory=1367 CPUtime=0.18 cores=0,2,4,6
/proc/29142/task/29155/stat : 29155 (java) S 29139 29142 26463 0 -1 1077944384 979 0 0 0 18 0 0 0 20 0 15 0 415361808 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775386098032 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29156] ppid=29139 vsize=10661932 memory=279828528266224 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29156/stat : 29156 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415361809 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775385045472 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29157] ppid=29139 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29157/stat : 29157 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361809 10917818368 15754 33554432000 4194304 4196468 140731915016208 139775383993264 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63016 KiB

[startup+1.50069 s]
/proc/loadavg: 1.96 1.76 1.62 3/228 29157
/proc/meminfo: memFree=29687224/32770624 swapFree=66932052/67108860
[pid=29142] ppid=29139 vsize=10663980 memory=75096 CPUtime=2.01 cores=0,2,4,6
/proc/29142/stat : 29142 (java) S 29139 29142 26463 0 -1 1077944320 17449 0 0 0 195 6 0 0 20 0 15 0 415361803 10919915520 18774 33554432000 4194304 4196468 140731915016208 140731914998752 139776155213559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
/proc/29142/statm: 2665995 18774 3093 1 0 2628492 0
[pid=29142/tid=29144] ppid=29139 vsize=10663980 memory=70916 CPUtime=1.47 cores=0,2,4,6
/proc/29142/task/29144/stat : 29144 (java) R 29139 29142 26463 0 -1 4202560 12305 0 0 0 143 4 0 0 20 0 15 0 415361803 10919915520 18774 33554432000 4194304 4196468 140731915016208 139776159445584 139776139294046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29145] ppid=29139 vsize=10663980 memory=279828528152320 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29145/stat : 29145 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10919915520 18774 33554432000 4194304 4196468 140731915016208 139776091904400 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29146] ppid=29139 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29146/stat : 29146 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10919915520 18774 33554432000 4194304 4196468 140731915016208 139776090851600 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29147] ppid=29139 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29147/stat : 29147 (java) S 29139 29142 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415361804 10919915520 18774 33554432000 4194304 4196468 140731915016208 139776089799312 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29148] ppid=29139 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415361804 10919915520 18774 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 415361805 10919915520 18774 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0

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

/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.04 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 1465 0 0 0 3 1 0 0 20 0 16 0 415361805 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29150] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29150/stat : 29150 (java) S 29139 29142 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415361806 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775391360352 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29151] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29151/stat : 29151 (java) S 29139 29142 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415361806 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775390307968 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29152] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29152/stat : 29152 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775389256272 139776155232155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29153] ppid=29139 vsize=10746276 memory=14004 CPUtime=1.1 cores=0,2,4,6
/proc/29142/task/29153/stat : 29153 (java) S 29139 29142 26463 0 -1 1077944384 7072 0 0 0 109 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775388203120 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29154] ppid=29139 vsize=10746276 memory=20384 CPUtime=1.06 cores=0,2,4,6
/proc/29142/task/29154/stat : 29154 (java) S 29139 29142 26463 0 -1 1077944384 8836 0 0 0 105 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775387150320 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29155] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.55 cores=0,2,4,6
/proc/29142/task/29155/stat : 29155 (java) S 29139 29142 26463 0 -1 1077944384 5227 0 0 0 54 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775386098032 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29156] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29156/stat : 29156 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415361809 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775385045472 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29157] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.67 cores=0,2,4,6
/proc/29142/task/29157/stat : 29157 (java) S 29139 29142 26463 0 -1 1077944384 960 0 0 0 32 35 0 0 20 0 16 0 415361809 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775383993264 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29158] ppid=29139 vsize=10746276 memory=185672 CPUtime=2320.23 cores=0,2,4,6
/proc/29142/task/29158/stat : 29158 (java) R 29139 29142 26463 0 -1 4202560 14051 0 0 0 232021 2 0 0 20 0 16 0 415361991 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775366917712 139775773201875 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
Current children cumulated CPU time: 2325.63 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 185672 KiB

[startup+2382.3 s]
/proc/loadavg: 1.01 1.25 1.50 2/205 29429
/proc/meminfo: memFree=30538316/32770624 swapFree=66932056/67108860
[pid=29142] ppid=29139 vsize=10746276 memory=185672 CPUtime=2385.64 cores=0,2,4,6
/proc/29142/stat : 29142 (java) S 29139 29142 26463 0 -1 1077944320 54003 0 0 0 238521 43 0 0 20 0 16 0 415361803 11004186624 46418 33554432000 4194304 4196468 140731915016208 140731914998752 139776155213559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
/proc/29142/statm: 2686569 46418 3357 1 0 2646705 0
[pid=29142/tid=29144] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.85 cores=0,2,4,6
/proc/29142/task/29144/stat : 29144 (java) S 29139 29142 26463 0 -1 1077944384 14447 0 0 0 180 5 0 0 20 0 16 0 415361803 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776159456432 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29145] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.01 cores=0,2,4,6
/proc/29142/task/29145/stat : 29145 (java) S 29139 29142 26463 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776091904400 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29146] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.01 cores=0,2,4,6
/proc/29142/task/29146/stat : 29146 (java) S 29139 29142 26463 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776090851600 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29147] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29147/stat : 29147 (java) S 29139 29142 26463 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776089799312 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29148] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.04 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 1471 0 0 0 3 1 0 0 20 0 16 0 415361805 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29150] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29150/stat : 29150 (java) S 29139 29142 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415361806 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775391360352 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29151] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29151/stat : 29151 (java) S 29139 29142 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415361806 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775390307968 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29152] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29152/stat : 29152 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775389256272 139776155232155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29153] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.1 cores=0,2,4,6
/proc/29142/task/29153/stat : 29153 (java) S 29139 29142 26463 0 -1 1077944384 7074 0 0 0 109 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775388203120 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29154] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.06 cores=0,2,4,6
/proc/29142/task/29154/stat : 29154 (java) S 29139 29142 26463 0 -1 1077944384 8838 0 0 0 105 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775387150320 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29155] ppid=29139 vsize=10746276 memory=11916 CPUtime=0.55 cores=0,2,4,6
/proc/29142/task/29155/stat : 29155 (java) S 29139 29142 26463 0 -1 1077944384 5236 0 0 0 54 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775386098032 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29156] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29156/stat : 29156 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415361809 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775385045472 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29157] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.68 cores=0,2,4,6
/proc/29142/task/29157/stat : 29157 (java) S 29139 29142 26463 0 -1 1077944384 991 0 0 0 33 35 0 0 20 0 16 0 415361809 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775383993264 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29158] ppid=29139 vsize=10746276 memory=2016 CPUtime=2380.23 cores=0,2,4,6
/proc/29142/task/29158/stat : 29158 (java) R 29139 29142 26463 0 -1 4202560 14316 0 0 0 238021 2 0 0 20 0 16 0 415361991 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775366917712 139775773201406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
Current children cumulated CPU time: 2385.64 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 185672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2396.7 s]
/proc/loadavg: 1.08 1.25 1.50 2/205 29432
/proc/meminfo: memFree=30538352/32770624 swapFree=66932056/67108860
[pid=29142] ppid=29139 vsize=10746276 memory=185672 CPUtime=2400.04 cores=0,2,4,6
/proc/29142/stat : 29142 (java) S 29139 29142 26463 0 -1 1077944320 54003 0 0 0 239961 43 0 0 20 0 16 0 415361803 11004186624 46418 33554432000 4194304 4196468 140731915016208 140731914998752 139776155213559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
/proc/29142/statm: 2686569 46418 3357 1 0 2646705 0
[pid=29142/tid=29144] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.85 cores=0,2,4,6
/proc/29142/task/29144/stat : 29144 (java) S 29139 29142 26463 0 -1 1077944384 14447 0 0 0 180 5 0 0 20 0 16 0 415361803 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776159456432 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29145] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.01 cores=0,2,4,6
/proc/29142/task/29145/stat : 29145 (java) S 29139 29142 26463 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776091904400 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29146] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.01 cores=0,2,4,6
/proc/29142/task/29146/stat : 29146 (java) S 29139 29142 26463 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776090851600 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29147] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29147/stat : 29147 (java) S 29139 29142 26463 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776089799312 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29148] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.04 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 1471 0 0 0 3 1 0 0 20 0 16 0 415361805 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29150] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29150/stat : 29150 (java) S 29139 29142 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415361806 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775391360352 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29151] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29151/stat : 29151 (java) S 29139 29142 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415361806 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775390307968 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29152] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29152/stat : 29152 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775389256272 139776155232155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29153] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.1 cores=0,2,4,6
/proc/29142/task/29153/stat : 29153 (java) S 29139 29142 26463 0 -1 1077944384 7074 0 0 0 109 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775388203120 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29154] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.06 cores=0,2,4,6
/proc/29142/task/29154/stat : 29154 (java) S 29139 29142 26463 0 -1 1077944384 8838 0 0 0 105 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775387150320 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29155] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.55 cores=0,2,4,6
/proc/29142/task/29155/stat : 29155 (java) S 29139 29142 26463 0 -1 1077944384 5236 0 0 0 54 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775386098032 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29156] ppid=29139 vsize=10746276 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29156/stat : 29156 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415361809 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775385045472 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29157] ppid=29139 vsize=10746276 memory=39004 CPUtime=0.68 cores=0,2,4,6
/proc/29142/task/29157/stat : 29157 (java) S 29139 29142 26463 0 -1 1077944384 991 0 0 0 33 35 0 0 20 0 16 0 415361809 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775383993264 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29158] ppid=29139 vsize=10746276 memory=988 CPUtime=2394.62 cores=0,2,4,6
/proc/29142/task/29158/stat : 29158 (java) R 29139 29142 26463 0 -1 4202560 14316 0 0 0 239460 2 0 0 20 0 16 0 415361991 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775366917712 139775773201849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 185672 KiB

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

[startup+2396.71 s]
# the end of solver process 29142 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.62 s, system=0.444025 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2396.7 s]
/proc/loadavg: 1.08 1.25 1.50 2/205 29432
/proc/meminfo: memFree=30538352/32770624 swapFree=66932056/67108860
[pid=29142] ppid=29139 vsize=10746276 memory=185672 CPUtime=2400.04 cores=0,2,4,6
/proc/29142/stat : 29142 (java) S 29139 29142 26463 0 -1 1077944320 54003 0 0 0 239961 43 0 0 20 0 16 0 415361803 11004186624 46418 33554432000 4194304 4196468 140731915016208 140731914998752 139776155213559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
/proc/29142/statm: 2686569 46418 3357 1 0 2646705 0
[pid=29142/tid=29144] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.85 cores=0,2,4,6
/proc/29142/task/29144/stat : 29144 (java) S 29139 29142 26463 0 -1 1077944384 14447 0 0 0 180 5 0 0 20 0 16 0 415361803 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776159456432 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29145] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.01 cores=0,2,4,6
/proc/29142/task/29145/stat : 29145 (java) S 29139 29142 26463 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776091904400 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29146] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.01 cores=0,2,4,6
/proc/29142/task/29146/stat : 29146 (java) S 29139 29142 26463 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776090851600 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29147] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29147/stat : 29147 (java) S 29139 29142 26463 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776089799312 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29148] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29148/stat : 29148 (java) S 29139 29142 26463 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 415361804 11004186624 46418 33554432000 4194304 4196468 140731915016208 139776088746512 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29149] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.04 cores=0,2,4,6
/proc/29142/task/29149/stat : 29149 (java) S 29139 29142 26463 0 -1 1077944384 1471 0 0 0 3 1 0 0 20 0 16 0 415361805 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775392414320 139776155224706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29150] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29150/stat : 29150 (java) S 29139 29142 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415361806 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775391360352 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29151] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29151/stat : 29151 (java) S 29139 29142 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415361806 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775390307968 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29152] ppid=29139 vsize=10746276 memory=185672 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29152/stat : 29152 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775389256272 139776155232155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29153] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.1 cores=0,2,4,6
/proc/29142/task/29153/stat : 29153 (java) S 29139 29142 26463 0 -1 1077944384 7074 0 0 0 109 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775388203120 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29154] ppid=29139 vsize=10746276 memory=185672 CPUtime=1.06 cores=0,2,4,6
/proc/29142/task/29154/stat : 29154 (java) S 29139 29142 26463 0 -1 1077944384 8838 0 0 0 105 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775387150320 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29155] ppid=29139 vsize=10746276 memory=185672 CPUtime=0.55 cores=0,2,4,6
/proc/29142/task/29155/stat : 29155 (java) S 29139 29142 26463 0 -1 1077944384 5236 0 0 0 54 1 0 0 20 0 16 0 415361808 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775386098032 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29156] ppid=29139 vsize=10746276 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/29142/task/29156/stat : 29156 (java) S 29139 29142 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415361809 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775385045472 139776155223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29157] ppid=29139 vsize=10746276 memory=39004 CPUtime=0.68 cores=0,2,4,6
/proc/29142/task/29157/stat : 29157 (java) S 29139 29142 26463 0 -1 1077944384 991 0 0 0 33 35 0 0 20 0 16 0 415361809 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775383993264 139776155224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
[pid=29142/tid=29158] ppid=29139 vsize=10746276 memory=988 CPUtime=2394.62 cores=0,2,4,6
/proc/29142/task/29158/stat : 29158 (java) R 29139 29142 26463 0 -1 4202560 14316 0 0 0 239460 2 0 0 20 0 16 0 415361991 11004186624 46418 33554432000 4194304 4196468 140731915016208 139775366917712 139775773201849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140731915023371 140731915023474 140731915023474 140731915026383 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 185672 KiB

Child status: 143
Real time (s): 2396.71
CPU time (s): 2400.07
CPU user time (s): 2399.62
CPU system time (s): 0.444025
CPU usage (%): 100.14
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 185672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.62
system time used= 0.444025
maximum resident set size= 194628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54850
involuntary context switches= 3037


# summary of solver processes directly reported to runsolver:
#   pid: 29142
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.62
#   total CPU system time (s): 0.444025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0274 second user time and 17.7625 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-13 18:10:43
IDJOB=4391298
IDBENCH=137635
IDSOLVER=2833
FILE ID=node139/4391298-1568390940
RUNJOBID= node139-1568390578-28352
PBS_JOBID= 21701830
Free space on /tmp= 59548 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n2w4b2r1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391298-1568390940/watcher-4391298-1568390940 -o /tmp/evaluation-result-4391298-1568390940/solver-4391298-1568390940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568390578-28352 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391298-1568390940.xml -cm

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

MD5SUM BENCH= a404c513102fb879343dc63e509eedd5
RANDOM SEED=515781362

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        29741712 kB
MemAvailable:   30864520 kB
Buffers:          108880 kB
Cached:          1294772 kB
SwapCached:        74412 kB
Active:          1399060 kB
Inactive:        1044440 kB
Active(anon):     965960 kB
Inactive(anon):   114556 kB
Active(file):     433100 kB
Inactive(file):   929884 kB
Unevictable:      107868 kB
Mlocked:          107868 kB
SwapTotal:      67108860 kB
SwapFree:       66932052 kB
Dirty:              8804 kB
Writeback:             0 kB
AnonPages:       1074080 kB
Mapped:            56024 kB
Shmem:             32180 kB
Slab:             179884 kB
SReclaimable:     151316 kB
SUnreclaim:        28568 kB
KernelStack:        3984 kB
PageTables:         7292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2154248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    944128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59548 MiB
End job on node139 at 2019-09-13 18:50:40