Trace number 4390606

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.06 2514.91

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-154.xml
MD5SUM9c35d8cb8d03f0164c4f0b6ed4b5e670
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark369.492
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size524
Maximum domain size524
Distribution of domain sizes[{"size":524,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.44/1.89	
2.44/1.89	AbsCon 2 
2.66/1.91	
2.91/2.03	  Instance
2.91/2.03	    name=instance-4390606-1568383030, framework=CSP
2.91/2.03	
2.91/2.03	  Loading variables...
2.91/2.06	  Loading constraints...
3.80/2.33	
3.80/2.33	  Domains
3.80/2.33	    nTypes=1, nValues=26200, sizes=[524#50]
3.80/2.33	  Variables
3.80/2.33	    count=50, degrees=[25#48,26#1,27#1]
3.80/2.33	  Constraints
3.80/2.33	    count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.80/2.33	    distribution=[CtrIntension#351,LE#1]
3.80/2.33	    nIntStructures=(326,shared:25)
3.80/2.33	    wck=0.468, cpu=2.303, mem=68M794
3.80/2.33	  Solver SolverBacktrack being built...
3.80/2.33	
3.80/2.36	
3.80/2.36	  Solver
3.80/2.36	    guaranteedGAC=false
3.80/2.36	    wck=0.498, cpu=2.331, mem=82M79
3.80/2.38	
3.80/2.38	  Preprocessing
3.80/2.38	    filters=52, revisions=(53,useless=2), ccks=26811, nACremovedValues=4650, nTotalRemovedValues=4650, inconcistency=false
3.80/2.38	    wck=0.016, cpu=2.348, mem=82M79
3.80/2.38	
6.99/5.10	    num=0, depth=24..24, filters=501, revisions=(1514,useless=954), ccks=8827814, wck=2.738, mem=84M722
6.99/5.10	    decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
6.99/5.10	    
7.24/5.22	    num=1, depth=2..2, filters=525, revisions=(1562,useless=979), ccks=9240291, wck=2.863, mem=84M722
7.24/5.22	    decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
7.24/5.22	    
7.55/5.51	    num=2, depth=3..3, filters=551, revisions=(1666,useless=1056), ccks=10222523, wck=3.154, mem=87M364
7.55/5.51	    decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
7.55/5.51	    
9.18/7.17	    num=3, depth=23..23, filters=729, revisions=(3072,useless=2285), ccks=16019406, wck=4.812, mem=90M6
9.18/7.17	    decisions=144, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
9.18/7.17	    
10.08/8.06	    num=4, depth=5..5, filters=762, revisions=(3286,useless=2466), ccks=19065074, wck=5.703, mem=92M649
10.08/8.06	    decisions=177, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
10.08/8.06	    
16.38/14.37	    num=5, depth=1..1, filters=778, revisions=(4054,useless=3218), ccks=40087840, wck=12.009, mem=97M934
16.38/14.37	    decisions=210, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
16.38/14.37	    
16.68/14.66	    num=6, depth=3..3, filters=814, revisions=(4179,useless=3306), ccks=41060429, wck=12.296, mem=97M934
16.68/14.66	    decisions=247, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
16.68/14.66	    
17.19/15.11	    num=7, depth=2..2, filters=872, revisions=(4353,useless=3403), ccks=42572420, wck=12.749, mem=97M934
17.19/15.11	    decisions=287, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
17.19/15.11	    
17.19/15.12	    num=8, depth=3..3, filters=916, revisions=(4493,useless=3500), ccks=42615435, wck=12.762, mem=97M934
17.19/15.12	    decisions=332, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
17.19/15.12	    
17.42/15.38	    num=9, depth=3..3, filters=964, revisions=(4683,useless=3642), ccks=43495763, wck=13.022, mem=97M934
17.42/15.38	    decisions=381, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
17.42/15.38	    
17.54/15.42	    num=10, depth=3..3, filters=1016, revisions=(4843,useless=3749), ccks=43617174, wck=13.058, mem=100M576
17.54/15.42	    decisions=434, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
17.54/15.42	    
17.76/15.69	    num=11, depth=4..4, filters=1075, revisions=(5068,useless=3916), ccks=44532673, wck=13.329, mem=100M576
17.76/15.69	    decisions=494, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
17.76/15.69	    
18.18/16.06	    num=12, depth=3..3, filters=1138, revisions=(5304,useless=4089), ccks=45856330, wck=13.703, mem=103M219
18.18/16.06	    decisions=559, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
18.18/16.06	    
31.38/29.28	    num=13, depth=1..1, filters=1172, revisions=(6937,useless=5688), ccks=91161544, wck=26.923, mem=113M788
31.38/29.28	    decisions=628, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
31.38/29.28	    
31.68/29.56	    num=14, depth=3..3, filters=1248, revisions=(7145,useless=5819), ccks=92135933, wck=27.204, mem=116M431
31.68/29.56	    decisions=705, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
31.68/29.56	    
32.20/30.04	    num=15, depth=3..3, filters=1332, revisions=(7444,useless=6034), ccks=93727959, wck=27.68, mem=116M431
32.20/30.04	    decisions=790, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
32.20/30.04	    
49.60/47.46	    num=16, depth=1..1, filters=1377, revisions=(9605,useless=8150), ccks=153477744, wck=45.103, mem=132M285
49.60/47.46	    decisions=881, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
49.60/47.46	    
49.90/47.77	    num=17, depth=5..5, filters=1479, revisions=(10110,useless=8553), ccks=154508766, wck=45.409, mem=132M285
49.90/47.77	    decisions=986, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
49.90/47.77	    
52.11/50.00	    num=18, depth=19..19, filters=2540, revisions=(13946,useless=11328), ccks=162012761, wck=47.645, mem=47M249
52.11/50.00	    decisions=1115, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
52.11/50.00	    
54.70/52.44	    num=19, depth=18..18, filters=2991, revisions=(18139,useless=15042), ccks=170413849, wck=50.08, mem=57M607
54.70/52.44	    decisions=1255, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
54.70/52.44	    
54.80/52.59	    num=20, depth=7..7, filters=3184, revisions=(19030,useless=15740), ccks=170907777, wck=50.229, mem=57M607
54.80/52.59	    decisions=1396, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
54.80/52.59	    
55.72/53.48	    num=21, depth=7..7, filters=3414, revisions=(19926,useless=16406), ccks=173965104, wck=51.122, mem=62M786
55.72/53.48	    decisions=1551, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
55.72/53.48	    
57.03/54.77	    num=22, depth=7..7, filters=3637, revisions=(20969,useless=17225), ccks=178303319, wck=52.412, mem=65M376
57.03/54.77	    decisions=1720, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
57.03/54.77	    
58.23/55.92	    num=23, depth=17..19, filters=4137, revisions=(23797,useless=19553), ccks=182163986, wck=53.563, mem=75M734
58.23/55.92	    decisions=1917, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
58.23/55.92	    
58.43/56.18	    num=24, depth=12..12, filters=4443, revisions=(25765,useless=21215), ccks=183008631, wck=53.821, mem=80M913
58.43/56.18	    decisions=2125, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
58.43/56.18	    
60.34/58.04	    num=25, depth=5..5, filters=4695, revisions=(26839,useless=22037), ccks=189408719, wck=55.677, mem=83M503
60.34/58.04	    decisions=2346, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
60.34/58.04	    
102.35/100.02	    num=26, depth=1..1, filters=4814, revisions=(32552,useless=27631), ccks=333146447, wck=97.664, mem=124M935
102.35/100.02	    decisions=2585, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
102.35/100.02	    
103.04/100.72	    num=27, depth=3..17, filters=5286, revisions=(34468,useless=29074), ccks=335503628, wck=98.357, mem=130M115
103.04/100.72	    decisions=2864, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
103.04/100.72	    
103.45/101.11	    num=28, depth=12..23, filters=6126, revisions=(38611,useless=32376), ccks=336733679, wck=98.748, mem=143M62
103.45/101.11	    decisions=3175, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
103.45/101.11	    
103.95/101.64	    num=29, depth=13..27, filters=6957, revisions=(44517,useless=37450), ccks=338381169, wck=99.28, mem=158M600
103.95/101.64	    decisions=3518, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
103.95/101.64	    
106.19/103.85	    num=30, depth=21..22, filters=8276, revisions=(53149,useless=44709), ccks=345750985, wck=101.493, mem=50M47
106.19/103.85	    decisions=3895, wrong=1810, backtracks=4, failedAssignments=1806, nogoods=1661
106.19/103.85	    
106.90/104.53	    num=31, depth=16..28, filters=9269, revisions=(60354,useless=50921), ccks=347904331, wck=102.175, mem=70M912
106.90/104.53	    decisions=4305, wrong=2001, backtracks=4, failedAssignments=1997, nogoods=1852
106.90/104.53	    
107.31/104.99	    num=32, depth=11..16, filters=10080, revisions=(64615,useless=54371), ccks=349378183, wck=102.631, mem=81M344
107.31/104.99	    decisions=4743, wrong=2212, backtracks=4, failedAssignments=2208, nogoods=2063
107.31/104.99	    
108.06/105.68	    num=33, depth=15..19, filters=10996, revisions=(71232,useless=60072), ccks=351559319, wck=103.318, mem=99M600
108.06/105.68	    decisions=5226, wrong=2444, backtracks=4, failedAssignments=2440, nogoods=2295
108.06/105.68	    
108.76/106.36	    num=34, depth=7..13, filters=11879, revisions=(74950,useless=62907), ccks=353863604, wck=103.998, mem=110M33
108.76/106.36	    decisions=5749, wrong=2699, backtracks=4, failedAssignments=2695, nogoods=2550
108.76/106.36	    
110.57/108.12	    num=35, depth=3..24, filters=13041, revisions=(81056,useless=67851), ccks=359707358, wck=105.762, mem=128M289
110.57/108.12	    decisions=6335, wrong=2980, backtracks=4, failedAssignments=2976, nogoods=2831
110.57/108.12	    
112.88/110.44	    num=36, depth=10..24, filters=14171, revisions=(89293,useless=74957), ccks=367285516, wck=108.078, mem=151M761
112.88/110.44	    decisions=6977, wrong=3289, backtracks=4, failedAssignments=3285, nogoods=3140
112.88/110.44	    
114.21/111.70	    num=37, depth=11..25, filters=15695, revisions=(98895,useless=83034), ccks=371284274, wck=109.343, mem=47M689
114.21/111.70	    decisions=7682, wrong=3629, backtracks=4, failedAssignments=3625, nogoods=3480
114.21/111.70	    
115.04/112.54	    num=38, depth=17..23, filters=17493, revisions=(110853,useless=93192), ccks=373808003, wck=110.184, mem=79M130
115.04/112.54	    decisions=8453, wrong=4003, backtracks=4, failedAssignments=3999, nogoods=3854
115.04/112.54	    
157.66/155.19	    num=39, depth=14..17, filters=19773, revisions=(127341,useless=107386), ccks=519688939, wck=152.832, mem=160M352
157.66/155.19	    decisions=9306, wrong=4421, backtracks=11, failedAssignments=4410, nogoods=3958
157.66/155.19	    
158.98/156.42	    num=40, depth=10..24, filters=21740, revisions=(140518,useless=118595), ccks=523437444, wck=154.056, mem=63M344
158.98/156.42	    decisions=10234, wrong=4873, backtracks=11, failedAssignments=4862, nogoods=4410
158.98/156.42	    
160.70/158.02	    num=41, depth=9..34, filters=24069, revisions=(157203,useless=132951), ccks=528374898, wck=155.662, mem=109M895
160.70/158.02	    decisions=11262, wrong=5370, backtracks=11, failedAssignments=5359, nogoods=4907
160.70/158.02	    
249.09/246.30	    num=42, depth=11..12, filters=28874, revisions=(189477,useless=160411), ccks=828437779, wck=243.944, mem=129M600
249.09/246.30	    decisions=12386, wrong=5926, backtracks=20, failedAssignments=5906, nogoods=4939
249.09/246.30	    
250.90/248.16	    num=43, depth=13..29, filters=31729, revisions=(207509,useless=175588), ccks=834362453, wck=245.801, mem=172M940
250.90/248.16	    decisions=13619, wrong=6528, backtracks=20, failedAssignments=6508, nogoods=5541
250.90/248.16	    
252.93/250.18	    num=44, depth=15..29, filters=34412, revisions=(228796,useless=194193), ccks=840685377, wck=247.822, mem=100M805
252.93/250.18	    decisions=14972, wrong=7190, backtracks=20, failedAssignments=7170, nogoods=6203
252.93/250.18	    
254.46/251.67	    num=45, depth=8..31, filters=37005, revisions=(248090,useless=210895), ccks=845255092, wck=249.31, mem=148M509
254.46/251.67	    decisions=16459, wrong=7918, backtracks=20, failedAssignments=7898, nogoods=6931
254.46/251.67	    
256.97/254.03	    num=46, depth=12..34, filters=40481, revisions=(277037,useless=236367), ccks=852443531, wck=251.669, mem=102M596
256.97/254.03	    decisions=18095, wrong=8719, backtracks=20, failedAssignments=8699, nogoods=7732
256.97/254.03	    
264.69/261.70	    num=47, depth=12..29, filters=44054, revisions=(306695,useless=262452), ccks=877939961, wck=259.338, mem=65M404
264.69/261.70	    decisions=19888, wrong=9601, backtracks=21, failedAssignments=9580, nogoods=8537
264.69/261.70	    
273.83/270.83	    num=48, depth=12..37, filters=48545, revisions=(348033,useless=299256), ccks=907933496, wck=268.471, mem=58M39
273.83/270.83	    decisions=21867, wrong=10572, backtracks=22, failedAssignments=10550, nogoods=9431
273.83/270.83	    
287.84/284.86	    num=49, depth=8..32, filters=53598, revisions=(385756,useless=331904), ccks=955068841, wck=282.494, mem=165M554
287.84/284.86	    decisions=24035, wrong=11640, backtracks=23, failedAssignments=11617, nogoods=10417
287.84/284.86	    
326.40/323.32	    num=50, depth=9..18, filters=58624, revisions=(427634,useless=368713), ccks=1086595721, wck=320.962, mem=113M942
326.40/323.32	    decisions=26491, wrong=12859, backtracks=69, failedAssignments=12790, nogoods=11135
326.40/323.32	    
333.27/330.19	    num=51, depth=5..42, filters=63985, revisions=(480368,useless=416086), ccks=1108943464, wck=327.833, mem=120M23
333.27/330.19	    decisions=29117, wrong=14151, backtracks=70, failedAssignments=14081, nogoods=12408
333.27/330.19	    
340.80/337.66	    num=52, depth=10..32, filters=69809, revisions=(528057,useless=457940), ccks=1133299633, wck=335.297, mem=135M201
340.80/337.66	    decisions=31993, wrong=15573, backtracks=72, failedAssignments=15501, nogoods=13760
340.80/337.66	    
362.88/359.66	    num=53, depth=7..32, filters=76653, revisions=(583942,useless=506948), ccks=1208477153, wck=357.298, mem=91M179
362.88/359.66	    decisions=35197, wrong=17159, backtracks=97, failedAssignments=17063, nogoods=14986
362.88/359.66	    
375.88/372.59	    num=54, depth=5..34, filters=83014, revisions=(642950,useless=559594), ccks=1251659267, wck=370.229, mem=136M701
375.88/372.59	    decisions=38669, wrong=18878, backtracks=98, failedAssignments=18781, nogoods=16630
375.88/372.59	    
490.64/487.24	    num=55, depth=15..20, filters=100279, revisions=(744372,useless=643345), ccks=1637850521, wck=484.883, mem=98M976
490.64/487.24	    decisions=42570, wrong=20819, backtracks=150, failedAssignments=20671, nogoods=16771
490.64/487.24	    
498.21/494.72	    num=56, depth=9..36, filters=109970, revisions=(830523,useless=719804), ccks=1661070971, wck=492.365, mem=69M961
498.21/494.72	    decisions=46765, wrong=22899, backtracks=153, failedAssignments=22750, nogoods=18240
498.21/494.72	    
503.72/500.24	    num=57, depth=6..32, filters=118729, revisions=(908154,useless=788676), ccks=1678166314, wck=497.877, mem=111M211
503.72/500.24	    decisions=51374, wrong=25189, backtracks=157, failedAssignments=25037, nogoods=19484
503.72/500.24	    
510.94/507.41	    num=58, depth=9..37, filters=128702, revisions=(993384,useless=863932), ccks=1700221029, wck=505.055, mem=133M215
510.94/507.41	    decisions=56443, wrong=27705, backtracks=157, failedAssignments=27553, nogoods=22000
510.94/507.41	    
610.02/606.48	    num=59, depth=12..46, filters=142753, revisions=(1117225,useless=973497), ccks=2037663786, wck=604.121, mem=54M734
610.02/606.48	    decisions=62100, wrong=30511, backtracks=195, failedAssignments=30321, nogoods=23786
610.02/606.48	    
615.43/611.82	    num=60, depth=10..29, filters=152095, revisions=(1206110,useless=1053032), ccks=2054358963, wck=609.459, mem=92M694
615.43/611.82	    decisions=68219, wrong=33558, backtracks=206, failedAssignments=33365, nogoods=24946
615.43/611.82	    
833.07/829.32	    num=61, depth=3..19, filters=170642, revisions=(1344698,useless=1173077), ccks=2796735430, wck=826.961, mem=79M203
833.07/829.32	    decisions=75095, wrong=36988, backtracks=287, failedAssignments=36714, nogoods=25677
833.07/829.32	    
862.83/859.05	    num=62, depth=8..24, filters=177509, revisions=(1444416,useless=1265928), ccks=2893145070, wck=856.692, mem=68M498
862.83/859.05	    decisions=82487, wrong=40672, backtracks=327, failedAssignments=40398, nogoods=26697
862.83/859.05	    
1376.28/1372.29	    num=63, depth=8..15, filters=207153, revisions=(1660307,useless=1451880), ccks=4603708002, wck=1369.932, mem=99M143
1376.28/1372.29	    decisions=90935, wrong=44889, backtracks=493, failedAssignments=44450, nogoods=27011
1376.28/1372.29	    
1388.41/1384.33	    num=64, depth=7..27, filters=219202, revisions=(1779426,useless=1558949), ccks=4642452446, wck=1381.968, mem=77M677
1388.41/1384.33	    decisions=99870, wrong=49346, backtracks=533, failedAssignments=48907, nogoods=28129
1388.41/1384.33	    
1396.04/1391.91	    num=65, depth=3..26, filters=228591, revisions=(1899628,useless=1669898), ccks=4665989979, wck=1389.551, mem=102M890
1396.04/1391.91	    decisions=109703, wrong=54250, backtracks=597, failedAssignments=53810, nogoods=29540
1396.04/1391.91	    
1418.90/1414.72	    num=66, depth=6..31, filters=247270, revisions=(2073863,useless=1825454), ccks=4737862382, wck=1412.362, mem=69M931
1418.90/1414.72	    decisions=120527, wrong=59647, backtracks=604, failedAssignments=59204, nogoods=32509
1418.90/1414.72	    
1428.47/1424.28	    num=67, depth=12..30, filters=267753, revisions=(2245563,useless=1976671), ccks=4766261540, wck=1421.919, mem=81M27
1428.47/1424.28	    decisions=132441, wrong=65593, backtracks=636, failedAssignments=65137, nogoods=34066
1428.47/1424.28	    
2128.31/2123.78	    num=68, depth=5..25, filters=309255, revisions=(2594740,useless=2284350), ccks=7087450649, wck=2121.425, mem=74M71
2128.31/2123.78	    decisions=145724, wrong=72224, backtracks=743, failedAssignments=71663, nogoods=35383
2128.31/2123.78	    
2163.25/2158.63	    num=69, depth=11..21, filters=333232, revisions=(2770481,useless=2434120), ccks=7199160353, wck=2156.274, mem=75M435
2163.25/2158.63	    decisions=160107, wrong=79406, backtracks=949, failedAssignments=78842, nogoods=37126
2163.25/2158.63	    
2178.09/2173.46	    num=70, depth=8..27, filters=355659, revisions=(2987126,useless=2628234), ccks=7244422571, wck=2171.096, mem=87M462
2178.09/2173.46	    decisions=175934, wrong=87309, backtracks=1033, failedAssignments=86739, nogoods=38722
2178.09/2173.46	    
2189.53/2184.87	    num=71, depth=12..22, filters=376254, revisions=(3191440,useless=2811953), ccks=7278964158, wck=2182.515, mem=99M28
2189.53/2184.87	    decisions=193330, wrong=95997, backtracks=1093, failedAssignments=95426, nogoods=40107
2189.53/2184.87	    
2236.49/2231.76	    num=72, depth=9..17, filters=388297, revisions=(3330874,useless=2939344), ccks=7439806530, wck=2229.4, mem=53M751
2236.49/2231.76	    decisions=212458, wrong=105553, backtracks=1158, failedAssignments=104981, nogoods=41026
2236.49/2231.76	    
2336.18/2331.21	    num=73, depth=5..39, filters=437856, revisions=(3636231,useless=3200450), ccks=7770488472, wck=2328.849, mem=84M611
2336.18/2331.21	    decisions=233530, wrong=116071, backtracks=1308, failedAssignments=115492, nogoods=43575
2336.18/2331.21	    
2355.20/2350.22	    num=74, depth=8..18, filters=459274, revisions=(3817792,useless=3360592), ccks=7832685284, wck=2347.862, mem=106M267
2355.20/2350.22	    decisions=256670, wrong=127633, backtracks=1377, failedAssignments=127054, nogoods=44761
2355.20/2350.22	    
2422.56/2417.59	    num=75, depth=4..19, filters=477410, revisions=(3994800,useless=3519594), ccks=8056424976, wck=2415.232, mem=88M146
2422.56/2417.59	    decisions=282129, wrong=140354, backtracks=1500, failedAssignments=139772, nogoods=45588
2422.56/2417.59	    
2505.53/2500.43	    num=76, depth=5..19, filters=513750, revisions=(4259838,useless=3748389), ccks=8334167936, wck=2498.066, mem=101M876
2505.53/2500.43	    decisions=310304, wrong=154433, backtracks=1618, failedAssignments=153762, nogoods=46863
2505.53/2500.43

Verifier Data 

One s line expected

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 (14469 MiB free)
  memory of node 1: 16384 MiB (15743 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390606-1568383030/watcher-4390606-1568383030 -o /tmp/evaluation-result-4390606-1568383030/solver-4390606-1568383030 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568380474-19778 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390606-1568383030.xml -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=20209, runsolver pid=20206
Current StackSize limit: 8192 KiB


[startup+0.103272 s]*
/proc/loadavg: 1.70 1.83 1.76 3/228 20224
/proc/meminfo: memFree=30925112/32770624 swapFree=66966928/67108860
[pid=20209] ppid=20206 vsize=10659884 memory=29300 CPUtime=0.14 cores=0,2,4,6
/proc/20209/stat : 20209 (java) S 20206 20209 19747 0 -1 1077944320 5771 0 0 0 13 1 0 0 20 0 15 0 414569880 10915721216 7325 33554432000 4194304 4196468 140728388652304 140728388634848 140063942209271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
/proc/20209/statm: 2664971 7325 2912 1 0 2627468 0
[pid=20209/tid=20211] ppid=20206 vsize=10659884 memory=-8439527450518781933 CPUtime=0.1 cores=0,2,4,6
/proc/20209/task/20211/stat : 20211 (java) R 20206 20209 19747 0 -1 4202560 3222 0 0 0 9 1 0 0 20 0 15 0 414569880 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063946438232 140063926289758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20212] ppid=20206 vsize=10659884 memory=4211974338966171018 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20212/stat : 20212 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063868283920 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20213] ppid=20206 vsize=10659884 memory=140612761380480 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20213/stat : 20213 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063867231376 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20214] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20214/stat : 20214 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063866178320 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20215] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569882 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20217] ppid=20206 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20217/stat : 20217 (java) S 20206 20209 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569883 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063432180896 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20218] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20218/stat : 20218 (java) S 20206 20209 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569883 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063431127792 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20219] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20219/stat : 20219 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569885 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063430076368 140063942227867 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20220] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20220/stat : 20220 (java) S 20206 20209 19747 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 414569885 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063429024496 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20221] ppid=20206 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20221/stat : 20221 (java) R 20206 20209 19747 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 414569885 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063427971952 140063942220418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20222] ppid=20206 vsize=10659884 memory=140612761380480 CPUtime=0.03 cores=0,2,4,6
/proc/20209/task/20222/stat : 20222 (java) R 20206 20209 19747 0 -1 4202560 720 0 0 0 3 0 0 0 20 0 15 0 414569885 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063426914952 140063921607787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20223] ppid=20206 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20223/stat : 20223 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569885 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063425866592 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20224] ppid=20206 vsize=10659884 memory=140612761380480 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20224/stat : 20224 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569886 10915721216 7325 33554432000 4194304 4196468 140728388652304 140063424813616 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29300 KiB

