Trace number 4390731

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.11 2516.12

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-30-098.xml
MD5SUMfb27cd1d2814d0f1760e6f4b9d041fef
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 benchmark153.956
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints435
Number of domains30
Minimum domain size69
Maximum domain size98
Distribution of domain sizes[{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2},{"size":93,"count":2},{"size":94,"count":2},{"size":95,"count":2},{"size":96,"count":2},{"size":97,"count":2},{"size":98,"count":2}]
Minimum variable degree29
Maximum variable degree29
Distribution of variable degrees[{"degree":29,"count":60}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":435}]
Number of extensional constraints0
Number of intensional constraints435
Distribution of constraint types[{"type":"intension","count":435}]
Optimization problemNO
Type of objective

Solver Data 

2.39/1.88	
2.39/1.88	AbsCon 2 
2.63/1.90	
3.23/2.11	  Instance
3.23/2.11	    name=instance-4390731-1568387891, framework=CSP
3.23/2.11	
3.23/2.11	  Loading variables...
3.23/2.15	  Loading constraints...
4.52/2.51	
4.52/2.51	  Domains
4.52/2.51	    nTypes=30, nValues=5010, sizes=[69#2,70#2,71#2,72#2...95#2,96#2,97#2,98#2]
4.52/2.51	  Variables
4.52/2.51	    count=60, degrees=[29#60]
4.52/2.51	  Constraints
4.52/2.51	    count=435, arities=[4#435]
4.52/2.51	    distribution=[CtrIntension#435]
4.52/2.51	    nIntStructures=(435,shared:0)
4.52/2.51	    wck=0.653, cpu=2.478, mem=92M573
4.52/2.51	  Solver SolverBacktrack being built...
4.52/2.51	
4.52/2.54	
4.52/2.54	  Solver
4.52/2.54	    guaranteedGAC=false
4.52/2.54	    wck=0.686, cpu=2.51, mem=103M216
4.52/2.54	
4.52/2.54	  Preprocessing
4.52/2.54	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.52/2.54	    wck=0.001, cpu=2.512, mem=103M216
4.52/2.54	
5.37/3.11	    num=0, depth=38..38, filters=617, revisions=(8277,useless=7620), ccks=1351310, wck=0.565, mem=105M858
5.37/3.11	    decisions=58, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.37/3.11	    
5.80/3.46	    num=1, depth=28..28, filters=790, revisions=(12812,useless=11974), ccks=2260228, wck=0.923, mem=105M858
5.80/3.46	    decisions=108, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.80/3.46	    
5.95/3.59	    num=2, depth=28..28, filters=947, revisions=(16885,useless=15881), ccks=2600823, wck=1.048, mem=105M858
5.95/3.59	    decisions=160, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
5.95/3.59	    
6.16/3.78	    num=3, depth=12..12, filters=1043, revisions=(19220,useless=18120), ccks=3230413, wck=1.238, mem=105M858
6.16/3.78	    decisions=198, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
6.16/3.78	    
6.37/3.94	    num=4, depth=11..11, filters=1097, revisions=(21303,useless=20149), ccks=3814142, wck=1.405, mem=108M500
6.37/3.94	    decisions=237, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
6.37/3.94	    
6.59/4.13	    num=5, depth=10..10, filters=1154, revisions=(23767,useless=22556), ccks=4451011, wck=1.587, mem=108M500
6.59/4.13	    decisions=279, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
6.59/4.13	    
6.78/4.32	    num=6, depth=11..11, filters=1218, revisions=(26554,useless=25278), ccks=5130462, wck=1.783, mem=108M500
6.78/4.32	    decisions=324, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
6.78/4.32	    
6.92/4.49	    num=7, depth=12..12, filters=1308, revisions=(29691,useless=28324), ccks=5709781, wck=1.952, mem=108M500
6.92/4.49	    decisions=374, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
6.92/4.49	    
7.93/5.48	    num=8, depth=9..10, filters=1436, revisions=(36014,useless=34517), ccks=9290445, wck=2.939, mem=108M500
7.93/5.48	    decisions=428, wrong=134, backtracks=1, failedAssignments=133, nogoods=116
7.93/5.48	    
8.25/5.76	    num=9, depth=9..10, filters=1548, revisions=(40625,useless=39003), ccks=10274951, wck=3.223, mem=111M143
8.25/5.76	    decisions=486, wrong=158, backtracks=2, failedAssignments=156, nogoods=128
8.25/5.76	    
9.05/6.59	    num=10, depth=31..33, filters=1872, revisions=(47344,useless=45395), ccks=13132374, wck=4.055, mem=111M143
9.05/6.59	    decisions=569, wrong=183, backtracks=2, failedAssignments=181, nogoods=153
9.05/6.59	    
10.57/8.07	    num=11, depth=11..13, filters=2253, revisions=(59434,useless=57076), ccks=18443756, wck=5.526, mem=113M785
10.57/8.07	    decisions=644, wrong=215, backtracks=6, failedAssignments=209, nogoods=157
10.57/8.07	    
11.16/8.61	    num=12, depth=13..16, filters=2409, revisions=(64619,useless=62102), ccks=20377446, wck=6.066, mem=113M785
11.16/8.61	    decisions=723, wrong=247, backtracks=7, failedAssignments=240, nogoods=184
11.16/8.61	    
12.07/9.54	    num=13, depth=11..12, filters=2568, revisions=(72506,useless=69821), ccks=23719099, wck=6.999, mem=113M785
12.07/9.54	    decisions=809, wrong=284, backtracks=10, failedAssignments=274, nogoods=192
12.07/9.54	    
12.47/9.94	    num=14, depth=13..14, filters=2826, revisions=(82556,useless=79603), ccks=25072975, wck=7.396, mem=113M785
12.47/9.94	    decisions=901, wrong=323, backtracks=12, failedAssignments=311, nogoods=203
12.47/9.94	    
14.58/12.04	    num=15, depth=10..11, filters=3153, revisions=(95571,useless=92276), ccks=32687655, wck=9.496, mem=113M785
14.58/12.04	    decisions=1002, wrong=368, backtracks=16, failedAssignments=352, nogoods=211
14.58/12.04	    
14.88/12.36	    num=16, depth=9..11, filters=3406, revisions=(106702,useless=103152), ccks=33782992, wck=9.824, mem=113M785
14.88/12.36	    decisions=1106, wrong=415, backtracks=18, failedAssignments=397, nogoods=220
14.88/12.36	    
16.69/14.18	    num=17, depth=9..12, filters=3680, revisions=(119525,useless=115697), ccks=40327084, wck=11.637, mem=113M785
16.69/14.18	    decisions=1223, wrong=468, backtracks=21, failedAssignments=447, nogoods=224
16.69/14.18	    
17.19/14.60	    num=18, depth=9..17, filters=3971, revisions=(125570,useless=121449), ccks=41802835, wck=12.063, mem=113M785
17.19/14.60	    decisions=1350, wrong=523, backtracks=21, failedAssignments=502, nogoods=279
17.19/14.60	    
17.60/15.10	    num=19, depth=9..15, filters=4227, revisions=(132038,useless=127659), ccks=43550975, wck=12.564, mem=113M785
17.60/15.10	    decisions=1487, wrong=584, backtracks=21, failedAssignments=563, nogoods=340
17.60/15.10	    
19.51/16.97	    num=20, depth=8..9, filters=4550, revisions=(147580,useless=142874), ccks=50264738, wck=14.429, mem=113M785
19.51/16.97	    decisions=1636, wrong=654, backtracks=24, failedAssignments=630, nogoods=348
19.51/16.97	    
20.12/17.59	    num=21, depth=10..17, filters=4776, revisions=(154362,useless=149429), ccks=52456271, wck=15.051, mem=113M785
20.12/17.59	    decisions=1801, wrong=728, backtracks=24, failedAssignments=704, nogoods=422
20.12/17.59	    
21.22/18.67	    num=22, depth=4..17, filters=5122, revisions=(165885,useless=160605), ccks=56243138, wck=16.127, mem=113M785
21.22/18.67	    decisions=1982, wrong=810, backtracks=25, failedAssignments=785, nogoods=485
21.22/18.67	    
22.12/19.58	    num=23, depth=5..8, filters=5566, revisions=(183568,useless=177832), ccks=59403951, wck=17.042, mem=113M785
22.12/19.58	    decisions=2174, wrong=902, backtracks=29, failedAssignments=874, nogoods=503
22.12/19.58	    
22.93/20.36	    num=24, depth=10..22, filters=5974, revisions=(193173,useless=187028), ccks=62151973, wck=17.821, mem=113M785
22.93/20.36	    decisions=2392, wrong=1000, backtracks=29, failedAssignments=972, nogoods=601
22.93/20.36	    
24.03/21.45	    num=25, depth=9..12, filters=7117, revisions=(226088,useless=218744), ccks=65817518, wck=18.907, mem=116M428
24.03/21.45	    decisions=2626, wrong=1112, backtracks=33, failedAssignments=1080, nogoods=615
24.03/21.45	    
25.75/23.12	    num=26, depth=8..20, filters=7668, revisions=(239984,useless=232069), ccks=71768102, wck=20.577, mem=116M428
25.75/23.12	    decisions=2886, wrong=1232, backtracks=34, failedAssignments=1199, nogoods=720
25.75/23.12	    
31.15/28.51	    num=27, depth=11..12, filters=8440, revisions=(272947,useless=264225), ccks=91252076, wck=25.965, mem=116M428
31.15/28.51	    decisions=3189, wrong=1378, backtracks=49, failedAssignments=1330, nogoods=747
31.15/28.51	    
32.15/29.54	    num=28, depth=11..21, filters=9098, revisions=(290965,useless=281571), ccks=94852042, wck=27.005, mem=116M428
32.15/29.54	    decisions=3504, wrong=1525, backtracks=52, failedAssignments=1474, nogoods=866
32.15/29.54	    
40.15/37.59	    num=29, depth=10..12, filters=10868, revisions=(346892,useless=335646), ccks=123922549, wck=35.051, mem=116M428
40.15/37.59	    decisions=3863, wrong=1699, backtracks=69, failedAssignments=1632, nogoods=878
40.15/37.59	    
42.66/40.09	    num=30, depth=13..17, filters=12251, revisions=(386773,useless=374095), ccks=132663643, wck=37.548, mem=119M70
42.66/40.09	    decisions=4257, wrong=1889, backtracks=87, failedAssignments=1806, nogoods=929
42.66/40.09	    
53.86/51.23	    num=31, depth=10..12, filters=13781, revisions=(440221,useless=425974), ccks=173084533, wck=48.691, mem=119M70
53.86/51.23	    decisions=4674, wrong=2092, backtracks=100, failedAssignments=1997, nogoods=948
53.86/51.23	    
55.97/53.31	    num=32, depth=6..7, filters=14869, revisions=(489563,useless=474189), ccks=180184019, wck=50.77, mem=119M70
55.97/53.31	    decisions=5155, wrong=2329, backtracks=126, failedAssignments=2208, nogoods=1006
55.97/53.31	    
57.57/54.93	    num=33, depth=11..36, filters=15925, revisions=(510472,useless=494041), ccks=185868412, wck=52.394, mem=119M70
57.57/54.93	    decisions=5655, wrong=2561, backtracks=126, failedAssignments=2440, nogoods=1238
57.57/54.93	    
59.17/56.59	    num=34, depth=10..36, filters=17033, revisions=(533636,useless=516096), ccks=191658691, wck=54.045, mem=121M713
59.17/56.59	    decisions=6201, wrong=2816, backtracks=126, failedAssignments=2695, nogoods=1493
59.17/56.59	    
63.78/61.16	    num=35, depth=9..12, filters=19366, revisions=(618273,useless=598336), ccks=207561459, wck=58.617, mem=121M713
63.78/61.16	    decisions=6821, wrong=3121, backtracks=152, failedAssignments=2976, nogoods=1513
63.78/61.16	    
65.68/63.03	    num=36, depth=10..44, filters=20838, revisions=(645760,useless=624350), ccks=214133347, wck=60.49, mem=121M713
65.68/63.03	    decisions=7483, wrong=3430, backtracks=152, failedAssignments=3285, nogoods=1822
65.68/63.03	    
67.18/64.54	    num=37, depth=9..44, filters=22646, revisions=(678144,useless=654900), ccks=219278792, wck=62.002, mem=124M355
67.18/64.54	    decisions=8223, wrong=3778, backtracks=162, failedAssignments=3625, nogoods=2082
67.18/64.54	    
68.79/66.13	    num=38, depth=12..50, filters=24477, revisions=(709210,useless=684133), ccks=224725368, wck=63.587, mem=124M355
68.79/66.13	    decisions=9021, wrong=4152, backtracks=162, failedAssignments=3999, nogoods=2456
68.79/66.13	    
74.13/71.49	    num=39, depth=10..12, filters=27455, revisions=(811789,useless=783613), ccks=243316862, wck=68.954, mem=126M998
74.13/71.49	    decisions=9944, wrong=4608, backtracks=214, failedAssignments=4410, nogoods=2466
74.13/71.49	    
77.13/74.31	    num=40, depth=8..48, filters=29394, revisions=(850656,useless=820541), ccks=253253781, wck=71.775, mem=126M998
77.13/74.31	    decisions=10896, wrong=5060, backtracks=214, failedAssignments=4862, nogoods=2918
77.13/74.31	    
86.89/84.06	    num=41, depth=9..14, filters=32714, revisions=(960551,useless=927025), ccks=287734966, wck=81.519, mem=129M640
86.89/84.06	    decisions=12037, wrong=5624, backtracks=283, failedAssignments=5359, nogoods=2983
86.89/84.06	    
88.90/86.03	    num=42, depth=14..50, filters=35257, revisions=(1005382,useless=969313), ccks=294514440, wck=83.487, mem=129M640
88.90/86.03	    decisions=13184, wrong=6174, backtracks=286, failedAssignments=5906, nogoods=3426
88.90/86.03	    
90.79/87.91	    num=43, depth=12..52, filters=38205, revisions=(1056003,useless=1016986), ccks=300818216, wck=85.371, mem=132M282
90.79/87.91	    decisions=14440, wrong=6776, backtracks=286, failedAssignments=6508, nogoods=4028
90.79/87.91	    
124.40/121.59	    num=44, depth=11..13, filters=46591, revisions=(1269837,useless=1222219), ccks=422777738, wck=119.047, mem=137M567
124.40/121.59	    decisions=15906, wrong=7503, backtracks=352, failedAssignments=7170, nogoods=4046
124.40/121.59	    
126.90/124.09	    num=45, depth=13..45, filters=49956, revisions=(1330262,useless=1279276), ccks=431280995, wck=121.548, mem=140M210
126.90/124.09	    decisions=17410, wrong=8234, backtracks=355, failedAssignments=7898, nogoods=4586
126.90/124.09	    
129.54/126.65	    num=46, depth=11..38, filters=53579, revisions=(1396045,useless=1341436), ccks=439900196, wck=124.108, mem=142M778
129.54/126.65	    decisions=19055, wrong=9039, backtracks=360, failedAssignments=8699, nogoods=5039
129.54/126.65	    
136.48/133.50	    num=47, depth=13..35, filters=57803, revisions=(1483367,useless=1424508), ccks=464099823, wck=130.962, mem=142M778
136.48/133.50	    decisions=20888, wrong=9940, backtracks=381, failedAssignments=9580, nogoods=5394
136.48/133.50	    
140.59/137.51	    num=48, depth=16..34, filters=61575, revisions=(1561878,useless=1499247), ccks=478012866, wck=134.973, mem=30M731
140.59/137.51	    decisions=22895, wrong=10928, backtracks=402, failedAssignments=10550, nogoods=5705
140.59/137.51	    
146.49/143.47	    num=49, depth=17..32, filters=65878, revisions=(1652305,useless=1585369), ccks=499064815, wck=140.931, mem=33M295
146.49/143.47	    decisions=25084, wrong=12008, backtracks=417, failedAssignments=11617, nogoods=5918
146.49/143.47	    
160.99/157.96	    num=50, depth=12..14, filters=85159, revisions=(2096115,useless=2009012), ccks=548640337, wck=155.417, mem=40M984
160.99/157.96	    decisions=27803, wrong=13361, backtracks=608, failedAssignments=12790, nogoods=5940
160.99/157.96	    
166.89/163.89	    num=51, depth=10..33, filters=90375, revisions=(2201078,useless=2108678), ccks=569484989, wck=161.353, mem=43M547
166.89/163.89	    decisions=30454, wrong=14673, backtracks=638, failedAssignments=14081, nogoods=6196
166.89/163.89	    
172.20/169.12	    num=52, depth=10..34, filters=96391, revisions=(2318460,useless=2220030), ccks=587481310, wck=166.576, mem=48M673
172.20/169.12	    decisions=33352, wrong=16106, backtracks=655, failedAssignments=15501, nogoods=6533
172.20/169.12	    
177.43/174.38	    num=53, depth=11..55, filters=103014, revisions=(2442846,useless=2337792), ccks=605602635, wck=171.838, mem=51M237
177.43/174.38	    decisions=36574, wrong=17702, backtracks=696, failedAssignments=17063, nogoods=6826
177.43/174.38	    
185.55/182.43	    num=54, depth=13..32, filters=110562, revisions=(2596616,useless=2484014), ccks=633562218, wck=179.891, mem=56M363
185.55/182.43	    decisions=40088, wrong=19450, backtracks=730, failedAssignments=18781, nogoods=6985
185.55/182.43	    
195.95/192.85	    num=55, depth=12..24, filters=118540, revisions=(2767199,useless=2646469), ccks=670148300, wck=190.313, mem=61M489
195.95/192.85	    decisions=43967, wrong=21380, backtracks=780, failedAssignments=20671, nogoods=7149
195.95/192.85	    
211.79/208.67	    num=56, depth=14..22, filters=123696, revisions=(2966065,useless=2840133), ccks=726486623, wck=206.13, mem=64M52
211.79/208.67	    decisions=48176, wrong=23474, backtracks=863, failedAssignments=22750, nogoods=7268
211.79/208.67	    
258.90/255.79	    num=57, depth=4..24, filters=132467, revisions=(3266570,useless=3131773), ccks=896781252, wck=253.247, mem=69M179
258.90/255.79	    decisions=52943, wrong=25848, backtracks=1015, failedAssignments=25037, nogoods=7466
258.90/255.79	    
274.10/270.91	    num=58, depth=9..22, filters=138077, revisions=(3480637,useless=3340225), ccks=949966764, wck=268.372, mem=74M305
274.10/270.91	    decisions=58066, wrong=28401, backtracks=1149, failedAssignments=27553, nogoods=7539
274.10/270.91	    
320.51/317.34	    num=59, depth=5..35, filters=151711, revisions=(3825575,useless=3671433), ccks=1116984919, wck=314.799, mem=81M994
320.51/317.34	    decisions=63801, wrong=31252, backtracks=1238, failedAssignments=30321, nogoods=7907
320.51/317.34	    
360.72/357.57	    num=60, depth=5..33, filters=166714, revisions=(4197022,useless=4027719), ccks=1261707062, wck=355.028, mem=89M684
360.72/357.57	    decisions=70081, wrong=34376, backtracks=1333, failedAssignments=33365, nogoods=8296
360.72/357.57	    
373.33/370.13	    num=61, depth=12..30, filters=177711, revisions=(4469673,useless=4289287), ccks=1305347563, wck=367.594, mem=97M373
373.33/370.13	    decisions=76860, wrong=37752, backtracks=1435, failedAssignments=36714, nogoods=8551
373.33/370.13	    
400.42/397.20	    num=62, depth=8..29, filters=197007, revisions=(4989377,useless=4789539), ccks=1399517996, wck=394.661, mem=105M63
400.42/397.20	    decisions=84490, wrong=41557, backtracks=1564, failedAssignments=40398, nogoods=8716
400.42/397.20	    
413.83/410.63	    num=63, depth=8..36, filters=213127, revisions=(5355844,useless=5139884), ccks=1445391548, wck=408.092, mem=115M315
413.83/410.63	    decisions=92713, wrong=45652, backtracks=1664, failedAssignments=44450, nogoods=9223
413.83/410.63	    
569.97/566.79	    num=64, depth=7..29, filters=246339, revisions=(6328712,useless=6078716), ccks=2012083239, wck=564.25, mem=133M257
569.97/566.79	    decisions=102146, wrong=50354, backtracks=1929, failedAssignments=48907, nogoods=9542
569.97/566.79	    
590.07/586.89	    num=65, depth=12..33, filters=265465, revisions=(6757235,useless=6488047), ccks=2081463387, wck=584.35, mem=143M510
590.07/586.89	    decisions=112089, wrong=55314, backtracks=2054, failedAssignments=53810, nogoods=9804
590.07/586.89	    
615.92/612.63	    num=66, depth=14..35, filters=284821, revisions=(7223448,useless=6934628), ccks=2170775770, wck=610.086, mem=156M326
615.92/612.63	    decisions=123168, wrong=60842, backtracks=2255, failedAssignments=59204, nogoods=10097
615.92/612.63	    
683.97/680.63	    num=67, depth=5..30, filters=307273, revisions=(7909581,useless=7598074), ccks=2415134285, wck=678.095, mem=36M788
683.97/680.63	    decisions=135479, wrong=66986, backtracks=2564, failedAssignments=65137, nogoods=10359
683.97/680.63	    
764.09/760.78	    num=68, depth=5..26, filters=333984, revisions=(8705355,useless=8366822), ccks=2703660768, wck=758.243, mem=49M743
764.09/760.78	    decisions=148872, wrong=73673, backtracks=2887, failedAssignments=71663, nogoods=10485
764.09/760.78	    
808.70/805.36	    num=69, depth=4..37, filters=363694, revisions=(9394502,useless=9026188), ccks=2860930118, wck=802.822, mem=67M879
808.70/805.36	    decisions=163532, wrong=80991, backtracks=3043, failedAssignments=78842, nogoods=10926
808.70/805.36	    
857.23/853.86	    num=70, depth=14..28, filters=399220, revisions=(10381514,useless=9977574), ccks=3028876871, wck=851.323, mem=86M15
857.23/853.86	    decisions=179821, wrong=89126, backtracks=3359, failedAssignments=86739, nogoods=11086
857.23/853.86	    
892.44/889.05	    num=71, depth=14..31, filters=430264, revisions=(11170734,useless=10734550), ccks=3150915584, wck=886.507, mem=104M152
892.44/889.05	    decisions=197567, wrong=97987, backtracks=3684, failedAssignments=95426, nogoods=11389
892.44/889.05	    
956.42/952.98	    num=72, depth=12..27, filters=464679, revisions=(12082122,useless=11610446), ccks=3376703133, wck=950.441, mem=124M879
956.42/952.98	    decisions=216978, wrong=107681, backtracks=3959, failedAssignments=104981, nogoods=11601
956.42/952.98	    
992.93/989.45	    num=73, depth=9..30, filters=500269, revisions=(13007165,useless=12499831), ccks=3501737102, wck=986.911, mem=148M197
992.93/989.45	    decisions=238428, wrong=118392, backtracks=4265, failedAssignments=115492, nogoods=11929
992.93/989.45	    
1057.88/1054.32	    num=74, depth=6..28, filters=542071, revisions=(14150757,useless=13601101), ccks=3728802398, wck=1051.783, mem=39M746
1057.88/1054.32	    decisions=262086, wrong=130211, backtracks=4766, failedAssignments=127054, nogoods=12205
1057.88/1054.32	    
1144.80/1141.26	    num=75, depth=8..23, filters=591398, revisions=(15422869,useless=14822901), ccks=4030378109, wck=1138.723, mem=68M444
1144.80/1141.26	    decisions=288712, wrong=143514, backtracks=5480, failedAssignments=139772, nogoods=12414
1144.80/1141.26	    
1228.72/1225.19	    num=76, depth=10..24, filters=640215, revisions=(16667239,useless=16018326), ccks=4320977588, wck=1222.648, mem=99M752
1228.72/1225.19	    decisions=317224, wrong=157760, backtracks=6044, failedAssignments=153762, nogoods=12675
1228.72/1225.19	    
1282.92/1279.37	    num=77, depth=5..26, filters=692780, revisions=(18161526,useless=17457016), ccks=4503931971, wck=1276.827, mem=128M450
1282.92/1279.37	    decisions=348566, wrong=173420, backtracks=6898, failedAssignments=169151, nogoods=13045
1282.92/1279.37	    
1368.04/1364.44	    num=78, depth=12..26, filters=739835, revisions=(19847042,useless=19095027), ccks=4794048038, wck=1361.903, mem=157M148
1368.04/1364.44	    decisions=383033, wrong=190644, backtracks=7743, failedAssignments=186079, nogoods=13213
1368.04/1364.44	    
1418.09/1414.45	    num=79, depth=5..32, filters=817147, revisions=(21544799,useless=20715159), ccks=4958202986, wck=1411.911, mem=68M206
1418.09/1414.45	    decisions=421292, wrong=209760, backtracks=8441, failedAssignments=204700, nogoods=13914
1418.09/1414.45	    
1621.64/1617.92	    num=80, depth=5..30, filters=918151, revisions=(23995395,useless=23063871), ccks=5673916438, wck=1615.383, mem=124M945
1621.64/1617.92	    decisions=463757, wrong=230981, backtracks=9256, failedAssignments=225184, nogoods=14290
1621.64/1617.92	    
1765.30/1761.59	    num=81, depth=6..28, filters=1000893, revisions=(26350012,useless=25333862), ccks=6173122580, wck=1759.052, mem=39M883
1765.30/1761.59	    decisions=509934, wrong=254060, backtracks=10192, failedAssignments=247716, nogoods=14647
1765.30/1761.59	    
1878.62/1874.80	    num=82, depth=6..27, filters=1115744, revisions=(28881971,useless=27749819), ccks=6556149386, wck=1872.258, mem=98M414
1878.62/1874.80	    decisions=560322, wrong=279243, backtracks=11346, failedAssignments=272501, nogoods=15130
1878.62/1874.80	    
2175.51/2171.69	    num=83, depth=6..26, filters=1233158, revisions=(31902079,useless=30650744), ccks=7598230329, wck=2169.154, mem=39M879
2175.51/2171.69	    decisions=616104, wrong=307124, backtracks=12246, failedAssignments=299765, nogoods=15432
2175.51/2171.69	    
2401.85/2397.92	    num=84, depth=6..28, filters=1382296, revisions=(35554655,useless=34152891), ccks=8385589990, wck=2395.384, mem=117M622
2401.85/2397.92	    decisions=677360, wrong=337740, backtracks=13204, failedAssignments=329755, nogoods=15947
2401.85/2397.92

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390731-1568387891/watcher-4390731-1568387891 -o /tmp/evaluation-result-4390731-1568387891/solver-4390731-1568387891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4291 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390731-1568387891.xml -cm 

running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB

solver pid=6318, runsolver pid=6315

[startup+0.100158 s]*
/proc/loadavg: 1.64 1.64 1.71 5/227 6333
/proc/meminfo: memFree=28928280/32770624 swapFree=66997168/67108860
[pid=6318] ppid=6315 vsize=10659884 memory=26308 CPUtime=0.13 cores=1,3,5,7
/proc/6318/stat : 6318 (java) S 6315 6318 4259 0 -1 1077944320 5552 0 0 0 12 1 0 0 20 0 15 0 415043733 10915721216 6577 33554432000 4194304 4196468 140735871910208 140735871892752 139785981714167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
/proc/6318/statm: 2664971 6577 2901 1 0 2627468 0
[pid=6318/tid=6320] ppid=6315 vsize=10659884 memory=-8617482348318186131 CPUtime=0.1 cores=1,3,5,7
/proc/6318/task/6320/stat : 6320 (java) R 6315 6318 4259 0 -1 4202560 3268 0 0 0 9 1 0 0 20 0 15 0 415043733 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785985942568 139785973951294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6321] ppid=6315 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6321/stat : 6321 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785953556880 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6322] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6322/stat : 6322 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785587230992 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6323] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6323/stat : 6323 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785586178704 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6324] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043735 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6326] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6326/stat : 6326 (java) S 6315 6318 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415043736 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785555744032 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6327] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6327/stat : 6327 (java) S 6315 6318 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415043736 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785554691696 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6328] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6328/stat : 6328 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043738 10915721216 6577 33554432000 4194304 4196468 140735871910208 139785553640016 139785981732763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6329] ppid=6315 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6318/task/6329/stat : 6329 (java) S 6315 6318 4259 0 -1 1077944384 513 0 0 0 1 0 0 0 20 0 15 0 415043738 10915721216 6643 33554432000 4194304 4196468 140735871910208 139785552586864 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6330] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6330/stat : 6330 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043738 10915721216 6643 33554432000 4194304 4196468 140735871910208 139785551534064 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6331] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0.02 cores=1,3,5,7
/proc/6318/task/6331/stat : 6331 (java) R 6315 6318 4259 0 -1 4202560 470 0 0 0 2 0 0 0 20 0 15 0 415043738 10915721216 6643 33554432000 4194304 4196468 140735871910208 139785550478728 139785960082806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6332] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6332/stat : 6332 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043739 10915721216 6643 33554432000 4194304 4196468 140735871910208 139785482004960 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6333] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6333/stat : 6333 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043739 10915721216 6643 33554432000 4194304 4196468 140735871910208 139785480952752 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26308 KiB

