Trace number 4390684

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.03 2511.62

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-02.xml
MD5SUMc67201b80d2f8cf37dc6fc32cd78d58c
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 benchmark422.969
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains85
Minimum domain size1165
Maximum domain size1263
Distribution of domain sizes[{"size":1165,"count":2},{"size":1166,"count":8},{"size":1167,"count":2},{"size":1168,"count":4},{"size":1169,"count":2},{"size":1170,"count":6},{"size":1171,"count":10},{"size":1172,"count":4},{"size":1173,"count":10},{"size":1174,"count":8},{"size":1176,"count":6},{"size":1178,"count":4},{"size":1179,"count":6},{"size":1180,"count":2},{"size":1181,"count":6},{"size":1182,"count":4},{"size":1183,"count":4},{"size":1185,"count":2},{"size":1186,"count":4},{"size":1187,"count":2},{"size":1188,"count":4},{"size":1191,"count":10},{"size":1192,"count":6},{"size":1193,"count":4},{"size":1194,"count":6},"...",{"size":1236,"count":8}, {"size":1237,"count":4}, {"size":1239,"count":6}, {"size":1240,"count":8}, {"size":1241,"count":12}, {"size":1242,"count":2}, {"size":1243,"count":6}, {"size":1244,"count":8}, {"size":1245,"count":8}, {"size":1247,"count":2}, {"size":1248,"count":6}, {"size":1250,"count":4}, {"size":1251,"count":6}, {"size":1252,"count":2}, {"size":1253,"count":6}, {"size":1254,"count":6}, {"size":1255,"count":2}, {"size":1256,"count":10}, {"size":1257,"count":4}, {"size":1258,"count":2}, {"size":1259,"count":4}, {"size":1260,"count":2}, {"size":1261,"count":4}, {"size":1262,"count":2}, {"size":1263,"count":4}]
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.64/2.11	
2.64/2.11	AbsCon 2 
2.87/2.12	
3.81/2.48	  Instance
3.81/2.48	    name=instance-4390684-1568385632, framework=CSP
3.81/2.48	
3.81/2.48	  Loading variables...
4.15/2.55	  Loading constraints...
8.79/3.96	
8.79/3.96	  Domains
8.79/3.96	    nTypes=85, nValues=546088, sizes=[1165#2,1166#8,1167#2,1168#4...1260#2,1261#4,1262#2,1263#4]
8.79/3.96	  Variables
8.79/3.96	    count=450, degrees=[16#30,17#195,31#30,33#195]
8.79/3.96	  Constraints
8.79/3.96	    count=5580, nSpecific=225, arities=[2#5580]
8.79/3.96	    distribution=[CtrIntension#5355,NE#225]
8.79/3.96	    nIntStructures=(1539,shared:3816)
8.79/3.96	    wck=1.887, cpu=3.857, mem=165M452
8.79/3.97	  Solver SolverBacktrack being built...
8.79/3.97	
9.16/4.02	
9.16/4.02	  Solver
9.16/4.02	    guaranteedGAC=true
9.16/4.02	    wck=1.946, cpu=3.914, mem=180M287
61.64/55.95	
61.64/55.95	  Preprocessing
61.64/55.95	    filters=1345, revisions=(26902,useless=25347), ccks=497588450, nACremovedValues=317968, nTotalRemovedValues=317968, inconcistency=false
61.64/55.95	    wck=51.926, cpu=55.81, mem=268M476
61.64/55.95	
71.56/65.63	    num=0, depth=50..50, filters=5264, revisions=(83596,useless=78152), ccks=558158380, wck=61.611, mem=193M467
71.56/65.63	    decisions=70, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
71.56/65.63	    
76.49/70.50	    num=1, depth=0..2, filters=7672, revisions=(126053,useless=118251), ccks=596279867, wck=66.482, mem=233M277
76.49/70.50	    decisions=106, wrong=28, backtracks=7, failedAssignments=21, nogoods=10
76.49/70.50	    
79.20/73.22	    num=2, depth=0..2, filters=9506, revisions=(158458,useless=148874), ccks=618938171, wck=69.196, mem=265M125
79.20/73.22	    decisions=144, wrong=47, backtracks=14, failedAssignments=33, nogoods=10
79.20/73.22	    
88.52/82.59	    num=3, depth=1..37, filters=14062, revisions=(240706,useless=226631), ccks=682695026, wck=78.567, mem=392M518
88.52/82.59	    decisions=207, wrong=61, backtracks=15, failedAssignments=46, nogoods=23
88.52/82.59	    
93.21/87.20	    num=4, depth=0..2, filters=17772, revisions=(296980,useless=279255), ccks=720901043, wck=83.178, mem=424M366
93.21/87.20	    decisions=253, wrong=84, backtracks=24, failedAssignments=60, nogoods=23
93.21/87.20	    
96.93/90.98	    num=5, depth=0..2, filters=20577, revisions=(344793,useless=324336), ccks=755033380, wck=86.958, mem=456M214
96.93/90.98	    decisions=306, wrong=110, backtracks=34, failedAssignments=76, nogoods=24
96.93/90.98	    
106.29/100.25	    num=6, depth=0..25, filters=27615, revisions=(446756,useless=419296), ccks=820623542, wck=96.235, mem=169M399
106.29/100.25	    decisions=368, wrong=129, backtracks=36, failedAssignments=93, nogoods=40
106.29/100.25	    
113.50/107.43	    num=7, depth=0..14, filters=34410, revisions=(539682,useless=505476), ccks=875635652, wck=103.408, mem=249M338
113.50/107.43	    decisions=430, wrong=153, backtracks=41, failedAssignments=112, nogoods=57
113.50/107.43	    
120.31/114.27	    num=8, depth=0..2, filters=38345, revisions=(612200,useless=574153), ccks=933431809, wck=110.248, mem=297M302
120.31/114.27	    decisions=498, wrong=187, backtracks=54, failedAssignments=133, nogoods=57
120.31/114.27	    
126.81/120.73	    num=9, depth=0..9, filters=42370, revisions=(687045,useless=645077), ccks=987398642, wck=116.706, mem=353M259
126.81/120.73	    decisions=574, wrong=222, backtracks=66, failedAssignments=156, nogoods=72
126.81/120.73	    
134.34/128.25	    num=10, depth=0..9, filters=47737, revisions=(758951,useless=711702), ccks=1048648662, wck=124.227, mem=433M198
134.34/128.25	    decisions=647, wrong=255, backtracks=74, failedAssignments=181, nogoods=88
134.34/128.25	    
141.54/135.41	    num=11, depth=4..23, filters=53702, revisions=(862019,useless=808932), ccks=1101617986, wck=131.394, mem=508M101
141.54/135.41	    decisions=743, wrong=293, backtracks=84, failedAssignments=209, nogoods=111
141.54/135.41	    
150.49/144.30	    num=12, depth=0..13, filters=60498, revisions=(975115,useless=915371), ccks=1174718232, wck=140.281, mem=184M299
150.49/144.30	    decisions=849, wrong=341, backtracks=101, failedAssignments=240, nogoods=134
150.49/144.30	    
163.10/156.90	    num=13, depth=0..25, filters=70684, revisions=(1130798,useless=1060969), ccks=1274934049, wck=152.881, mem=299M447
163.10/156.90	    decisions=966, wrong=389, backtracks=115, failedAssignments=274, nogoods=161
163.10/156.90	    
173.51/167.37	    num=14, depth=0..22, filters=81887, revisions=(1298236,useless=1217248), ccks=1352611949, wck=163.355, mem=401M800
173.51/167.37	    decisions=1072, wrong=432, backtracks=121, failedAssignments=311, nogoods=192
173.51/167.37	    
188.11/182.00	    num=15, depth=0..22, filters=93886, revisions=(1457264,useless=1364320), ccks=1465373605, wck=177.981, mem=555M330
188.11/182.00	    decisions=1200, wrong=486, backtracks=134, failedAssignments=352, nogoods=230
188.11/182.00	    
205.52/199.38	    num=16, depth=0..15, filters=105155, revisions=(1631029,useless=1527007), ccks=1611643983, wck=195.359, mem=696M65
205.52/199.38	    decisions=1350, wrong=555, backtracks=158, failedAssignments=397, nogoods=248
205.52/199.38	    
224.06/217.81	    num=17, depth=0..14, filters=123794, revisions=(1869458,useless=1746863), ccks=1758823072, wck=213.795, mem=232M671
224.06/217.81	    decisions=1480, wrong=615, backtracks=169, failedAssignments=447, nogoods=288
224.06/217.81	    
233.96/227.77	    num=18, depth=0..22, filters=130791, revisions=(1992123,useless=1862690), ccks=1833333500, wck=223.753, mem=336M809
233.96/227.77	    decisions=1638, wrong=685, backtracks=185, failedAssignments=502, nogoods=303
233.96/227.77	    
259.17/252.96	    num=19, depth=0..15, filters=177947, revisions=(2555837,useless=2379157), ccks=2009743190, wck=248.939, mem=567M149
259.17/252.96	    decisions=1789, wrong=756, backtracks=195, failedAssignments=563, nogoods=351
259.17/252.96	    
268.87/262.65	    num=20, depth=0..25, filters=194822, revisions=(2764064,useless=2570602), ccks=2078736429, wck=258.63, mem=656M725
268.87/262.65	    decisions=1960, wrong=833, backtracks=205, failedAssignments=630, nogoods=387
268.87/262.65	    
286.60/280.31	    num=21, depth=0..14, filters=216791, revisions=(2997770,useless=2782425), ccks=2211059861, wck=276.29, mem=178M714
286.60/280.31	    decisions=2147, wrong=920, backtracks=219, failedAssignments=704, nogoods=449
286.60/280.31	    
311.61/305.33	    num=22, depth=0..15, filters=248638, revisions=(3464910,useless=3217858), ccks=2399318163, wck=301.312, mem=376M72
311.61/305.33	    decisions=2336, wrong=1008, backtracks=226, failedAssignments=785, nogoods=505
311.61/305.33	    
336.92/330.64	    num=23, depth=0..16, filters=300186, revisions=(4013350,useless=3714648), ccks=2563659814, wck=326.621, mem=672M110
336.92/330.64	    decisions=2545, wrong=1106, backtracks=235, failedAssignments=874, nogoods=539
336.92/330.64	    
344.25/338.00	    num=24, depth=0..23, filters=310917, revisions=(4146441,useless=3837166), ccks=2617853982, wck=333.982, mem=116M607
344.25/338.00	    decisions=2773, wrong=1211, backtracks=242, failedAssignments=972, nogoods=560
344.25/338.00	    
361.47/355.12	    num=25, depth=0..13, filters=333938, revisions=(4412399,useless=4080311), ccks=2742407245, wck=351.103, mem=272M401
361.47/355.12	    decisions=3029, wrong=1333, backtracks=256, failedAssignments=1080, nogoods=616
361.47/355.12	    
369.37/363.07	    num=26, depth=0..9, filters=350520, revisions=(4548971,useless=4200441), ccks=2793872018, wck=359.049, mem=391M424
369.37/363.07	    decisions=3291, wrong=1460, backtracks=264, failedAssignments=1199, nogoods=729
369.37/363.07	    
391.07/384.78	    num=27, depth=0..27, filters=374268, revisions=(4785011,useless=4412964), ccks=2954810292, wck=380.763, mem=605M664
391.07/384.78	    decisions=3624, wrong=1616, backtracks=291, failedAssignments=1330, nogoods=797
391.07/384.78	    
405.40/399.04	    num=28, depth=0..18, filters=391779, revisions=(4985535,useless=4596198), ccks=3055445614, wck=395.018, mem=185M147
405.40/399.04	    decisions=3958, wrong=1775, backtracks=307, failedAssignments=1474, nogoods=819
405.40/399.04	    
434.85/428.41	    num=29, depth=0..21, filters=436734, revisions=(5545868,useless=5111611), ccks=3262677888, wck=424.394, mem=460M584
434.85/428.41	    decisions=4360, wrong=1969, backtracks=345, failedAssignments=1632, nogoods=921
434.85/428.41	    
458.26/451.83	    num=30, depth=0..20, filters=478935, revisions=(5961059,useless=5484619), ccks=3419654507, wck=447.813, mem=678M638
458.26/451.83	    decisions=4752, wrong=2156, backtracks=359, failedAssignments=1806, nogoods=1082
458.26/451.83	    
479.68/473.29	    num=31, depth=0..15, filters=519394, revisions=(6377123,useless=5860313), ccks=3561031880, wck=469.269, mem=370M702
479.68/473.29	    decisions=5162, wrong=2354, backtracks=366, failedAssignments=1997, nogoods=1193
479.68/473.29	    
495.60/489.12	    num=32, depth=7..15, filters=555476, revisions=(6743178,useless=6190425), ccks=3656895673, wck=485.096, mem=581M173
495.60/489.12	    decisions=5601, wrong=2567, backtracks=368, failedAssignments=2208, nogoods=1310
495.60/489.12	    
518.51/512.06	    num=33, depth=4..5, filters=604816, revisions=(7106582,useless=6504743), ccks=3785411797, wck=508.042, mem=372M267
518.51/512.06	    decisions=6072, wrong=2800, backtracks=369, failedAssignments=2440, nogoods=1533
518.51/512.06	    
546.02/539.58	    num=34, depth=1..17, filters=666049, revisions=(7700676,useless=7037723), ccks=3955018752, wck=535.563, mem=270M196
546.02/539.58	    decisions=6617, wrong=3065, backtracks=379, failedAssignments=2695, nogoods=1754
546.02/539.58	    
597.25/590.74	    num=35, depth=0..12, filters=779380, revisions=(8390652,useless=7614541), ccks=4285777655, wck=586.721, mem=204M726
597.25/590.74	    decisions=7191, wrong=3346, backtracks=379, failedAssignments=2976, nogoods=2034
597.25/590.74	    
633.27/626.78	    num=36, depth=0..19, filters=840865, revisions=(8920473,useless=8083120), ccks=4526046356, wck=622.759, mem=211M30
633.27/626.78	    decisions=7884, wrong=3686, backtracks=410, failedAssignments=3285, nogoods=2196
633.27/626.78	    
686.89/680.39	    num=37, depth=0..19, filters=950885, revisions=(9907970,useless=8960305), ccks=4867280281, wck=676.37, mem=356M654
686.89/680.39	    decisions=8621, wrong=4046, backtracks=430, failedAssignments=3625, nogoods=2287
686.89/680.39	    
724.82/718.26	    num=38, depth=4..16, filters=1052338, revisions=(10861612,useless=9812465), ccks=5100087823, wck=714.243, mem=393M544
724.82/718.26	    decisions=9426, wrong=4442, backtracks=453, failedAssignments=3999, nogoods=2349
724.82/718.26	    
747.76/741.06	    num=39, depth=0..14, filters=1108033, revisions=(11298133,useless=10193753), ccks=5249554588, wck=737.042, mem=270M755
747.76/741.06	    decisions=10293, wrong=4870, backtracks=471, failedAssignments=4410, nogoods=2436
747.76/741.06	    
783.11/776.34	    num=40, depth=0..26, filters=1201557, revisions=(12189649,useless=10991724), ccks=5443175458, wck=772.316, mem=121M377
783.11/776.34	    decisions=11248, wrong=5338, backtracks=489, failedAssignments=4862, nogoods=2491
783.11/776.34	    
807.73/800.97	    num=41, depth=0..15, filters=1241599, revisions=(12694715,useless=11457353), ccks=5614763828, wck=796.951, mem=415M430
807.73/800.97	    decisions=12328, wrong=5871, backtracks=527, failedAssignments=5359, nogoods=2646
807.73/800.97	    
823.56/816.75	    num=42, depth=1..10, filters=1274345, revisions=(12966676,useless=11697156), ccks=5718625505, wck=812.733, mem=255M290
823.56/816.75	    decisions=13457, wrong=6432, backtracks=541, failedAssignments=5906, nogoods=2920
823.56/816.75	    
837.06/830.22	    num=43, depth=0..13, filters=1310780, revisions=(13227177,useless=11922156), ccks=5797070509, wck=826.198, mem=492M473
837.06/830.22	    decisions=14684, wrong=7042, backtracks=551, failedAssignments=6508, nogoods=2944
837.06/830.22	    
853.98/847.16	    num=44, depth=3..18, filters=1355208, revisions=(13584034,useless=12234327), ccks=5898709768, wck=843.139, mem=380M677
853.98/847.16	    decisions=16048, wrong=7720, backtracks=569, failedAssignments=7170, nogoods=3046
853.98/847.16	    
888.79/881.93	    num=45, depth=0..12, filters=1409061, revisions=(14306553,useless=12903712), ccks=6147023844, wck=877.906, mem=320M447
888.79/881.93	    decisions=17594, wrong=8488, backtracks=611, failedAssignments=7898, nogoods=3184
888.79/881.93	    
911.21/904.32	    num=46, depth=5..11, filters=1459024, revisions=(14731547,useless=13279866), ccks=6285548920, wck=900.301, mem=241M867
911.21/904.32	    decisions=19229, wrong=9302, backtracks=625, failedAssignments=8699, nogoods=3218
911.21/904.32	    
958.83/951.99	    num=47, depth=7..17, filters=1561703, revisions=(15613721,useless=14060080), ccks=6633720781, wck=947.972, mem=349M276
958.83/951.99	    decisions=21121, wrong=10244, backtracks=686, failedAssignments=9580, nogoods=3272
958.83/951.99	    
1096.51/1089.59	    num=48, depth=5..12, filters=1801632, revisions=(17906633,useless=16113327), ccks=7556229856, wck=1085.573, mem=173M454
1096.51/1089.59	    decisions=23147, wrong=11253, backtracks=725, failedAssignments=10550, nogoods=3660
1096.51/1089.59	    
1120.14/1113.18	    num=49, depth=6..8, filters=1882665, revisions=(18495446,useless=16622120), ccks=7678548742, wck=1109.16, mem=334M67
1120.14/1113.18	    decisions=25309, wrong=12330, backtracks=735, failedAssignments=11617, nogoods=3879
1120.14/1113.18	    
1198.67/1191.64	    num=50, depth=8..13, filters=2070666, revisions=(20343798,useless=18283587), ccks=8154717461, wck=1187.617, mem=354M584
1198.67/1191.64	    decisions=27810, wrong=13576, backtracks=810, failedAssignments=12790, nogoods=3987
1198.67/1191.64	    
1331.86/1324.75	    num=51, depth=0..13, filters=2296600, revisions=(22655464,useless=20370282), ccks=9124653308, wck=1320.734, mem=314M114
1331.86/1324.75	    decisions=30685, wrong=15008, backtracks=953, failedAssignments=14081, nogoods=4127
1331.86/1324.75	    
1399.60/1392.48	    num=52, depth=0..10, filters=2453248, revisions=(24010994,useless=21570474), ccks=9556868950, wck=1388.459, mem=312M611
1399.60/1392.48	    decisions=33632, wrong=16477, backtracks=1002, failedAssignments=15501, nogoods=4337
1399.60/1392.48	    
1467.48/1460.24	    num=53, depth=6..11, filters=2711427, revisions=(25637696,useless=22943840), ccks=9967806987, wck=1456.216, mem=124M877
1467.48/1460.24	    decisions=36818, wrong=18065, backtracks=1029, failedAssignments=17063, nogoods=4468
1467.48/1460.24	    
1650.18/1642.81	    num=54, depth=2..11, filters=3017708, revisions=(29020925,useless=26021594), ccks=11309651414, wck=1638.787, mem=157M746
1650.18/1642.81	    decisions=40336, wrong=19820, backtracks=1066, failedAssignments=18781, nogoods=4547
1650.18/1642.81	    
1708.84/1701.49	    num=55, depth=4..16, filters=3195993, revisions=(30437861,useless=27260872), ccks=11697779291, wck=1697.471, mem=173M772
1708.84/1701.49	    decisions=44274, wrong=21782, backtracks=1138, failedAssignments=20671, nogoods=4819
1708.84/1701.49	    
1788.84/1781.39	    num=56, depth=5..13, filters=3514375, revisions=(32466915,useless=28978055), ccks=12176705981, wck=1777.37, mem=199M749
1788.84/1781.39	    decisions=48517, wrong=23899, backtracks=1177, failedAssignments=22750, nogoods=4965
1788.84/1781.39	    
1883.36/1875.77	    num=57, depth=2..19, filters=3764821, revisions=(34814809,useless=31075932), ccks=12761303387, wck=1871.751, mem=142M395
1883.36/1875.77	    decisions=53185, wrong=26228, backtracks=1221, failedAssignments=25037, nogoods=5198
1883.36/1875.77	    
1928.61/1920.92	    num=58, depth=7..16, filters=3870147, revisions=(35798272,useless=31956637), ccks=13065137120, wck=1916.897, mem=184M67
1928.61/1920.92	    decisions=58345, wrong=28802, backtracks=1279, failedAssignments=27553, nogoods=5403
1928.61/1920.92	    
2000.74/1992.99	    num=59, depth=3..10, filters=4039003, revisions=(37616972,useless=33608451), ccks=13603795391, wck=1988.975, mem=164M40
2000.74/1992.99	    decisions=63999, wrong=31625, backtracks=1334, failedAssignments=30321, nogoods=5613
2000.74/1992.99	    
2200.65/2192.63	    num=60, depth=4..11, filters=4448091, revisions=(41659796,useless=37244018), ccks=15007293004, wck=2188.614, mem=156M996
2200.65/2192.63	    decisions=70344, wrong=34794, backtracks=1459, failedAssignments=33365, nogoods=5884
2200.65/2192.63	    
2482.04/2473.75	    num=61, depth=5..16, filters=5069158, revisions=(47017494,useless=41980687), ccks=16910742532, wck=2469.734, mem=123M304
2482.04/2473.75	    decisions=77211, wrong=38221, backtracks=1538, failedAssignments=36714, nogoods=6070
2482.04/2473.75

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390684-1568385632/watcher-4390684-1568385632 -o /tmp/evaluation-result-4390684-1568385632/solver-4390684-1568385632 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-836 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390684-1568385632.xml -cm 

running on 4 cores: 4-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1820, runsolver pid=1817

[startup+0.100468 s]*
/proc/loadavg: 1.97 1.88 1.87 3/229 1836
/proc/meminfo: memFree=27592924/32770688 swapFree=66919992/67108860
[pid=1820] ppid=1817 vsize=10659884 memory=27428 CPUtime=0.13 cores=4-7
/proc/1820/stat : 1820 (java) S 1817 1820 804 0 -1 1077944320 5458 0 0 0 11 2 0 0 20 0 15 0 414569580 10915721216 6857 33554432000 4194304 4196468 140732871457504 140732871440048 140254196481783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
/proc/1820/statm: 2664971 6857 2808 1 0 2627468 0
[pid=1820/tid=1822] ppid=1817 vsize=10659884 memory=8389772277269004345 CPUtime=0.09 cores=4-7
/proc/1820/task/1822/stat : 1822 (java) R 1817 1820 804 0 -1 4202560 3348 0 0 0 8 1 0 0 20 0 15 0 414569580 10915721216 6923 33554432000 4194304 4196468 140732871457504 140254200714576 140253784546634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1823] ppid=1817 vsize=10659884 memory=288292155783643159 CPUtime=0 cores=4-7
/proc/1820/task/1823/stat : 1823 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 6923 33554432000 4194304 4196468 140732871457504 140254122556048 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1825] ppid=1817 vsize=10659884 memory=288370490647840384 CPUtime=0 cores=4-7
/proc/1820/task/1825/stat : 1825 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 6923 33554432000 4194304 4196468 140732871457504 140254121503248 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1826] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1826/stat : 1826 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 6923 33554432000 4194304 4196468 140732871457504 140254120450448 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1827] ppid=1817 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 6923 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1829] ppid=1817 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1820/task/1829/stat : 1829 (java) S 1817 1820 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253686863392 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1830] ppid=1817 vsize=10659884 memory=140114496128640 CPUtime=0 cores=4-7
/proc/1820/task/1830/stat : 1830 (java) S 1817 1820 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253685810544 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1831] ppid=1817 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1820/task/1831/stat : 1831 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253684758864 140254196500379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1832] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1832/stat : 1832 (java) S 1817 1820 804 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253683706224 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1833] ppid=1817 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1820/task/1833/stat : 1833 (java) S 1817 1820 804 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253682653424 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1834] ppid=1817 vsize=10659884 memory=0 CPUtime=0.01 cores=4-7
/proc/1820/task/1834/stat : 1834 (java) R 1817 1820 804 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 414569586 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253681600624 140254175327157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1835] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1835/stat : 1835 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253680548064 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1836] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1836/stat : 1836 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 6923 33554432000 4194304 4196468 140732871457504 140253679496368 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27428 KiB