[startup+0.210407 s]*
/proc/loadavg: 1.72 1.84 1.76 3/228 20224
/proc/meminfo: memFree=30918956/32770624 swapFree=66966928/67108860
[pid=20209] ppid=20206 vsize=10659884 memory=34876 CPUtime=0.32 cores=0,2,4,6
/proc/20209/stat : 20209 (java) S 20206 20209 19747 0 -1 1077944320 6839 0 0 0 31 1 0 0 20 0 15 0 414569880 10915721216 8719 33554432000 4194304 4196468 140728388652304 140728388634848 140063942209271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
/proc/20209/statm: 2664971 8719 2989 1 0 2627468 0
[pid=20209/tid=20211] ppid=20206 vsize=10659884 memory=7900017517374083699 CPUtime=0.2 cores=0,2,4,6
/proc/20209/task/20211/stat : 20211 (java) R 20206 20209 19747 0 -1 4202560 3877 0 0 0 19 1 0 0 20 0 15 0 414569880 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063946435632 140063942231197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20212] ppid=20206 vsize=10659884 memory=4211974338966171018 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20212/stat : 20212 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063868283920 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20213] ppid=20206 vsize=10659884 memory=140612761380480 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20213/stat : 20213 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063867231376 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20214] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20214/stat : 20214 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063866178320 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20215] ppid=20206 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10659884 memory=140612761380480 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569882 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20217] ppid=20206 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20217/stat : 20217 (java) S 20206 20209 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569883 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063432180896 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20218] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20218/stat : 20218 (java) S 20206 20209 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569883 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063431127792 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20219] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20219/stat : 20219 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569885 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063430076368 140063942227867 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20220] ppid=20206 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20209/task/20220/stat : 20220 (java) S 20206 20209 19747 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 414569885 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063429024496 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20221] ppid=20206 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20209/task/20221/stat : 20221 (java) S 20206 20209 19747 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 15 0 414569885 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063427971952 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20222] ppid=20206 vsize=10659884 memory=140612761380480 CPUtime=0.05 cores=0,2,4,6
/proc/20209/task/20222/stat : 20222 (java) S 20206 20209 19747 0 -1 1077944384 782 0 0 0 5 0 0 0 20 0 15 0 414569885 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063426918896 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20223] ppid=20206 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20223/stat : 20223 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569885 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063425866592 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20224] ppid=20206 vsize=10659884 memory=140612761380480 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20224/stat : 20224 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569886 10915721216 8719 33554432000 4194304 4196468 140728388652304 140063424813616 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34876 KiB