[startup+0.210522 s]*
/proc/loadavg: 1.64 1.64 1.71 3/227 6333
/proc/meminfo: memFree=28921024/32770624 swapFree=66997168/67108860
[pid=6318] ppid=6315 vsize=10659884 memory=33876 CPUtime=0.33 cores=1,3,5,7
/proc/6318/stat : 6318 (java) S 6315 6318 4259 0 -1 1077944320 7093 0 0 0 31 2 0 0 20 0 15 0 415043733 10915721216 8469 33554432000 4194304 4196468 140735871910208 140735871892752 139785981714167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
/proc/6318/statm: 2664971 8469 2990 1 0 2627468 0
[pid=6318/tid=6320] ppid=6315 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6318/task/6320/stat : 6320 (java) R 6315 6318 4259 0 -1 4202560 3931 0 0 0 19 1 0 0 20 0 15 0 415043733 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785985952336 139785981736093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6321] ppid=6315 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6321/stat : 6321 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785953556880 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6322] ppid=6315 vsize=10659884 memory=140278194002294 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6322/stat : 6322 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785587230992 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6323] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6323/stat : 6323 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785586178704 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6324] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043735 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6326] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6326/stat : 6326 (java) S 6315 6318 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415043736 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785555744032 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6327] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6327/stat : 6327 (java) S 6315 6318 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415043736 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785554691696 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6328] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6328/stat : 6328 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043738 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785553640016 139785981732763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6329] ppid=6315 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6318/task/6329/stat : 6329 (java) S 6315 6318 4259 0 -1 1077944384 851 0 0 0 4 0 0 0 20 0 15 0 415043738 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785552586864 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6330] ppid=6315 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6318/task/6330/stat : 6330 (java) S 6315 6318 4259 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 15 0 415043738 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785551534064 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6331] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0.05 cores=1,3,5,7
/proc/6318/task/6331/stat : 6331 (java) S 6315 6318 4259 0 -1 1077944384 863 0 0 0 5 0 0 0 20 0 15 0 415043738 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785550481776 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6332] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6332/stat : 6332 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043739 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785482004960 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6333] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6333/stat : 6333 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043739 10915721216 8469 33554432000 4194304 4196468 140735871910208 139785480952752 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33876 KiB