[startup+0.211507 s]*
/proc/loadavg: 1.97 1.88 1.87 4/229 1836
/proc/meminfo: memFree=27581620/32770688 swapFree=66919992/67108860
[pid=1820] ppid=1817 vsize=10659884 memory=37092 CPUtime=0.32 cores=4-7
/proc/1820/stat : 1820 (java) S 1817 1820 804 0 -1 1077944320 9033 0 0 0 29 3 0 0 20 0 15 0 414569580 10915721216 9273 33554432000 4194304 4196468 140732871457504 140732871440048 140254196481783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
/proc/1820/statm: 2664971 9273 2987 1 0 2627468 0
[pid=1820/tid=1822] ppid=1817 vsize=10659884 memory=8389772277269004345 CPUtime=0.21 cores=4-7
/proc/1820/task/1822/stat : 1822 (java) R 1817 1820 804 0 -1 4202560 6122 0 0 0 18 3 0 0 20 0 15 0 414569580 10915721216 9273 33554432000 4194304 4196468 140732871457504 140254200713392 140254196503709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1823] ppid=1817 vsize=10659884 memory=288292155783643159 CPUtime=0 cores=4-7
/proc/1820/task/1823/stat : 1823 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 9273 33554432000 4194304 4196468 140732871457504 140254122556048 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1825] ppid=1817 vsize=10659884 memory=288370490647840384 CPUtime=0 cores=4-7
/proc/1820/task/1825/stat : 1825 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 9273 33554432000 4194304 4196468 140732871457504 140254121503248 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1826] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1826/stat : 1826 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 9273 33554432000 4194304 4196468 140732871457504 140254120450448 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1827] ppid=1817 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 9273 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 9273 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1829] ppid=1817 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1820/task/1829/stat : 1829 (java) S 1817 1820 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 9273 33554432000 4194304 4196468 140732871457504 140253686863392 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1830] ppid=1817 vsize=10659884 memory=140114496128640 CPUtime=0 cores=4-7
/proc/1820/task/1830/stat : 1830 (java) S 1817 1820 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 9273 33554432000 4194304 4196468 140732871457504 140253685810544 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1831] ppid=1817 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1820/task/1831/stat : 1831 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 9273 33554432000 4194304 4196468 140732871457504 140253684758864 140254196500379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1832] ppid=1817 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/1820/task/1832/stat : 1832 (java) R 1817 1820 804 0 -1 4202560 677 0 0 0 3 0 0 0 20 0 15 0 414569586 10915721216 9339 33554432000 4194304 4196468 140732871457504 140253683692248 140254188771232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1833] ppid=1817 vsize=10659884 memory=-1 CPUtime=0.02 cores=4-7
/proc/1820/task/1833/stat : 1833 (java) R 1817 1820 804 0 -1 4202560 219 0 0 0 2 0 0 0 20 0 15 0 414569586 10915721216 9339 33554432000 4194304 4196468 140732871457504 140253682653424 140254176305360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1834] ppid=1817 vsize=10659884 memory=0 CPUtime=0.06 cores=4-7
/proc/1820/task/1834/stat : 1834 (java) S 1817 1820 804 0 -1 1077944384 715 0 0 0 6 0 0 0 20 0 15 0 414569586 10915721216 9339 33554432000 4194304 4196468 140732871457504 140253681600624 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1835] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1835/stat : 1835 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 9339 33554432000 4194304 4196468 140732871457504 140253680548064 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1836] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1836/stat : 1836 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 9339 33554432000 4194304 4196468 140732871457504 140253679496368 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37092 KiB

