Trace number 4390573

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.02 2511.92

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-13.xml
MD5SUM388994c608323cc5ca888624a3c66f06
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 benchmark110.493
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains89
Minimum domain size1197
Maximum domain size1295
Distribution of domain sizes[{"size":1197,"count":4},{"size":1199,"count":2},{"size":1200,"count":14},{"size":1201,"count":2},{"size":1202,"count":4},{"size":1203,"count":4},{"size":1204,"count":4},{"size":1206,"count":6},{"size":1207,"count":6},{"size":1208,"count":4},{"size":1209,"count":4},{"size":1210,"count":6},{"size":1211,"count":2},{"size":1212,"count":6},{"size":1213,"count":6},{"size":1214,"count":6},{"size":1215,"count":6},{"size":1216,"count":8},{"size":1217,"count":2},{"size":1218,"count":6},{"size":1219,"count":2},{"size":1220,"count":6},{"size":1221,"count":6},{"size":1222,"count":4},{"size":1223,"count":4},"...",{"size":1269,"count":8}, {"size":1270,"count":6}, {"size":1271,"count":4}, {"size":1272,"count":4}, {"size":1273,"count":6}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1277,"count":6}, {"size":1278,"count":6}, {"size":1279,"count":8}, {"size":1280,"count":4}, {"size":1281,"count":6}, {"size":1282,"count":6}, {"size":1283,"count":4}, {"size":1284,"count":10}, {"size":1285,"count":6}, {"size":1286,"count":6}, {"size":1287,"count":4}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":2}, {"size":1291,"count":6}, {"size":1292,"count":4}, {"size":1293,"count":10}, {"size":1295,"count":2}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
Optimization problemNO
Type of objective

Solver Data 