[startup+0.309871 s]*
/proc/loadavg: 1.64 1.64 1.71 3/227 6333
/proc/meminfo: memFree=28912324/32770624 swapFree=66997168/67108860
[pid=6318] ppid=6315 vsize=10659884 memory=38996 CPUtime=0.47 cores=1,3,5,7
/proc/6318/stat : 6318 (java) S 6315 6318 4259 0 -1 1077944320 9675 0 0 0 44 3 0 0 20 0 15 0 415043733 10915721216 9749 33554432000 4194304 4196468 140735871910208 140735871892752 139785981714167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
/proc/6318/statm: 2664971 9749 3002 1 0 2627468 0
[pid=6318/tid=6320] ppid=6315 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/6318/task/6320/stat : 6320 (java) R 6315 6318 4259 0 -1 4202560 6397 0 0 0 28 2 0 0 20 0 15 0 415043733 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785985946576 139785981736093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6321] ppid=6315 vsize=10659884 memory=2669794 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6321/stat : 6321 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785953556880 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6322] ppid=6315 vsize=10659884 memory=140278196799788 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6322/stat : 6322 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785587230992 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6323] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6323/stat : 6323 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785586178704 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6324] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043735 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6326] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6326/stat : 6326 (java) S 6315 6318 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415043736 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785555744032 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6327] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6327/stat : 6327 (java) S 6315 6318 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415043736 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785554691696 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6328] ppid=6315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6328/stat : 6328 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043738 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785553640016 139785981732763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6329] ppid=6315 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6318/task/6329/stat : 6329 (java) R 6315 6318 4259 0 -1 4202560 897 0 0 0 5 0 0 0 20 0 15 0 415043738 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785552586864 139785967728481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6330] ppid=6315 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6318/task/6330/stat : 6330 (java) S 6315 6318 4259 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 415043738 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785551534064 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6331] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0.08 cores=1,3,5,7
/proc/6318/task/6331/stat : 6331 (java) S 6315 6318 4259 0 -1 1077944384 923 0 0 0 8 0 0 0 20 0 15 0 415043738 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785550481776 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6332] ppid=6315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6332/stat : 6332 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043739 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785482004960 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6333] ppid=6315 vsize=10659884 memory=140278193989248 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6333/stat : 6333 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043739 10915721216 9749 33554432000 4194304 4196468 140735871910208 139785480952752 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38996 KiB