[startup+0.31006 s]*
/proc/loadavg: 1.72 1.84 1.76 3/228 20224
/proc/meminfo: memFree=30911132/32770624 swapFree=66966928/67108860
[pid=20209] ppid=20206 vsize=10659884 memory=40536 CPUtime=0.47 cores=0,2,4,6
/proc/20209/stat : 20209 (java) S 20206 20209 19747 0 -1 1077944320 9424 0 0 0 44 3 0 0 20 0 15 0 414569880 10915721216 10134 33554432000 4194304 4196468 140728388652304 140728388634848 140063942209271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
/proc/20209/statm: 2664971 10134 3036 1 0 2627468 0
[pid=20209/tid=20211] ppid=20206 vsize=10659884 memory=-5155634780447454526 CPUtime=0.3 cores=0,2,4,6
/proc/20209/task/20211/stat : 20211 (java) R 20206 20209 19747 0 -1 4202560 6350 0 0 0 28 2 0 0 20 0 15 0 414569880 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063946441072 140063942231197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20212] ppid=20206 vsize=10659884 memory=4211974338966171018 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20212/stat : 20212 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063868283920 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20213] ppid=20206 vsize=10659884 memory=140612761380480 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20213/stat : 20213 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063867231376 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20214] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20214/stat : 20214 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063866178320 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20215] ppid=20206 vsize=10659884 memory=140612598896159 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569881 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10659884 memory=281225197773856 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569882 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20217] ppid=20206 vsize=10659884 memory=140612598873103 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20217/stat : 20217 (java) S 20206 20209 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569883 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063432180896 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20218] ppid=20206 vsize=10659884 memory=281225360260480 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20218/stat : 20218 (java) S 20206 20209 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569883 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063431127792 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20219] ppid=20206 vsize=10659884 memory=140612598877711 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20219/stat : 20219 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569885 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063430076368 140063942227867 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20220] ppid=20206 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20209/task/20220/stat : 20220 (java) S 20206 20209 19747 0 -1 1077944384 455 0 0 0 4 0 0 0 20 0 15 0 414569885 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063429024496 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20221] ppid=20206 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/20209/task/20221/stat : 20221 (java) R 20206 20209 19747 0 -1 1077944384 443 0 0 0 4 0 0 0 20 0 15 0 414569885 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063427971952 140063942220418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20222] ppid=20206 vsize=10659884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20209/task/20222/stat : 20222 (java) R 20206 20209 19747 0 -1 4202560 816 0 0 0 8 0 0 0 20 0 15 0 414569885 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063426918896 140063934519508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20223] ppid=20206 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20223/stat : 20223 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569885 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063425866592 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20224] ppid=20206 vsize=10659884 memory=29300 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20224/stat : 20224 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569886 10915721216 10134 33554432000 4194304 4196468 140728388652304 140063424813616 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40536 KiB

