Trace number 4390518

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.11 2511.71

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-18.xml
MD5SUM3f0141c7bb33af25d9039070b39091b8
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 benchmark52.3708
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains84
Minimum domain size1184
Maximum domain size1282
Distribution of domain sizes[{"size":1184,"count":10},{"size":1185,"count":4},{"size":1186,"count":4},{"size":1187,"count":10},{"size":1188,"count":8},{"size":1191,"count":6},{"size":1192,"count":4},{"size":1193,"count":6},{"size":1194,"count":8},{"size":1195,"count":6},{"size":1196,"count":2},{"size":1197,"count":2},{"size":1198,"count":6},{"size":1199,"count":6},{"size":1200,"count":10},{"size":1201,"count":6},{"size":1202,"count":10},{"size":1203,"count":10},{"size":1204,"count":6},{"size":1206,"count":4},{"size":1207,"count":10},{"size":1208,"count":6},{"size":1209,"count":2},{"size":1210,"count":2},{"size":1211,"count":2},"...",{"size":1253,"count":4}, {"size":1255,"count":6}, {"size":1256,"count":6}, {"size":1257,"count":2}, {"size":1259,"count":8}, {"size":1260,"count":6}, {"size":1261,"count":4}, {"size":1262,"count":6}, {"size":1263,"count":4}, {"size":1264,"count":2}, {"size":1265,"count":2}, {"size":1267,"count":8}, {"size":1268,"count":6}, {"size":1269,"count":10}, {"size":1272,"count":6}, {"size":1273,"count":2}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1276,"count":2}, {"size":1277,"count":10}, {"size":1278,"count":10}, {"size":1279,"count":12}, {"size":1280,"count":6}, {"size":1281,"count":4}, {"size":1282,"count":8}]
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.42/1.88	
2.42/1.88	AbsCon 2 
2.42/1.90	
3.66/2.24	  Instance
3.66/2.24	    name=instance-4390518-1568385621, framework=CSP
3.66/2.24	
3.66/2.24	  Loading variables...
3.97/2.31	  Loading constraints...
8.23/3.62	
8.23/3.62	  Domains
8.23/3.62	    nTypes=84, nValues=554546, sizes=[1184#10,1185#4,1186#4,1187#10...1279#12,1280#6,1281#4,1282#8]
8.23/3.63	  Variables
8.23/3.63	    count=450, degrees=[16#30,17#195,31#30,33#195]
8.23/3.63	  Constraints
8.23/3.63	    count=5580, nSpecific=225, arities=[2#5580]
8.23/3.63	    distribution=[CtrIntension#5355,NE#225]
8.23/3.63	    nIntStructures=(1539,shared:3816)
8.23/3.63	    wck=1.773, cpu=3.508, mem=165M857
8.23/3.63	  Solver SolverBacktrack being built...
8.23/3.63	
8.23/3.68	
8.23/3.68	  Solver
8.23/3.68	    guaranteedGAC=true
8.23/3.68	    wck=1.83, cpu=3.563, mem=180M705
46.46/41.27	
46.46/41.27	  Preprocessing
46.46/41.27	    filters=1361, revisions=(26919,useless=25348), ccks=525620174, nACremovedValues=319256, nTotalRemovedValues=319256, inconcistency=false
46.46/41.27	    wck=37.588, cpu=41.123, mem=277M941
46.46/41.27	
55.38/50.08	    num=0, depth=78..78, filters=4397, revisions=(85883,useless=81313), ccks=600012237, wck=46.399, mem=241M920
55.38/50.08	    decisions=98, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
55.38/50.08	    
58.08/52.67	    num=1, depth=0..2, filters=6682, revisions=(121793,useless=114987), ccks=631145813, wck=48.991, mem=265M744
58.08/52.67	    decisions=134, wrong=28, backtracks=7, failedAssignments=21, nogoods=10
58.08/52.67	    
61.41/56.00	    num=2, depth=0..3, filters=9234, revisions=(158822,useless=149507), ccks=665222706, wck=52.315, mem=313M393
61.41/56.00	    decisions=170, wrong=45, backtracks=12, failedAssignments=33, nogoods=13
61.41/56.00	    
65.63/60.12	    num=3, depth=0..2, filters=13172, revisions=(217945,useless=204742), ccks=715195493, wck=56.445, mem=353M100
65.63/60.12	    decisions=213, wrong=66, backtracks=20, failedAssignments=46, nogoods=14
65.63/60.12	    
67.92/62.45	    num=4, depth=0..2, filters=15567, revisions=(254398,useless=238864), ccks=743977532, wck=58.772, mem=376M924
67.92/62.45	    decisions=259, wrong=89, backtracks=29, failedAssignments=60, nogoods=14
67.92/62.45	    
73.83/68.38	    num=5, depth=0..17, filters=21475, revisions=(342520,useless=321151), ccks=811141399, wck=64.696, mem=464M280
73.83/68.38	    decisions=324, wrong=114, backtracks=38, failedAssignments=76, nogoods=24
73.83/68.38	    
79.09/73.55	    num=6, depth=0..5, filters=24789, revisions=(401948,useless=377340), ccks=870436013, wck=69.872, mem=122M431
79.09/73.55	    decisions=379, wrong=140, backtracks=47, failedAssignments=93, nogoods=29
79.09/73.55	    
83.60/78.07	    num=7, depth=0..9, filters=31622, revisions=(473328,useless=441928), ccks=913371263, wck=74.395, mem=178M243
83.60/78.07	    decisions=431, wrong=162, backtracks=50, failedAssignments=112, nogoods=42
83.60/78.07	    
93.42/87.86	    num=8, depth=1..13, filters=45421, revisions=(652639,useless=607470), ccks=1009275241, wck=84.18, mem=273M921
93.42/87.86	    decisions=502, wrong=191, backtracks=58, failedAssignments=133, nogoods=63
93.42/87.86	    
99.43/93.87	    num=9, depth=0..11, filters=51178, revisions=(731405,useless=680551), ccks=1075901299, wck=90.193, mem=369M598
99.43/93.87	    decisions=575, wrong=222, backtracks=66, failedAssignments=156, nogoods=85
99.43/93.87	    
112.27/106.66	    num=10, depth=0..8, filters=75246, revisions=(1029583,useless=954502), ccks=1199862196, wck=102.983, mem=506M839
112.27/106.66	    decisions=634, wrong=249, backtracks=68, failedAssignments=181, nogoods=107
112.27/106.66	    
117.62/111.94	    num=11, depth=0..13, filters=81535, revisions=(1132868,useless=1051643), ccks=1253237130, wck=108.26, mem=182M522
117.62/111.94	    decisions=735, wrong=294, backtracks=85, failedAssignments=209, nogoods=128
117.62/111.94	    
126.54/120.86	    num=12, depth=0..6, filters=88272, revisions=(1242731,useless=1154915), ccks=1361327481, wck=117.185, mem=284M724
126.54/120.86	    decisions=842, wrong=346, backtracks=106, failedAssignments=240, nogoods=132
126.54/120.86	    
137.36/131.66	    num=13, depth=0..16, filters=99458, revisions=(1393387,useless=1294519), ccks=1475402514, wck=127.98, mem=414M241
137.36/131.66	    decisions=965, wrong=401, backtracks=128, failedAssignments=274, nogoods=155
137.36/131.66	    
145.96/140.24	    num=14, depth=0..9, filters=106544, revisions=(1514636,useless=1408841), ccks=1568849238, wck=136.562, mem=541M993
145.96/140.24	    decisions=1089, wrong=459, backtracks=149, failedAssignments=311, nogoods=167
145.96/140.24	    
154.27/148.52	    num=15, depth=0..44, filters=115649, revisions=(1664458,useless=1549718), ccks=1657976562, wck=144.836, mem=644M195
154.27/148.52	    decisions=1248, wrong=518, backtracks=167, failedAssignments=352, nogoods=202
154.27/148.52	    
163.49/157.72	    num=16, depth=0..8, filters=134317, revisions=(1824913,useless=1691537), ccks=1736804349, wck=154.043, mem=144M107
163.49/157.72	    decisions=1347, wrong=564, backtracks=169, failedAssignments=397, nogoods=245
163.49/157.72	    
185.32/179.51	    num=17, depth=0..18, filters=169559, revisions=(2249773,useless=2081112), ccks=1965025915, wck=175.828, mem=310M390
185.32/179.51	    decisions=1483, wrong=624, backtracks=179, failedAssignments=447, nogoods=294
185.32/179.51	    
194.12/188.36	    num=18, depth=2..19, filters=187873, revisions=(2472994,useless=2286030), ccks=2048911347, wck=184.677, mem=425M508
194.12/188.36	    decisions=1619, wrong=683, backtracks=183, failedAssignments=502, nogoods=332
194.12/188.36	    
208.83/203.07	    num=19, depth=0..17, filters=206977, revisions=(2729642,useless=2523753), ccks=2212161971, wck=199.393, mem=591M791
208.83/203.07	    decisions=1800, wrong=767, backtracks=206, failedAssignments=563, nogoods=368
208.83/203.07	    
219.54/213.80	    num=20, depth=0..25, filters=220929, revisions=(2910142,useless=2690427), ccks=2325154418, wck=210.116, mem=733M639
219.54/213.80	    decisions=1985, wrong=850, backtracks=222, failedAssignments=630, nogoods=420
219.54/213.80	    
229.75/223.96	    num=21, depth=0..17, filters=245504, revisions=(3148060,useless=2903873), ccks=2423482514, wck=220.284, mem=241M425
229.75/223.96	    decisions=2170, wrong=935, backtracks=233, failedAssignments=704, nogoods=489
229.75/223.96	    
242.26/236.42	    num=22, depth=0..17, filters=265667, revisions=(3360006,useless=3095817), ccks=2547199388, wck=232.74, mem=414M122
242.26/236.42	    decisions=2375, wrong=1032, backtracks=250, failedAssignments=785, nogoods=518
242.26/236.42	    
256.38/250.58	    num=23, depth=2..16, filters=305716, revisions=(3851073,useless=3546999), ccks=2673750618, wck=246.902, mem=636M879
256.38/250.58	    decisions=2595, wrong=1137, backtracks=267, failedAssignments=874, nogoods=533
256.38/250.58	    
274.29/268.44	    num=24, depth=1..20, filters=336224, revisions=(4192728,useless=3858320), ccks=2840120992, wck=264.761, mem=248M548
274.29/268.44	    decisions=2849, wrong=1256, backtracks=289, failedAssignments=972, nogoods=566
274.29/268.44	    
284.09/278.26	    num=25, depth=3..14, filters=360364, revisions=(4374433,useless=4016045), ccks=2925730620, wck=274.583, mem=391M322
284.09/278.26	    decisions=3093, wrong=1371, backtracks=296, failedAssignments=1080, nogoods=674
284.09/278.26	    
332.73/326.87	    num=26, depth=0..13, filters=478129, revisions=(5763969,useless=5287466), ccks=3404720584, wck=323.19, mem=197M655
332.73/326.87	    decisions=3351, wrong=1496, backtracks=303, failedAssignments=1199, nogoods=745
332.73/326.87	    
344.84/338.90	    num=27, depth=0..14, filters=512445, revisions=(5994031,useless=5483284), ccks=3498277762, wck=335.22, mem=381M350
344.84/338.90	    decisions=3642, wrong=1636, backtracks=313, failedAssignments=1330, nogoods=797
344.84/338.90	    
375.17/369.21	    num=28, depth=0..19, filters=573335, revisions=(6502295,useless=5930793), ccks=3751759749, wck=365.525, mem=139M48
375.17/369.21	    decisions=3985, wrong=1801, backtracks=335, failedAssignments=1474, nogoods=925
375.17/369.21	    
408.42/402.44	    num=29, depth=1..15, filters=648561, revisions=(7218318,useless=6571545), ccks=4030271228, wck=398.756, mem=549M15
408.42/402.44	    decisions=4323, wrong=1965, backtracks=341, failedAssignments=1632, nogoods=968
408.42/402.44	    
426.04/420.02	    num=30, depth=0..18, filters=700830, revisions=(7702172,useless=7003394), ccks=4190783929, wck=416.343, mem=255M636
426.04/420.02	    decisions=4718, wrong=2155, backtracks=357, failedAssignments=1806, nogoods=1111
426.04/420.02	    
457.54/451.51	    num=31, depth=5..10, filters=790603, revisions=(8294890,useless=7506384), ccks=4408248631, wck=447.835, mem=608M648
457.54/451.51	    decisions=5111, wrong=2347, backtracks=358, failedAssignments=1997, nogoods=1264
457.54/451.51	    
466.96/460.94	    num=32, depth=0..25, filters=805977, revisions=(8469479,useless=7666084), ccks=4497047632, wck=457.257, mem=229M909
466.96/460.94	    decisions=5591, wrong=2576, backtracks=377, failedAssignments=2208, nogoods=1312
466.96/460.94	    
485.17/479.14	    num=33, depth=0..26, filters=889561, revisions=(9399131,useless=8512361), ccks=4642878902, wck=475.464, mem=529M581
485.17/479.14	    decisions=6129, wrong=2835, backtracks=406, failedAssignments=2440, nogoods=1370
485.17/479.14	    
493.28/487.30	    num=34, depth=0..15, filters=901303, revisions=(9567938,useless=8669746), ccks=4730515483, wck=483.616, mem=115M918
493.28/487.30	    decisions=6687, wrong=3107, backtracks=424, failedAssignments=2695, nogoods=1483
493.28/487.30	    
506.09/500.05	    num=35, depth=5..11, filters=950170, revisions=(9827126,useless=8880386), ccks=4817836115, wck=496.373, mem=355M415
506.09/500.05	    decisions=7262, wrong=3392, backtracks=430, failedAssignments=2976, nogoods=1510
506.09/500.05	    
545.30/539.24	    num=36, depth=0..19, filters=1063121, revisions=(10931158,useless=9871705), ccks=5157441535, wck=535.558, mem=298M834
545.30/539.24	    decisions=7970, wrong=3739, backtracks=469, failedAssignments=3285, nogoods=1667
545.30/539.24	    
581.83/575.76	    num=37, depth=1..16, filters=1144250, revisions=(11772734,useless=10632418), ccks=5489158097, wck=572.079, mem=227M105
581.83/575.76	    decisions=8702, wrong=4100, backtracks=493, failedAssignments=3625, nogoods=1745
581.83/575.76	    
625.57/619.46	    num=38, depth=3..21, filters=1317446, revisions=(13331930,useless=12018515), ccks=5845585930, wck=615.784, mem=313M119
625.57/619.46	    decisions=9514, wrong=4497, backtracks=518, failedAssignments=3999, nogoods=1881
625.57/619.46	    
652.61/646.39	    num=39, depth=0..30, filters=1392890, revisions=(14193686,useless=12805193), ccks=6067015540, wck=642.709, mem=262M808
652.61/646.39	    decisions=10384, wrong=4918, backtracks=529, failedAssignments=4410, nogoods=1901
652.61/646.39	    
710.56/704.26	    num=40, depth=0..16, filters=1520184, revisions=(15241398,useless=13725681), ccks=6560254068, wck=700.58, mem=493M761
710.56/704.26	    decisions=11343, wrong=5391, backtracks=550, failedAssignments=4862, nogoods=2053
710.56/704.26	    
751.71/745.33	    num=41, depth=10..26, filters=1637923, revisions=(16480099,useless=14846902), ccks=6980609923, wck=741.648, mem=200M785
751.71/745.33	    decisions=12464, wrong=5944, backtracks=611, failedAssignments=5359, nogoods=2176
751.71/745.33	    
787.34/780.98	    num=42, depth=0..22, filters=1733752, revisions=(17388136,useless=15659953), ccks=7305332123, wck=777.296, mem=312M459
787.34/780.98	    decisions=13692, wrong=6548, backtracks=672, failedAssignments=5906, nogoods=2322
787.34/780.98	    
812.06/805.66	    num=43, depth=1..21, filters=1826018, revisions=(18251482,useless=16431574), ccks=7491481937, wck=801.977, mem=402M613
812.06/805.66	    decisions=14945, wrong=7165, backtracks=687, failedAssignments=6508, nogoods=2423
812.06/805.66	    
854.61/848.13	    num=44, depth=1..22, filters=1934030, revisions=(19191612,useless=17264429), ccks=7891499274, wck=844.452, mem=308M32
854.61/848.13	    decisions=16341, wrong=7857, backtracks=718, failedAssignments=7170, nogoods=2649
854.61/848.13	    
1012.43/1005.88	    num=45, depth=0..14, filters=2355825, revisions=(23053313,useless=20703480), ccks=9171130715, wck=1002.203, mem=382M601
1012.43/1005.88	    decisions=17842, wrong=8603, backtracks=738, failedAssignments=7898, nogoods=2952
1012.43/1005.88	    
1079.79/1073.14	    num=46, depth=0..27, filters=2553783, revisions=(24747396,useless=22199826), ccks=9707360459, wck=1069.457, mem=349M467
1079.79/1073.14	    decisions=19550, wrong=9448, backtracks=783, failedAssignments=8699, nogoods=3326
1079.79/1073.14	    
1163.55/1156.85	    num=47, depth=0..39, filters=2710887, revisions=(26505937,useless=23801304), ccks=10552455587, wck=1153.167, mem=346M422
1163.55/1156.85	    decisions=21423, wrong=10372, backtracks=828, failedAssignments=9580, nogoods=3569
1163.55/1156.85	    
1223.14/1216.38	    num=48, depth=0..22, filters=2883693, revisions=(28153633,useless=25277217), ccks=11083682450, wck=1212.696, mem=194M181
1223.14/1216.38	    decisions=23491, wrong=11398, backtracks=884, failedAssignments=10550, nogoods=3696
1223.14/1216.38	    
1344.15/1337.22	    num=49, depth=0..27, filters=3256234, revisions=(32262794,useless=29014193), ccks=12022174619, wck=1333.545, mem=258M399
1344.15/1337.22	    decisions=25885, wrong=12586, backtracks=1016, failedAssignments=11617, nogoods=4051
1344.15/1337.22	    
1424.52/1417.59	    num=50, depth=2..17, filters=3460591, revisions=(34457400,useless=31005120), ccks=12810968127, wck=1413.909, mem=225M10
1424.52/1417.59	    decisions=28316, wrong=13797, backtracks=1055, failedAssignments=12790, nogoods=4111
1424.52/1417.59	    
1588.98/1581.83	    num=51, depth=6..37, filters=3889938, revisions=(39435985,useless=35552538), ccks=14169099644, wck=1578.148, mem=124M322
1588.98/1581.83	    decisions=31091, wrong=15170, backtracks=1137, failedAssignments=14081, nogoods=4303
1588.98/1581.83	    
1726.55/1719.26	    num=52, depth=3..24, filters=4328980, revisions=(43842414,useless=39518586), ccks=15336735898, wck=1715.582, mem=123M542
1726.55/1719.26	    decisions=34063, wrong=16648, backtracks=1199, failedAssignments=15501, nogoods=4537
1726.55/1719.26	    
1889.24/1881.80	    num=53, depth=0..35, filters=4913287, revisions=(49217513,useless=44309549), ccks=16646776087, wck=1878.115, mem=157M710
1889.24/1881.80	    decisions=37384, wrong=18301, backtracks=1294, failedAssignments=17063, nogoods=4702
1889.24/1881.80	    
2053.28/2045.56	    num=54, depth=0..20, filters=5396190, revisions=(53271072,useless=47880165), ccks=17853898517, wck=2041.878, mem=130M455
2053.28/2045.56	    decisions=40913, wrong=20058, backtracks=1333, failedAssignments=18781, nogoods=4936
2053.28/2045.56	    
2195.51/2187.58	    num=55, depth=3..25, filters=5881421, revisions=(58016225,useless=52140817), ccks=18990154455, wck=2183.896, mem=140M822
2195.51/2187.58	    decisions=44911, wrong=22047, backtracks=1437, failedAssignments=20671, nogoods=5059
2195.51/2187.58

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390518-1568385621/watcher-4390518-1568385621 -o /tmp/evaluation-result-4390518-1568385621/solver-4390518-1568385621 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29501 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390518-1568385621.xml -cm 

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

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


[startup+0.100145 s]*
/proc/loadavg: 1.83 1.85 1.92 4/228 31302
/proc/meminfo: memFree=31422688/32770624 swapFree=66994852/67108860
[pid=31287] ppid=31284 vsize=10659884 memory=27684 CPUtime=0.13 cores=0,2,4,6
/proc/31287/stat : 31287 (java) S 31284 31287 29470 0 -1 1077944320 5395 0 0 0 12 1 0 0 20 0 15 0 414813550 10915721216 6921 33554432000 4194304 4196468 140733677531568 140733677514112 140289458507511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
/proc/31287/statm: 2664971 6921 2899 1 0 2627468 0
[pid=31287/tid=31289] ppid=31284 vsize=10659884 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/31287/task/31289/stat : 31289 (java) R 31284 31287 29470 0 -1 4202560 3199 0 0 0 8 0 0 0 20 0 15 0 414813550 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289462735504 140289458519446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31290] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31290/stat : 31290 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289411127568 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31291] ppid=31284 vsize=10659884 memory=288370571257972352 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31291/stat : 31291 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289410075024 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31292] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31292/stat : 31292 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289409022480 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31293] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31295] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31295/stat : 31295 (java) S 31284 31287 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289016640928 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31296] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31296/stat : 31296 (java) S 31284 31287 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289015588336 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31297] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31297/stat : 31297 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289014536912 140289458526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31298] ppid=31284 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31287/task/31298/stat : 31298 (java) S 31284 31287 29470 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 414813556 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289013483504 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31299] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31299/stat : 31299 (java) S 31284 31287 29470 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289012430960 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31300] ppid=31284 vsize=10659884 memory=140195106260608 CPUtime=0.02 cores=0,2,4,6
/proc/31287/task/31300/stat : 31300 (java) R 31284 31287 29470 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 414813556 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289011378416 140289437044659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31301] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31301/stat : 31301 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289010326112 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31302] ppid=31284 vsize=10659884 memory=140195106260608 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31302/stat : 31302 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 6921 33554432000 4194304 4196468 140733677531568 140289009273648 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27684 KiB