[startup+0.700777 s]
/proc/loadavg: 1.64 1.64 1.71 3/227 6333
/proc/meminfo: memFree=28905008/32770624 swapFree=66997168/67108860
[pid=6318] ppid=6315 vsize=10661932 memory=61820 CPUtime=1.09 cores=1,3,5,7
/proc/6318/stat : 6318 (java) S 6315 6318 4259 0 -1 1077944320 13056 0 0 0 104 5 0 0 20 0 15 0 415043733 10917818368 15455 33554432000 4194304 4196468 140735871910208 140735871892752 139785981714167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
/proc/6318/statm: 2665483 15455 3072 1 0 2627980 0
[pid=6318/tid=6320] ppid=6315 vsize=10661932 memory=9888 CPUtime=0.68 cores=1,3,5,7
/proc/6318/task/6320/stat : 6320 (java) R 6315 6318 4259 0 -1 4202560 8932 0 0 0 65 3 0 0 20 0 15 0 415043733 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785985937104 139785981736093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6321] ppid=6315 vsize=10661932 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6321/stat : 6321 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785953556880 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6322] ppid=6315 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6322/stat : 6322 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785587230992 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6323] ppid=6315 vsize=10661932 memory=500 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6323/stat : 6323 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785586178704 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6324] ppid=6315 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10661932 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043735 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6326] ppid=6315 vsize=10661932 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6326/stat : 6326 (java) S 6315 6318 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415043736 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785555744032 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6327] ppid=6315 vsize=10661932 memory=876 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6327/stat : 6327 (java) S 6315 6318 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415043736 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785554691696 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6328] ppid=6315 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6328/stat : 6328 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043738 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785553640016 139785981732763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6329] ppid=6315 vsize=10661932 memory=7086240636179075427 CPUtime=0.12 cores=1,3,5,7
/proc/6318/task/6329/stat : 6329 (java) R 6315 6318 4259 0 -1 4202560 1105 0 0 0 12 0 0 0 20 0 15 0 415043738 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785552586864 139785962414464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6330] ppid=6315 vsize=10661932 memory=7453282923427948884 CPUtime=0.08 cores=1,3,5,7
/proc/6318/task/6330/stat : 6330 (java) S 6315 6318 4259 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 415043738 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785551534064 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6331] ppid=6315 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=1,3,5,7
/proc/6318/task/6331/stat : 6331 (java) S 6315 6318 4259 0 -1 1077944384 1339 0 0 0 19 0 0 0 20 0 15 0 415043738 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785550481776 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6332] ppid=6315 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6332/stat : 6332 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415043739 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785482004960 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6333] ppid=6315 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6333/stat : 6333 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043739 10917818368 15455 33554432000 4194304 4196468 140735871910208 139785480952752 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61820 KiB