[startup+0.701698 s]
/proc/loadavg: 1.72 1.84 1.76 3/228 20224
/proc/meminfo: memFree=30901232/32770624 swapFree=66966928/67108860
[pid=20209] ppid=20206 vsize=10661932 memory=64124 CPUtime=1.13 cores=0,2,4,6
/proc/20209/stat : 20209 (java) S 20206 20209 19747 0 -1 1077944320 13115 0 0 0 108 5 0 0 20 0 15 0 414569880 10917818368 16031 33554432000 4194304 4196468 140728388652304 140728388634848 140063942209271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
/proc/20209/statm: 2665483 16031 3073 1 0 2627980 0
[pid=20209/tid=20211] ppid=20206 vsize=10661932 memory=10484 CPUtime=0.68 cores=0,2,4,6
/proc/20209/task/20211/stat : 20211 (java) R 20206 20209 19747 0 -1 4202560 8906 0 0 0 64 4 0 0 20 0 15 0 414569880 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063946441296 140063922480993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20212] ppid=20206 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20212/stat : 20212 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063868283920 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20213] ppid=20206 vsize=10661932 memory=780 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20213/stat : 20213 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063867231376 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20214] ppid=20206 vsize=10661932 memory=7596540479531410752 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20214/stat : 20214 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063866178320 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20215] ppid=20206 vsize=10661932 memory=7380108234199885905 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569881 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10661932 memory=5788626802952987989 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569882 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20217] ppid=20206 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20217/stat : 20217 (java) S 20206 20209 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569883 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063432180896 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20218] ppid=20206 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20218/stat : 20218 (java) S 20206 20209 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569883 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063431127792 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20219] ppid=20206 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20219/stat : 20219 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569885 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063430076368 140063942227867 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20220] ppid=20206 vsize=10661932 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/20209/task/20220/stat : 20220 (java) R 20206 20209 19747 0 -1 4202560 811 0 0 0 14 0 0 0 20 0 15 0 414569885 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063429010464 140063942223120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20221] ppid=20206 vsize=10661932 memory=227439657640535 CPUtime=0.1 cores=0,2,4,6
/proc/20209/task/20221/stat : 20221 (java) S 20206 20209 19747 0 -1 1077944384 780 0 0 0 10 0 0 0 20 0 15 0 414569885 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063427971952 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20222] ppid=20206 vsize=10661932 memory=3545520603459238882 CPUtime=0.19 cores=0,2,4,6
/proc/20209/task/20222/stat : 20222 (java) S 20206 20209 19747 0 -1 1077944384 1258 0 0 0 19 0 0 0 20 0 15 0 414569885 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063426918896 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20223] ppid=20206 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20223/stat : 20223 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569885 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063425866592 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20224] ppid=20206 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20224/stat : 20224 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569886 10917818368 16031 33554432000 4194304 4196468 140728388652304 140063424813616 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64124 KiB