2.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
3.66/2.23	  Instance
3.66/2.23	    name=instance-4390573-1568385573, framework=CSP
3.66/2.23	
3.66/2.23	  Loading variables...
3.66/2.30	  Loading constraints...
7.89/3.59	
7.89/3.59	  Domains
7.89/3.59	    nTypes=89, nValues=560838, sizes=[1197#4,1199#2,1200#14,1201#2...1291#6,1292#4,1293#10,1295#2]
7.89/3.59	  Variables
7.89/3.59	    count=450, degrees=[16#30,17#195,31#30,33#195]
7.89/3.59	  Constraints
7.89/3.59	    count=5580, nSpecific=225, arities=[2#5580]
7.89/3.59	    distribution=[CtrIntension#5355,NE#225]
7.89/3.59	    nIntStructures=(1579,shared:3776)
7.89/3.59	    wck=1.747, cpu=3.471, mem=162M630
8.21/3.60	  Solver SolverBacktrack being built...
8.21/3.60	
8.21/3.64	
8.21/3.64	  Solver
8.21/3.64	    guaranteedGAC=true
8.21/3.64	    wck=1.801, cpu=3.523, mem=180M812
46.34/41.21	
46.34/41.21	  Preprocessing
46.34/41.21	    filters=1426, revisions=(28687,useless=27051), ccks=559613617, nACremovedValues=313068, nTotalRemovedValues=313068, inconcistency=false
46.34/41.21	    wck=37.561, cpu=41.053, mem=324M92
46.34/41.21	
57.57/52.28	    num=0, depth=66..66, filters=11988, revisions=(171175,useless=158980), ccks=665435854, wck=48.634, mem=311M733
57.57/52.28	    decisions=86, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
57.57/52.28	    
61.59/56.24	    num=1, depth=0..5, filters=14647, revisions=(216912,useless=202104), ccks=709648297, wck=52.592, mem=377M201
61.59/56.24	    decisions=121, wrong=26, backtracks=5, failedAssignments=21, nogoods=17
61.59/56.24	    
63.89/58.53	    num=2, depth=0..2, filters=16850, revisions=(249481,useless=232522), ccks=740436909, wck=54.883, mem=401M752
63.89/58.53	    decisions=159, wrong=45, backtracks=12, failedAssignments=33, nogoods=17
63.89/58.53	    
66.19/60.87	    num=3, depth=0..2, filters=18625, revisions=(279836,useless=261164), ccks=773285029, wck=57.226, mem=434M486
66.19/60.87	    decisions=203, wrong=67, backtracks=21, failedAssignments=46, nogoods=17
66.19/60.87	    
72.57/67.17	    num=4, depth=0..34, filters=24137, revisions=(361899,useless=337779), ccks=843039469, wck=63.53, mem=123M236
72.57/67.17	    decisions=275, wrong=87, backtracks=27, failedAssignments=60, nogoods=30
72.57/67.17	    
76.27/70.85	    num=5, depth=0..2, filters=28045, revisions=(424277,useless=396320), ccks=890223383, wck=67.201, mem=147M847
76.27/70.85	    decisions=328, wrong=113, backtracks=37, failedAssignments=76, nogoods=31
76.27/70.85	    
80.50/75.07	    num=6, depth=0..9, filters=32765, revisions=(509786,useless=477194), ccks=941263040, wck=71.427, mem=188M867
80.50/75.07	    decisions=389, wrong=141, backtracks=48, failedAssignments=93, nogoods=38
80.50/75.07	    
85.00/79.54	    num=7, depth=0..27, filters=37362, revisions=(588413,useless=551294), ccks=989775796, wck=75.894, mem=254M498
85.00/79.54	    decisions=461, wrong=164, backtracks=52, failedAssignments=112, nogoods=54
85.00/79.54	    
91.70/86.25	    num=8, depth=0..15, filters=45035, revisions=(715044,useless=670350), ccks=1064404009, wck=82.608, mem=344M741
91.70/86.25	    decisions=538, wrong=197, backtracks=64, failedAssignments=133, nogoods=70
91.70/86.25	    
93.71/88.24	    num=9, depth=0..7, filters=47495, revisions=(750086,useless=702989), ccks=1086273016, wck=84.596, mem=377M557
93.71/88.24	    decisions=593, wrong=222, backtracks=66, failedAssignments=156, nogoods=92
93.71/88.24	    
100.42/94.95	    num=10, depth=0..18, filters=54149, revisions=(851996,useless=798322), ccks=1161157794, wck=91.308, mem=484M207
100.42/94.95	    decisions=667, wrong=251, backtracks=70, failedAssignments=181, nogoods=114
100.42/94.95	    
107.38/101.82	    num=11, depth=2..14, filters=62052, revisions=(956438,useless=894965), ccks=1236119642, wck=98.174, mem=160M13
107.38/101.82	    decisions=754, wrong=288, backtracks=79, failedAssignments=209, nogoods=138
107.38/101.82	    
111.79/106.25	    num=12, depth=1..16, filters=71280, revisions=(1048000,useless=977364), ccks=1280917165, wck=102.61, mem=229M648
111.79/106.25	    decisions=836, wrong=321, backtracks=81, failedAssignments=240, nogoods=169
111.79/106.25	    
120.10/114.56	    num=13, depth=0..29, filters=78351, revisions=(1169823,useless=1092240), ccks=1375459647, wck=110.914, mem=349M894
120.10/114.56	    decisions=949, wrong=364, backtracks=91, failedAssignments=274, nogoods=188
120.10/114.56	    
127.41/121.85	    num=14, depth=0..16, filters=90969, revisions=(1335655,useless=1245551), ccks=1452800290, wck=118.206, mem=456M780
127.41/121.85	    decisions=1052, wrong=409, backtracks=99, failedAssignments=311, nogoods=219
127.41/121.85	    
131.72/126.17	    num=15, depth=0..13, filters=95154, revisions=(1410725,useless=1316510), ccks=1497825233, wck=122.523, mem=550M305
131.72/126.17	    decisions=1147, wrong=451, backtracks=100, failedAssignments=352, nogoods=258
131.72/126.17	    
146.02/140.43	    num=16, depth=0..18, filters=122822, revisions=(1744431,useless=1622476), ccks=1655634407, wck=136.784, mem=737M356
146.02/140.43	    decisions=1268, wrong=504, backtracks=108, failedAssignments=397, nogoods=285
146.02/140.43	    
153.06/147.43	    num=17, depth=4..20, filters=131902, revisions=(1874214,useless=1743269), ccks=1731752354, wck=143.784, mem=175M133
153.06/147.43	    decisions=1398, wrong=560, backtracks=114, failedAssignments=447, nogoods=334
153.06/147.43	    
163.57/157.92	    num=18, depth=0..22, filters=145169, revisions=(2046872,useless=1902799), ccks=1852770150, wck=154.279, mem=362M102
163.57/157.92	    decisions=1549, wrong=626, backtracks=125, failedAssignments=502, nogoods=385
163.57/157.92	    
171.28/165.63	    num=19, depth=5..15, filters=155683, revisions=(2203054,useless=2048587), ccks=1940852663, wck=161.99, mem=442M231
171.28/165.63	    decisions=1710, wrong=700, backtracks=138, failedAssignments=563, nogoods=411
171.28/165.63	    
183.49/177.85	    num=20, depth=1..21, filters=178846, revisions=(2441233,useless=2263631), ccks=2068605409, wck=174.209, mem=602M490
183.49/177.85	    decisions=1873, wrong=772, backtracks=143, failedAssignments=630, nogoods=476
183.49/177.85	    
196.59/190.99	    num=21, depth=0..12, filters=208380, revisions=(2693823,useless=2486773), ccks=2201075803, wck=187.349, mem=776M105
196.59/190.99	    decisions=2042, wrong=852, backtracks=149, failedAssignments=704, nogoods=527
196.59/190.99	    
205.11/199.48	    num=22, depth=0..15, filters=228587, revisions=(2850480,useless=2623270), ccks=2276626052, wck=195.836, mem=279M160
205.11/199.48	    decisions=2224, wrong=936, backtracks=152, failedAssignments=785, nogoods=540
205.11/199.48	    
218.31/212.66	    num=23, depth=0..13, filters=257657, revisions=(3143226,useless=2887071), ccks=2393304720, wck=209.012, mem=589M783
218.31/212.66	    decisions=2427, wrong=1031, backtracks=158, failedAssignments=874, nogoods=626
218.31/212.66	    
228.72/223.07	    num=24, depth=1..19, filters=282695, revisions=(3395272,useless=3114108), ccks=2495622473, wck=219.423, mem=796M864
228.72/223.07	    decisions=2649, wrong=1134, backtracks=163, failedAssignments=972, nogoods=664
228.72/223.07	    
235.91/230.25	    num=25, depth=6..12, filters=298468, revisions=(3574793,useless=3277967), ccks=2560774215, wck=226.601, mem=969M433
235.91/230.25	    decisions=2880, wrong=1245, backtracks=166, failedAssignments=1080, nogoods=747
235.91/230.25	    
254.53/248.86	    num=26, depth=0..20, filters=346542, revisions=(4064049,useless=3719264), ccks=2726733551, wck=245.219, mem=355M572
254.53/248.86	    decisions=3152, wrong=1372, backtracks=174, failedAssignments=1199, nogoods=823
254.53/248.86	    
260.84/255.15	    num=27, depth=7..35, filters=362245, revisions=(4279899,useless=3919876), ccks=2788303067, wck=251.51, mem=471M744
260.84/255.15	    decisions=3551, wrong=1557, backtracks=244, failedAssignments=1330, nogoods=888
260.84/255.15	    
277.15/271.49	    num=28, depth=0..31, filters=407760, revisions=(4834238,useless=4428669), ccks=2960959931, wck=267.846, mem=722M168
277.15/271.49	    decisions=3920, wrong=1730, backtracks=273, failedAssignments=1474, nogoods=1004
277.15/271.49	    
292.58/286.83	    num=29, depth=0..27, filters=436797, revisions=(5174804,useless=4740516), ccks=3123200673, wck=283.181, mem=122M655
292.58/286.83	    decisions=4326, wrong=1921, backtracks=306, failedAssignments=1632, nogoods=1089
292.58/286.83	    
303.90/298.19	    num=30, depth=0..21, filters=463104, revisions=(5424259,useless=4963896), ccks=3232791392, wck=294.549, mem=377M836
303.90/298.19	    decisions=4711, wrong=2106, backtracks=319, failedAssignments=1806, nogoods=1136
303.90/298.19	    
316.90/311.15	    num=31, depth=10..27, filters=501766, revisions=(5826716,useless=5327813), ccks=3351607064, wck=307.503, mem=633M16
316.90/311.15	    decisions=5131, wrong=2305, backtracks=328, failedAssignments=1997, nogoods=1304
316.90/311.15	    
333.51/327.76	    num=32, depth=0..26, filters=538407, revisions=(6280038,useless=5744722), ccks=3519209233, wck=324.113, mem=122M48
333.51/327.76	    decisions=5598, wrong=2529, backtracks=342, failedAssignments=2208, nogoods=1365
333.51/327.76	    
353.23/347.48	    num=33, depth=0..16, filters=579196, revisions=(6739167,useless=6163280), ccks=3700453263, wck=343.84, mem=428M887
353.23/347.48	    decisions=6093, wrong=2770, backtracks=351, failedAssignments=2440, nogoods=1482
353.23/347.48	    
382.84/377.05	    num=34, depth=0..13, filters=669824, revisions=(7451995,useless=6785087), ccks=3979401051, wck=373.406, mem=873M803
382.84/377.05	    decisions=6629, wrong=3032, backtracks=358, failedAssignments=2695, nogoods=1618
382.84/377.05	    
399.86/394.03	    num=35, depth=0..36, filters=712728, revisions=(7879531,useless=7170404), ccks=4163634686, wck=390.383, mem=402M47
399.86/394.03	    decisions=7281, wrong=3346, backtracks=391, failedAssignments=2976, nogoods=1764
399.86/394.03	    
427.96/422.14	    num=36, depth=0..22, filters=803478, revisions=(8889432,useless=8089676), ccks=4433981081, wck=418.5, mem=830M149
427.96/422.14	    decisions=7961, wrong=3677, backtracks=413, failedAssignments=3285, nogoods=1900
427.96/422.14	    
464.98/459.18	    num=37, depth=3..14, filters=910701, revisions=(9963744,useless=9056692), ccks=4821072244, wck=455.533, mem=660M657
464.98/459.18	    decisions=8665, wrong=4022, backtracks=418, failedAssignments=3625, nogoods=2047
464.98/459.18	    
493.19/487.39	    num=38, depth=0..19, filters=1016656, revisions=(10913951,useless=9901152), ccks=5061407668, wck=483.746, mem=393M911
493.19/487.39	    decisions=9482, wrong=4426, backtracks=454, failedAssignments=3999, nogoods=2168
493.19/487.39	    
521.15/515.12	    num=39, depth=4..33, filters=1117473, revisions=(11904157,useless=10790310), ccks=5312872615, wck=511.475, mem=146M340
521.15/515.12	    decisions=10365, wrong=4857, backtracks=476, failedAssignments=4410, nogoods=2191
521.15/515.12	    
560.07/554.02	    num=40, depth=0..33, filters=1203119, revisions=(12892684,useless=11693607), ccks=5784355720, wck=550.376, mem=685M761
560.07/554.02	    decisions=11370, wrong=5347, backtracks=514, failedAssignments=4862, nogoods=2387
560.07/554.02	    
609.41/603.31	    num=41, depth=0..21, filters=1345506, revisions=(14352911,useless=13011237), ccks=6252096017, wck=599.663, mem=119M150
609.41/603.31	    decisions=12408, wrong=5858, backtracks=529, failedAssignments=5359, nogoods=2491
609.41/603.31	    
645.54/639.49	    num=42, depth=0..23, filters=1471983, revisions=(15256954,useless=13789322), ccks=6584168110, wck=635.847, mem=165M809
645.54/639.49	    decisions=13559, wrong=6424, backtracks=549, failedAssignments=5906, nogoods=2824
645.54/639.49	    
664.74/658.67	    num=43, depth=0..18, filters=1534217, revisions=(15875537,useless=14346188), ccks=6755273746, wck=655.021, mem=507M278
664.74/658.67	    decisions=14825, wrong=7050, backtracks=573, failedAssignments=6508, nogoods=2868
664.74/658.67	    
684.16/678.10	    num=44, depth=0..27, filters=1598805, revisions=(16478295,useless=14884970), ccks=6936559264, wck=674.458, mem=300M46
684.16/678.10	    decisions=16206, wrong=7732, backtracks=593, failedAssignments=7170, nogoods=2907
684.16/678.10	    
715.01/708.87	    num=45, depth=3..23, filters=1698766, revisions=(17464206,useless=15771584), ccks=7195709227, wck=705.231, mem=413M806
715.01/708.87	    decisions=17766, wrong=8502, backtracks=635, failedAssignments=7898, nogoods=3017
715.01/708.87	    
731.24/725.09	    num=46, depth=4..26, filters=1769416, revisions=(18119838,useless=16357098), ccks=7343021899, wck=721.45, mem=223M265
731.24/725.09	    decisions=19413, wrong=9316, backtracks=648, failedAssignments=8699, nogoods=3162
731.24/725.09	    
764.35/758.17	    num=47, depth=0..24, filters=1843462, revisions=(18901013,useless=17065243), ccks=7678022810, wck=754.522, mem=300M882
764.35/758.17	    decisions=21303, wrong=10251, backtracks=702, failedAssignments=9580, nogoods=3346
764.35/758.17	    
846.97/840.78	    num=48, depth=0..21, filters=2062120, revisions=(20876039,useless=18821834), ccks=8553331015, wck=837.134, mem=392M763
846.97/840.78	    decisions=23320, wrong=11252, backtracks=735, failedAssignments=10550, nogoods=3906
846.97/840.78	    
866.40/860.15	    num=49, depth=1..49, filters=2153330, revisions=(22019785,useless=19876067), ccks=8714980248, wck=856.508, mem=346M533
866.40/860.15	    decisions=25806, wrong=12487, backtracks=908, failedAssignments=11617, nogoods=4034
866.40/860.15	    
899.80/893.56	    num=50, depth=4..47, filters=2280124, revisions=(23406405,useless=21137447), ccks=9034037075, wck=889.915, mem=498M935
899.80/893.56	    decisions=28324, wrong=13728, backtracks=981, failedAssignments=12790, nogoods=4147
899.80/893.56	    
946.63/940.37	    num=51, depth=11..33, filters=2449584, revisions=(24661990,useless=22224683), ccks=9451260406, wck=936.73, mem=515M768
946.63/940.37	    decisions=31011, wrong=15057, backtracks=1023, failedAssignments=14081, nogoods=4272
946.63/940.37	    
979.47/973.11	    num=52, depth=0..23, filters=2564153, revisions=(25989275,useless=23438738), ccks=9721619430, wck=969.465, mem=467M207
979.47/973.11	    decisions=34094, wrong=16588, backtracks=1134, failedAssignments=15501, nogoods=4299
979.47/973.11	    
1004.39/998.04	    num=53, depth=1..25, filters=2644505, revisions=(26765041,useless=24135905), ccks=9962712692, wck=994.397, mem=254M421
1004.39/998.04	    decisions=37327, wrong=18196, backtracks=1180, failedAssignments=17063, nogoods=4397
1004.39/998.04	    
1035.61/1029.29	    num=54, depth=4..17, filters=2771466, revisions=(28125389,useless=25370977), ccks=10227704514, wck=1025.641, mem=197M403
1035.61/1029.29	    decisions=40819, wrong=19936, backtracks=1202, failedAssignments=18781, nogoods=4448
1035.61/1029.29	    
1099.24/1092.86	    num=55, depth=5..24, filters=3004632, revisions=(30278419,useless=27292116), ccks=10820522003, wck=1089.215, mem=183M417
1099.24/1092.86	    decisions=44767, wrong=21901, backtracks=1279, failedAssignments=20671, nogoods=4633
1099.24/1092.86	    
1244.05/1237.59	    num=56, depth=4..37, filters=3420050, revisions=(35407220,useless=32006450), ccks=12292016335, wck=1233.945, mem=143M182
1244.05/1237.59	    decisions=49224, wrong=24118, backtracks=1421, failedAssignments=22750, nogoods=4996
1244.05/1237.59	    
1791.24/1784.41	    num=57, depth=1..13, filters=5782642, revisions=(53300098,useless=47529282), ccks=16754330211, wck=1780.767, mem=201M881
1791.24/1784.41	    decisions=53933, wrong=26468, backtracks=1484, failedAssignments=25037, nogoods=5032
1791.24/1784.41	    
1843.73/1836.80	    num=58, depth=0..27, filters=6007393, revisions=(55254838,useless=49262977), ccks=17200060120, wck=1833.155, mem=177M559
1843.73/1836.80	    decisions=59043, wrong=29013, backtracks=1515, failedAssignments=27553, nogoods=5300
1843.73/1836.80	    
1964.03/1956.91	    num=59, depth=0..31, filters=6464796, revisions=(60042801,useless=53594860), ccks=18382874019, wck=1953.262, mem=147M880
1964.03/1956.91	    decisions=65052, wrong=32008, backtracks=1744, failedAssignments=30321, nogoods=5389
1964.03/1956.91	    
2023.30/2016.06	    num=60, depth=0..19, filters=6742392, revisions=(62598677,useless=55875122), ccks=18889795529, wck=2012.42, mem=118M650
2023.30/2016.06	    decisions=71297, wrong=35123, backtracks=1815, failedAssignments=33365, nogoods=5607
2023.30/2016.06	    
2132.25/2124.84	    num=61, depth=0..22, filters=7047492, revisions=(65751199,useless=58725342), ccks=19994748732, wck=2121.198, mem=121M918
2132.25/2124.84	    decisions=78291, wrong=38612, backtracks=1955, failedAssignments=36714, nogoods=5934
2132.25/2124.84	    
2256.60/2248.99	    num=62, depth=1..12, filters=7604536, revisions=(69038985,useless=61458311), ccks=20993443608, wck=2245.343, mem=154M385
2256.60/2248.99	    decisions=85808, wrong=42366, backtracks=2026, failedAssignments=40398, nogoods=6146
2256.60/2248.99

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390573-1568385573/watcher-4390573-1568385573 -o /tmp/evaluation-result-4390573-1568385573/solver-4390573-1568385573 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568380467-26902 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390573-1568385573.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
solver pid=28532, runsolver pid=28529
Current StackSize limit: 8192 KiB


[startup+0.101678 s]*
/proc/loadavg: 1.95 1.93 1.94 4/233 28547
/proc/meminfo: memFree=31578932/32770624 swapFree=67009252/67108860
[pid=28532] ppid=28529 vsize=10659884 memory=28648 CPUtime=0.14 cores=1,3,5,7
/proc/28532/stat : 28532 (java) S 28529 28532 26870 0 -1 1077944320 5646 0 0 0 13 1 0 0 20 0 15 0 414480053 10915721216 7162 33554432000 4194304 4196468 140733504585072 140733504567616 140213104774903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
/proc/28532/statm: 2664971 7162 2912 1 0 2627468 0
[pid=28532/tid=28534] ppid=28529 vsize=10659884 memory=7747744361495276107 CPUtime=0.09 cores=1,3,5,7
/proc/28532/task/28534/stat : 28534 (java) R 28529 28532 26870 0 -1 4202560 3285 0 0 0 9 0 0 0 20 0 15 0 414480053 10915721216 7294 33554432000 4194304 4196468 140733504585072 140213109003864 140213086169002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28535] ppid=28529 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28535/stat : 28535 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 7294 33554432000 4194304 4196468 140733504585072 140213041466000 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28536] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28536/stat : 28536 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 7294 33554432000 4194304 4196468 140733504585072 140213040413200 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28537] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28537/stat : 28537 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 7294 33554432000 4194304 4196468 140733504585072 140213039360400 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28538] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 7294 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480055 10915721216 7294 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28540] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28540/stat : 28540 (java) S 28529 28532 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414480056 10915721216 7294 33554432000 4194304 4196468 140733504585072 140212595082784 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28541] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28541/stat : 28541 (java) S 28529 28532 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414480056 10915721216 7294 33554432000 4194304 4196468 140733504585072 140212594029936 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28542] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28542/stat : 28542 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414480058 10915721216 7294 33554432000 4194304 4196468 140733504585072 140212592978256 140213104793499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28543] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28543/stat : 28543 (java) R 28529 28532 26870 0 -1 1077944384 487 0 0 0 0 0 0 0 20 0 15 0 414480058 10915721216 7294 33554432000 4194304 4196468 140733504585072 140212591925616 140213104786050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28544] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28544/stat : 28544 (java) S 28529 28532 26870 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 414480058 10915721216 7294 33554432000 4194304 4196468 140733504585072 140212590872816 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28545] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0.02 cores=1,3,5,7
/proc/28532/task/28545/stat : 28545 (java) R 28529 28532 26870 0 -1 4202560 588 0 0 0 2 0 0 0 20 0 15 0 414480058 10915721216 7294 33554432000 4194304 4196468 140733504585072 140212589815928 140213083716494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28546] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28546/stat : 28546 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414480059 10915721216 7294 33554432000 4194304 4196468 140733504585072 140212588767456 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28547] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28547/stat : 28547 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480059 10915721216 7360 33554432000 4194304 4196468 140733504585072 140212587715760 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28648 KiB