[startup+1.50077 s]
/proc/loadavg: 1.64 1.64 1.71 3/227 6333
/proc/meminfo: memFree=28888444/32770624 swapFree=66997168/67108860
[pid=6318] ppid=6315 vsize=10663980 memory=74160 CPUtime=1.99 cores=1,3,5,7
/proc/6318/stat : 6318 (java) S 6315 6318 4259 0 -1 1077944320 18813 0 0 0 193 6 0 0 20 0 15 0 415043733 10919915520 18540 33554432000 4194304 4196468 140735871910208 140735871892752 139785981714167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
/proc/6318/statm: 2665995 18540 3095 1 0 2628492 0
[pid=6318/tid=6320] ppid=6315 vsize=10663980 memory=167443729329940 CPUtime=1.48 cores=1,3,5,7
/proc/6318/task/6320/stat : 6320 (java) R 6315 6318 4259 0 -1 4202560 13325 0 0 0 144 4 0 0 20 0 15 0 415043733 10919915520 18540 33554432000 4194304 4196468 140735871910208 139785985946192 139785964900997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6321] ppid=6315 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6321/stat : 6321 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10919915520 18540 33554432000 4194304 4196468 140735871910208 139785953556880 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6322] ppid=6315 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6322/stat : 6322 (java) S 6315 6318 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415043734 10919915520 18540 33554432000 4194304 4196468 140735871910208 139785587230992 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6323] ppid=6315 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6323/stat : 6323 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10919915520 18540 33554432000 4194304 4196468 140735871910208 139785586178704 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6324] ppid=6315 vsize=10663980 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415043734 10919915520 18540 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 415043735 10919915520 18540 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0

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