[startup+0.211492 s]*
/proc/loadavg: 1.83 1.85 1.92 3/228 31302
/proc/meminfo: memFree=31415924/32770624 swapFree=66994852/67108860
[pid=31287] ppid=31284 vsize=10659884 memory=34636 CPUtime=0.33 cores=0,2,4,6
/proc/31287/stat : 31287 (java) S 31284 31287 29470 0 -1 1077944320 6874 0 0 0 31 2 0 0 20 0 15 0 414813550 10915721216 8659 33554432000 4194304 4196468 140733677531568 140733677514112 140289458507511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
/proc/31287/statm: 2664971 8659 2987 1 0 2627468 0
[pid=31287/tid=31289] ppid=31284 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31287/task/31289/stat : 31289 (java) R 31284 31287 29470 0 -1 4202560 3857 0 0 0 19 1 0 0 20 0 15 0 414813550 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289462739600 140289458529437 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31290] ppid=31284 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31290/stat : 31290 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289411127568 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31291] ppid=31284 vsize=10659884 memory=140195106290024 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31291/stat : 31291 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289410075024 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31292] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31292/stat : 31292 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289409022480 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31293] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10659884 memory=140195106260608 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31295] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31295/stat : 31295 (java) S 31284 31287 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289016640928 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31296] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31296/stat : 31296 (java) S 31284 31287 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289015588336 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31297] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31297/stat : 31297 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289014536912 140289458526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31298] ppid=31284 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31287/task/31298/stat : 31298 (java) S 31284 31287 29470 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 15 0 414813556 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289013483504 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31299] ppid=31284 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31287/task/31299/stat : 31299 (java) S 31284 31287 29470 0 -1 1077944384 310 0 0 0 2 0 0 0 20 0 15 0 414813556 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289012430960 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31300] ppid=31284 vsize=10659884 memory=140195106260608 CPUtime=0.05 cores=0,2,4,6
/proc/31287/task/31300/stat : 31300 (java) S 31284 31287 29470 0 -1 1077944384 785 0 0 0 5 0 0 0 20 0 15 0 414813556 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289011378416 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31301] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31301/stat : 31301 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289010326112 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31302] ppid=31284 vsize=10659884 memory=140195106260608 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31302/stat : 31302 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 8659 33554432000 4194304 4196468 140733677531568 140289009273648 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34636 KiB