[startup+0.21101 s]*
/proc/loadavg: 1.95 1.93 1.94 3/233 28547
/proc/meminfo: memFree=31571552/32770624 swapFree=67009252/67108860
[pid=28532] ppid=28529 vsize=10659884 memory=34824 CPUtime=0.33 cores=1,3,5,7
/proc/28532/stat : 28532 (java) S 28529 28532 26870 0 -1 1077944320 6900 0 0 0 31 2 0 0 20 0 15 0 414480053 10915721216 8706 33554432000 4194304 4196468 140733504585072 140733504567616 140213104774903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
/proc/28532/statm: 2664971 8706 2987 1 0 2627468 0
[pid=28532/tid=28534] ppid=28529 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/28532/task/28534/stat : 28534 (java) R 28529 28532 26870 0 -1 4202560 3876 0 0 0 19 1 0 0 20 0 15 0 414480053 10915721216 8706 33554432000 4194304 4196468 140733504585072 140213109001264 140213104796829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28535] ppid=28529 vsize=10659884 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28535/stat : 28535 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 8706 33554432000 4194304 4196468 140733504585072 140213041466000 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28536] ppid=28529 vsize=10659884 memory=140098811960289 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28536/stat : 28536 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 8706 33554432000 4194304 4196468 140733504585072 140213040413200 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28537] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28537/stat : 28537 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 8706 33554432000 4194304 4196468 140733504585072 140213039360400 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28538] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 8706 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480055 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28540] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28540/stat : 28540 (java) S 28529 28532 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414480056 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212595082784 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28541] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28541/stat : 28541 (java) S 28529 28532 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414480056 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212594029936 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28542] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28542/stat : 28542 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414480058 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212592978256 140213104793499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28543] ppid=28529 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28532/task/28543/stat : 28543 (java) S 28529 28532 26870 0 -1 1077944384 814 0 0 0 3 0 0 0 20 0 15 0 414480058 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212591925616 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28544] ppid=28529 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28532/task/28544/stat : 28544 (java) S 28529 28532 26870 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 414480058 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212590872816 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28545] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0.05 cores=1,3,5,7
/proc/28532/task/28545/stat : 28545 (java) S 28529 28532 26870 0 -1 1077944384 701 0 0 0 5 0 0 0 20 0 15 0 414480058 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212589820016 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28546] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28546/stat : 28546 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414480059 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212588767456 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28547] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28547/stat : 28547 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480059 10915721216 8706 33554432000 4194304 4196468 140733504585072 140212587715760 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34824 KiB