/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1644 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.04 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 3124 0 0 0 3 1 0 0 20 0 16 0 415043735 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6326] ppid=6315 vsize=10748324 memory=283440 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6326/stat : 6326 (java) S 6315 6318 4259 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415043736 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785555744096 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6327] ppid=6315 vsize=10748324 memory=283440 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6327/stat : 6327 (java) S 6315 6318 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415043736 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785554691712 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6328] ppid=6315 vsize=10748324 memory=283440 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6328/stat : 6328 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785553640016 139785981732763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6329] ppid=6315 vsize=10748324 memory=283440 CPUtime=1.25 cores=1,3,5,7
/proc/6318/task/6329/stat : 6329 (java) S 6315 6318 4259 0 -1 1077944384 9667 0 0 0 123 2 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785552586864 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6330] ppid=6315 vsize=10748324 memory=8112282956445269571 CPUtime=1.25 cores=1,3,5,7
/proc/6318/task/6330/stat : 6330 (java) S 6315 6318 4259 0 -1 1077944384 10558 0 0 0 124 1 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785551534064 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6331] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.72 cores=1,3,5,7
/proc/6318/task/6331/stat : 6331 (java) S 6315 6318 4259 0 -1 1077944384 9619 0 0 0 71 1 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785550481776 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6332] ppid=6315 vsize=10748324 memory=283440 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6332/stat : 6332 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415043739 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785482004960 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6333] ppid=6315 vsize=10748324 memory=3624 CPUtime=0.46 cores=1,3,5,7
/proc/6318/task/6333/stat : 6333 (java) S 6315 6318 4259 0 -1 1077944384 1593 0 0 0 21 25 0 0 20 0 16 0 415043739 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785480952752 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6334] ppid=6315 vsize=10748324 memory=283440 CPUtime=2440.22 cores=1,3,5,7
/proc/6318/task/6334/stat : 6334 (java) R 6315 6318 4259 0 -1 4202560 20859 0 0 0 244018 4 0 0 20 0 16 0 415043922 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785464172032 139785624658278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
Current children cumulated CPU time: 2446.27 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 283440 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.05 1.21 2/206 6611
/proc/meminfo: memFree=30482964/32770624 swapFree=66997208/67108860
[pid=6318] ppid=6315 vsize=10748324 memory=283440 CPUtime=2506.28 cores=1,3,5,7
/proc/6318/stat : 6318 (java) S 6315 6318 4259 0 -1 1077944320 77660 0 0 0 250587 41 0 0 20 0 16 0 415043733 11006283776 70860 33554432000 4194304 4196468 140735871910208 140735871892752 139785981714167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
/proc/6318/statm: 2687081 70860 3377 1 0 2647217 0
[pid=6318/tid=6320] ppid=6315 vsize=10748324 memory=283440 CPUtime=1.87 cores=1,3,5,7
/proc/6318/task/6320/stat : 6320 (java) S 6315 6318 4259 0 -1 1077944384 15592 0 0 0 181 6 0 0 20 0 16 0 415043733 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785985957040 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6321] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6321/stat : 6321 (java) S 6315 6318 4259 0 -1 1077944384 2502 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785953556880 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6322] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6322/stat : 6322 (java) S 6315 6318 4259 0 -1 1077944384 576 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785587230992 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6323] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6323/stat : 6323 (java) S 6315 6318 4259 0 -1 1077944384 369 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785586178704 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6324] ppid=6315 vsize=10748324 memory=7019467087939777334 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1644 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10748324 memory=3624 CPUtime=0.04 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 3131 0 0 0 3 1 0 0 20 0 16 0 415043735 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6326] ppid=6315 vsize=10748324 memory=25416 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6326/stat : 6326 (java) S 6315 6318 4259 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415043736 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785555744096 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6327] ppid=6315 vsize=10748324 memory=283440 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6327/stat : 6327 (java) S 6315 6318 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415043736 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785554691712 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6328] ppid=6315 vsize=10748324 memory=283440 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6328/stat : 6328 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785553640016 139785981732763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6329] ppid=6315 vsize=10748324 memory=283440 CPUtime=1.25 cores=1,3,5,7
/proc/6318/task/6329/stat : 6329 (java) S 6315 6318 4259 0 -1 1077944384 9675 0 0 0 123 2 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785552586864 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6330] ppid=6315 vsize=10748324 memory=283440 CPUtime=1.25 cores=1,3,5,7
/proc/6318/task/6330/stat : 6330 (java) S 6315 6318 4259 0 -1 1077944384 10560 0 0 0 124 1 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785551534064 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6331] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.72 cores=1,3,5,7
/proc/6318/task/6331/stat : 6331 (java) S 6315 6318 4259 0 -1 1077944384 9621 0 0 0 71 1 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785550481776 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6332] ppid=6315 vsize=10748324 memory=283440 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6332/stat : 6332 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415043739 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785482004960 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6333] ppid=6315 vsize=10748324 memory=9924 CPUtime=0.47 cores=1,3,5,7
/proc/6318/task/6333/stat : 6333 (java) S 6315 6318 4259 0 -1 1077944384 1626 0 0 0 21 26 0 0 20 0 16 0 415043739 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785480952752 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6334] ppid=6315 vsize=10748324 memory=12024 CPUtime=2500.22 cores=1,3,5,7
/proc/6318/task/6334/stat : 6334 (java) R 6315 6318 4259 0 -1 4202560 20927 0 0 0 250018 4 0 0 20 0 16 0 415043922 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785464172032 139785624505472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
Current children cumulated CPU time: 2506.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 283440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2516.11 s]
/proc/loadavg: 1.00 1.05 1.21 2/206 6614
/proc/meminfo: memFree=30482476/32770624 swapFree=66997208/67108860
[pid=6318] ppid=6315 vsize=10748324 memory=283440 CPUtime=2520.09 cores=1,3,5,7
/proc/6318/stat : 6318 (java) S 6315 6318 4259 0 -1 1077944320 77746 0 0 0 251968 41 0 0 20 0 16 0 415043733 11006283776 70860 33554432000 4194304 4196468 140735871910208 140735871892752 139785981714167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
/proc/6318/statm: 2687081 70860 3377 1 0 2647217 0
[pid=6318/tid=6320] ppid=6315 vsize=10748324 memory=283440 CPUtime=1.87 cores=1,3,5,7
/proc/6318/task/6320/stat : 6320 (java) S 6315 6318 4259 0 -1 1077944384 15592 0 0 0 181 6 0 0 20 0 16 0 415043733 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785985957040 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6321] ppid=6315 vsize=10748324 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6321/stat : 6321 (java) S 6315 6318 4259 0 -1 1077944384 2502 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785953556880 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6322] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6322/stat : 6322 (java) S 6315 6318 4259 0 -1 1077944384 576 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785587230992 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6323] ppid=6315 vsize=10748324 memory=14012 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6323/stat : 6323 (java) S 6315 6318 4259 0 -1 1077944384 369 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785586178704 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6324] ppid=6315 vsize=10748324 memory=2116 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1644 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.04 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 3138 0 0 0 3 1 0 0 20 0 16 0 415043735 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6326] ppid=6315 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6326/stat : 6326 (java) S 6315 6318 4259 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415043736 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785555744096 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6327] ppid=6315 vsize=10748324 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6327/stat : 6327 (java) S 6315 6318 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415043736 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785554691712 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6328] ppid=6315 vsize=10748324 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6328/stat : 6328 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785553640016 139785981732763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6329] ppid=6315 vsize=10748324 memory=8112282956445269571 CPUtime=1.25 cores=1,3,5,7
/proc/6318/task/6329/stat : 6329 (java) S 6315 6318 4259 0 -1 1077944384 9675 0 0 0 123 2 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785552586864 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6330] ppid=6315 vsize=10748324 memory=111632 CPUtime=1.25 cores=1,3,5,7
/proc/6318/task/6330/stat : 6330 (java) S 6315 6318 4259 0 -1 1077944384 10560 0 0 0 124 1 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785551534064 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6331] ppid=6315 vsize=10748324 memory=948 CPUtime=0.72 cores=1,3,5,7
/proc/6318/task/6331/stat : 6331 (java) S 6315 6318 4259 0 -1 1077944384 9621 0 0 0 71 1 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785550481776 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6332] ppid=6315 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6332/stat : 6332 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415043739 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785482004960 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6333] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.48 cores=1,3,5,7
/proc/6318/task/6333/stat : 6333 (java) S 6315 6318 4259 0 -1 1077944384 1652 0 0 0 22 26 0 0 20 0 16 0 415043739 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785480952752 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6334] ppid=6315 vsize=10748324 memory=25416 CPUtime=2514.03 cores=1,3,5,7
/proc/6318/task/6334/stat : 6334 (java) R 6315 6318 4259 0 -1 4202560 20980 0 0 0 251399 4 0 0 20 0 16 0 415043922 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785464172032 139785624472512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 283440 KiB

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