[startup+0.310013 s]*
/proc/loadavg: 1.83 1.85 1.92 3/228 31302
/proc/meminfo: memFree=31407988/32770624 swapFree=66994852/67108860
[pid=31287] ppid=31284 vsize=10659884 memory=40056 CPUtime=0.47 cores=0,2,4,6
/proc/31287/stat : 31287 (java) S 31284 31287 29470 0 -1 1077944320 9457 0 0 0 44 3 0 0 20 0 15 0 414813550 10915721216 10014 33554432000 4194304 4196468 140733677531568 140733677514112 140289458507511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
/proc/31287/statm: 2664971 10014 3000 1 0 2627468 0
[pid=31287/tid=31289] ppid=31284 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/31287/task/31289/stat : 31289 (java) R 31284 31287 29470 0 -1 4202560 6333 0 0 0 28 2 0 0 20 0 15 0 414813550 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289462739920 140289458519446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31290] ppid=31284 vsize=10659884 memory=4297776180 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31290/stat : 31290 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289411127568 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31291] ppid=31284 vsize=10659884 memory=140195106289981 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31291/stat : 31291 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289410075024 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31292] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31292/stat : 31292 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289409022480 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31293] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10659884 memory=140195106260608 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31295] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31295/stat : 31295 (java) S 31284 31287 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289016640928 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31296] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31296/stat : 31296 (java) S 31284 31287 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813553 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289015588336 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31297] ppid=31284 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31297/stat : 31297 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289014536912 140289458526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31298] ppid=31284 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31287/task/31298/stat : 31298 (java) R 31284 31287 29470 0 -1 4202560 573 0 0 0 4 0 0 0 20 0 15 0 414813556 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289013474016 140289442021587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31299] ppid=31284 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/31287/task/31299/stat : 31299 (java) S 31284 31287 29470 0 -1 1077944384 373 0 0 0 4 0 0 0 20 0 15 0 414813556 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289012430960 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31300] ppid=31284 vsize=10659884 memory=140195106260608 CPUtime=0.08 cores=0,2,4,6
/proc/31287/task/31300/stat : 31300 (java) S 31284 31287 29470 0 -1 1077944384 818 0 0 0 8 0 0 0 20 0 15 0 414813556 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289011378416 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31301] ppid=31284 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31301/stat : 31301 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289010326112 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31302] ppid=31284 vsize=10659884 memory=140195106260608 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31302/stat : 31302 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813556 10915721216 10014 33554432000 4194304 4196468 140733677531568 140289009273648 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40056 KiB