[startup+0.311368 s]*
/proc/loadavg: 1.97 1.88 1.87 3/229 1836
/proc/meminfo: memFree=27581248/32770688 swapFree=66919992/67108860
[pid=1820] ppid=1817 vsize=10659884 memory=37356 CPUtime=0.46 cores=4-7
/proc/1820/stat : 1820 (java) S 1817 1820 804 0 -1 1077944320 9180 0 0 0 42 4 0 0 20 0 15 0 414569580 10915721216 9339 33554432000 4194304 4196468 140732871457504 140732871440048 140254196481783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
/proc/1820/statm: 2664971 9339 2987 1 0 2627468 0
[pid=1820/tid=1822] ppid=1817 vsize=10659884 memory=1398722017469774279 CPUtime=0.3 cores=4-7
/proc/1820/task/1822/stat : 1822 (java) R 1817 1820 804 0 -1 4202560 6163 0 0 0 27 3 0 0 20 0 15 0 414569580 10915721216 9851 33554432000 4194304 4196468 140732871457504 140254200714144 140254196503709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1823] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1823/stat : 1823 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 9851 33554432000 4194304 4196468 140732871457504 140254122556048 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1825] ppid=1817 vsize=10659884 memory=140114496128640 CPUtime=0 cores=4-7
/proc/1820/task/1825/stat : 1825 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 9851 33554432000 4194304 4196468 140732871457504 140254121503248 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1826] ppid=1817 vsize=10659884 memory=2241 CPUtime=0 cores=4-7
/proc/1820/task/1826/stat : 1826 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 9851 33554432000 4194304 4196468 140732871457504 140254120450448 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1827] ppid=1817 vsize=10659884 memory=140114382650607 CPUtime=0 cores=4-7
/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569581 10915721216 9851 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1829] ppid=1817 vsize=10659884 memory=67 CPUtime=0 cores=4-7
/proc/1820/task/1829/stat : 1829 (java) S 1817 1820 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253686863392 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1830] ppid=1817 vsize=10659884 memory=140114496128640 CPUtime=0 cores=4-7
/proc/1820/task/1830/stat : 1830 (java) S 1817 1820 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569583 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253685810544 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1831] ppid=1817 vsize=10659884 memory=67 CPUtime=0 cores=4-7
/proc/1820/task/1831/stat : 1831 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253684758864 140254196500379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1832] ppid=1817 vsize=10659884 memory=0 CPUtime=0.04 cores=4-7
/proc/1820/task/1832/stat : 1832 (java) R 1817 1820 804 0 -1 1077944384 712 0 0 0 4 0 0 0 20 0 15 0 414569586 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253683706224 140254196492930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1833] ppid=1817 vsize=10659884 memory=14 CPUtime=0.03 cores=4-7
/proc/1820/task/1833/stat : 1833 (java) R 1817 1820 804 0 -1 4202560 228 0 0 0 3 0 0 0 20 0 15 0 414569586 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253682653424 140254182634536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1834] ppid=1817 vsize=10659884 memory=280228765224656 CPUtime=0.06 cores=4-7
/proc/1820/task/1834/stat : 1834 (java) R 1817 1820 804 0 -1 4202560 723 0 0 0 6 0 0 0 20 0 15 0 414569586 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253681600624 140254175014081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1835] ppid=1817 vsize=10659884 memory=280228765122088 CPUtime=0 cores=4-7
/proc/1820/task/1835/stat : 1835 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253680548064 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1836] ppid=1817 vsize=10659884 memory=13 CPUtime=0 cores=4-7
/proc/1820/task/1836/stat : 1836 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 9851 33554432000 4194304 4196468 140732871457504 140253679496368 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37356 KiB