[startup+0.310461 s]*
/proc/loadavg: 1.95 1.93 1.94 4/233 28547
/proc/meminfo: memFree=31564092/32770624 swapFree=67009252/67108860
[pid=28532] ppid=28529 vsize=10659884 memory=40236 CPUtime=0.47 cores=1,3,5,7
/proc/28532/stat : 28532 (java) S 28529 28532 26870 0 -1 1077944320 9471 0 0 0 44 3 0 0 20 0 15 0 414480053 10915721216 10059 33554432000 4194304 4196468 140733504585072 140733504567616 140213104774903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
/proc/28532/statm: 2664971 10059 3000 1 0 2627468 0
[pid=28532/tid=28534] ppid=28529 vsize=10659884 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/28532/task/28534/stat : 28534 (java) R 28529 28532 26870 0 -1 4202560 6350 0 0 0 28 2 0 0 20 0 15 0 414480053 10915721216 10059 33554432000 4194304 4196468 140733504585072 140213109007312 140213104796829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28535] ppid=28529 vsize=10659884 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28535/stat : 28535 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 10059 33554432000 4194304 4196468 140733504585072 140213041466000 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28536] ppid=28529 vsize=10659884 memory=140098811309702 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28536/stat : 28536 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 10059 33554432000 4194304 4196468 140733504585072 140213040413200 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28537] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28537/stat : 28537 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 10059 33554432000 4194304 4196468 140733504585072 140213039360400 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28538] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480054 10915721216 10059 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480055 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28540] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28540/stat : 28540 (java) S 28529 28532 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414480056 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212595082784 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28541] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28541/stat : 28541 (java) S 28529 28532 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414480056 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212594029936 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28542] ppid=28529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28542/stat : 28542 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414480058 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212592978256 140213104793499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28543] ppid=28529 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28532/task/28543/stat : 28543 (java) S 28529 28532 26870 0 -1 1077944384 863 0 0 0 4 0 0 0 20 0 15 0 414480058 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212591925616 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28544] ppid=28529 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28532/task/28544/stat : 28544 (java) S 28529 28532 26870 0 -1 1077944384 159 0 0 0 3 0 0 0 20 0 15 0 414480058 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212590872816 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28545] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0.08 cores=1,3,5,7
/proc/28532/task/28545/stat : 28545 (java) S 28529 28532 26870 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 414480058 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212589820016 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28546] ppid=28529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28546/stat : 28546 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414480059 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212588767456 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28547] ppid=28529 vsize=10659884 memory=140098809087616 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28547/stat : 28547 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480059 10915721216 10059 33554432000 4194304 4196468 140733504585072 140212587715760 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40236 KiB