[startup+0.701478 s]
/proc/loadavg: 1.83 1.85 1.92 3/228 31302
/proc/meminfo: memFree=31400272/32770624 swapFree=66994852/67108860
[pid=31287] ppid=31284 vsize=10661932 memory=62664 CPUtime=1.12 cores=0,2,4,6
/proc/31287/stat : 31287 (java) S 31284 31287 29470 0 -1 1077944320 12884 0 0 0 107 5 0 0 20 0 15 0 414813550 10917818368 15666 33554432000 4194304 4196468 140733677531568 140733677514112 140289458507511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
/proc/31287/statm: 2665483 15666 3060 1 0 2627980 0
[pid=31287/tid=31289] ppid=31284 vsize=10661932 memory=20112 CPUtime=0.68 cores=0,2,4,6
/proc/31287/task/31289/stat : 31289 (java) R 31284 31287 29470 0 -1 4202560 8872 0 0 0 64 4 0 0 20 0 15 0 414813550 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289462739536 140289441694320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31290] ppid=31284 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31290/stat : 31290 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289411127568 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31291] ppid=31284 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31291/stat : 31291 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289410075024 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31292] ppid=31284 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31292/stat : 31292 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289409022480 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31293] ppid=31284 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10661932 memory=4 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813553 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31295] ppid=31284 vsize=10661932 memory=26 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31295/stat : 31295 (java) S 31284 31287 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813553 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289016640928 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31296] ppid=31284 vsize=10661932 memory=29 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31296/stat : 31296 (java) S 31284 31287 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813553 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289015588336 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31297] ppid=31284 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31297/stat : 31297 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813556 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289014536912 140289458526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31298] ppid=31284 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/31287/task/31298/stat : 31298 (java) S 31284 31287 29470 0 -1 1077944384 882 0 0 0 11 0 0 0 20 0 15 0 414813556 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289013483504 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31299] ppid=31284 vsize=10661932 memory=3136 CPUtime=0.11 cores=0,2,4,6
/proc/31287/task/31299/stat : 31299 (java) R 31284 31287 29470 0 -1 4202560 663 0 0 0 11 0 0 0 20 0 15 0 414813556 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289012417504 140289438205264 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31300] ppid=31284 vsize=10661932 memory=229476 CPUtime=0.19 cores=0,2,4,6
/proc/31287/task/31300/stat : 31300 (java) S 31284 31287 29470 0 -1 1077944384 1107 0 0 0 19 0 0 0 20 0 15 0 414813556 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289011378416 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31301] ppid=31284 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31301/stat : 31301 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813556 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289010326112 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31302] ppid=31284 vsize=10661932 memory=4 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31302/stat : 31302 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813556 10917818368 15666 33554432000 4194304 4196468 140733677531568 140289009273648 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62664 KiB