[startup+1.5007 s]
/proc/loadavg: 1.72 1.84 1.76 3/228 20224
/proc/meminfo: memFree=30885660/32770624 swapFree=66966928/67108860
[pid=20209] ppid=20206 vsize=10663980 memory=75856 CPUtime=2.03 cores=0,2,4,6
/proc/20209/stat : 20209 (java) S 20206 20209 19747 0 -1 1077944320 18642 0 0 0 197 6 0 0 20 0 15 0 414569880 10919915520 18964 33554432000 4194304 4196468 140728388652304 140728388634848 140063942209271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
/proc/20209/statm: 2665995 18964 3092 1 0 2628492 0
[pid=20209/tid=20211] ppid=20206 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/20209/task/20211/stat : 20211 (java) R 20206 20209 19747 0 -1 4202560 13099 0 0 0 143 5 0 0 20 0 15 0 414569880 10919915520 18964 33554432000 4194304 4196468 140728388652304 140063946435248 140063923772848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20212] ppid=20206 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20212/stat : 20212 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10919915520 18964 33554432000 4194304 4196468 140728388652304 140063868283920 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20213] ppid=20206 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20213/stat : 20213 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10919915520 18964 33554432000 4194304 4196468 140728388652304 140063867231376 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20214] ppid=20206 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20214/stat : 20214 (java) S 20206 20209 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569881 10919915520 18964 33554432000 4194304 4196468 140728388652304 140063866178320 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20215] ppid=20206 vsize=10663980 memory=140612598926304 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569881 10919915520 18964 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 414569882 10919915520 18964 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0

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