[startup+0.700817 s]
/proc/loadavg: 1.97 1.88 1.87 3/229 1836
/proc/meminfo: memFree=27570844/32770688 swapFree=66919992/67108860
[pid=1820] ppid=1817 vsize=10661932 memory=58420 CPUtime=1.12 cores=4-7
/proc/1820/stat : 1820 (java) S 1817 1820 804 0 -1 1077944320 12719 0 0 0 106 6 0 0 20 0 15 0 414569580 10917818368 14605 33554432000 4194304 4196468 140732871457504 140732871440048 140254196481783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
/proc/1820/statm: 2665483 14605 3056 1 0 2627980 0
[pid=1820/tid=1822] ppid=1817 vsize=10661932 memory=46492 CPUtime=0.68 cores=4-7
/proc/1820/task/1822/stat : 1822 (java) R 1817 1820 804 0 -1 4202560 8584 0 0 0 63 5 0 0 20 0 15 0 414569580 10917818368 14605 33554432000 4194304 4196468 140732871457504 140254200713696 140254180562270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1823] ppid=1817 vsize=10661932 memory=984 CPUtime=0 cores=4-7
/proc/1820/task/1823/stat : 1823 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10917818368 14605 33554432000 4194304 4196468 140732871457504 140254122556048 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1825] ppid=1817 vsize=10661932 memory=59 CPUtime=0 cores=4-7
/proc/1820/task/1825/stat : 1825 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10917818368 14605 33554432000 4194304 4196468 140732871457504 140254121503248 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1826] ppid=1817 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1826/stat : 1826 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10917818368 14605 33554432000 4194304 4196468 140732871457504 140254120450448 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1827] ppid=1817 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569581 10917818368 14605 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569583 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1829] ppid=1817 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1829/stat : 1829 (java) S 1817 1820 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569583 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253686863392 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1830] ppid=1817 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1830/stat : 1830 (java) S 1817 1820 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569583 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253685810544 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1831] ppid=1817 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1831/stat : 1831 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569586 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253684758864 140254196500379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1832] ppid=1817 vsize=10661932 memory=0 CPUtime=0.11 cores=4-7
/proc/1820/task/1832/stat : 1832 (java) S 1817 1820 804 0 -1 1077944384 990 0 0 0 11 0 0 0 20 0 15 0 414569586 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253683706224 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1833] ppid=1817 vsize=10661932 memory=0 CPUtime=0.11 cores=4-7
/proc/1820/task/1833/stat : 1833 (java) S 1817 1820 804 0 -1 1077944384 584 0 0 0 11 0 0 0 20 0 15 0 414569586 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253682653424 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1834] ppid=1817 vsize=10661932 memory=147965582911331 CPUtime=0.19 cores=4-7
/proc/1820/task/1834/stat : 1834 (java) S 1817 1820 804 0 -1 1077944384 1204 0 0 0 19 0 0 0 20 0 15 0 414569586 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253681600624 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1835] ppid=1817 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1835/stat : 1835 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569586 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253680548064 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1836] ppid=1817 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1836/stat : 1836 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569587 10917818368 14605 33554432000 4194304 4196468 140732871457504 140253679496368 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 58420 KiB