[startup+0.700838 s]
/proc/loadavg: 1.95 1.93 1.94 3/233 28547
/proc/meminfo: memFree=31554804/32770624 swapFree=67009252/67108860
[pid=28532] ppid=28529 vsize=10661932 memory=64172 CPUtime=1.12 cores=1,3,5,7
/proc/28532/stat : 28532 (java) S 28529 28532 26870 0 -1 1077944320 13198 0 0 0 106 6 0 0 20 0 15 0 414480053 10917818368 16043 33554432000 4194304 4196468 140733504585072 140733504567616 140213104774903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
/proc/28532/statm: 2665483 16043 3063 1 0 2627980 0
[pid=28532/tid=28534] ppid=28529 vsize=10661932 memory=13948 CPUtime=0.67 cores=1,3,5,7
/proc/28532/task/28534/stat : 28534 (java) R 28529 28532 26870 0 -1 4202560 8902 0 0 0 63 4 0 0 20 0 15 0 414480053 10917818368 16043 33554432000 4194304 4196468 140733504585072 140213109006928 140213088855390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28535] ppid=28529 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28535/stat : 28535 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10917818368 16043 33554432000 4194304 4196468 140733504585072 140213041466000 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28536] ppid=28529 vsize=10661932 memory=520 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28536/stat : 28536 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10917818368 16043 33554432000 4194304 4196468 140733504585072 140213040413200 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28537] ppid=28529 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28537/stat : 28537 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10917818368 16043 33554432000 4194304 4196468 140733504585072 140213039360400 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28538] ppid=28529 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480054 10917818368 16043 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480055 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28540] ppid=28529 vsize=10661932 memory=896 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28540/stat : 28540 (java) S 28529 28532 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414480056 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212595082784 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28541] ppid=28529 vsize=10661932 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28541/stat : 28541 (java) S 28529 28532 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414480056 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212594029936 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28542] ppid=28529 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28542/stat : 28542 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414480058 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212592978256 140213104793499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28543] ppid=28529 vsize=10661932 memory=2452 CPUtime=0.12 cores=1,3,5,7
/proc/28532/task/28543/stat : 28543 (java) S 28529 28532 26870 0 -1 1077944384 1236 0 0 0 12 0 0 0 20 0 15 0 414480058 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212591925616 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28544] ppid=28529 vsize=10661932 memory=7302135314614015840 CPUtime=0.1 cores=1,3,5,7
/proc/28532/task/28544/stat : 28544 (java) R 28529 28532 26870 0 -1 4202560 479 0 0 0 10 0 0 0 20 0 15 0 414480058 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212590872816 140213088159860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28545] ppid=28529 vsize=10661932 memory=6008736833212214384 CPUtime=0.19 cores=1,3,5,7
/proc/28532/task/28545/stat : 28545 (java) S 28529 28532 26870 0 -1 1077944384 1224 0 0 0 19 0 0 0 20 0 15 0 414480058 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212589820016 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28546] ppid=28529 vsize=10661932 memory=7523071198212214892 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28546/stat : 28546 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414480059 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212588767456 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28547] ppid=28529 vsize=10661932 memory=10 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28547/stat : 28547 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480059 10917818368 16043 33554432000 4194304 4196468 140733504585072 140212587715760 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64172 KiB