[startup+2516.12 s]
# the end of solver process 6318 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.69 s, system=0.414031 s

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

[startup+2516.11 s]
/proc/loadavg: 1.00 1.05 1.21 2/206 6614
/proc/meminfo: memFree=30482476/32770624 swapFree=66997208/67108860
[pid=6318] ppid=6315 vsize=10748324 memory=283440 CPUtime=2520.09 cores=1,3,5,7
/proc/6318/stat : 6318 (java) S 6315 6318 4259 0 -1 1077944320 77746 0 0 0 251968 41 0 0 20 0 16 0 415043733 11006283776 70860 33554432000 4194304 4196468 140735871910208 140735871892752 139785981714167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
/proc/6318/statm: 2687081 70860 3377 1 0 2647217 0
[pid=6318/tid=6320] ppid=6315 vsize=10748324 memory=283440 CPUtime=1.87 cores=1,3,5,7
/proc/6318/task/6320/stat : 6320 (java) S 6315 6318 4259 0 -1 1077944384 15592 0 0 0 181 6 0 0 20 0 16 0 415043733 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785985957040 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6321] ppid=6315 vsize=10748324 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6321/stat : 6321 (java) S 6315 6318 4259 0 -1 1077944384 2502 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785953556880 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6322] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6322/stat : 6322 (java) S 6315 6318 4259 0 -1 1077944384 576 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785587230992 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6323] ppid=6315 vsize=10748324 memory=14012 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6323/stat : 6323 (java) S 6315 6318 4259 0 -1 1077944384 369 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785586178704 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6324] ppid=6315 vsize=10748324 memory=2116 CPUtime=0.09 cores=1,3,5,7
/proc/6318/task/6324/stat : 6324 (java) S 6315 6318 4259 0 -1 1077944384 1644 0 0 0 8 1 0 0 20 0 16 0 415043734 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785585125904 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6325] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.04 cores=1,3,5,7
/proc/6318/task/6325/stat : 6325 (java) S 6315 6318 4259 0 -1 1077944384 3138 0 0 0 3 1 0 0 20 0 16 0 415043735 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785556798064 139785981725314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6326] ppid=6315 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6326/stat : 6326 (java) S 6315 6318 4259 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415043736 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785555744096 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6327] ppid=6315 vsize=10748324 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6327/stat : 6327 (java) S 6315 6318 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415043736 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785554691712 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6328] ppid=6315 vsize=10748324 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6328/stat : 6328 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785553640016 139785981732763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6329] ppid=6315 vsize=10748324 memory=8112282956445269571 CPUtime=1.25 cores=1,3,5,7
/proc/6318/task/6329/stat : 6329 (java) S 6315 6318 4259 0 -1 1077944384 9675 0 0 0 123 2 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785552586864 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6330] ppid=6315 vsize=10748324 memory=111632 CPUtime=1.25 cores=1,3,5,7
/proc/6318/task/6330/stat : 6330 (java) S 6315 6318 4259 0 -1 1077944384 10560 0 0 0 124 1 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785551534064 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6331] ppid=6315 vsize=10748324 memory=948 CPUtime=0.72 cores=1,3,5,7
/proc/6318/task/6331/stat : 6331 (java) S 6315 6318 4259 0 -1 1077944384 9621 0 0 0 71 1 0 0 20 0 16 0 415043738 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785550481776 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6332] ppid=6315 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6318/task/6332/stat : 6332 (java) S 6315 6318 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415043739 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785482004960 139785981724373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6333] ppid=6315 vsize=10748324 memory=283440 CPUtime=0.48 cores=1,3,5,7
/proc/6318/task/6333/stat : 6333 (java) S 6315 6318 4259 0 -1 1077944384 1652 0 0 0 22 26 0 0 20 0 16 0 415043739 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785480952752 139785981725314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
[pid=6318/tid=6334] ppid=6315 vsize=10748324 memory=25416 CPUtime=2514.03 cores=1,3,5,7
/proc/6318/task/6334/stat : 6334 (java) R 6315 6318 4259 0 -1 4202560 20980 0 0 0 251399 4 0 0 20 0 16 0 415043922 11006283776 70860 33554432000 4194304 4196468 140735871910208 139785464172032 139785624472512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140735871915019 140735871915122 140735871915122 140735871918031 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 283440 KiB