[startup+1.50078 s]
/proc/loadavg: 1.97 1.88 1.87 3/229 1836
/proc/meminfo: memFree=27552728/32770688 swapFree=66919992/67108860
[pid=1820] ppid=1817 vsize=10663980 memory=72272 CPUtime=2 cores=4-7
/proc/1820/stat : 1820 (java) S 1817 1820 804 0 -1 1077944320 17714 0 0 0 193 7 0 0 20 0 15 0 414569580 10919915520 18068 33554432000 4194304 4196468 140732871457504 140732871440048 140254196481783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
/proc/1820/statm: 2665995 18068 3089 1 0 2628492 0
[pid=1820/tid=1822] ppid=1817 vsize=10663980 memory=0 CPUtime=1.48 cores=4-7
/proc/1820/task/1822/stat : 1822 (java) R 1817 1820 804 0 -1 4202560 12763 0 0 0 142 6 0 0 20 0 15 0 414569580 10919915520 18068 33554432000 4194304 4196468 140732871457504 140254200713088 140254176757874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1823] ppid=1817 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1823/stat : 1823 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10919915520 18068 33554432000 4194304 4196468 140732871457504 140254122556048 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1825] ppid=1817 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1825/stat : 1825 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10919915520 18068 33554432000 4194304 4196468 140732871457504 140254121503248 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1826] ppid=1817 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/1820/task/1826/stat : 1826 (java) S 1817 1820 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569581 10919915520 18068 33554432000 4194304 4196468 140732871457504 140254120450448 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1827] ppid=1817 vsize=10663980 memory=147999942515451 CPUtime=0 cores=4-7
/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569581 10919915520 18068 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10663980 memory=1917642 CPUtime=0 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414569583 10919915520 18068 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0

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