[startup+1.5008 s]
/proc/loadavg: 1.83 1.85 1.92 3/228 31302
/proc/meminfo: memFree=31384688/32770624 swapFree=66994852/67108860
[pid=31287] ppid=31284 vsize=10663980 memory=75424 CPUtime=2.02 cores=0,2,4,6
/proc/31287/stat : 31287 (java) S 31284 31287 29470 0 -1 1077944320 18488 0 0 0 196 6 0 0 20 0 15 0 414813550 10919915520 18856 33554432000 4194304 4196468 140733677531568 140733677514112 140289458507511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
/proc/31287/statm: 2665995 18856 3096 1 0 2628492 0
[pid=31287/tid=31289] ppid=31284 vsize=10663980 memory=20112 CPUtime=1.47 cores=0,2,4,6
/proc/31287/task/31289/stat : 31289 (java) R 31284 31287 29470 0 -1 4202560 13143 0 0 0 143 4 0 0 20 0 15 0 414813550 10919915520 18856 33554432000 4194304 4196468 140733677531568 140289462738560 140289442587998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31290] ppid=31284 vsize=10663980 memory=988 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31290/stat : 31290 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10919915520 18856 33554432000 4194304 4196468 140733677531568 140289411127568 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31291] ppid=31284 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31291/stat : 31291 (java) S 31284 31287 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813551 10919915520 18856 33554432000 4194304 4196468 140733677531568 140289410075024 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31292] ppid=31284 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31292/stat : 31292 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10919915520 18856 33554432000 4194304 4196468 140733677531568 140289409022480 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31293] ppid=31284 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813551 10919915520 18856 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 414813553 10919915520 18856 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0

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