[startup+1.50077 s]
/proc/loadavg: 1.95 1.93 1.94 3/233 28547
/proc/meminfo: memFree=31538612/32770624 swapFree=67009252/67108860
[pid=28532] ppid=28529 vsize=10663980 memory=76076 CPUtime=2.01 cores=1,3,5,7
/proc/28532/stat : 28532 (java) S 28529 28532 26870 0 -1 1077944320 18840 0 0 0 194 7 0 0 20 0 15 0 414480053 10919915520 19019 33554432000 4194304 4196468 140733504585072 140733504567616 140213104774903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
/proc/28532/statm: 2665995 19019 3095 1 0 2628492 0
[pid=28532/tid=28534] ppid=28529 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/28532/task/28534/stat : 28534 (java) R 28529 28532 26870 0 -1 4202560 13121 0 0 0 143 5 0 0 20 0 15 0 414480053 10919915520 19019 33554432000 4194304 4196468 140733504585072 140213109006928 140213088855390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28535] ppid=28529 vsize=10663980 memory=15815586630345727 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28535/stat : 28535 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10919915520 19019 33554432000 4194304 4196468 140733504585072 140213041466000 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28536] ppid=28529 vsize=10663980 memory=7811327980089665385 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28536/stat : 28536 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10919915520 19019 33554432000 4194304 4196468 140733504585072 140213040413200 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28537] ppid=28529 vsize=10663980 memory=7811327980089665385 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28537/stat : 28537 (java) S 28529 28532 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414480054 10919915520 19019 33554432000 4194304 4196468 140733504585072 140213039360400 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28538] ppid=28529 vsize=10663980 memory=7811327980089665385 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414480054 10919915520 19019 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10663980 memory=7811327980089665385 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414480055 10919915520 19019 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0

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

/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 5126 0 0 0 64 6 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.24 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 9801 0 0 0 20 4 0 0 20 0 16 0 414480055 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28540] ppid=28529 vsize=10748324 memory=571528 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28540/stat : 28540 (java) S 28529 28532 26870 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414480056 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212595082848 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28541] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28541/stat : 28541 (java) S 28529 28532 26870 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414480056 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212594029952 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28542] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28542/stat : 28542 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212592978256 140213104793499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28543] ppid=28529 vsize=10748324 memory=571532 CPUtime=2.24 cores=1,3,5,7
/proc/28532/task/28543/stat : 28543 (java) S 28529 28532 26870 0 -1 1077944384 15506 0 0 0 222 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212591925616 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28544] ppid=28529 vsize=10748324 memory=571532 CPUtime=2.28 cores=1,3,5,7
/proc/28532/task/28544/stat : 28544 (java) S 28529 28532 26870 0 -1 1077944384 11213 0 0 0 226 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212590872816 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28545] ppid=28529 vsize=10748324 memory=1616 CPUtime=1 cores=1,3,5,7
/proc/28532/task/28545/stat : 28545 (java) S 28529 28532 26870 0 -1 1077944384 18339 0 0 0 98 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212589820016 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28546] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28546/stat : 28546 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414480059 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212588767456 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28547] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.58 cores=1,3,5,7
/proc/28532/task/28547/stat : 28547 (java) S 28529 28532 26870 0 -1 1077944384 2362 0 0 0 23 35 0 0 20 0 16 0 414480059 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212587715760 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28548] ppid=28529 vsize=10748324 memory=571532 CPUtime=2439.17 cores=1,3,5,7
/proc/28532/task/28548/stat : 28548 (java) R 28529 28532 26870 0 -1 4202560 38419 0 0 0 243901 16 0 0 20 0 16 0 414480240 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212571053888 140212723284777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
Current children cumulated CPU time: 2450.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 571532 KiB