/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 4770 0 0 0 48 6 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.16 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 8881 0 0 0 12 4 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1829] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1829/stat : 1829 (java) S 1817 1820 804 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253686863456 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1830] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1830/stat : 1830 (java) S 1817 1820 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253685810560 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1831] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1831/stat : 1831 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253684758864 140254196500379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1832] ppid=1817 vsize=10748324 memory=544476 CPUtime=2.46 cores=4-7
/proc/1820/task/1832/stat : 1832 (java) S 1817 1820 804 0 -1 1077944384 13627 0 0 0 244 2 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253683706224 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1833] ppid=1817 vsize=10748324 memory=924 CPUtime=2.61 cores=4-7
/proc/1820/task/1833/stat : 1833 (java) S 1817 1820 804 0 -1 1077944384 15656 0 0 0 259 2 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253682653424 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1834] ppid=1817 vsize=10748324 memory=1444 CPUtime=1.09 cores=4-7
/proc/1820/task/1834/stat : 1834 (java) S 1817 1820 804 0 -1 1077944384 16224 0 0 0 106 3 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253681600624 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1835] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1835/stat : 1835 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253680548064 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1836] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.54 cores=4-7
/proc/1820/task/1836/stat : 1836 (java) S 1817 1820 804 0 -1 1077944384 2018 0 0 0 25 29 0 0 20 0 16 0 414569587 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253679496368 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1837] ppid=1817 vsize=10748324 memory=544476 CPUtime=2379.38 cores=4-7
/proc/1820/task/1837/stat : 1837 (java) R 1817 1820 804 0 -1 4202560 36257 0 0 0 237923 15 0 0 20 0 16 0 414569791 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253662834448 140253793802183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
Current children cumulated CPU time: 2390.59 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 544476 KiB