/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 4829 0 0 0 47 3 0 0 20 0 16 0 414569881 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10748324 memory=203172 CPUtime=0.14 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 6855 0 0 0 11 3 0 0 20 0 16 0 414569882 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20217] ppid=20206 vsize=10748324 memory=203172 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20217/stat : 20217 (java) S 20206 20209 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414569883 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063432180960 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20218] ppid=20206 vsize=10748324 memory=203172 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20218/stat : 20218 (java) S 20206 20209 19747 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414569883 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063431127808 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20219] ppid=20206 vsize=10748324 memory=203172 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20219/stat : 20219 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569885 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063430076368 140063942227867 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20220] ppid=20206 vsize=10748324 memory=203172 CPUtime=1.18 cores=0,2,4,6
/proc/20209/task/20220/stat : 20220 (java) S 20206 20209 19747 0 -1 1077944384 13557 0 0 0 117 1 0 0 20 0 16 0 414569885 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063429024496 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20221] ppid=20206 vsize=10748324 memory=203172 CPUtime=1.04 cores=0,2,4,6
/proc/20209/task/20221/stat : 20221 (java) S 20206 20209 19747 0 -1 1077944384 9347 0 0 0 103 1 0 0 20 0 16 0 414569885 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063427971952 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20222] ppid=20206 vsize=10748324 memory=203172 CPUtime=0.65 cores=0,2,4,6
/proc/20209/task/20222/stat : 20222 (java) S 20206 20209 19747 0 -1 1077944384 10538 0 0 0 64 1 0 0 20 0 16 0 414569885 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063426918896 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20223] ppid=20206 vsize=10748324 memory=203172 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20223/stat : 20223 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569885 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063425866592 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20224] ppid=20206 vsize=10748324 memory=203172 CPUtime=0.66 cores=0,2,4,6
/proc/20209/task/20224/stat : 20224 (java) S 20206 20209 19747 0 -1 1077944384 1457 0 0 0 30 36 0 0 20 0 16 0 414569886 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063424813616 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20225] ppid=20206 vsize=10748324 memory=203172 CPUtime=2439.69 cores=0,2,4,6
/proc/20209/task/20225/stat : 20225 (java) R 20206 20209 19747 0 -1 4202560 17463 0 0 0 243963 6 0 0 20 0 16 0 414570069 11006283776 50793 33554432000 4194304 4196468 140728388652304 140063408151968 140063536820160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
Current children cumulated CPU time: 2447.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 203172 KiB