[startup+2502.3 s]
/proc/loadavg: 1.85 1.82 1.86 3/235 28881
/proc/meminfo: memFree=28121060/32770624 swapFree=67009260/67108860
[pid=28532] ppid=28529 vsize=10748324 memory=571532 CPUtime=2510.39 cores=1,3,5,7
/proc/28532/stat : 28532 (java) S 28529 28532 26870 0 -1 1077944320 137894 0 0 0 250947 92 0 0 20 0 16 0 414480053 11006283776 142883 33554432000 4194304 4196468 140733504585072 140733504567616 140213104774903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
/proc/28532/statm: 2687081 142883 3389 1 0 2647217 0
[pid=28532/tid=28534] ppid=28529 vsize=10748324 memory=3472 CPUtime=1.86 cores=1,3,5,7
/proc/28532/task/28534/stat : 28534 (java) S 28529 28532 26870 0 -1 1077944384 15373 0 0 0 179 7 0 0 20 0 16 0 414480053 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213109017776 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28535] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.74 cores=1,3,5,7
/proc/28532/task/28535/stat : 28535 (java) S 28529 28532 26870 0 -1 1077944384 8610 0 0 0 66 8 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213041466000 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28536] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.75 cores=1,3,5,7
/proc/28532/task/28536/stat : 28536 (java) S 28529 28532 26870 0 -1 1077944384 5116 0 0 0 67 8 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213040413200 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28537] ppid=28529 vsize=10748324 memory=56 CPUtime=0.73 cores=1,3,5,7
/proc/28532/task/28537/stat : 28537 (java) S 28529 28532 26870 0 -1 1077944384 5817 0 0 0 66 7 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213039360400 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28538] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.72 cores=1,3,5,7
/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 5446 0 0 0 66 6 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.26 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 9984 0 0 0 22 4 0 0 20 0 16 0 414480055 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28540] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28540/stat : 28540 (java) S 28529 28532 26870 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414480056 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212595082848 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28541] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28541/stat : 28541 (java) S 28529 28532 26870 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414480056 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212594029952 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28542] ppid=28529 vsize=10748324 memory=280197359396544 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28542/stat : 28542 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212592978256 140213104793499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28543] ppid=28529 vsize=10748324 memory=571532 CPUtime=2.24 cores=1,3,5,7
/proc/28532/task/28543/stat : 28543 (java) S 28529 28532 26870 0 -1 1077944384 15509 0 0 0 222 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212591925616 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28544] ppid=28529 vsize=10748324 memory=571532 CPUtime=2.28 cores=1,3,5,7
/proc/28532/task/28544/stat : 28544 (java) S 28529 28532 26870 0 -1 1077944384 11215 0 0 0 226 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212590872816 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28545] ppid=28529 vsize=10748324 memory=571532 CPUtime=1 cores=1,3,5,7
/proc/28532/task/28545/stat : 28545 (java) S 28529 28532 26870 0 -1 1077944384 18341 0 0 0 98 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212589820016 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28546] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28546/stat : 28546 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414480059 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212588767456 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28547] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.6 cores=1,3,5,7
/proc/28532/task/28547/stat : 28547 (java) S 28529 28532 26870 0 -1 1077944384 2392 0 0 0 24 36 0 0 20 0 16 0 414480059 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212587715760 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28548] ppid=28529 vsize=10748324 memory=1188 CPUtime=2499.11 cores=1,3,5,7
/proc/28532/task/28548/stat : 28548 (java) R 28529 28532 26870 0 -1 4202560 38645 0 0 0 249895 16 0 0 20 0 16 0 414480240 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212571053888 140212723098129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
Current children cumulated CPU time: 2510.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 571532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.9 s]
/proc/loadavg: 1.87 1.83 1.87 3/235 28881
/proc/meminfo: memFree=28121536/32770624 swapFree=67009260/67108860
[pid=28532] ppid=28529 vsize=10748324 memory=571532 CPUtime=2520 cores=1,3,5,7
/proc/28532/stat : 28532 (java) S 28529 28532 26870 0 -1 1077944320 137924 0 0 0 251908 92 0 0 20 0 16 0 414480053 11006283776 142883 33554432000 4194304 4196468 140733504585072 140733504567616 140213104774903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
/proc/28532/statm: 2687081 142883 3389 1 0 2647217 0
[pid=28532/tid=28534] ppid=28529 vsize=10748324 memory=571532 CPUtime=1.86 cores=1,3,5,7
/proc/28532/task/28534/stat : 28534 (java) S 28529 28532 26870 0 -1 1077944384 15373 0 0 0 179 7 0 0 20 0 16 0 414480053 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213109017776 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28535] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.74 cores=1,3,5,7
/proc/28532/task/28535/stat : 28535 (java) S 28529 28532 26870 0 -1 1077944384 8610 0 0 0 66 8 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213041466000 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28536] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.75 cores=1,3,5,7
/proc/28532/task/28536/stat : 28536 (java) S 28529 28532 26870 0 -1 1077944384 5116 0 0 0 67 8 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213040413200 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28537] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.73 cores=1,3,5,7
/proc/28532/task/28537/stat : 28537 (java) S 28529 28532 26870 0 -1 1077944384 5817 0 0 0 66 7 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213039360400 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28538] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.72 cores=1,3,5,7
/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 5446 0 0 0 66 6 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10748324 memory=72 CPUtime=0.26 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 9986 0 0 0 22 4 0 0 20 0 16 0 414480055 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28540] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28540/stat : 28540 (java) S 28529 28532 26870 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414480056 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212595082848 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28541] ppid=28529 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28541/stat : 28541 (java) S 28529 28532 26870 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414480056 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212594029952 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28542] ppid=28529 vsize=10748324 memory=245191093051134 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28542/stat : 28542 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212592978256 140213104793499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28543] ppid=28529 vsize=10748324 memory=571532 CPUtime=2.24 cores=1,3,5,7
/proc/28532/task/28543/stat : 28543 (java) S 28529 28532 26870 0 -1 1077944384 15509 0 0 0 222 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212591925616 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28544] ppid=28529 vsize=10748324 memory=571532 CPUtime=2.28 cores=1,3,5,7
/proc/28532/task/28544/stat : 28544 (java) S 28529 28532 26870 0 -1 1077944384 11215 0 0 0 226 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212590872816 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28545] ppid=28529 vsize=10748324 memory=571532 CPUtime=1 cores=1,3,5,7
/proc/28532/task/28545/stat : 28545 (java) S 28529 28532 26870 0 -1 1077944384 18341 0 0 0 98 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212589820016 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28546] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28546/stat : 28546 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414480059 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212588767456 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28547] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.6 cores=1,3,5,7
/proc/28532/task/28547/stat : 28547 (java) S 28529 28532 26870 0 -1 1077944384 2394 0 0 0 24 36 0 0 20 0 16 0 414480059 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212587715760 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28548] ppid=28529 vsize=10748324 memory=571532 CPUtime=2508.71 cores=1,3,5,7
/proc/28532/task/28548/stat : 28548 (java) R 28529 28532 26870 0 -1 4202560 38671 0 0 0 250855 16 0 0 20 0 16 0 414480240 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212571053888 140212723133632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 571532 KiB

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