[startup+2442.3 s]
/proc/loadavg: 1.47 1.82 1.91 2/208 2130
/proc/meminfo: memFree=27225620/32770688 swapFree=66919992/67108860
[pid=1820] ppid=1817 vsize=10748324 memory=544476 CPUtime=2450.63 cores=4-7
/proc/1820/stat : 1820 (java) S 1817 1820 804 0 -1 1077944320 134714 0 0 0 244984 79 0 0 20 0 16 0 414569580 11006283776 136119 33554432000 4194304 4196468 140732871457504 140732871440048 140254196481783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
/proc/1820/statm: 2687081 136119 3381 1 0 2647217 0
[pid=1820/tid=1822] ppid=1817 vsize=10748324 memory=544476 CPUtime=2.09 cores=4-7
/proc/1820/task/1822/stat : 1822 (java) S 1817 1820 804 0 -1 1077944384 15389 0 0 0 201 8 0 0 20 0 16 0 414569580 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254200724656 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1823] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.54 cores=4-7
/proc/1820/task/1823/stat : 1823 (java) S 1817 1820 804 0 -1 1077944384 6403 0 0 0 48 6 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254122556048 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1825] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.55 cores=4-7
/proc/1820/task/1825/stat : 1825 (java) S 1817 1820 804 0 -1 1077944384 9440 0 0 0 50 5 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254121503248 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1826] ppid=1817 vsize=10748324 memory=776 CPUtime=0.54 cores=4-7
/proc/1820/task/1826/stat : 1826 (java) S 1817 1820 804 0 -1 1077944384 4170 0 0 0 49 5 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254120450448 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1827] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.55 cores=4-7
/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 4798 0 0 0 49 6 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.17 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 9046 0 0 0 13 4 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1829] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1829/stat : 1829 (java) S 1817 1820 804 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253686863456 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1830] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1830/stat : 1830 (java) S 1817 1820 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253685810560 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1831] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1831/stat : 1831 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253684758864 140254196500379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1832] ppid=1817 vsize=10748324 memory=544476 CPUtime=2.46 cores=4-7
/proc/1820/task/1832/stat : 1832 (java) S 1817 1820 804 0 -1 1077944384 13629 0 0 0 244 2 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253683706224 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1833] ppid=1817 vsize=10748324 memory=544476 CPUtime=2.61 cores=4-7
/proc/1820/task/1833/stat : 1833 (java) S 1817 1820 804 0 -1 1077944384 15658 0 0 0 259 2 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253682653424 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1834] ppid=1817 vsize=10748324 memory=544476 CPUtime=1.09 cores=4-7
/proc/1820/task/1834/stat : 1834 (java) S 1817 1820 804 0 -1 1077944384 16226 0 0 0 106 3 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253681600624 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1835] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1835/stat : 1835 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253680548064 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1836] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.56 cores=4-7
/proc/1820/task/1836/stat : 1836 (java) S 1817 1820 804 0 -1 1077944384 2034 0 0 0 26 30 0 0 20 0 16 0 414569587 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253679496368 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1837] ppid=1817 vsize=10748324 memory=544476 CPUtime=2439.35 cores=4-7
/proc/1820/task/1837/stat : 1837 (java) R 1817 1820 804 0 -1 4202560 36480 0 0 0 243920 15 0 0 20 0 16 0 414569791 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253662834448 140253785809910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
Current children cumulated CPU time: 2450.63 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 544476 KiB