[startup+2502.3 s]
/proc/loadavg: 1.84 1.84 1.86 3/229 20473
/proc/meminfo: memFree=30703748/32770624 swapFree=66966932/67108860
[pid=20209] ppid=20206 vsize=10748324 memory=203192 CPUtime=2507.43 cores=0,2,4,6
/proc/20209/stat : 20209 (java) S 20206 20209 19747 0 -1 1077944320 98579 0 0 0 250688 55 0 0 20 0 16 0 414569880 11006283776 50798 33554432000 4194304 4196468 140728388652304 140728388634848 140063942209271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
/proc/20209/statm: 2687081 50798 3379 1 0 2647217 0
[pid=20209/tid=20211] ppid=20206 vsize=10748324 memory=19272 CPUtime=1.87 cores=0,2,4,6
/proc/20209/task/20211/stat : 20211 (java) S 20206 20209 19747 0 -1 1077944384 15370 0 0 0 181 6 0 0 20 0 16 0 414569880 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063946452144 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20212] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20212/stat : 20212 (java) S 20206 20209 19747 0 -1 1077944384 6180 0 0 0 49 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063868283920 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20213] ppid=20206 vsize=10748324 memory=5840 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20213/stat : 20213 (java) S 20206 20209 19747 0 -1 1077944384 7101 0 0 0 50 2 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063867231376 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20214] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20214/stat : 20214 (java) S 20206 20209 19747 0 -1 1077944384 3879 0 0 0 49 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063866178320 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20215] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.51 cores=0,2,4,6
/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 4879 0 0 0 48 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.16 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 7033 0 0 0 12 4 0 0 20 0 16 0 414569882 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20217] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20217/stat : 20217 (java) S 20206 20209 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414569883 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063432180960 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20218] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20218/stat : 20218 (java) S 20206 20209 19747 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414569883 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063431127808 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20219] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20219/stat : 20219 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063430076368 140063942227867 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20220] ppid=20206 vsize=10748324 memory=203172 CPUtime=1.18 cores=0,2,4,6
/proc/20209/task/20220/stat : 20220 (java) S 20206 20209 19747 0 -1 1077944384 13560 0 0 0 117 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063429024496 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20221] ppid=20206 vsize=10748324 memory=203192 CPUtime=1.04 cores=0,2,4,6
/proc/20209/task/20221/stat : 20221 (java) S 20206 20209 19747 0 -1 1077944384 9349 0 0 0 103 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063427971952 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20222] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.65 cores=0,2,4,6
/proc/20209/task/20222/stat : 20222 (java) S 20206 20209 19747 0 -1 1077944384 10594 0 0 0 64 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063426918896 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20223] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20223/stat : 20223 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063425866592 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20224] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.67 cores=0,2,4,6
/proc/20209/task/20224/stat : 20224 (java) S 20206 20209 19747 0 -1 1077944384 1461 0 0 0 30 37 0 0 20 0 16 0 414569886 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063424813616 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20225] ppid=20206 vsize=10748324 memory=203192 CPUtime=2499.67 cores=0,2,4,6
/proc/20209/task/20225/stat : 20225 (java) R 20206 20209 19747 0 -1 4202560 17769 0 0 0 249961 6 0 0 20 0 16 0 414570069 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063408143824 140063536820227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
Current children cumulated CPU time: 2507.43 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 203192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.9 s]
/proc/loadavg: 1.87 1.85 1.86 3/229 20552
/proc/meminfo: memFree=30847176/32770624 swapFree=66966932/67108860
[pid=20209] ppid=20206 vsize=10748324 memory=203192 CPUtime=2520.04 cores=0,2,4,6
/proc/20209/stat : 20209 (java) S 20206 20209 19747 0 -1 1077944320 98610 0 0 0 251949 55 0 0 20 0 16 0 414569880 11006283776 50798 33554432000 4194304 4196468 140728388652304 140728388634848 140063942209271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
/proc/20209/statm: 2687081 50798 3379 1 0 2647217 0
[pid=20209/tid=20211] ppid=20206 vsize=10748324 memory=203192 CPUtime=1.87 cores=0,2,4,6
/proc/20209/task/20211/stat : 20211 (java) S 20206 20209 19747 0 -1 1077944384 15370 0 0 0 181 6 0 0 20 0 16 0 414569880 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063946452144 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20212] ppid=20206 vsize=10748324 memory=281225199175232 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20212/stat : 20212 (java) S 20206 20209 19747 0 -1 1077944384 6183 0 0 0 49 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063868283920 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20213] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20213/stat : 20213 (java) S 20206 20209 19747 0 -1 1077944384 7101 0 0 0 50 2 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063867231376 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20214] ppid=20206 vsize=10748324 memory=281225199739696 CPUtime=0.53 cores=0,2,4,6
/proc/20209/task/20214/stat : 20214 (java) S 20206 20209 19747 0 -1 1077944384 3885 0 0 0 50 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063866178320 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20215] ppid=20206 vsize=10748324 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 4879 0 0 0 49 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.16 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 7035 0 0 0 12 4 0 0 20 0 16 0 414569882 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20217] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20217/stat : 20217 (java) S 20206 20209 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414569883 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063432180960 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20218] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20218/stat : 20218 (java) S 20206 20209 19747 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414569883 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063431127808 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20219] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20219/stat : 20219 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063430076368 140063942227867 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20220] ppid=20206 vsize=10748324 memory=203192 CPUtime=1.18 cores=0,2,4,6
/proc/20209/task/20220/stat : 20220 (java) S 20206 20209 19747 0 -1 1077944384 13560 0 0 0 117 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063429024496 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20221] ppid=20206 vsize=10748324 memory=173662707686896 CPUtime=1.04 cores=0,2,4,6
/proc/20209/task/20221/stat : 20221 (java) S 20206 20209 19747 0 -1 1077944384 9349 0 0 0 103 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063427971952 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20222] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.65 cores=0,2,4,6
/proc/20209/task/20222/stat : 20222 (java) S 20206 20209 19747 0 -1 1077944384 10594 0 0 0 64 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063426918896 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20223] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20223/stat : 20223 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063425866592 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20224] ppid=20206 vsize=10748324 memory=984 CPUtime=0.68 cores=0,2,4,6
/proc/20209/task/20224/stat : 20224 (java) S 20206 20209 19747 0 -1 1077944384 1463 0 0 0 30 38 0 0 20 0 16 0 414569886 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063424813616 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20225] ppid=20206 vsize=10748324 memory=203192 CPUtime=2512.26 cores=0,2,4,6
/proc/20209/task/20225/stat : 20225 (java) R 20206 20209 19747 0 -1 4202560 17787 0 0 0 251220 6 0 0 20 0 16 0 414570069 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063408151984 140063537091428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 203192 KiB

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