/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 5793 0 0 0 52 6 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.19 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 9126 0 0 0 16 3 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31295] ppid=31284 vsize=10748324 memory=532236 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31295/stat : 31295 (java) S 31284 31287 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289016640992 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31296] ppid=31284 vsize=10748324 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31296/stat : 31296 (java) S 31284 31287 29470 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289015588352 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31297] ppid=31284 vsize=10748324 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31297/stat : 31297 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289014536912 140289458526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31298] ppid=31284 vsize=10748324 memory=1156 CPUtime=2.33 cores=0,2,4,6
/proc/31287/task/31298/stat : 31298 (java) S 31284 31287 29470 0 -1 1077944384 12526 0 0 0 232 1 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289013483504 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31299] ppid=31284 vsize=10748324 memory=1000 CPUtime=2.36 cores=0,2,4,6
/proc/31287/task/31299/stat : 31299 (java) S 31284 31287 29470 0 -1 1077944384 12261 0 0 0 234 2 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289012430960 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31300] ppid=31284 vsize=10748324 memory=532236 CPUtime=1 cores=0,2,4,6
/proc/31287/task/31300/stat : 31300 (java) S 31284 31287 29470 0 -1 1077944384 12343 0 0 0 98 2 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289011378416 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31301] ppid=31284 vsize=10748324 memory=532236 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31301/stat : 31301 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289010326112 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31302] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.75 cores=0,2,4,6
/proc/31287/task/31302/stat : 31302 (java) S 31284 31287 29470 0 -1 1077944384 2226 0 0 0 36 39 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289009273648 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31303] ppid=31284 vsize=10748324 memory=1440 CPUtime=2439.7 cores=0,2,4,6
/proc/31287/task/31303/stat : 31303 (java) R 31284 31287 29470 0 -1 4202560 36695 0 0 0 243957 13 0 0 20 0 16 0 414813738 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289001520832 140289093047443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
Current children cumulated CPU time: 2450.62 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 532236 KiB