[startup+2502.3 s]
/proc/loadavg: 1.10 1.65 1.85 2/208 2136
/proc/meminfo: memFree=27226696/32770688 swapFree=66919992/67108860
[pid=1820] ppid=1817 vsize=10748324 memory=544476 CPUtime=2510.69 cores=4-7
/proc/1820/stat : 1820 (java) S 1817 1820 804 0 -1 1077944320 135770 0 0 0 250990 79 0 0 20 0 16 0 414569580 11006283776 136119 33554432000 4194304 4196468 140732871457504 140732871440048 140254196481783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
/proc/1820/statm: 2687081 136119 3381 1 0 2647217 0
[pid=1820/tid=1822] ppid=1817 vsize=10748324 memory=544476 CPUtime=2.09 cores=4-7
/proc/1820/task/1822/stat : 1822 (java) S 1817 1820 804 0 -1 1077944384 15389 0 0 0 201 8 0 0 20 0 16 0 414569580 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254200724656 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1823] ppid=1817 vsize=10748324 memory=54 CPUtime=0.56 cores=4-7
/proc/1820/task/1823/stat : 1823 (java) S 1817 1820 804 0 -1 1077944384 6410 0 0 0 50 6 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254122556048 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1825] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.57 cores=4-7
/proc/1820/task/1825/stat : 1825 (java) S 1817 1820 804 0 -1 1077944384 9502 0 0 0 52 5 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254121503248 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1826] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.57 cores=4-7
/proc/1820/task/1826/stat : 1826 (java) S 1817 1820 804 0 -1 1077944384 4201 0 0 0 52 5 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254120450448 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1827] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.57 cores=4-7
/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 5090 0 0 0 51 6 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10748324 memory=544476 CPUtime=0.18 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 9210 0 0 0 14 4 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1829] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1829/stat : 1829 (java) S 1817 1820 804 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253686863456 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1830] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1830/stat : 1830 (java) S 1817 1820 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253685810560 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1831] ppid=1817 vsize=10748324 memory=544476 CPUtime=0 cores=4-7
/proc/1820/task/1831/stat : 1831 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253684758864 140254196500379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1832] ppid=1817 vsize=10748324 memory=544476 CPUtime=2.46 cores=4-7
/proc/1820/task/1832/stat : 1832 (java) S 1817 1820 804 0 -1 1077944384 13631 0 0 0 244 2 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253683706224 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1833] ppid=1817 vsize=10748324 memory=544476 CPUtime=2.61 cores=4-7
/proc/1820/task/1833/stat : 1833 (java) S 1817 1820 804 0 -1 1077944384 15660 0 0 0 259 2 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253682653424 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1834] ppid=1817 vsize=10748324 memory=544476 CPUtime=1.1 cores=4-7
/proc/1820/task/1834/stat : 1834 (java) S 1817 1820 804 0 -1 1077944384 16335 0 0 0 107 3 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253681600624 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1835] ppid=1817 vsize=10748324 memory=3624 CPUtime=0 cores=4-7
/proc/1820/task/1835/stat : 1835 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253680548064 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1836] ppid=1817 vsize=10748324 memory=46568 CPUtime=0.58 cores=4-7
/proc/1820/task/1836/stat : 1836 (java) S 1817 1820 804 0 -1 1077944384 2064 0 0 0 27 31 0 0 20 0 16 0 414569587 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253679496368 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1837] ppid=1817 vsize=10748324 memory=544476 CPUtime=2499.31 cores=4-7
/proc/1820/task/1837/stat : 1837 (java) R 1817 1820 804 0 -1 4202560 36837 0 0 0 249916 15 0 0 20 0 16 0 414569791 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253662834448 140253786069611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
Current children cumulated CPU time: 2510.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 544476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.6 s]
/proc/loadavg: 1.08 1.63 1.84 2/208 2136
/proc/meminfo: memFree=27226664/32770688 swapFree=66919992/67108860
[pid=1820] ppid=1817 vsize=10748324 memory=544476 CPUtime=2520.01 cores=4-7
/proc/1820/stat : 1820 (java) S 1817 1820 804 0 -1 1077944320 135774 0 0 0 251921 80 0 0 20 0 16 0 414569580 11006283776 136119 33554432000 4194304 4196468 140732871457504 140732871440048 140254196481783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
/proc/1820/statm: 2687081 136119 3381 1 0 2647217 0
[pid=1820/tid=1822] ppid=1817 vsize=10748324 memory=8112282956445269571 CPUtime=2.09 cores=4-7
/proc/1820/task/1822/stat : 1822 (java) S 1817 1820 804 0 -1 1077944384 15389 0 0 0 201 8 0 0 20 0 16 0 414569580 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254200724656 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1823] ppid=1817 vsize=10748324 memory=3848 CPUtime=0.56 cores=4-7
/proc/1820/task/1823/stat : 1823 (java) S 1817 1820 804 0 -1 1077944384 6410 0 0 0 50 6 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254122556048 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1825] ppid=1817 vsize=10748324 memory=2720 CPUtime=0.57 cores=4-7
/proc/1820/task/1825/stat : 1825 (java) S 1817 1820 804 0 -1 1077944384 9502 0 0 0 52 5 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254121503248 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1826] ppid=1817 vsize=10748324 memory=660 CPUtime=0.57 cores=4-7
/proc/1820/task/1826/stat : 1826 (java) S 1817 1820 804 0 -1 1077944384 4201 0 0 0 52 5 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254120450448 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1827] ppid=1817 vsize=10748324 memory=1556 CPUtime=0.58 cores=4-7
/proc/1820/task/1827/stat : 1827 (java) S 1817 1820 804 0 -1 1077944384 5090 0 0 0 52 6 0 0 20 0 16 0 414569581 11006283776 136119 33554432000 4194304 4196468 140732871457504 140254119397648 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1828] ppid=1817 vsize=10748324 memory=9588 CPUtime=0.18 cores=4-7
/proc/1820/task/1828/stat : 1828 (java) S 1817 1820 804 0 -1 1077944384 9210 0 0 0 14 4 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253687917424 140254196492930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1829] ppid=1817 vsize=10748324 memory=1712 CPUtime=0 cores=4-7
/proc/1820/task/1829/stat : 1829 (java) S 1817 1820 804 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253686863456 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1830] ppid=1817 vsize=10748324 memory=928 CPUtime=0 cores=4-7
/proc/1820/task/1830/stat : 1830 (java) S 1817 1820 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414569583 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253685810560 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1831] ppid=1817 vsize=10748324 memory=1724 CPUtime=0 cores=4-7
/proc/1820/task/1831/stat : 1831 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253684758864 140254196500379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1832] ppid=1817 vsize=10748324 memory=1408 CPUtime=2.46 cores=4-7
/proc/1820/task/1832/stat : 1832 (java) S 1817 1820 804 0 -1 1077944384 13631 0 0 0 244 2 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253683706224 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1833] ppid=1817 vsize=10748324 memory=3284 CPUtime=2.61 cores=4-7
/proc/1820/task/1833/stat : 1833 (java) S 1817 1820 804 0 -1 1077944384 15660 0 0 0 259 2 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253682653424 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1834] ppid=1817 vsize=10748324 memory=544476 CPUtime=1.1 cores=4-7
/proc/1820/task/1834/stat : 1834 (java) S 1817 1820 804 0 -1 1077944384 16335 0 0 0 107 3 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253681600624 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1835] ppid=1817 vsize=10748324 memory=4104 CPUtime=0 cores=4-7
/proc/1820/task/1835/stat : 1835 (java) S 1817 1820 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569586 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253680548064 140254196491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1836] ppid=1817 vsize=10748324 memory=1964 CPUtime=0.58 cores=4-7
/proc/1820/task/1836/stat : 1836 (java) S 1817 1820 804 0 -1 1077944384 2066 0 0 0 27 31 0 0 20 0 16 0 414569587 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253679496368 140254196492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
[pid=1820/tid=1837] ppid=1817 vsize=10748324 memory=1398722017469774279 CPUtime=2508.61 cores=4-7
/proc/1820/task/1837/stat : 1837 (java) R 1817 1820 804 0 -1 4202560 36839 0 0 0 250846 15 0 0 20 0 16 0 414569791 11006283776 136119 33554432000 4194304 4196468 140732871457504 140253662834400 140253793782663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140732871463947 140732871464050 140732871464050 140732871466959 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 544476 KiB

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

[startup+2511.62 s]
# the end of solver process 1820 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.22 s, system=0.808113 s

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

Child status: 143
Real time (s): 2511.62
CPU time (s): 2520.03
CPU user time (s): 2519.22
CPU system time (s): 0.808113
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 853816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.22
system time used= 0.808113
maximum resident set size= 855880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60357
involuntary context switches= 1261


# summary of solver processes directly reported to runsolver:
#   pid: 1820
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.22
#   total CPU system time (s): 0.808113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0281 second user time and 23.8195 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-14 23:00:55
IDJOB=4390684
IDBENCH=138492
IDSOLVER=2832
FILE ID=node120/4390684-1568385632
RUNJOBID= node120-1323894939-836
PBS_JOBID= 21701843
Free space on /tmp= 59144 MiB

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

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

MD5SUM BENCH= c67201b80d2f8cf37dc6fc32cd78d58c
RANDOM SEED=1795641819

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        27608380 kB
MemAvailable:   31673652 kB
Buffers:          171216 kB
Cached:          4187196 kB
SwapCached:        77548 kB
Active:          1420728 kB
Inactive:        3164232 kB
Active(anon):     149128 kB
Inactive(anon):   126920 kB
Active(file):    1271600 kB
Inactive(file):  3037312 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:              8940 kB
Writeback:             0 kB
AnonPages:        242240 kB
Mapped:            60152 kB
Shmem:             41008 kB
Slab:             172872 kB
SReclaimable:     144388 kB
SUnreclaim:        28484 kB
KernelStack:        4080 kB
PageTables:         6468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1275764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 59144 MiB
End job on node120 at 2011-12-14 23:42:47