[startup+2511.92 s]
# the end of solver process 28532 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.1 s, system=0.929064 s

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

[startup+2511.9 s]
/proc/loadavg: 1.87 1.83 1.87 3/235 28881
/proc/meminfo: memFree=28121536/32770624 swapFree=67009260/67108860
[pid=28532] ppid=28529 vsize=10748324 memory=571532 CPUtime=2520 cores=1,3,5,7
/proc/28532/stat : 28532 (java) S 28529 28532 26870 0 -1 1077944320 137924 0 0 0 251908 92 0 0 20 0 16 0 414480053 11006283776 142883 33554432000 4194304 4196468 140733504585072 140733504567616 140213104774903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
/proc/28532/statm: 2687081 142883 3389 1 0 2647217 0
[pid=28532/tid=28534] ppid=28529 vsize=10748324 memory=571532 CPUtime=1.86 cores=1,3,5,7
/proc/28532/task/28534/stat : 28534 (java) S 28529 28532 26870 0 -1 1077944384 15373 0 0 0 179 7 0 0 20 0 16 0 414480053 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213109017776 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28535] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.74 cores=1,3,5,7
/proc/28532/task/28535/stat : 28535 (java) S 28529 28532 26870 0 -1 1077944384 8610 0 0 0 66 8 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213041466000 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28536] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.75 cores=1,3,5,7
/proc/28532/task/28536/stat : 28536 (java) S 28529 28532 26870 0 -1 1077944384 5116 0 0 0 67 8 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213040413200 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28537] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.73 cores=1,3,5,7
/proc/28532/task/28537/stat : 28537 (java) S 28529 28532 26870 0 -1 1077944384 5817 0 0 0 66 7 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213039360400 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28538] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.72 cores=1,3,5,7
/proc/28532/task/28538/stat : 28538 (java) S 28529 28532 26870 0 -1 1077944384 5446 0 0 0 66 6 0 0 20 0 16 0 414480054 11006283776 142883 33554432000 4194304 4196468 140733504585072 140213038307600 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28539] ppid=28529 vsize=10748324 memory=72 CPUtime=0.26 cores=1,3,5,7
/proc/28532/task/28539/stat : 28539 (java) S 28529 28532 26870 0 -1 1077944384 9986 0 0 0 22 4 0 0 20 0 16 0 414480055 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212596136816 140213104786050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28540] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28540/stat : 28540 (java) S 28529 28532 26870 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414480056 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212595082848 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28541] ppid=28529 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28541/stat : 28541 (java) S 28529 28532 26870 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414480056 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212594029952 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28542] ppid=28529 vsize=10748324 memory=245191093051134 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28542/stat : 28542 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212592978256 140213104793499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28543] ppid=28529 vsize=10748324 memory=571532 CPUtime=2.24 cores=1,3,5,7
/proc/28532/task/28543/stat : 28543 (java) S 28529 28532 26870 0 -1 1077944384 15509 0 0 0 222 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212591925616 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28544] ppid=28529 vsize=10748324 memory=571532 CPUtime=2.28 cores=1,3,5,7
/proc/28532/task/28544/stat : 28544 (java) S 28529 28532 26870 0 -1 1077944384 11215 0 0 0 226 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212590872816 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28545] ppid=28529 vsize=10748324 memory=571532 CPUtime=1 cores=1,3,5,7
/proc/28532/task/28545/stat : 28545 (java) S 28529 28532 26870 0 -1 1077944384 18341 0 0 0 98 2 0 0 20 0 16 0 414480058 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212589820016 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28546] ppid=28529 vsize=10748324 memory=571532 CPUtime=0 cores=1,3,5,7
/proc/28532/task/28546/stat : 28546 (java) S 28529 28532 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414480059 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212588767456 140213104785109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28547] ppid=28529 vsize=10748324 memory=571532 CPUtime=0.6 cores=1,3,5,7
/proc/28532/task/28547/stat : 28547 (java) S 28529 28532 26870 0 -1 1077944384 2394 0 0 0 24 36 0 0 20 0 16 0 414480059 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212587715760 140213104786050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
[pid=28532/tid=28548] ppid=28529 vsize=10748324 memory=571532 CPUtime=2508.71 cores=1,3,5,7
/proc/28532/task/28548/stat : 28548 (java) R 28529 28532 26870 0 -1 4202560 38671 0 0 0 250855 16 0 0 20 0 16 0 414480240 11006283776 142883 33554432000 4194304 4196468 140733504585072 140212571053888 140212723133632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12214272 140733504590859 140733504590962 140733504590962 140733504593871 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 571532 KiB

Child status: 143
Real time (s): 2511.92
CPU time (s): 2520.02
CPU user time (s): 2519.1
CPU system time (s): 0.929064
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1050836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.1
system time used= 0.929064
maximum resident set size= 1051796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62502
involuntary context switches= 2435


# summary of solver processes directly reported to runsolver:
#   pid: 28532
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.1
#   total CPU system time (s): 0.929064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8513 second user time and 23.0865 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-13 16:38:44
IDJOB=4390573
IDBENCH=138480
IDSOLVER=2832
FILE ID=node132/4390573-1568385573
RUNJOBID= node132-1568380467-26902
PBS_JOBID= 21701836
Free space on /tmp= 60296 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-13.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390573-1568385573/watcher-4390573-1568385573 -o /tmp/evaluation-result-4390573-1568385573/solver-4390573-1568385573 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568380467-26902 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390573-1568385573.xml -cm

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

MD5SUM BENCH= 388994c608323cc5ca888624a3c66f06
RANDOM SEED=1464053342

node132.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.95
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.95
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.95
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.95
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:        31595392 kB
MemAvailable:   31637656 kB
Buffers:           27256 kB
Cached:           293600 kB
SwapCached:         6232 kB
Active:           530108 kB
Inactive:          79512 kB
Active(anon):     285808 kB
Inactive(anon):    30964 kB
Active(file):     244300 kB
Inactive(file):    48548 kB
Unevictable:      109592 kB
Mlocked:          109592 kB
SwapTotal:      67108860 kB
SwapFree:       67009252 kB
Dirty:              9364 kB
Writeback:             0 kB
AnonPages:        396428 kB
Mapped:            43808 kB
Shmem:             19128 kB
Slab:             159540 kB
SReclaimable:     130500 kB
SUnreclaim:        29040 kB
KernelStack:        3968 kB
PageTables:         6480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1225856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 60288 MiB
End job on node132 at 2019-09-13 17:20:36