[startup+2514.91 s]
# the end of solver process 20209 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.5 s, system=0.557109 s

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

[startup+2514.9 s]
/proc/loadavg: 1.87 1.85 1.86 3/229 20552
/proc/meminfo: memFree=30847176/32770624 swapFree=66966932/67108860
[pid=20209] ppid=20206 vsize=10748324 memory=203192 CPUtime=2520.04 cores=0,2,4,6
/proc/20209/stat : 20209 (java) S 20206 20209 19747 0 -1 1077944320 98610 0 0 0 251949 55 0 0 20 0 16 0 414569880 11006283776 50798 33554432000 4194304 4196468 140728388652304 140728388634848 140063942209271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
/proc/20209/statm: 2687081 50798 3379 1 0 2647217 0
[pid=20209/tid=20211] ppid=20206 vsize=10748324 memory=203192 CPUtime=1.87 cores=0,2,4,6
/proc/20209/task/20211/stat : 20211 (java) S 20206 20209 19747 0 -1 1077944384 15370 0 0 0 181 6 0 0 20 0 16 0 414569880 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063946452144 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20212] ppid=20206 vsize=10748324 memory=281225199175232 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20212/stat : 20212 (java) S 20206 20209 19747 0 -1 1077944384 6183 0 0 0 49 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063868283920 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20213] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20213/stat : 20213 (java) S 20206 20209 19747 0 -1 1077944384 7101 0 0 0 50 2 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063867231376 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20214] ppid=20206 vsize=10748324 memory=281225199739696 CPUtime=0.53 cores=0,2,4,6
/proc/20209/task/20214/stat : 20214 (java) S 20206 20209 19747 0 -1 1077944384 3885 0 0 0 50 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063866178320 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20215] ppid=20206 vsize=10748324 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/20209/task/20215/stat : 20215 (java) S 20206 20209 19747 0 -1 1077944384 4879 0 0 0 49 3 0 0 20 0 16 0 414569881 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063865125776 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20216] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.16 cores=0,2,4,6
/proc/20209/task/20216/stat : 20216 (java) S 20206 20209 19747 0 -1 1077944384 7035 0 0 0 12 4 0 0 20 0 16 0 414569882 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063433234672 140063942220418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20217] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20217/stat : 20217 (java) S 20206 20209 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414569883 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063432180960 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20218] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20218/stat : 20218 (java) S 20206 20209 19747 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414569883 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063431127808 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20219] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20219/stat : 20219 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063430076368 140063942227867 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20220] ppid=20206 vsize=10748324 memory=203192 CPUtime=1.18 cores=0,2,4,6
/proc/20209/task/20220/stat : 20220 (java) S 20206 20209 19747 0 -1 1077944384 13560 0 0 0 117 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063429024496 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20221] ppid=20206 vsize=10748324 memory=173662707686896 CPUtime=1.04 cores=0,2,4,6
/proc/20209/task/20221/stat : 20221 (java) S 20206 20209 19747 0 -1 1077944384 9349 0 0 0 103 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063427971952 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20222] ppid=20206 vsize=10748324 memory=203192 CPUtime=0.65 cores=0,2,4,6
/proc/20209/task/20222/stat : 20222 (java) S 20206 20209 19747 0 -1 1077944384 10594 0 0 0 64 1 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063426918896 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20223] ppid=20206 vsize=10748324 memory=203192 CPUtime=0 cores=0,2,4,6
/proc/20209/task/20223/stat : 20223 (java) S 20206 20209 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569885 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063425866592 140063942219477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20224] ppid=20206 vsize=10748324 memory=984 CPUtime=0.68 cores=0,2,4,6
/proc/20209/task/20224/stat : 20224 (java) S 20206 20209 19747 0 -1 1077944384 1463 0 0 0 30 38 0 0 20 0 16 0 414569886 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063424813616 140063942220418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
[pid=20209/tid=20225] ppid=20206 vsize=10748324 memory=203192 CPUtime=2512.26 cores=0,2,4,6
/proc/20209/task/20225/stat : 20225 (java) R 20206 20209 19747 0 -1 4202560 17787 0 0 0 251220 6 0 0 20 0 16 0 414570069 11006283776 50798 33554432000 4194304 4196468 140728388652304 140063408151984 140063537091428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140728388654091 140728388654194 140728388654194 140728388657103 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 203192 KiB

Child status: 143
Real time (s): 2514.91
CPU time (s): 2520.06
CPU user time (s): 2519.5
CPU system time (s): 0.557109
CPU usage (%): 100.205
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 287080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.557109
maximum resident set size= 287084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59753
involuntary context switches= 2776


# summary of solver processes directly reported to runsolver:
#   pid: 20209
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.5
#   total CPU system time (s): 0.557109

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6727 second user time and 20.5539 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-13 15:56:28
IDJOB=4390606
IDBENCH=127806
IDSOLVER=2832
FILE ID=node125/4390606-1568383030
RUNJOBID= node125-1568380474-19778
PBS_JOBID= 21701839
Free space on /tmp= 57372 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-154.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390606-1568383030/watcher-4390606-1568383030 -o /tmp/evaluation-result-4390606-1568383030/solver-4390606-1568383030 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568380474-19778 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390606-1568383030.xml -cm

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

MD5SUM BENCH= 9c35d8cb8d03f0164c4f0b6ed4b5e670
RANDOM SEED=1895445107

node125.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.29
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.29
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.29
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.29
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:        30941568 kB
MemAvailable:   31719076 kB
Buffers:           93972 kB
Cached:           978132 kB
SwapCached:        38212 kB
Active:           729496 kB
Inactive:         545280 kB
Active(anon):     182892 kB
Inactive(anon):    59496 kB
Active(file):     546604 kB
Inactive(file):   485784 kB
Unevictable:      109160 kB
Mlocked:          109160 kB
SwapTotal:      67108860 kB
SwapFree:       66966928 kB
Dirty:             17452 kB
Writeback:             0 kB
AnonPages:        366868 kB
Mapped:            56156 kB
Shmem:             31160 kB
Slab:             150172 kB
SReclaimable:     121908 kB
SUnreclaim:        28264 kB
KernelStack:        4016 kB
PageTables:         5936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1259092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 57360 MiB
End job on node125 at 2019-09-13 16:38:23