Child status: 143
Real time (s): 2516.12
CPU time (s): 2520.11
CPU user time (s): 2519.69
CPU system time (s): 0.414031
CPU usage (%): 100.158
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 284464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.414031
maximum resident set size= 284464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57735
involuntary context switches= 702


# summary of solver processes directly reported to runsolver:
#   pid: 6318
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2519.69
#   total CPU system time (s): 0.414031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1659 second user time and 21.2003 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-13 16:16:54
IDJOB=4390731
IDBENCH=141718
IDSOLVER=2832
FILE ID=node106/4390731-1568387891
RUNJOBID= node106-1568376840-4291
PBS_JOBID= 21701848
Free space on /tmp= 59104 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-30-098.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390731-1568387891/watcher-4390731-1568387891 -o /tmp/evaluation-result-4390731-1568387891/solver-4390731-1568387891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4291 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390731-1568387891.xml -cm

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

MD5SUM BENCH= fb27cd1d2814d0f1760e6f4b9d041fef
RANDOM SEED=812408747

node106.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.79
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.79
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.79
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.79
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:        28942652 kB
MemAvailable:   30102192 kB
Buffers:          158628 kB
Cached:          1282308 kB
SwapCached:         9652 kB
Active:          2194772 kB
Inactive:        1060496 kB
Active(anon):    1813908 kB
Inactive(anon):    33700 kB
Active(file):     380864 kB
Inactive(file):  1026796 kB
Unevictable:      107768 kB
Mlocked:          107768 kB
SwapTotal:      67108860 kB
SwapFree:       66997168 kB
Dirty:              8784 kB
Writeback:             0 kB
AnonPages:       1915192 kB
Mapped:            49696 kB
Shmem:             24788 kB
Slab:             165180 kB
SReclaimable:     135432 kB
SUnreclaim:        29748 kB
KernelStack:        3856 kB
PageTables:         8724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3369832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1777664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59104 MiB
End job on node106 at 2019-09-13 16:58:50