[startup+2502.3 s]
/proc/loadavg: 1.91 1.93 1.99 3/229 31869
/proc/meminfo: memFree=29243964/32770624 swapFree=66994924/67108860
[pid=31287] ppid=31284 vsize=10748324 memory=532236 CPUtime=2510.67 cores=0,2,4,6
/proc/31287/stat : 31287 (java) S 31284 31287 29470 0 -1 1077944320 126461 0 0 0 250986 81 0 0 20 0 16 0 414813550 11006283776 133059 33554432000 4194304 4196468 140733677531568 140733677514112 140289458507511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
/proc/31287/statm: 2687081 133059 3384 1 0 2647217 0
[pid=31287/tid=31289] ppid=31284 vsize=10748324 memory=532236 CPUtime=1.86 cores=0,2,4,6
/proc/31287/task/31289/stat : 31289 (java) S 31284 31287 29470 0 -1 1077944384 15390 0 0 0 180 6 0 0 20 0 16 0 414813550 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289462750384 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31290] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.58 cores=0,2,4,6
/proc/31287/task/31290/stat : 31290 (java) S 31284 31287 29470 0 -1 1077944384 7481 0 0 0 51 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289411127568 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31291] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.6 cores=0,2,4,6
/proc/31287/task/31291/stat : 31291 (java) S 31284 31287 29470 0 -1 1077944384 5577 0 0 0 52 8 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289410075024 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31292] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.59 cores=0,2,4,6
/proc/31287/task/31292/stat : 31292 (java) S 31284 31287 29470 0 -1 1077944384 4907 0 0 0 52 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289409022480 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31293] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.6 cores=0,2,4,6
/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 6096 0 0 0 53 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.2 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 9304 0 0 0 17 3 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31295] ppid=31284 vsize=10748324 memory=532236 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31295/stat : 31295 (java) S 31284 31287 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289016640992 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31296] ppid=31284 vsize=10748324 memory=532236 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31296/stat : 31296 (java) S 31284 31287 29470 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289015588352 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31297] ppid=31284 vsize=10748324 memory=532236 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31297/stat : 31297 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289014536912 140289458526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31298] ppid=31284 vsize=10748324 memory=532236 CPUtime=2.33 cores=0,2,4,6
/proc/31287/task/31298/stat : 31298 (java) S 31284 31287 29470 0 -1 1077944384 12528 0 0 0 232 1 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289013483504 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31299] ppid=31284 vsize=10748324 memory=532236 CPUtime=2.36 cores=0,2,4,6
/proc/31287/task/31299/stat : 31299 (java) S 31284 31287 29470 0 -1 1077944384 12263 0 0 0 234 2 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289012430960 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31300] ppid=31284 vsize=10748324 memory=5904 CPUtime=1 cores=0,2,4,6
/proc/31287/task/31300/stat : 31300 (java) S 31284 31287 29470 0 -1 1077944384 12345 0 0 0 98 2 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289011378416 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31301] ppid=31284 vsize=10748324 memory=532236 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31301/stat : 31301 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289010326112 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31302] ppid=31284 vsize=10748324 memory=3632 CPUtime=0.77 cores=0,2,4,6
/proc/31287/task/31302/stat : 31302 (java) S 31284 31287 29470 0 -1 1077944384 2257 0 0 0 37 40 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289009273648 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31303] ppid=31284 vsize=10748324 memory=3632 CPUtime=2499.69 cores=0,2,4,6
/proc/31287/task/31303/stat : 31303 (java) R 31284 31287 29470 0 -1 4202560 36902 0 0 0 249956 13 0 0 20 0 16 0 414813738 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289001520832 140289093286392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
Current children cumulated CPU time: 2510.67 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 532236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.7 s]
/proc/loadavg: 1.92 1.93 1.99 3/229 31871
/proc/meminfo: memFree=29244376/32770624 swapFree=66994924/67108860
[pid=31287] ppid=31284 vsize=10748324 memory=532236 CPUtime=2520.08 cores=0,2,4,6
/proc/31287/stat : 31287 (java) S 31284 31287 29470 0 -1 1077944320 126469 0 0 0 251927 81 0 0 20 0 16 0 414813550 11006283776 133059 33554432000 4194304 4196468 140733677531568 140733677514112 140289458507511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
/proc/31287/statm: 2687081 133059 3384 1 0 2647217 0
[pid=31287/tid=31289] ppid=31284 vsize=10748324 memory=532236 CPUtime=1.86 cores=0,2,4,6
/proc/31287/task/31289/stat : 31289 (java) S 31284 31287 29470 0 -1 1077944384 15390 0 0 0 180 6 0 0 20 0 16 0 414813550 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289462750384 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31290] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.59 cores=0,2,4,6
/proc/31287/task/31290/stat : 31290 (java) S 31284 31287 29470 0 -1 1077944384 7481 0 0 0 52 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289411127568 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31291] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.6 cores=0,2,4,6
/proc/31287/task/31291/stat : 31291 (java) S 31284 31287 29470 0 -1 1077944384 5577 0 0 0 52 8 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289410075024 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31292] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.59 cores=0,2,4,6
/proc/31287/task/31292/stat : 31292 (java) S 31284 31287 29470 0 -1 1077944384 4907 0 0 0 52 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289409022480 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31293] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.6 cores=0,2,4,6
/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 6096 0 0 0 53 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.2 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 9307 0 0 0 17 3 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31295] ppid=31284 vsize=10748324 memory=532236 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31295/stat : 31295 (java) S 31284 31287 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289016640992 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31296] ppid=31284 vsize=10748324 memory=664 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31296/stat : 31296 (java) S 31284 31287 29470 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289015588352 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31297] ppid=31284 vsize=10748324 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31297/stat : 31297 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289014536912 140289458526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31298] ppid=31284 vsize=10748324 memory=3632 CPUtime=2.33 cores=0,2,4,6
/proc/31287/task/31298/stat : 31298 (java) S 31284 31287 29470 0 -1 1077944384 12528 0 0 0 232 1 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289013483504 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31299] ppid=31284 vsize=10748324 memory=20244 CPUtime=2.36 cores=0,2,4,6
/proc/31287/task/31299/stat : 31299 (java) S 31284 31287 29470 0 -1 1077944384 12263 0 0 0 234 2 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289012430960 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31300] ppid=31284 vsize=10748324 memory=3632 CPUtime=1 cores=0,2,4,6
/proc/31287/task/31300/stat : 31300 (java) S 31284 31287 29470 0 -1 1077944384 12345 0 0 0 98 2 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289011378416 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31301] ppid=31284 vsize=10748324 memory=20244 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31301/stat : 31301 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289010326112 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31302] ppid=31284 vsize=10748324 memory=988 CPUtime=0.77 cores=0,2,4,6
/proc/31287/task/31302/stat : 31302 (java) S 31284 31287 29470 0 -1 1077944384 2257 0 0 0 37 40 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289009273648 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31303] ppid=31284 vsize=10748324 memory=2016 CPUtime=2509.08 cores=0,2,4,6
/proc/31287/task/31303/stat : 31303 (java) R 31284 31287 29470 0 -1 4202560 36907 0 0 0 250895 13 0 0 20 0 16 0 414813738 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289001520784 140289093225680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 532236 KiB

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

[startup+2511.71 s]
# the end of solver process 31287 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.28 s, system=0.825234 s

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

[startup+2511.7 s]
/proc/loadavg: 1.92 1.93 1.99 3/229 31871
/proc/meminfo: memFree=29244376/32770624 swapFree=66994924/67108860
[pid=31287] ppid=31284 vsize=10748324 memory=532236 CPUtime=2520.08 cores=0,2,4,6
/proc/31287/stat : 31287 (java) S 31284 31287 29470 0 -1 1077944320 126469 0 0 0 251927 81 0 0 20 0 16 0 414813550 11006283776 133059 33554432000 4194304 4196468 140733677531568 140733677514112 140289458507511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
/proc/31287/statm: 2687081 133059 3384 1 0 2647217 0
[pid=31287/tid=31289] ppid=31284 vsize=10748324 memory=532236 CPUtime=1.86 cores=0,2,4,6
/proc/31287/task/31289/stat : 31289 (java) S 31284 31287 29470 0 -1 1077944384 15390 0 0 0 180 6 0 0 20 0 16 0 414813550 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289462750384 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31290] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.59 cores=0,2,4,6
/proc/31287/task/31290/stat : 31290 (java) S 31284 31287 29470 0 -1 1077944384 7481 0 0 0 52 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289411127568 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31291] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.6 cores=0,2,4,6
/proc/31287/task/31291/stat : 31291 (java) S 31284 31287 29470 0 -1 1077944384 5577 0 0 0 52 8 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289410075024 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31292] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.59 cores=0,2,4,6
/proc/31287/task/31292/stat : 31292 (java) S 31284 31287 29470 0 -1 1077944384 4907 0 0 0 52 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289409022480 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31293] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.6 cores=0,2,4,6
/proc/31287/task/31293/stat : 31293 (java) S 31284 31287 29470 0 -1 1077944384 6096 0 0 0 53 7 0 0 20 0 16 0 414813551 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289407969936 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31294] ppid=31284 vsize=10748324 memory=532236 CPUtime=0.2 cores=0,2,4,6
/proc/31287/task/31294/stat : 31294 (java) S 31284 31287 29470 0 -1 1077944384 9307 0 0 0 17 3 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289017694704 140289458518658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31295] ppid=31284 vsize=10748324 memory=532236 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31295/stat : 31295 (java) S 31284 31287 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289016640992 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31296] ppid=31284 vsize=10748324 memory=664 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31296/stat : 31296 (java) S 31284 31287 29470 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414813553 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289015588352 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31297] ppid=31284 vsize=10748324 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31297/stat : 31297 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289014536912 140289458526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31298] ppid=31284 vsize=10748324 memory=3632 CPUtime=2.33 cores=0,2,4,6
/proc/31287/task/31298/stat : 31298 (java) S 31284 31287 29470 0 -1 1077944384 12528 0 0 0 232 1 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289013483504 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31299] ppid=31284 vsize=10748324 memory=20244 CPUtime=2.36 cores=0,2,4,6
/proc/31287/task/31299/stat : 31299 (java) S 31284 31287 29470 0 -1 1077944384 12263 0 0 0 234 2 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289012430960 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31300] ppid=31284 vsize=10748324 memory=3632 CPUtime=1 cores=0,2,4,6
/proc/31287/task/31300/stat : 31300 (java) S 31284 31287 29470 0 -1 1077944384 12345 0 0 0 98 2 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289011378416 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31301] ppid=31284 vsize=10748324 memory=20244 CPUtime=0 cores=0,2,4,6
/proc/31287/task/31301/stat : 31301 (java) S 31284 31287 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289010326112 140289458517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31302] ppid=31284 vsize=10748324 memory=988 CPUtime=0.77 cores=0,2,4,6
/proc/31287/task/31302/stat : 31302 (java) S 31284 31287 29470 0 -1 1077944384 2257 0 0 0 37 40 0 0 20 0 16 0 414813556 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289009273648 140289458518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
[pid=31287/tid=31303] ppid=31284 vsize=10748324 memory=2016 CPUtime=2509.08 cores=0,2,4,6
/proc/31287/task/31303/stat : 31303 (java) R 31284 31287 29470 0 -1 4202560 36907 0 0 0 250895 13 0 0 20 0 16 0 414813738 11006283776 133059 33554432000 4194304 4196468 140733677531568 140289001520784 140289093225680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31711232 140733677536267 140733677536370 140733677536370 140733677539279 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 532236 KiB

Child status: 143
Real time (s): 2511.71
CPU time (s): 2520.11
CPU user time (s): 2519.28
CPU system time (s): 0.825234
CPU usage (%): 100.334
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 844664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.28
system time used= 0.825234
maximum resident set size= 846712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60957
involuntary context switches= 2286


# summary of solver processes directly reported to runsolver:
#   pid: 31287
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2519.28
#   total CPU system time (s): 0.825234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4011 second user time and 23.5353 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-13 16:39:36
IDJOB=4390518
IDBENCH=138482
IDSOLVER=2832
FILE ID=node102/4390518-1568385621
RUNJOBID= node102-1568380472-29501
PBS_JOBID= 21701852
Free space on /tmp= 56896 MiB

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

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

MD5SUM BENCH= 3f0141c7bb33af25d9039070b39091b8
RANDOM SEED=621504613

node102.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.13
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.54
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.13
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.54
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.13
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.54
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.13
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31439368 kB
MemAvailable:   31704604 kB
Buffers:          141480 kB
Cached:           414592 kB
SwapCached:        10136 kB
Active:           469004 kB
Inactive:         315516 kB
Active(anon):     225668 kB
Inactive(anon):    33616 kB
Active(file):     243336 kB
Inactive(file):   281900 kB
Unevictable:      110464 kB
Mlocked:          110464 kB
SwapTotal:      67108860 kB
SwapFree:       66994852 kB
Dirty:              9076 kB
Writeback:             0 kB
AnonPages:        348216 kB
Mapped:            46572 kB
Shmem:             21884 kB
Slab:             140044 kB
SReclaimable:     111668 kB
SUnreclaim:        28376 kB
KernelStack:        4032 kB
PageTables:         6276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1261028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    276480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59312 MiB
End job on node102 at 2019-09-13 17:21:28